Powered by
38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017),
June 18–23, 2017,
Barcelona, Spain
Frontmatter
Compiler Optimizations
Learning and Probabilistic
Concurrency Analysis
Language Implementation
Bringing the Web up to Speed with WebAssembly
Andreas Haas,
Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, and JF Bastien
(Google, Germany; Google, USA; Microsoft, USA; Mozilla, USA; Apple, USA)
Simple, Fast, and Safe Manual Memory Management
Piyus Kedia, Manuel Costa,
Matthew Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, and Aaron Blankstein
(Microsoft Research, India; Microsoft Research, UK; Princeton University, USA)
Static Analysis
Dynamic Analysis and Testing
Static Analysis and Security
Synthesis
Functional Programming and Correctness
Levity Polymorphism
Richard A. Eisenberg and Simon Peyton Jones
(Bryn Mawr College, USA; Microsoft Research, UK)
Parallelization and Concurrency
Verified Computation
A Formally Verified Compiler for Lustre
Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy,
Marc Pouzet, and Lionel Rieg
(Inria, France; ENS, France; UPMC, France; CNRS, France; Collège de France, France; Yale University, USA)
Artifacts Functional
Flatten and Conquer: A Framework for Efficient Analysis of String Constraints
Parosh Aziz Abdulla,
Mohamed Faouzi Atig,
Yu-Fang Chen, Bui Phi Diep,
Lukáš Holík, Ahmed Rezine, and Philipp Rümmer
(Uppsala University, Sweden; Academia Sinica, Taiwan; Brno University of Technology, Czech Republic; Linköping University, Sweden)
Artifacts Functional
Correctness
Taming Undefined Behavior in LLVM
Juneyoung Lee, Yoonseung Kim, Youngju Song,
Chung-Kil Hur, Sanjoy Das, David Majnemer,
John Regehr, and Nuno P. Lopes
(Seoul National University, South Korea; Azul Systems, USA; Google, USA; University of Utah, USA; Microsoft Research, UK)
Artifacts Functional
Systems and Performance
Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Thomas Würthinger,
Christian Wimmer, Christian Humer, Andreas Wöß,
Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, and Matthias Grimmer
(Oracle Labs, Switzerland; Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, UK; JKU Linz, Austria)
proc time: 0.79