Amal J. Ahmed
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2002–2006
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ESOP | Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types. | Amal J. Ahmed |
| 2006 | ESOP | Linear Regions Are All You Need. | Matthew Fluet, Greg Morrisett, Amal J. Ahmed |
| 2005 | ICFP | A step-indexed model of substructural state. | Amal J. Ahmed, Matthew Fluet, Greg Morrisett |
| 2003 | LICS | Reasoning about Hierarchical Storage. | Amal J. Ahmed, Limin Jia, David Walker |
| 2002 | LICS | A Stratified Semantics of General References A Stratified Semantics of General References. | Amal J. Ahmed, Andrew W. Appel, Roberto Virga |