If you made any changes in Pure these will be visible here soon.

Research Output

  • 189 Citations
  • 5 h-Index
  • 4 Conference contribution
  • 2 Article
Filter
Conference contribution
2011

An approach to improving the structure of error-handling code in the linux kernel

Saha, S., Lawall, J. & Muller, G., May 10 2011, LCTES'11 - Proceedings of the ACM SIGPLAN/SIGBED 2011 Conference on Languages, Compilers, Tools and Theory for Embedded Systems. p. 41-50 10 p. (Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Scopus citations

Faults in Linux: Ten years later

Palix, N., Thomas, G., Saha, S., Calvès, C., Lawall, J. & Muller, G., Mar 31 2011, ASPLOS XVI - 16th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 305-318 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

112 Scopus citations

Finding resource-release omission faults in Linux

Saha, S., Lawall, J. & Muller, G., Nov 16 2011, Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS 2011 - In Conjunction with the 23rd ACM Symposium on Operating Systems Principles, SOSP 2011. 1. (Proceedings of the 6th Workshop on Programming Languages and Operating Systems, PLOS 2011 - In Conjunction with the 23rd ACM Symposium on Operating Systems Principles, SOSP 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Scopus citations
2013

Hector: Detecting resource-release omission faults in error-handling code for systems software

Saha, S., Lozi, J. P., Thomas, G., Lawall, J. L. & Muller, G., Sep 9 2013, 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2013. 6575307. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

29 Scopus citations