Publications by David Gay
2011
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications OOPLSA 2011, Portland Oregon, USA, Oct. 22-27,2011. , January 2011
@inproceedings{abc, author = {Zachary R. Anderson and David Gay}, booktitle = {Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications OOPLSA 2011, Portland Oregon, USA, Oct. 22-27,2011. }, title = {Composable, Nestable, Pessimistic Atomic Statements}, year = {2011} }
2009
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, January 2009
@inproceedings{abc, author = {Zachary R. Anderson and David Gay and Mayur Naik}, booktitle = {Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland}, title = {Lightweight annotations for controlling sharing in concurrent data structures.}, url = {http://doi.acm.org/10.1145/1542476.1542488}, year = {2009} }
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} }
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} }