PLDI 2018
Mon 18 - Fri 22 June 2018
Philadelphia, Pennsylvania, United States
Toggle navigation
Attending
Venue: Hilton Philadelphia at Penn's Landing
Registration
Sponsorship
Students
Accessibility FAQ
Visas
Code of Conduct
Childcare
Tourist Information
Remote Participation
Program
Complete Program
Your Program
Mon 18 Jun
Tue 19 Jun
Wed 20 Jun
Thu 21 Jun
Fri 22 Jun
Tracks
PLDI 2018
PLDI Research Papers
PLDI Invited Speakers
Student Research Competition (SRC)
Student Volunteers
PLDI Research Artifacts
PLDI Workshops
PLDI Tutorials
Co-hosted Conferences
ISMM
ISMM
ISMM
LCTES
LCTES
LCTES
Workshops
ARRAY
DeepSpec
FMS
MAPL
PLMW @ PLDI
Organization
PLDI 2018
Organizing Committee
Program Committee
External Program Committee
External Review Committee
Student Research Competition Committee
Artifact Evaluation Committee
Distinguished Paper Committee
Steering Committee
Contributors
People Index
Co-hosted Conferences
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Steering Committee
Workshops
ARRAY
ARRAY 2018
Organizing Committee
ARRAY 2018
Program Committee
DeepSpec
DeepSpec 2018
Organizing Committee
DeepSpec 2018
Program Committee
FMS
FMS 2018
Organizing Committee
FMS 2018
Program Committee
MAPL
MAPL 2018
Organizing Committee
MAPL 2018
Program Committee
MAPL 2018
Steering Committee
PLMW @ PLDI
PLMW @ PLDI 2018
Organizing Committee
PLMW @ PLDI 2018
Speakers
Search
Series
Series
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2018
(
series
) /
Hilton Philadelphia at Penn's Landing
/
Room information: Grand Ballroom AB
Venue
Hilton Philadelphia at Penn's Landing
Room name
Grand Ballroom AB
Floor
0
Room number
Capacity
0
Additional information
There is no additional information of this room available.
Program
Detailed Table
Session Timeline
Detailed Timeline
Wed 20 Jun
pldi-2018-papers
11:00 - 12:15:
PLDI Research Papers
- Web Pages at
Grand Ballroom AB
Chair(s):
Tobias Wrigstad
Uppsala University
pldi-2018-papers
11:00 - 11:25
Talk
Verifying That Web Pages Have Accessible Layout
Pavel Panchekha
University of Washington
,
Adam T. Geller
University of Washington, USA
,
Michael D. Ernst
University of Washington, USA
,
Zachary Tatlock
University of Washington
,
Shoaib Kamil
Adobe
Media Attached
pldi-2018-papers
11:25 - 11:50
Talk
BLeak: Automatically Debugging Memory Leaks in Web Applications
John Vilk
University of Massachusetts, Amherst
,
Emery Berger
University of Massachusetts, Amherst
Media Attached
pldi-2018-papers
11:50 - 12:15
Talk
Putting in All the Stops: Execution Control for JavaScript
Samuel Baxter
University of Massachusetts at Amherst, USA
,
Rachit Nigam
,
Joe Gibbs Politz
University of California, San Diego
,
Shriram Krishnamurthi
Brown University, USA
,
Arjun Guha
University of Massachusetts, Amherst
Media Attached
pldi-2018-papers
14:00 - 15:40:
PLDI Research Papers
- Concurrency and Termination at
Grand Ballroom AB
Chair(s):
Iulian Neamtiu
New Jersey Institute of Technology
pldi-2018-papers
14:00 - 14:25
Talk
Static Serializability Analysis for Causal Consistency
Lucas Brutschy
ETH Zurich
,
Dimitar Dimitrov
ETH Zurich, Switzerland
,
Peter Müller
ETH Zurich
,
Martin Vechev
ETH Zürich
pldi-2018-papers
14:25 - 14:50
Talk
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs
Peizun Liu
Northeastern University, USA
,
Thomas Wahl
Northeastern University
Media Attached
pldi-2018-papers
14:50 - 15:15
Talk
Symbolic Reasoning for Automatic Signal Placement
Kostas Ferles
UT Austin
,
Jacob Van Geffen
UT Austin
,
Isil Dillig
UT Austin
,
Yannis Smaragdakis
University of Athens
Media Attached
pldi-2018-papers
15:15 - 15:40
Talk
Advanced Automata-Based Algorithms for Program Termination Checking
Yu-Fang Chen
,
Matthias Heizmann
University of Freiburg, Germany
,
Ondrej Lengal
Brno University of Technology
,
Yong Li
Institute of Software, Chinese Academy of Sciences
,
Ming-Hsien Tsai
Academia Sinica, Taiwan
,
Andrea Turrini
State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
,
Lijun Zhang
Institute of Software, Chinese Academy of Sciences
Media Attached
pldi-2018-papers
16:10 - 17:25:
PLDI Research Papers
- Transactions and Races at
Grand Ballroom AB
Chair(s):
Tatiana Shpeisman
Google Brain
pldi-2018-papers
16:10 - 16:35
Talk
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
Nathan Chong
ARM Ltd.
,
Tyler Sorensen
Imperial College London
,
John Wickerson
Imperial College London
Media Attached
pldi-2018-papers
16:35 - 17:00
Talk
MixT: A Language for Mixing Consistency in Geodistributed Transactions
Matthew Milano
Cornell University
,
Andrew Myers
Cornell University
Media Attached
pldi-2018-papers
17:00 - 17:25
Talk
Bounding Data Races in Space and Time
Stephen Dolan
University of Cambridge
,
KC Sivaramakrishnan
University of Cambridge
,
Anil Madhavapeddy
OCaml Labs
Media Attached
pldi-2018-PLDI-Invited-Speakers
17:30 - 18:30:
PLDI Invited Speakers
- Program Chair's Report and SIGPLAN Town Hall Meeting at
Grand Ballroom AB
Chair(s):
Michael Hicks
University of Maryland, College Park
,
Dan Grossman
University of Washington
pldi-2018-PLDI-Invited-Speakers
17:30 - 18:00
Talk
PLDI Program Chair's Report
Dan Grossman
University of Washington
Media Attached
pldi-2018-PLDI-Invited-Speakers
18:00 - 18:30
Talk
SIGPLAN Town Hall Meeting
Michael Hicks
University of Maryland, College Park
,
Benjamin C. Pierce
University of Pennsylvania
,
Steve Blackburn
Australian National University
Media Attached
Thu 21 Jun
pldi-2018-papers
11:00 - 12:15:
PLDI Research Papers
- Multicore and More at
Grand Ballroom AB
Chair(s):
Yannis Smaragdakis
University of Athens
pldi-2018-papers
11:00 - 11:25
Talk
Spatial: A Language and Compiler for Application Accelerators
David Koeplinger
Stanford University, USA
,
Matthew Feldman
Stanford University, USA
,
Raghu Prabhakar
Stanford University, USA
,
Yaqi Zhang
Stanford University, USA
,
Stefan Hadjis
Stanford University, USA
,
Ruben Fiszel
EPFL, Switzerland
,
Tian Zhao
Stanford University
,
Luigi Nardi
Stanford University
,
Ardavan Pedram
Stanford University, USA
,
Christos Kozyrakis
Stanford University, USA
,
Kunle Olukotun
Stanford University
Media Attached
pldi-2018-papers
11:25 - 11:50
Talk
Enhancing Computation-to-Core Assignment with Physical Location Information
Orhan Kislal
Pennsylvania State University, USA
,
Jagadish Kotra
Pennsylvania State University, USA
,
Xulong Tang
Penn State
,
Mahmut Taylan Kandemir
University of Pennsylvania
,
Myoungsoo Jung
Yonsei University, South Korea
Media Attached
pldi-2018-papers
11:50 - 12:15
Talk
SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
Kim-Anh Tran
Uppsala University, Sweden
,
Alexandra Jimborean
Uppsala University
,
Trevor E. Carlson
National University of Singapore
,
Konstantinos Koukos
Uppsala University, Sweden
,
Magnus Själander
Norwegian University of Science and Technology (NTNU)
,
Stefanos Kaxiras
Uppsala University, Sweden
Media Attached
pldi-2018-papers
14:00 - 15:40:
PLDI Research Papers
- Concurrency Debugging at
Grand Ballroom AB
Chair(s):
Tony Hosking
Australian National University / Data61
pldi-2018-papers
14:00 - 14:25
Talk
iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
Hongyu Liu
University of Texas at San Antonio, USA
,
Sam Silvestro
University of Texas at San Antonio, USA
,
Wei Wang
University of Texas at San Antonio, USA
,
Chen Tian
Huawei Lab, USA
,
Tongping Liu
Media Attached
pldi-2018-papers
14:25 - 14:50
Talk
D4: Fast Concurrency Debugging with Parallel Differential Analysis
Bozhen Liu
Texas A&M University, USA
,
Jeff Huang
Texas A&M University
Media Attached
pldi-2018-papers
14:50 - 15:15
Talk
High-Coverage, Unbounded Sound Predictive Race Detection
Jake Roemer
Ohio State University
,
Kaan Genç
Ohio State University, USA
,
Michael Bond
Ohio State University
Media Attached
pldi-2018-papers
15:15 - 15:40
Talk
CURD: A Dynamic CUDA Race Detector
Yuanfeng Peng
University of Pennsylvania
,
Vinod Grover
,
Joseph Devietti
University of Pennsylvania
Media Attached
pldi-2018-papers
16:10 - 17:00:
PLDI Research Papers
- Programming-Student Feedback at
Grand Ballroom AB
Chair(s):
Dan Grossman
University of Washington
pldi-2018-papers
16:10 - 16:35
Talk
Automated Clustering and Program Repair for Introductory Programming Assignments
Sumit Gulwani
Microsoft Research
,
Ivan Radiček
Vienna University of Technology, Austria
,
Florian Zuleger
TU Vienna
Media Attached
pldi-2018-papers
16:35 - 17:00
Talk
Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises
Ke Wang
University of California at Davis, USA
,
Rishabh Singh
Google Brain
,
Zhendong Su
University of California, Davis
Media Attached
Fri 22 Jun
pldi-2018-papers
11:00 - 12:15:
PLDI Research Papers
- Optimization and Locality at
Grand Ballroom AB
Chair(s):
Milind Kulkarni
Purdue University
pldi-2018-papers
11:00 - 11:25
Talk
Polyhedral Auto-transformation with No Integer Linear Programming
Aravind Acharya
Indian Institute of Science, Bangalore
,
Uday Bondhugula
Indian Institute of Science
,
Albert Cohen
Inria, France / ENS, France
Media Attached
pldi-2018-papers
11:25 - 11:50
Talk
Partial Control-Flow Linearization
Simon Moll
Saarland University, Germany
,
Sebastian Hack
Saarland University, Germany
Media Attached
pldi-2018-papers
11:50 - 12:15
Talk
Locality Analysis through Static Parallel Sampling
Dong Chen
University of Rochester
,
Fangzhou Liu
University of Rochester
,
Chen Ding
University of Rochester
,
Sreepathi Pai
University of Rochester
Media Attached
pldi-2018-papers
14:00 - 15:40:
PLDI Research Papers
- Verification at
Grand Ballroom AB
Chair(s):
Adam Chlipala
Massachusetts Institute of Technology, USA
pldi-2018-papers
14:00 - 14:25
Talk
VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models
Brandon Bohrer
,
Yong Kiam Tan
Carnegie Mellon University, USA
,
Stefan Mitsch
Carnegie Mellon University, USA
,
Magnus O. Myreen
Chalmers University of Technology, Sweden
,
André Platzer
Carnegie Mellon University
Media Attached
pldi-2018-papers
14:25 - 14:50
Talk
Crellvm: Verified Credible Compilation for LLVM
Jeehoon Kang
Seoul National University
,
Yoonseung Kim
Seoul National University (South Korea)
,
Youngju Song
Seoul National University
,
Juneyoung Lee
Seoul National University
,
Sanghoon Park
Seoul National University, South Korea
,
Mark Dongyeon Shin
Seoul National University, South Korea
,
Yonghyun Kim
Seoul National University, South Korea
,
Sungkeun Cho
Seoul National University, South Korea
,
Joonwon Choi
Massachusetts Institute of Technology, USA
,
Chung-Kil Hur
Seoul National University
,
Kwangkeun Yi
Seoul National University
Media Attached
pldi-2018-papers
14:50 - 15:15
Talk
Certified Concurrent Abstraction Layers
Ronghui Gu
Columbia University
,
Zhong Shao
Yale University
,
Jieung Kim
Yale University, USA
,
Xiongnan (Newman) Wu
Yale University
,
Jérémie Koenig
,
Vilhelm Sjöberg
Yale University
,
Hao Chen
Yale University
,
David Costanzo
Yale University
,
Tahina Ramananandro
Microsoft Research, n.n.
Media Attached
pldi-2018-papers
15:15 - 15:40
Talk
Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
Marcelo Taube
Tel Aviv University, Israel
,
Giuliano Losa
University of California at Los Angeles, USA
,
Kenneth L. McMillan
Microsoft Research
,
Oded Padon
Tel Aviv University
,
Mooly Sagiv
Tel Aviv University
,
Sharon Shoham
Tel Aviv university
,
James R. Wilcox
University of Washington
,
Doug Woos
University of Washington
Media Attached
pldi-2018-papers
16:10 - 17:25:
PLDI Research Papers
- Parallelism at
Grand Ballroom AB
Chair(s):
Julian Dolby
IBM Thomas J. Watson Research Center
pldi-2018-papers
16:10 - 16:35
Talk
GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis
Changwan Hong
,
Aravind Sukumaran-Rajam
Ohio State University, USA
,
Jinsung Kim
Ohio State University, USA
,
Prashant Singh Rawat
,
Sriram Krishnamoorthy
Pacific Northwest National Laboratories
,
Louis-Noel Pouchet
Colorado State University
,
Fabrice Rastello
INRIA
,
P. Sadayappan
Ohio State University
Media Attached
pldi-2018-papers
16:35 - 17:00
Talk
Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
Roshan Dathathri
University of Texas at Austin, USA
,
Gurbinder Gill
University of Texas at Austin, USA
,
Loc Hoang
University of Texas at Austin, USA
,
Hoang-Vu Dang
University of Illinois at Urbana-Champaign, USA
,
Alex Brooks
University of Illinois at Urbana-Champaign, USA
,
Nikoli Dryden
University of Illinois at Urbana-Champaign, USA
,
Marc Snir
UIUC
,
Keshav Pingali
University of Texas at Austin, USA
Media Attached
pldi-2018-papers
17:00 - 17:25
Talk
Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
Umut Acar
Carnegie Mellon University
,
Arthur Charguéraud
Inria
,
Adrien Guatto
,
Mike Rainey
,
Filip Sieczkowski
University of Wrocław
Media Attached
Wed 20 Jun 2018
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
Grand Ballroom AB
PLDI Research Papers
Web Pages
11:00 - 12:15
PLDI Research Papers
Concurrency and Termination
14:00 - 15:40
PLDI Research Papers
Transactions and Races
16:10 - 17:25
PLDI Invited Speakers
Program Chair's Report and SIGPLAN Town Hall Meeting
17:30 - 18:30
Thu 21 Jun 2018
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Grand Ballroom AB
PLDI Research Papers
Multicore and More
11:00 - 12:15
PLDI Research Papers
Concurrency Debugging
14:00 - 15:40
PLDI Research Papers
Programming-Student Feedback
16:10 - 17:00
Fri 22 Jun 2018
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Grand Ballroom AB
PLDI Research Papers
Optimization and Locality
11:00 - 12:15
PLDI Research Papers
Verification
14:00 - 15:40
PLDI Research Papers
Parallelism
16:10 - 17:25
Wed 20 Jun 2018
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
Grand Ballroom AB
PLDI Research Papers
Verifying That Web Pages Have Accessible Layout
11:00 - 11:25
PLDI Research Papers
BLeak: Automatically Debugging Memory Leaks in Web Applications
11:25 - 11:50
PLDI Research Papers
Putting in All the Stops: Execution Control for JavaScript
11:50 - 12:15
PLDI Research Papers
Static Serializability Analysis for Causal Consistency
14:00 - 14:25
PLDI Research Papers
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs
14:25 - 14:50
PLDI Research Papers
Symbolic Reasoning for Automatic Signal Placement
14:50 - 15:15
PLDI Research Papers
Advanced Automata-Based Algorithms for Program Termination Checking
15:15 - 15:40
PLDI Research Papers
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
16:10 - 16:35
PLDI Research Papers
MixT: A Language for Mixing Consistency in Geodistributed Transactions
16:35 - 17:00
PLDI Research Papers
Bounding Data Races in Space and Time
17:00 - 17:25
PLDI Invited Speakers
PLDI Program Chair's Report
17:30 - 18:00
PLDI Invited Speakers
SIGPLAN Town Hall Meeting
18:00 - 18:30
Thu 21 Jun 2018
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Grand Ballroom AB
PLDI Research Papers
Spatial: A Language and Compiler for Application Accelerators
11:00 - 11:25
PLDI Research Papers
Enhancing Computation-to-Core Assignment with Physical Location Information
11:25 - 11:50
PLDI Research Papers
SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, ...
11:50 - 12:15
PLDI Research Papers
iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Ap ...
14:00 - 14:25
PLDI Research Papers
D4: Fast Concurrency Debugging with Parallel Differential Analysis
14:25 - 14:50
PLDI Research Papers
High-Coverage, Unbounded Sound Predictive Race Detection
14:50 - 15:15
PLDI Research Papers
CURD: A Dynamic CUDA Race Detector
15:15 - 15:40
PLDI Research Papers
Automated Clustering and Program Repair for Introductory Programming As ...
16:10 - 16:35
PLDI Research Papers
Search, Align, and Repair: Data-Driven Feedback Generation for Introduc ...
16:35 - 17:00
Fri 22 Jun 2018
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Grand Ballroom AB
PLDI Research Papers
Polyhedral Auto-transformation with No Integer Linear Programming
11:00 - 11:25
PLDI Research Papers
Partial Control-Flow Linearization
11:25 - 11:50
PLDI Research Papers
Locality Analysis through Static Parallel Sampling
11:50 - 12:15
PLDI Research Papers
VeriPhy: Verified Controller Executables from Verified Cyber-Physical S ...
14:00 - 14:25
PLDI Research Papers
Crellvm: Verified Credible Compilation for LLVM
14:25 - 14:50
PLDI Research Papers
Certified Concurrent Abstraction Layers
14:50 - 15:15
PLDI Research Papers
Modularity for Decidability of Deductive Verification with Applications ...
15:15 - 15:40
PLDI Research Papers
GPU Code Optimization using Abstract Kernel Emulation and Sensitivity A ...
16:10 - 16:35
PLDI Research Papers
Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneo ...
16:35 - 17:00
PLDI Research Papers
Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
17:00 - 17:25
x
Sun 15 Dec 14:42