Amal Ahmed

Amal J. Ahmed

	2009
21		Andrew Kennedy, Amal Ahmed: Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009 ACM 2009
20		Derek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations. LICS 2009: 71-80
19		Amal Ahmed, Derek Dreyer, Andreas Rossberg: State-dependent representation independence. POPL 2009: 340-353
	2008
18		Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: Types, Logics and Semantics for State, 03.02. - 08.02.2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
17		Jacob Matthews, Amal Ahmed: Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. ESOP 2008: 16-31
16		Amal Ahmed, Matthias Blume: Typed closure conversion preserves observational equivalence. ICFP 2008: 157-168
15		Umut A. Acar, Amal Ahmed, Matthias Blume: Imperative self-adjusting computation. POPL 2008: 309-322
14		Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
13		Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
12		James Cheney, Umut A. Acar, Amal Ahmed: Provenance Traces CoRR abs/0812.0564: (2008)
	2007
11		James Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis. DBPL 2007: 138-152
10		Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204
9		James Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis CoRR abs/0708.2173: (2007)
8		Amal Ahmed, Matthew Fluet, Greg Morrisett: L3: A Linear Language with Locations. Fundam. Inform. 77(4): 397-449 (2007)
	2006
7		Amal J. Ahmed: Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. ESOP 2006: 69-83
6		Matthew Fluet, Greg Morrisett, Amal J. Ahmed: Linear Regions Are All You Need. ESOP 2006: 7-21
	2005
5		Amal J. Ahmed, Matthew Fluet, Greg Morrisett: A step-indexed model of substructural state. ICFP 2005: 78-91
4		Greg Morrisett, Amal J. Ahmed, Matthew Fluet: L3: A Linear Language with Locations. TLCA 2005: 293-307
	2003
3		Amal J. Ahmed, Limin Jia, David Walker: Reasoning about Hierarchical Storage. LICS 2003: 33-44
2		Amal J. Ahmed, David Walker: The logical approach to stack typing. TLDI 2003: 74-85
	2002
1		Amal J. Ahmed, Andrew W. Appel, Roberto Virga: A Stratified Semantics of General References A Stratified Semantics of General References. LICS 2002: 75-

Coauthor Index

1	Umut A. Acar	[9] [11] [12] [15]
2	Andrew W. Appel	[1]
3	Nick Benton (P. N. Benton)	[13] [14] [18]
4	Lars Birkedal	[10] [20]
5	Matthias Blume	[15] [16]
6	James Cheney	[9] [11] [12]
7	Derek Dreyer	[19] [20]
8	Matthew Fluet	[4] [5] [6] [8]
9	Martin Hofmann	[13] [14] [18]
10	Limin Jia	[3]
11	Andrew Kennedy	[21]
12	Jacob Matthews	[17]
13	J. Gregory Morrisett (Greg Morrisett)	[4] [5] [6] [8] [10] [13] [14] [18]
14	Aleksandar Nanevski	[10]
15	Andreas Rossberg	[19]
16	Roberto Virga	[1]
17	David Walker	[2] [3]

Colors in the list of coauthors