Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Amal Ahmed

Amal J. Ahmed

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c20]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/TuronTABD13
- ask others
Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer: Logical relations for fine-grained concurrency. POPL 2013: 343-356
2012
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/post/AcarACP12
- ask others
Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera: A Core Calculus for Provenance. POST 2012: 410-429
2011
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1103-0510
- ask others
Derek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations. Logical Methods in Computer Science 7(2) (2011)
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/CheneyAA11
- ask others
James Cheney, Amal Ahmed, Umut A. Acar: Provenance as dependency analysis. Mathematical Structures in Computer Science 21(6): 1301-1337 (2011)
[c18]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/AhmedB11
- ask others
Amal Ahmed, Matthias Blume: An equivalence-preserving CPS translation via multi-language semantics. ICFP 2011: 431-444
[c17]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/AhmedFSW11
- ask others
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler: Blame for all. POPL 2011: 201-214
2010
[j2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/AhmedARSTW10
- ask others
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)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c16]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/DreyerAB09
- ask others
Derek Dreyer, Amal Ahmed, Lars Birkedal: Logical Step-Indexed Logical Relations. LICS 2009: 71-80
[c15]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/AhmedDR09
- ask others
Amal Ahmed, Derek Dreyer, Andreas Rossberg: State-dependent representation independence. POPL 2009: 340-353
[e2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tldi/2009
- ask others
Andrew Kennedy, Amal Ahmed (Eds.): Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA, January 24, 2009. ACM 2009, ISBN 978-1-60558-420-1
2008
[c14]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/AhmedBHM08
- ask others
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
[c13]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/AhmedBHM08a
- ask others
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett: 08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State 2008
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/MatthewsA08
- ask others
Jacob Matthews, Amal Ahmed: Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices!. ESOP 2008: 16-31
[c11]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/AhmedB08
- ask others
Amal Ahmed, Matthias Blume: Typed closure conversion preserves observational equivalence. ICFP 2008: 157-168
[c10]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/AcarAB08
- ask others
Umut A. Acar, Amal Ahmed, Matthias Blume: Imperative self-adjusting computation. POPL 2008: 309-322
[e1]
- view
  - electronic edition @ dagstuhl.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dagstuhl/2008P8061
- ask others
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett (Eds.): Types, Logics and Semantics for State, 03.02. - 08.02.2008. Dagstuhl Seminar Proceedings 08061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0812-0564
- ask others
James Cheney, Umut A. Acar, Amal Ahmed: Provenance Traces. CoRR abs/0812.0564 (2008)
2007
[j1]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/AhmedFM07
- ask others
Amal Ahmed, Matthew Fluet, Greg Morrisett: L³: A Linear Language with Locations. Fundam. Inform. 77(4): 397-449 (2007)
[c9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dbpl/CheneyAA07
- ask others
James Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis. DBPL 2007: 138-152
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/NanevskiAMB07
- ask others
Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0708-2173
- ask others
James Cheney, Amal Ahmed, Umut A. Acar: Provenance as Dependency Analysis. CoRR abs/0708.2173 (2007)
2006
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/FluetMA06
- ask others
Matthew Fluet, Greg Morrisett, Amal J. Ahmed: Linear Regions Are All You Need. ESOP 2006: 7-21
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/Ahmed06
- ask others
Amal J. Ahmed: Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. ESOP 2006: 69-83
2005
[c5]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/AhmedFM05
- ask others
Amal J. Ahmed, Matthew Fluet, Greg Morrisett: A step-indexed model of substructural state. ICFP 2005: 78-91
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/MorrisettAF05
- ask others
Greg Morrisett, Amal J. Ahmed, Matthew Fluet: L³: A Linear Language with Locations. TLCA 2005: 293-307
2003
[c3]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/AhmedJW03
- ask others
Amal J. Ahmed, Limin Jia, David Walker: Reasoning about Hierarchical Storage. LICS 2003: 33-44
[c2]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tldi/AhmedW03
- ask others
Amal J. Ahmed, David Walker: The logical approach to stack typing. TLDI 2003: 74-85
2002
[c1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/AhmedAV02
- ask others
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

see FAQ

What is the meaning of the colors in the coauthor index?