Amal Ahmed

Amal J. Ahmed

2008
17		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
16	EE	Jacob Matthews, Amal Ahmed: Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. ESOP 2008: 16-31
15	EE	Umut A. Acar, Amal Ahmed, Matthias Blume: Imperative self-adjusting computation. POPL 2008: 309-322
14	EE	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	EE	Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
2007
12	EE	James Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis. DBPL 2007: 138-152
11	EE	Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204
10	EE	James Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis CoRR abs/0708.2173: (2007)
9	EE	Amal Ahmed, Matthew Fluet, Greg Morrisett: L3: A Linear Language with Locations. Fundam. Inform. 77(4): 397-449 (2007)
2006
8	EE	Amal J. Ahmed: Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. ESOP 2006: 69-83
7	EE	Matthew Fluet, Greg Morrisett, Amal J. Ahmed: Linear Regions Are All You Need. ESOP 2006: 7-21
2005
6	EE	Amal J. Ahmed, Matthew Fluet, Greg Morrisett: A step-indexed model of substructural state. ICFP 2005: 78-91
5	EE	Greg Morrisett, Amal J. Ahmed, Matthew Fluet: L3: A Linear Language with Locations. TLCA 2005: 293-307
2003
4	EE	Amal J. Ahmed, Limin Jia, David Walker: Reasoning about Hierarchical Storage. LICS 2003: 33-44
3	EE	Amal J. Ahmed, David Walker: The logical approach to stack typing. TLDI 2003: 74-85
2	EE	Amal J. Ahmed, David Walker: The logical approach to stack typing. TLDI 2003: 74-85
2002
1	EE	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	[10] [12] [15]
2	Andrew W. Appel	[1]
3	Nick Benton (P. N. Benton)	[13] [14] [17]
4	Lars Birkedal	[11]
5	Matthias Blume	[15]
6	James Cheney	[10] [12]
7	Matthew Fluet	[5] [6] [7] [9]
8	Martin Hofmann	[13] [14] [17]
9	Limin Jia	[4]
10	Jacob Matthews	[16]
11	J. Gregory Morrisett (Greg Morrisett)	[5] [6] [7] [9] [11] [13] [14] [17]
12	Aleksandar Nanevski	[11]
13	Roberto Virga	[1]
14	David Walker	[2] [3] [4]

Colors in the list of coauthors