Publications by David Gay

×

Status message

The Publications site is currently under construction, as a result some publications might be missing.

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}
}