Aaron Bohannon

	2009
6		Aaron Bohannon, Benjamin C. Pierce, Vilhelm Sjöberg, Stephanie Weirich, Steve Zdancewic: Reactive noninterference. ACM Conference on Computer and Communications Security 2009: 79-90
5		Zena M. Ariola, Aaron Bohannon, Amr Sabry: Sequent calculi and abstract machines. ACM Trans. Program. Lang. Syst. 31(4): (2009)
	2008
4		Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, Alan Schmitt: Boomerang: resourceful lenses for string data. POPL 2008: 407-419
	2007
3		Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich: Nominal Reasoning Techniques in Coq: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 174(5): 69-77 (2007)
	2006
2		Aaron Bohannon, Benjamin C. Pierce, Jeffrey A. Vaughan: Relational lenses: a language for updatable views. PODS 2006: 338-347
	2005
1		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: 50-65

Coauthor Index

1	Zena M. Ariola	[5]
2	Brian E. Aydemir	[1] [3]
3	Matthew Fairbairn	[1]
4	J. Nathan Foster	[1] [4]
5	Benjamin C. Pierce	[1] [2] [4] [6]
6	Alexandre Pilkiewicz	[4]
7	Amr Sabry	[5]
8	Alan Schmitt	[4]
9	Peter Sewell	[1]
10	Vilhelm Sjöberg	[6]
11	Jeffrey A. Vaughan	[2]
12	Dimitrios Vytiniotis	[1]
13	Geoffrey Washburn	[1]
14	Stephanie Weirich	[1] [3] [6]
15	Steve Zdancewic	[1] [6]

Colors in the list of coauthors