Grand Ballroom AB -

VenueHilton Philadelphia at Penn's Landing

Room nameGrand Ballroom AB

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:15	Web PagesPLDI Research Papers at Grand Ballroom AB Chair(s): Tobias Wrigstad Uppsala University

11:00 25m Talk		Verifying That Web Pages Have Accessible Layout PLDI Research Papers Pavel Panchekha University of Washington, Adam T. Geller University of Washington, USA, Michael D. Ernst University of Washington, USA, Zachary Tatlock University of Washington, Seattle, Shoaib Kamil Adobe Media Attached
11:25 25m Talk		BLeak: Automatically Debugging Memory Leaks in Web Applications PLDI Research Papers John Vilk University of Massachusetts, Amherst, Emery D. Berger University of Massachusetts, Amherst Media Attached
11:50 25m Talk		Putting in All the Stops: Execution Control for JavaScript PLDI Research Papers 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

14:00 - 15:40	Concurrency and TerminationPLDI Research Papers at Grand Ballroom AB Chair(s): Iulian Neamtiu New Jersey Institute of Technology

14:00 25m Talk		Static Serializability Analysis for Causal Consistency PLDI Research Papers Lucas Brutschy ETH Zurich, Dimitar Dimitrov ETH Zurich, Switzerland, Peter Müller ETH Zurich, Martin Vechev ETH Zürich
14:25 25m Talk		CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs PLDI Research Papers Peizun Liu Northeastern University, USA, Thomas Wahl Northeastern University Media Attached
14:50 25m Talk		Symbolic Reasoning for Automatic Signal Placement PLDI Research Papers Kostas Ferles UT Austin, Jacob Van Geffen UT Austin, Işıl Dillig UT Austin, Yannis Smaragdakis University of Athens Media Attached
15:15 25m Talk		Advanced Automata-Based Algorithms for Program Termination Checking PLDI Research Papers Yu-Fang Chen , Matthias Heizmann University of Freiburg, Germany, Ondřej Lengál 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

16:10 - 17:25	Transactions and RacesPLDI Research Papers at Grand Ballroom AB Chair(s): Tatiana Shpeisman Google Brain

16:10 25m Talk		The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ PLDI Research Papers Nathan Chong ARM Ltd., Tyler Sorensen Imperial College London, John Wickerson Imperial College London Media Attached
16:35 25m Talk		MixT: A Language for Mixing Consistency in Geodistributed Transactions PLDI Research Papers Mae Milano Cornell University, Andrew Myers Cornell University Media Attached
17:00 25m Talk		Bounding Data Races in Space and Time PLDI Research Papers Stephen Dolan University of Cambridge, KC Sivaramakrishnan University of Cambridge, Anil Madhavapeddy OCaml Labs Media Attached

17:30 - 18:30	Program Chair's Report and SIGPLAN Town Hall MeetingPLDI Invited Speakers at Grand Ballroom AB Chair(s): Dan Grossman University of Washington, Michael Hicks University of Maryland, College Park

17:30 30m Talk		PLDI Program Chair's Report PLDI Invited Speakers Dan Grossman University of Washington Media Attached
18:00 30m Talk		SIGPLAN Town Hall Meeting PLDI Invited Speakers Michael Hicks University of Maryland, College Park, Benjamin C. Pierce University of Pennsylvania, Steve Blackburn Australian National University Media Attached

Thu 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:15	Multicore and MorePLDI Research Papers at Grand Ballroom AB Chair(s): Yannis Smaragdakis University of Athens

11:00 25m Talk		Spatial: A Language and Compiler for Application Accelerators PLDI Research Papers 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
11:25 25m Talk		Enhancing Computation-to-Core Assignment with Physical Location Information PLDI Research Papers 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
11:50 25m Talk		SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores PLDI Research Papers 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

14:00 - 15:40	Concurrency DebuggingPLDI Research Papers at Grand Ballroom AB Chair(s): Tony Hosking Australian National University / Data61

14:00 25m Talk		iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications PLDI Research Papers 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
14:25 25m Talk		D4: Fast Concurrency Debugging with Parallel Differential Analysis PLDI Research Papers Bozhen Liu Texas A&M University, USA, Jeff Huang Texas A&M University Media Attached
14:50 25m Talk		High-Coverage, Unbounded Sound Predictive Race Detection PLDI Research Papers Jake Roemer Ohio State University, Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University Media Attached
15:15 25m Talk		CURD: A Dynamic CUDA Race Detector PLDI Research Papers Yuanfeng Peng University of Pennsylvania, Vinod Grover , Joseph Devietti University of Pennsylvania Media Attached

16:10 - 17:00	Programming-Student FeedbackPLDI Research Papers at Grand Ballroom AB Chair(s): Dan Grossman University of Washington

16:10 25m Talk		Automated Clustering and Program Repair for Introductory Programming Assignments PLDI Research Papers Sumit Gulwani Microsoft Research, Ivan Radiček Vienna University of Technology, Austria, Florian Zuleger TU Vienna Media Attached
16:35 25m Talk		Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises PLDI Research Papers Ke Wang University of California at Davis, USA, Rishabh Singh Google Brain, Zhendong Su University of California, Davis Media Attached

Fri 22 Jun
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:15	Optimization and LocalityPLDI Research Papers at Grand Ballroom AB Chair(s): Milind Kulkarni Purdue University

11:00 25m Talk		Polyhedral Auto-transformation with No Integer Linear Programming PLDI Research Papers Aravind Acharya Indian Institute of Science, Bangalore, Uday Bondhugula Indian Institute of Science, Albert Cohen Inria, France / ENS, France Media Attached
11:25 25m Talk		Partial Control-Flow Linearization PLDI Research Papers Simon Moll Saarland University, Germany, Sebastian Hack Saarland University, Germany Media Attached
11:50 25m Talk		Locality Analysis through Static Parallel Sampling PLDI Research Papers Dong Chen University of Rochester, Fangzhou Liu University of Rochester, Chen Ding University of Rochester, Sreepathi Pai University of Rochester Media Attached

14:00 - 15:40	VerificationPLDI Research Papers at Grand Ballroom AB Chair(s): Adam Chlipala Massachusetts Institute of Technology, USA

14:00 25m Talk		VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models PLDI Research Papers 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
14:25 25m Talk		Crellvm: Verified Credible Compilation for LLVM PLDI Research Papers 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
14:50 25m Talk		Certified Concurrent Abstraction Layers PLDI Research Papers 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
15:15 25m Talk		Modularity for Decidability of Deductive Verification with Applications to Distributed Systems PLDI Research Papers 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

16:10 - 17:25	ParallelismPLDI Research Papers at Grand Ballroom AB Chair(s): Julian Dolby IBM Thomas J. Watson Research Center

16:10 25m Talk		GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis PLDI Research Papers 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-Noël Pouchet Colorado State University, Fabrice Rastello INRIA, P. Sadayappan Ohio State University Media Attached
16:35 25m Talk		Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics PLDI Research Papers 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
17:00 25m Talk		Heartbeat Scheduling: Provable Efficiency for Nested Parallelism PLDI Research Papers Umut A. Acar Carnegie Mellon University, Arthur Charguéraud Inria, Adrien Guatto , Mike Rainey , Filip Sieczkowski University of Wrocław Media Attached

Wed 20 Jun
Displayed time zone: Eastern Time (US & Canada) change


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																																				PLDI Research Papers Concurrency and Termination																										PLDI Research Papers Transactions and Races																PLDI Invited Speakers Program Chair's Report and SIGPLAN Town Hall Meeting

Thu 21 Jun
Displayed time zone: Eastern Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Grand Ballroom AB	PLDI Research Papers Multicore and More																																				PLDI Research Papers Concurrency Debugging																										PLDI Research Papers Programming-Student Feedback

Fri 22 Jun
Displayed time zone: Eastern Time (US & Canada) change


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																																				PLDI Research Papers Verification																										PLDI Research Papers Parallelism

Wed 20 Jun
Displayed time zone: Eastern Time (US & Canada) change


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
Displayed time zone: Eastern Time (US & Canada) change


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
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
Displayed time zone: Eastern Time (US & Canada) change


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

Room information: Grand Ballroom AB

Wed 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

Thu 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

Fri 22 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Invited Speakers

Thu 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Fri 22 Jun
Displayed time zone: Eastern Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Wed 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

Thu 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

Fri 22 Jun
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Room information: Grand Ballroom AB

Program Display Configuration

Wed 20 JunDisplayed time zone: Eastern Time (US & Canada) change

Thu 21 JunDisplayed time zone: Eastern Time (US & Canada) change

Fri 22 JunDisplayed time zone: Eastern Time (US & Canada) change

Wed 20 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Invited Speakers

Thu 21 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Fri 22 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Wed 20 JunDisplayed time zone: Eastern Time (US & Canada) change

Thu 21 JunDisplayed time zone: Eastern Time (US & Canada) change

Fri 22 JunDisplayed time zone: Eastern Time (US & Canada) change

Wed 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

Thu 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

Fri 22 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

Thu 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

Fri 22 Jun
Displayed time zone: Eastern Time (US & Canada) change

Wed 20 Jun
Displayed time zone: Eastern Time (US & Canada) change

Thu 21 Jun
Displayed time zone: Eastern Time (US & Canada) change

Fri 22 Jun
Displayed time zone: Eastern Time (US & Canada) change