Jeffrey Mark Siskind and Barak A. Pearlmutter
MAP-CLOSURE is to Closure Conversion as CALL/CC is to CPS Conversion: An implementation of mutation in a functional language using CALL/CC and MAP-CLOSURE
Barak A. Pearlmutter and Jeffrey Mark Siskind
Lazy Multivariate Higher-Order Forward-Mode AD
Matthew Parkinson, Richard Bornat and Peter O'Hearn
Modular Verification of a Non-Blocking Stack
Jacob Matthews and Robert Bruce Findler
Operational Semantics for Multi-Language Programs
Yitzhak Mandelbaum, Kathleen Fisher, David Walker, Mary Fernandez, and Artem Gleyzer
PADS/ML: A Functional Data Description Language
Marina Polishchuk, Ben Liblit, and Chloë W. Schulze
Dynamic Heap Type Inference for Program Understanding and Debugging
Maria Jump and Kathryn S McKinley
Cork: Dynamic Memory Leak Detection for Garbage-Collected Languages
Patrice Godefroid
Compositional Dynamic Test Generation
Michael Emmi, Jeffrey Fischer, Ranjit Jhala, Rupak Majumdar
Lock Allocation
Juan Chen
A Typed Intermediate Language for Compiling Multiple Inheritance
Derek Dreyer, Robert Harper, and Manuel M.T. Chakravarty
Modular Type Classes
Xipeng Shen, Jonathan Shaw, Brian Meeker, Chen Ding
Locality Approximation Using Time
Ralf Lammel
Scrap your boilerplate with XPath-like combinators
Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Vardi
Proving That Programs Eventually Do Something Good
Andrew M Pitts and Mark R Shinwell
Generative Unbinding of Names
Matthew Might
Logic-Flow Analysis of Higher-Order Programs
John Reppy, Yingqi Xiao
Specialization of CML message-passing primitives
Kapil Vaswani, Aditya V. Nori, Trishul M. Chilimbi
Preferential Path Profiling: Compactly Numbering Interesting Paths
Andrew W. Appel, Paul-Andre Mellies, Christopher D. Richards, Jerome Vouillon
A Very Modal Model of a Modern, Major, General Type System
Daniel K. Lee, Karl Crary, Robert Harper
Towards a Mechanized Metatheory of Standard ML
Mayur Naik and Alex Aiken
Conditional Must Not Aliasing for Static Race Detection
Pavel Avgustinov, Elnar Hajiyev, Neil Ongkingco, Oege de Moor, Damien Sereni, Julian Tibble, Mathieu Verbaere
Semantics of Static Pointcuts in AspectJ
Gerwin Klein, Harvey Tuch, Michael Norrish
Types, Bytes, and Separation Logic
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
Context Logic as Modal Logic: Completeness and Parametric Inexpressivity
Pasquale Malacaria
Assessing security threats of looping constructs
Dachuan Yu, Ajay Chander, Nayeem Islam, and Igor Serikov
JavaScript Instrumentation for Browser Security
Ben Wiedermann and William R. Cook
Extracting Queries by Static Analysis of Transparent Persistence
Michele Bugliesi and Marco Giunti
Secure Implementations of Typed Channel Abstractions
Dan Ghica
Geometry of Synthesis: A structural approach to VLSI design
Vineet Kahlon and Aarti Gupta
On the Analysis of Interacting Pushdown System
Kristian Stoevring and Soren B. Lassen
A Complete, Co-Inductive Syntactic Theory of Sequential Control and State
Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Distefano, Peter O'Hearn
Variance analyses from invariance analyses
Mila Dalla Preda, Mihai Christodorescu, Somesh Jha, Saumya Debray
A Semantics-Based Approach to Malware Detection
Atsushi Ohori , Isao Sasano
Lightweight Fusion by Fixed Point Promotion
Sumit Gulwani and Nebojsa Jojic
Program Verification as Probabilistic Inference
Ranjit Jhala, Rupak Majumdar
Interprocedural Analysis of Asynchronous Programs