Publications by George C. Necula
2007
Proceedings of HotOS'07: 11th Workshop on Hot Topics in Operating Systems, San Diego, California, USA, May 2007
@inproceedings{abc, author = {Zachary R. Anderson and Eric A. Brewer and Jeremy Condit and Robert Ennals and David Gay and Matthew Harren and George C. Necula and Feng Zhou}, booktitle = {Proceedings of HotOS{\textquoteright}07: 11th Workshop on Hot Topics in Operating Systems}, title = {Beyond Bug-Finding: Sound Program Analysis for Linux.}, url = {http://www.usenix.org/events/hotos07/tech/full_papers/anderson/anderson.pdf}, venue = {San Diego, California, USA}, year = {2007} }
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, January 2007
@inproceedings{abc, author = {Jeremy Condit and Matthew Harren and Zachary R. Anderson and David Gay and George C. Necula}, booktitle = {Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal}, title = {Dependent Types for Low-Level Programming.}, url = {http://dx.doi.org/10.1007/978-3-540-71316-6_35}, year = {2007} }
2006
7th Symposium on Operating Systems Design and Implementation (OSDI '06), Seattle, WA, USA, January 2006
@inproceedings{abc, author = {Feng Zhou and Jeremy Condit and Zachary R. Anderson and Ilya Bagrak and Robert Ennals and Matthew Harren and George C. Necula and Eric A. Brewer}, booktitle = {7th Symposium on Operating Systems Design and Implementation (OSDI {\textquoteright}06)}, title = {SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques.}, url = {http://www.usenix.org/events/osdi06/tech/zhou.html}, venue = {Seattle, WA, USA}, year = {2006} }