Grand Ballroom AB - PLDI 2018

Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United States

VenueHilton Philadelphia at Penn's Landing

Room nameGrand Ballroom AB

Floor0

Room number

Capacity0

Additional informationThere is no additional information of this room available.

Program

Wed 20 Jun

11:00 - 12:15: PLDI Research Papers - Web Pages at Grand Ballroom AB
Chair(s): Tobias Wrigstad

11:00 - 11:25
Talk

Verifying That Web Pages Have Accessible Layout

Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil

11:25 - 11:50
Talk

BLeak: Automatically Debugging Memory Leaks in Web Applications

John Vilk, Emery Berger

11:50 - 12:15
Talk

Putting in All the Stops: Execution Control for JavaScript

Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha

14:00 - 15:40: PLDI Research Papers - Concurrency and Termination at Grand Ballroom AB
Chair(s): Iulian Neamtiu

14:00 - 14:25
Talk

Static Serializability Analysis for Causal Consistency

Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev

14:25 - 14:50
Talk

CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs

Peizun Liu, Thomas Wahl

14:50 - 15:15
Talk

Symbolic Reasoning for Automatic Signal Placement

Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis

15:15 - 15:40
Talk

Advanced Automata-Based Algorithms for Program Termination Checking

Yu-Fang Chen, Matthias Heizmann, Ondrej Lengal, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang

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

16:10 - 16:35
Talk

The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++

Nathan Chong, Tyler Sorensen, John Wickerson

16:35 - 17:00
Talk

MixT: A Language for Mixing Consistency in Geodistributed Transactions

Matthew Milano, Andrew Myers

17:00 - 17:25
Talk

Bounding Data Races in Space and Time

Stephen Dolan, KC Sivaramakrishnan, Anil Madhavapeddy

17:30 - 18:30: PLDI Invited Speakers - Program Chair's Report and SIGPLAN Town Hall Meeting at Grand Ballroom AB
Chair(s): Michael Hicks, Dan Grossman

Thu 21 Jun

11:00 - 12:15: PLDI Research Papers - Multicore and More at Grand Ballroom AB
Chair(s): Yannis Smaragdakis

11:00 - 11:25
Talk

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, Kunle Olukotun

11:25 - 11:50
Talk

Enhancing Computation-to-Core Assignment with Physical Location Information

Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, Myoungsoo Jung

11:50 - 12:15
Talk

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, Stefanos Kaxiras

14:00 - 15:40: PLDI Research Papers - Concurrency Debugging at Grand Ballroom AB
Chair(s): Tony Hosking

14:00 - 14:25
Talk

iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications

Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu

14:25 - 14:50
Talk

D4: Fast Concurrency Debugging with Parallel Differential Analysis

Bozhen Liu, Jeff Huang

14:50 - 15:15
Talk

High-Coverage, Unbounded Sound Predictive Race Detection

Jake Roemer, Kaan Genç, Michael Bond

15:15 - 15:40
Talk

CURD: A Dynamic CUDA Race Detector

Yuanfeng Peng, Vinod Grover, Joseph Devietti

16:10 - 17:00: PLDI Research Papers - Programming-Student Feedback at Grand Ballroom AB
Chair(s): Dan Grossman

16:10 - 16:35
Talk

Automated Clustering and Program Repair for Introductory Programming Assignments

Sumit Gulwani, Ivan Radiček, Florian Zuleger

16:35 - 17:00
Talk

Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises

Ke Wang, Rishabh Singh, Zhendong Su

Fri 22 Jun

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

11:00 - 11:25
Talk

Polyhedral Auto-transformation with No Integer Linear Programming

Aravind Acharya, Uday Bondhugula, Albert Cohen

11:25 - 11:50
Talk

Partial Control-Flow Linearization

Simon Moll, Sebastian Hack

11:50 - 12:15
Talk

Locality Analysis through Static Parallel Sampling

Dong Chen, Fangzhou Liu, Chen Ding, Sreepathi Pai

14:00 - 15:40: PLDI Research Papers - Verification at Grand Ballroom AB
Chair(s): Adam Chlipala

14:00 - 14:25
Talk

VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models

Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer

14:25 - 14:50
Talk

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, Kwangkeun Yi

14:50 - 15:15
Talk

Certified Concurrent Abstraction Layers

Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjoberg, Hao Chen, David Costanzo, Tahina Ramananandro

15:15 - 15:40
Talk

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, Doug Woos

16:10 - 17:25: PLDI Research Papers - Parallelism at Grand Ballroom AB
Chair(s): Julian Dolby

16:10 - 16:35
Talk

GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis

Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noel Pouchet, Fabrice Rastello, P. Sadayappan

16:35 - 17:00
Talk

Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics

Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, Keshav Pingali

17:00 - 17:25
Talk

Heartbeat Scheduling: Provable Efficiency for Nested Parallelism

Umut Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski

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
Grand Ballroom AB	PLDI 2018 PLDI Research Papers Verifying That Web Pages Have Accessible Layout 11:00 - 11:25					PLDI 2018 PLDI Research Papers BLeak: Automatically Debugging Memory Leaks in Web Applications 11:25 - 11:50					PLDI 2018 PLDI Research Papers Putting in All the Stops: Execution Control for JavaScript 11:50 - 12:15																										PLDI 2018 PLDI Research Papers Static Serializability Analysis for Causal Consistency 14:00 - 14:25					PLDI 2018 PLDI Research Papers CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs 14:25 - 14:50					PLDI 2018 PLDI Research Papers Symbolic Reasoning for Automatic Signal Placement 14:50 - 15:15					PLDI 2018 PLDI Research Papers Advanced Automata-Based Algorithms for Program Termination Checking 15:15 - 15:40											PLDI 2018 PLDI Research Papers The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ 16:10 - 16:35					PLDI 2018 PLDI Research Papers MixT: A Language for Mixing Consistency in Geodistributed Transactions 16:35 - 17:00					PLDI 2018 PLDI Research Papers Bounding Data Races in Space and Time 17:00 - 17:25

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 2018 PLDI Research Papers Spatial: A Language and Compiler for Application Accelerators 11:00 - 11:25					PLDI 2018 PLDI Research Papers Enhancing Computation-to-Core Assignment with Physical Location Information 11:25 - 11:50					PLDI 2018 PLDI Research Papers SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, ... 11:50 - 12:15																										PLDI 2018 PLDI Research Papers iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Ap ... 14:00 - 14:25					PLDI 2018 PLDI Research Papers D4: Fast Concurrency Debugging with Parallel Differential Analysis 14:25 - 14:50					PLDI 2018 PLDI Research Papers High-Coverage, Unbounded Sound Predictive Race Detection 14:50 - 15:15					PLDI 2018 PLDI Research Papers CURD: A Dynamic CUDA Race Detector 15:15 - 15:40											PLDI 2018 PLDI Research Papers Automated Clustering and Program Repair for Introductory Programming As ... 16:10 - 16:35					PLDI 2018 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 2018 PLDI Research Papers Polyhedral Auto-transformation with No Integer Linear Programming 11:00 - 11:25					PLDI 2018 PLDI Research Papers Partial Control-Flow Linearization 11:25 - 11:50					PLDI 2018 PLDI Research Papers Locality Analysis through Static Parallel Sampling 11:50 - 12:15																										PLDI 2018 PLDI Research Papers VeriPhy: Verified Controller Executables from Verified Cyber-Physical S ... 14:00 - 14:25					PLDI 2018 PLDI Research Papers Crellvm: Verified Credible Compilation for LLVM 14:25 - 14:50					PLDI 2018 PLDI Research Papers Certified Concurrent Abstraction Layers 14:50 - 15:15					PLDI 2018 PLDI Research Papers Modularity for Decidability of Deductive Verification with Applications ... 15:15 - 15:40											PLDI 2018 PLDI Research Papers GPU Code Optimization using Abstract Kernel Emulation and Sensitivity A ... 16:10 - 16:35					PLDI 2018 PLDI Research Papers Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneo ... 16:35 - 17:00					PLDI 2018 PLDI Research Papers Heartbeat Scheduling: Provable Efficiency for Nested Parallelism 17:00 - 17:25