Powered by
39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018),
June 18–22, 2018,
Philadelphia, PA, USA
Frontmatter
Web Pages
Emerging Hardware
Concurrency and Termination
Advanced Automata-Based Algorithms for Program Termination Checking
Yu-Fang Chen, Matthias Heizmann,
Ondřej Lengál, Yong Li,
Ming-Hsien Tsai,
Andrea Turrini, and
Lijun Zhang
(Academia Sinica, Taiwan; National Taipei University, Taiwan; University of Freiburg, Germany; Brno University of Technology, Czechia; Institute of Software at Chinese Academy of Sciences, China)
Dynamic Techniques
Transactions and Races
Floats and Maps
Multicore and More
Spatial: A Language and Compiler for Application Accelerators
David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel,
Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and
Kunle Olukotun
(Stanford University, USA; EPFL, Switzerland)
SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
Kim-Anh Tran, Alexandra Jimborean,
Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras
(Uppsala University, Sweden; National University of Singapore, Singapore; NTNU, Norway)
Concurrency Debugging
Synthesis and Learning
Programming-Student Feedback
Analyzing Probabilistic Programs
Optimization and Locality
Inference for Probabilistic Programs
Verification
Crellvm: Verified Credible Compilation for LLVM
Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin,
Yonghyun Kim, Sungkeun Cho,
Joonwon Choi,
Chung-Kil Hur, and
Kwangkeun Yi
(Seoul National University, South Korea; Massachusetts Institute of Technology, USA)
Info
Artifacts Functional
Certified Concurrent Abstraction Layers
Ronghui Gu,
Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu,
Jérémie Koenig, Vilhelm Sjöberg,
Hao Chen, David Costanzo, and Tahina Ramananandro
(Yale University, USA; Microsoft Research, USA)
Artifacts Functional
Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon,
Mooly Sagiv,
Sharon Shoham, James R. Wilcox, and Doug Woos
(Tel Aviv University, Israel; University of California at Los Angeles, USA; Microsoft Research, USA; University of Washington, USA)
Artifacts Functional
Program Analysis
Parallelism
GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan
(Ohio State University, USA; Pacific Northwest National Laboratory, USA; Colorado State University, USA; Grenoble Alpes University, France; Inria, France)
Types
proc time: 0.79