Aaron Bohannon

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Aaron Bohannon, Benjamin C. Pierce
Featherweight Firefox: Formalizing the Core of a Web Browser. WebApps (2010)
Zena M. Ariola, Aaron Bohannon, Amr Sabry
Sequent calculi and abstract machines. ACM Trans. Program. Lang. Syst. 31 (4) (2009)
Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic
Reactive noninterference. CCS (2009)
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt
Boomerang: resourceful lenses for string data. POPL (2008)
Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich
Nominal Reasoning Techniques in Coq: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 174 (5) (2007)
Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan
Relational lenses: a language for updatable views. PODS (2006)
Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic
Mechanized Metatheory for the Masses: The PoplMark Challenge. TPHOLs (2005)