| 2011 |
|---|
| 1 |
Logical Step-Indexed Logical Relations. Derek Dreyer, Amal Ahmed, Lars Birkedal. Logical Methods in Computer Science (7) (2011). Web SearchBibTeXDownload |
| 2 |
Provenance as dependency analysis. James Cheney, Amal Ahmed, Umut A. Acar. Mathematical Structures in Computer Science (21): 1301-1337 (2011). Web SearchBibTeXDownload |
| 3 |
An equivalence-preserving CPS translation via multi-language semantics. Amal Ahmed, Matthias Blume. ICFP 2011, 431-444. Web SearchBibTeXDownload |
| 4 |
Blame for all. Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler. POPL 2011, 201-214. Web SearchBibTeXDownload |
| 2010 |
|---|
| 1 |
Semantic foundations for typed assembly languages. Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang. ACM Trans. Program. Lang. Syst. (32) (2010). Web SearchBibTeXDownload |
| 2009 |
|---|
| 1 |
State-dependent representation independence. Amal Ahmed, Derek Dreyer, Andreas Rossberg. POPL 2009, 340-353. Web SearchBibTeXDownload |
| 2 |
Logical Step-Indexed Logical Relations. Derek Dreyer, Amal Ahmed, Lars Birkedal. LICS 2009, 71-80. Web SearchBibTeXDownload |
| 2008 |
|---|
| 1 |
Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. Jacob Matthews, Amal Ahmed. ESOP 2008, 16-31. Web SearchBibTeXDownload |
| 2 |
Provenance Traces. James Cheney, Umut A. Acar, Amal Ahmed. CoRR (abs/0812.0564) (2008). Web SearchBibTeXDownload |
| 3 |
08061 Abstracts Collection -- Types, Logics and Semantics for State. Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett. Types, Logics and Semantics for State 2008. Web SearchBibTeXDownload |
| 4 |
Typed closure conversion preserves observational equivalence. Amal Ahmed, Matthias Blume. ICFP 2008, 157-168. Web SearchBibTeXDownload |
| 5 |
Imperative self-adjusting computation. Umut A. Acar, Amal Ahmed, Matthias Blume. POPL 2008, 309-322. Web SearchBibTeXDownload |
| 6 |
08061 Executive Summary -- Types, Logics and Semantics for State. Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett. Types, Logics and Semantics for State 2008. Web SearchBibTeXDownload |
| 2007 |
|---|
| 1 |
Abstract Predicates and Mutable ADTs in Hoare Type Theory. Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal. ESOP 2007, 189-204. Web SearchBibTeXDownload |
| 2 |
L3: A Linear Language with Locations. Greg Morrisett, Amal J. Ahmed, Matthew Fluet. Fundam. Inform. (77): 397-449 (2007). Web SearchBibTeXDownload |
| 3 |
Provenance as Dependency Analysis. James Cheney, Amal Ahmed, Umut A. Acar. DBPL 2007, 138-152. Web SearchBibTeXDownload |
| 2005 |
|---|
| 1 |
L3: A Linear Language with Locations. Greg Morrisett, Amal J. Ahmed, Matthew Fluet. TLCA 2005, 293-307. Web SearchBibTeXDownload |
| 2003 |
|---|
| 1 |
The logical approach to stack typing. Amal J. Ahmed, David Walker. TLDI 2003, 74-85. Web SearchBibTeXDownload |
| 2 |
Reasoning about Hierarchical Storage. Amal J. Ahmed, Limin Jia, David Walker. LICS 2003, 33-44. Web SearchBibTeXDownload |
