-
Notifications
You must be signed in to change notification settings - Fork 0
/
publications.yaml
80 lines (66 loc) · 4.75 KB
/
publications.yaml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
- title: "Graduality from Embedding-Projection Pairs"
url: "http://www.ccs.neu.edu/home/amal/papers/graduality.pdf"
authors: Max S. New and Amal Ahmed
venue: _23nd ACM SIGPLAN International Conference on Functional Programming (ICFP ’18)_, St. Louis, USA, September 2018
- title: "Rust Distilled: An Expressive Tower of Languages"
url: "https://aaronweiss.us/pubs/ml18.pdf"
authors: Aaron Weiss, Daniel Patterson, and Amal Ahmed
venue: _ML Family Workshop (ML '18)_, St. Louis, USA, September 2018
- title: "Call-by-name Gradual Type Theory"
url: "http://drops.dagstuhl.de/opus/volltexte/2018/9194/"
authors: Max S. New and Daniel R. Licata
venue: _3rd International Conference on Formal Structures for Computation and Deduction (FSCD ’18)_, Oxford, UK, July 2018
extra: '[Extended version](https://arxiv.org/abs/1802.00061)'
- title: "Typed Closure Conversion of the Calculus of Constructions"
url: "http://www.ccs.neu.edu/home/amal/papers/closconvcc.pdf"
authors: William J. Bowman and Amal Ahmed
venue: _ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’18)_, Philadelphia, USA, June 2018
- title: "FabULous Interoperability for ML and a Linear Language"
url: "https://link.springer.com/content/pdf/10.1007%2F978-3-319-89366-2_8.pdf"
authors: Gabriel Scherer, Max New, Nick Rioux, and Amal Ahmed
venue: _21st International Conference on Foundations of Software Science and and Computations Structures (FoSSaCS '18)_, Thessaloniki, Greece, April 2018
extra: '[Full version](https://arxiv.org/pdf/1707.04984.pdf)'
- title: "Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible."
url: "http://www.ccs.neu.edu/home/amal/papers/cpscc.pdf"
authors: William J. Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed
venue: _45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’18)_, Los Angeles, USA, January 2018
- title: "Theorems for Free for Free: Parametricity, With and Without Types."
url: "http://www.ccs.neu.edu/home/amal/papers/thmfreefree.pdf"
authors: Amal Ahmed, Dustin Jamner, Jeremy Siek, and Philip Wadler
venue: _22nd ACM SIGPLAN International Conference on Functional Programming (ICFP ’17)_, Oxford, UK, September 2017
- title: "FunTAL: Reasonably Mixing a Functional Language with Assembly."
url: "https://dbp.io/pubs/2017/funtal.pdf"
authors: Daniel Patterson, Jamie Perconti, Christos Dimoulas, and Amal Ahmed
venue: _ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’17)_, Barcelona, Spain, June 2017
extra: '[Technical appendix](https://dbp.io/pubs/2017/funtal-tr.pdf), April 2017.'
- title: "Linking Types for Multi-Language Software: Have Your Cake and Eat It Too."
url: "https://dbp.io/pubs/2017/linking-types.pdf"
authors: Daniel Patterson and Amal Ahmed.
venue: "_SNAPL: Summit on Advances in Programming Languages (SNAPL'17)_, May 2017"
- title: Fully Abstract Compilation via Universal Embedding.
url: "http://www.ccs.neu.edu/home/amal/papers/fabcc.pdf"
authors: Max New, William J. Bowman, and Amal Ahmed
venue: _21st ACM SIGPLAN International Conference on Functional Programming (ICFP '16)_, Nara, Japan, September 2016.
extra: '[Technical report](http://www.ccs.neu.edu/home/amal/papers/fabcc-tr.pdf), July 2016.'
- title: Noninterference for Free.
url: "http://www.ccs.neu.edu/home/amal/papers/nifree.pdf"
authors: William J. Bowman and Amal Ahmed
venue: _20th ACM SIGPLAN International Conference on Functional Programming (ICFP '15)_, Vancouver, Canada, September 2015
- title: Verified Compilers for a Multi-Language World.
url: "http://www.ccs.neu.edu/home/amal/papers/verifcomp.pdf"
authors: Amal Ahmed
venue: "_SNAPL: Summit on Advances in Programming Languages (SNAPL'15)_, May 2015"
- title: "Verifying an Open Compiler Using Multi-Language Semantics"
url: http://www.ccs.neu.edu/home/amal/papers/voc.pdf
authors: Jamie Perconti and Amal Ahmed
venue: _23rd European Symposium on Programming (ESOP '14)_, Grenoble, France, April 2014
extra: '[Technical report](http://www.ccs.neu.edu/home/amal/papers/Doc-tr.pdf)'
- title: "An Equivalence-Preserving CPS Translation via Multi-Language Semantics"
url: http://www.ccs.neu.edu/home/amal/papers/epc.pdf
authors: Amal Ahmed and Matthias Blume
venue: _16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11)_, pp. 431-444, Tokyo, Japan, September 2011
extra: '[Technical appendix](http://www.ccs.neu.edu/home/amal/papers/epc-tr.pdf)'
- title: Blame for All
url: http://plt.eecs.northwestern.edu/blame-for-all/
authors: Amal Ahmed, Robert Bruce Findler, Jeremy Siek, and Philip Wadler
venue: _38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11)_, pp. 201-214, Austin, Texas, USA, January 2011