Publications by David Gay

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

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

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

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

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