Aaron Bohannon, Ph.D.
Affiliations: | 2012 | Computer and Information Science | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Information Systems: Databases and Information Management, Theory: Formal Methods and Logic; Programming Languages and Program AnalysisGoogle:
"Aaron Bohannon"Parents
Sign in to add mentor| Benjamin C. Pierce | grad student | 2012 | Penn | |
| (Foundations of web script security.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Bohannon A, Pierce BC, Sjöberg V, et al. (2009) Reactive noninterference Proceedings of the Acm Conference On Computer and Communications Security. 79-90 |
| Bohannon A, Foster JN, Pierce BC, et al. (2008) Boomerang: Resourceful lenses for string data Conference Record of the Annual Acm Symposium On Principles of Programming Languages. 407-419 |
| Bohannon A, Pierce BC, Vaughan JA. (2006) Relational lenses: A language for updatable views Proceedings of the Acm Sigact-Sigmod-Sigart Symposium On Principles of Database Systems. 338-347 |
| Aydemir BE, Bohannon A, Fairbairn M, et al. (2005) Mechanized metatheory for the masses: The PoplMark challenge Lecture Notes in Computer Science. 3603: 50-65 |