Aaron Bohannon

According to our database, Aaron Bohannon authored at least 7 papers between 2005 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Featherweight Firefox: Formalizing the Core of a Web Browser.

Aaron Bohannon, Benjamin C. Pierce

Proceedings of the USENIX Conference on Web Application Development, 2010

2009

Sequent calculi and abstract machines.

Zena M. Ariola, Aaron Bohannon, Amr Sabry

ACM Trans. Program. Lang. Syst., 2009

Reactive noninterference.

Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

Boomerang: resourceful lenses for string data.

Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2006

Nominal Reasoning Techniques in Coq: (Extended Abstract).

Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich

Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

Relational lenses: a language for updatable views.

Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan

Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006

2005

Mechanized Metatheory for the Masses: The PoplMark Challenge.

Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005