Amal Ahmed

Amal J. Ahmed

	2012
27		Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera: A Core Calculus for Provenance. POST 2012: 410-429
	2011
26		Amal Ahmed, Matthias Blume: An equivalence-preserving CPS translation via multi-language semantics. ICFP 2011: 431-444
25		Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler: Blame for all. POPL 2011: 201-214
24		Derek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations Logical Methods in Computer Science 7(2): (2011)
23		James Cheney, Amal Ahmed, Umut A. Acar: Provenance as dependency analysis. Mathematical Structures in Computer Science 21(6): 1301-1337 (2011)
	2010
22		Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang: Semantic foundations for typed assembly languages. ACM Trans. Program. Lang. Syst. 32(3): (2010)
	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] [23] [27]
2	Andrew W. Appel	[1] [22]
3	Nick Benton (P. N. Benton)	[13] [14] [18]
4	Lars Birkedal	[10] [20] [24]
5	Matthias Blume	[15] [16] [26]
6	James Cheney	[9] [11] [12] [23] [27]
7	Derek Dreyer	[19] [20] [24]
8	Robert Bruce Findler	[25]
9	Matthew Fluet	[4] [5] [6] [8]
10	Martin Hofmann	[13] [14] [18]
11	Limin Jia	[3]
12	Andrew Kennedy	[21]
13	Jacob Matthews	[17]
14	J. Gregory Morrisett (Greg Morrisett)	[4] [5] [6] [8] [10] [13] [14] [18]
15	Aleksandar Nanevski	[10]
16	Roly Perera	[27]
17	Christopher D. Richards	[22]
18	Andreas Rossberg	[19]
19	Jeremy G. Siek	[25]
20	Kedar N. Swadi	[22]
21	Gang Tan	[22]
22	Roberto Virga	[1]
23	Philip Wadler	[25]
24	David Walker	[2] [3]
25	Daniel C. Wang	[22]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page