Weimer, Westley; Necula, George C. Mining temporal specifications for error detection. (English) Zbl 1087.68600 Halbwachs, Nicolas (ed.) et al., Tools and algorithms for the construction and analysis of systems. 11th international conference, TACAS 2005, held as part of the joint European conference on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25333-5/pbk). Lecture Notes in Computer Science 3440, 461-476 (2005). MSC: 68Q60 PDFBibTeX XMLCite \textit{W. Weimer} and \textit{G. C. Necula}, Lect. Notes Comput. Sci. 3440, 461--476 (2005; Zbl 1087.68600) Full Text: DOI
Necula, George C.; McPeak, Scott; Weimer, Westley CCured, type-safe retrofitting of legacy code. (English) Zbl 1323.68382 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’02, Portland, OR, USA, January 16–18, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-450-9). 128-139 (2002). MSC: 68Q60 68N15 68N18 68N30 68Q55 PDFBibTeX XMLCite \textit{G. C. Necula} et al., in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '02, Portland, OR, USA, January 16--18, 2002. New York, NY: Association for Computing Machinery (ACM). 128--139 (2002; Zbl 1323.68382) Full Text: DOI
Necula, George C.; McPeak, Scott; Rahul, Shree P.; Weimer, Westley CIL: Intermediate language and tools for analysis and transformation of C programs. (English) Zbl 1051.68756 Horspool, R. Nigel (ed.), Compiler construction. 11th international conference, CC 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Berlin: Springer (ISBN 3-540-43369-4). Lect. Notes Comput. Sci. 2304, 213-228 (2002). MSC: 68U99 68N20 PDFBibTeX XMLCite \textit{G. C. Necula} et al., Lect. Notes Comput. Sci. 2304, 213--228 (2002; Zbl 1051.68756) Full Text: Link
Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Necula, George C.; Sutre, Grégoire; Weimer, Westley Temporal-safety proofs for systems code. (English) Zbl 1010.68507 Brinksma, Ed (ed.) et al., Computer aided verification. 14th international conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2404, 526-538 (2002). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{T. A. Henzinger} et al., Lect. Notes Comput. Sci. 2404, 526--538 (2002; Zbl 1010.68507) Full Text: Link