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)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
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)
Publisher's Version
Published Artifact
Artifacts Available
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)
Publisher's Version
Types
proc time: 14.29