Amal Ahmed Home Page Coauthor index DBLP Vis pubzone.org

Amal J. Ahmed

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDerek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations. LICS 2009: 71-80
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal Ahmed, Derek Dreyer, Andreas Rossberg: State-dependent representation independence. POPL 2009: 340-353
2008
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal 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
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacob Matthews, Amal Ahmed: Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. ESOP 2008: 16-31
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal Ahmed, Matthias Blume: Typed closure conversion preserves observational equivalence. ICFP 2008: 157-168
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUmut A. Acar, Amal Ahmed, Matthias Blume: Imperative self-adjusting computation. POPL 2008: 309-322
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Cheney, Umut A. Acar, Amal Ahmed: Provenance Traces CoRR abs/0812.0564: (2008)
2007
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis. DBPL 2007: 138-152
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis CoRR abs/0708.2173: (2007)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal Ahmed, Matthew Fluet, Greg Morrisett: L3: A Linear Language with Locations. Fundam. Inform. 77(4): 397-449 (2007)
2006
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal J. Ahmed: Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. ESOP 2006: 69-83
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Fluet, Greg Morrisett, Amal J. Ahmed: Linear Regions Are All You Need. ESOP 2006: 7-21
2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal J. Ahmed, Matthew Fluet, Greg Morrisett: A step-indexed model of substructural state. ICFP 2005: 78-91
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreg Morrisett, Amal J. Ahmed, Matthew Fluet: L3: A Linear Language with Locations. TLCA 2005: 293-307
2003
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal J. Ahmed, Limin Jia, David Walker: Reasoning about Hierarchical Storage. LICS 2003: 33-44
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal J. Ahmed, David Walker: The logical approach to stack typing. TLDI 2003: 74-85
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmal J. Ahmed, Andrew W. Appel, Roberto Virga: A Stratified Semantics of General References A Stratified Semantics of General References. LICS 2002: 75-

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)