Publications by Robert Ennals
2008
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, January 2008
@inproceedings{abc, author = {Zachary R. Anderson and David Gay and Robert Ennals and Eric A. Brewer}, booktitle = {Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA}, title = {SharC: checking data sharing strategies for multithreaded C.}, url = {http://doi.acm.org/10.1145/1375581.1375600}, year = {2008} }
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} }
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} }