Secure Interoperability, Languages, and Compilers

Publications

• Graduality from Embedding-Projection Pairs
  Max S. New and Amal Ahmed.
  In 23nd ACM SIGPLAN International Conference on Functional Programming (ICFP ’18), St. Louis, USA, September 2018.
  
• Rust Distilled: An Expressive Tower of Languages
  Aaron Weiss, Daniel Patterson, and Amal Ahmed.
  In ML Family Workshop (ML '18), St. Louis, USA, September 2018.
  
• Call-by-name Gradual Type Theory
  Max S. New and Daniel R. Licata.
  In 3rd International Conference on Formal Structures for Computation and Deduction (FSCD ’18), Oxford, UK, July 2018.
  Extended version
• Typed Closure Conversion of the Calculus of Constructions
  William J. Bowman and Amal Ahmed.
  In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’18), Philadelphia, USA, June 2018.
  
• FabULous Interoperability for ML and a Linear Language
  Gabriel Scherer, Max New, Nick Rioux, and Amal Ahmed.
  In 21st International Conference on Foundations of Software Science and and Computations Structures (FoSSaCS '18), Thessaloniki, Greece, April 2018.
  Full version
• Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible.
  William J. Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed.
  In 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’18), Los Angeles, USA, January 2018.
  
• Theorems for Free for Free: Parametricity, With and Without Types.
  Amal Ahmed, Dustin Jamner, Jeremy Siek, and Philip Wadler.
  In 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP ’17), Oxford, UK, September 2017.
  
• FunTAL: Reasonably Mixing a Functional Language with Assembly.
  Daniel Patterson, Jamie Perconti, Christos Dimoulas, and Amal Ahmed.
  In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’17), Barcelona, Spain, June 2017.
  Technical appendix, April 2017.
• Linking Types for Multi-Language Software: Have Your Cake and Eat It Too.
  Daniel Patterson and Amal Ahmed..
  In SNAPL: Summit on Advances in Programming Languages (SNAPL'17), May 2017.
  
• Fully Abstract Compilation via Universal Embedding.
  Max New, William J. Bowman, and Amal Ahmed.
  In 21st ACM SIGPLAN International Conference on Functional Programming (ICFP '16), Nara, Japan, September 2016..
  Technical report, July 2016.
• Noninterference for Free.
  William J. Bowman and Amal Ahmed.
  In 20th ACM SIGPLAN International Conference on Functional Programming (ICFP '15), Vancouver, Canada, September 2015.
  
• Verified Compilers for a Multi-Language World.
  Amal Ahmed.
  In SNAPL: Summit on Advances in Programming Languages (SNAPL'15), May 2015.
  
• Verifying an Open Compiler Using Multi-Language Semantics
  Jamie Perconti and Amal Ahmed.
  In 23rd European Symposium on Programming (ESOP '14), Grenoble, France, April 2014.
  Technical report
• An Equivalence-Preserving CPS Translation via Multi-Language Semantics
  Amal Ahmed and Matthias Blume.
  In 16th ACM SIGPLAN International Conference on Functional Programming (ICFP '11), pp. 431-444, Tokyo, Japan, September 2011.
  Technical appendix
• Blame for All
  Amal Ahmed, Robert Bruce Findler, Jeremy Siek, and Philip Wadler.
  In 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '11), pp. 201-214, Austin, Texas, USA, January 2011.
  

SILC is part of the Programming Research Laboratory at Northeastern University.