Powered by
40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019),
June 22–26, 2019,
Phoenix, AZ, USA
Frontmatter
Concurrency I
Renaissance: Benchmarking Suite for Parallel Applications on the JVM
Aleksandar Prokopec,
Andrea Rosà, David Leopoldseder, Gilles Duboscq,
Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon,
Thomas Würthinger, and
Walter Binder
(Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia)
Publisher's Version
Artifacts Functional
Language Design I
Concurrency II
Language Design II
FaCT: A DSL for Timing-Sensitive Computation
Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner,
Benjamin Grégoire, Gilles Barthe,
Ranjit Jhala, and
Deian Stefan
(University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain)
Publisher's Version
Info
Artifacts Functional
Probabilistic Programming
Scalable Verification of Probabilistic Networks
Steffen Smolka, Praveen Kumar, David M. Kahn,
Nate Foster,
Justin Hsu,
Dexter Kozen, and
Alexandra Silva
(Cornell University, USA; Carnegie Mellon University, USA; University of Wisconsin-Madison, USA; University College London, UK)
Publisher's Version
Artifacts Functional
Synthesis
Memory Management
Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories
Chenxi Wang,
Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv,
Xiaobing Feng, and
Guoqing Harry Xu
(University of California at Los Angeles, USA; Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, USA; University of Sydney, Australia; Google, USA; ETH Zurich, Switzerland)
Publisher's Version
Parsing
Bug Finding and Testing I
Parallelism and Super Computing I
Type Systems I
Bug Finding and Testing II
Parallelism and Super Computing II
Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors
Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis,
Mary Hall,
Maryam Mehri Dehnavi, Payal Nandy,
Catherine Olschanowsky,
Anand Venkat, and
Michelle Mills Strout
(University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA)
Publisher's Version
Artifacts Functional
Type Systems II
ML
Specification
Static Analysis
Dynamics: Analysis and Compilation
Performance
Type Systems III
Systems I
Verification I
Verified Compilation on a Verified Processor
Andreas Lööw, Ramana Kumar, Yong Kiam Tan,
Magnus O. Myreen,
Michael Norrish, Oskar Abrahamsson, and
Anthony Fox
(Chalmers University of Technology, Sweden; DeepMind, UK; Carnegie Mellon University, USA; Data61 at CSIRO, Australia; Australian National University, Australia; ARM, UK)
Publisher's Version
Artifacts Functional
Systems II
Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions
Elazar Gershuni,
Nadav Amit,
Arie Gurfinkel, Nina Narodytska, Jorge A. Navas,
Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv
(VMware, USA; Tel Aviv University, Israel; University of Waterloo, Canada; SRI International, USA)
Publisher's Version
Artifacts Functional
Verification II
proc time: 11.58