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
Guarded Impredicative Polymorphism
Alejandro Serrano, Jurriaan Hage
, Dimitrios Vytiniotis, and Simon Peyton Jones
(Utrecht University, Netherlands; Microsoft Research, UK)
proc time: 0.89