Amal J. Ahmed
List of publications from the
| 2009 |
|---|
| 21 | | Andrew Kennedy,
Amal Ahmed:
Proceedings of TLDI'08: 2008 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009
ACM 2009 |
| 20 | EE | Amal Ahmed,
Derek Dreyer,
Andreas Rossberg:
State-dependent representation independence.
POPL 2009: 340-353 |
| 2008 |
|---|
| 19 | | 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 |
| 18 | EE | Jacob Matthews,
Amal Ahmed:
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!.
ESOP 2008: 16-31 |
| 17 | EE | Amal Ahmed,
Matthias Blume:
Typed closure conversion preserves observational equivalence.
ICFP 2008: 157-168 |
| 16 | EE | Umut A. Acar,
Amal Ahmed,
Matthias Blume:
Imperative self-adjusting computation.
POPL 2008: 309-322 |
| 15 | 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 |
| 14 | 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 |
| 13 | EE | James Cheney,
Umut A. Acar,
Amal Ahmed:
Provenance Traces
CoRR abs/0812.0564: (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- |
