Grand Ballroom AB - PLDI 2018

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 WrigstadUppsala University

11:00 - 11:25
Talk

Verifying That Web Pages Have Accessible Layout

Pavel PanchekhaUniversity of Washington, Adam T. GellerUniversity of Washington, USA, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Shoaib KamilAdobe

Media Attached

11:25 - 11:50
Talk

BLeak: Automatically Debugging Memory Leaks in Web Applications

John VilkUniversity of Massachusetts, Amherst, Emery BergerUniversity of Massachusetts, Amherst

Media Attached

11:50 - 12:15
Talk

Putting in All the Stops: Execution Control for JavaScript

Samuel BaxterUniversity of Massachusetts at Amherst, USA, Rachit Nigam, Joe Gibbs PolitzUniversity of California, San Diego, Shriram KrishnamurthiBrown University, USA, Arjun GuhaUniversity of Massachusetts, Amherst

Media Attached

14:00 - 15:40: PLDI Research Papers - Concurrency and Termination at Grand Ballroom AB
Chair(s): Iulian NeamtiuNew Jersey Institute of Technology

14:00 - 14:25
Talk

Static Serializability Analysis for Causal Consistency

Lucas BrutschyETH Zurich, Dimitar DimitrovETH Zurich, Switzerland, Peter MüllerETH Zurich, Martin VechevETH Zürich

14:25 - 14:50
Talk

CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs

Peizun LiuNortheastern University, USA, Thomas WahlNortheastern University

Media Attached

14:50 - 15:15
Talk

Symbolic Reasoning for Automatic Signal Placement

Kostas FerlesUT Austin, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Yannis SmaragdakisUniversity of Athens

Media Attached

15:15 - 15:40
Talk

Advanced Automata-Based Algorithms for Program Termination Checking

Yu-Fang Chen, Matthias HeizmannUniversity of Freiburg, Germany, Ondrej LengalBrno University of Technology , Yong LiInstitute of Software, Chinese Academy of Sciences, Ming-Hsien TsaiAcademia Sinica, Taiwan, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Lijun ZhangInstitute of Software, Chinese Academy of Sciences

Media Attached

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

16:10 - 16:35
Talk

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

Nathan ChongARM Ltd., Tyler SorensenImperial College London, John WickersonImperial College London

Media Attached

16:35 - 17:00
Talk

MixT: A Language for Mixing Consistency in Geodistributed Transactions

Matthew MilanoCornell University, Andrew MyersCornell University

Media Attached

17:00 - 17:25
Talk

Bounding Data Races in Space and Time

Stephen DolanUniversity of Cambridge, KC SivaramakrishnanUniversity of Cambridge, Anil MadhavapeddyOCaml Labs

Media Attached

17:30 - 18:30: PLDI Invited Speakers - Program Chair's Report and SIGPLAN Town Hall Meeting at Grand Ballroom AB
Chair(s): Michael HicksUniversity of Maryland, College Park, Dan GrossmanUniversity of Washington

17:30 - 18:00
Talk

PLDI Program Chair's Report

Dan GrossmanUniversity of Washington

Media Attached

18:00 - 18:30
Talk

SIGPLAN Town Hall Meeting

Michael HicksUniversity of Maryland, College Park, Benjamin C. PierceUniversity of Pennsylvania, Steve BlackburnAustralian National University

Media Attached

Thu 21 Jun

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

11:00 - 11:25
Talk

Spatial: A Language and Compiler for Application Accelerators

David KoeplingerStanford University, USA, Matthew FeldmanStanford University, USA, Raghu PrabhakarStanford University, USA, Yaqi ZhangStanford University, USA, Stefan HadjisStanford University, USA, Ruben FiszelEPFL, Switzerland, Tian ZhaoStanford University, Luigi NardiStanford University, Ardavan PedramStanford University, USA, Christos KozyrakisStanford University, USA, Kunle OlukotunStanford University

Media Attached

11:25 - 11:50
Talk

Enhancing Computation-to-Core Assignment with Physical Location Information

Orhan KislalPennsylvania State University, USA, Jagadish KotraPennsylvania State University, USA, Xulong TangPenn State, Mahmut Taylan KandemirUniversity of Pennsylvania, Myoungsoo JungYonsei University, South Korea

Media Attached

11:50 - 12:15
Talk

SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores

Kim-Anh TranUppsala University, Sweden, Alexandra JimboreanUppsala University, Trevor E. CarlsonNational University of Singapore, Konstantinos KoukosUppsala University, Sweden, Magnus SjälanderNorwegian University of Science and Technology (NTNU), Stefanos KaxirasUppsala University, Sweden

Media Attached

14:00 - 15:40: PLDI Research Papers - Concurrency Debugging at Grand Ballroom AB
Chair(s): Tony HoskingAustralian National University / Data61

14:00 - 14:25
Talk

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

Hongyu LiuUniversity of Texas at San Antonio, USA, Sam SilvestroUniversity of Texas at San Antonio, USA, Wei WangUniversity of Texas at San Antonio, USA, Chen TianHuawei Lab, USA, Tongping Liu

Media Attached

14:25 - 14:50
Talk

D4: Fast Concurrency Debugging with Parallel Differential Analysis

Bozhen LiuTexas A&M University, USA, Jeff HuangTexas A&M University

Media Attached

14:50 - 15:15
Talk

High-Coverage, Unbounded Sound Predictive Race Detection

Jake RoemerOhio State University, Kaan GençOhio State University, USA, Michael BondOhio State University

Media Attached

15:15 - 15:40
Talk

CURD: A Dynamic CUDA Race Detector

Yuanfeng PengUniversity of Pennsylvania, Vinod Grover, Joseph DeviettiUniversity of Pennsylvania

Media Attached

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

16:10 - 16:35
Talk

Automated Clustering and Program Repair for Introductory Programming Assignments

Sumit GulwaniMicrosoft Research, Ivan RadičekVienna University of Technology, Austria, Florian ZulegerTU Vienna

Media Attached

16:35 - 17:00
Talk

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

Ke WangUniversity of California at Davis, USA, Rishabh SinghGoogle Brain, Zhendong SuUniversity of California, Davis

Media Attached

Fri 22 Jun

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

11:00 - 11:25
Talk

Polyhedral Auto-transformation with No Integer Linear Programming

Aravind AcharyaIndian Institute of Science, Bangalore, Uday BondhugulaIndian Institute of Science, Albert CohenInria, France / ENS, France

Media Attached

11:25 - 11:50
Talk

Partial Control-Flow Linearization

Simon MollSaarland University, Germany, Sebastian HackSaarland University, Germany

Media Attached

11:50 - 12:15
Talk

Locality Analysis through Static Parallel Sampling

Dong ChenUniversity of Rochester, Fangzhou LiuUniversity of Rochester, Chen DingUniversity of Rochester, Sreepathi PaiUniversity of Rochester

Media Attached

14:00 - 15:40: PLDI Research Papers - Verification at Grand Ballroom AB
Chair(s): Adam ChlipalaMassachusetts Institute of Technology, USA

14:00 - 14:25
Talk

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

Brandon Bohrer, Yong Kiam TanCarnegie Mellon University, USA, Stefan MitschCarnegie Mellon University, USA, Magnus O. MyreenChalmers University of Technology, Sweden, André PlatzerCarnegie Mellon University

Media Attached

14:25 - 14:50
Talk

Crellvm: Verified Credible Compilation for LLVM

Jeehoon KangSeoul National University, Yoonseung KimSeoul National University (South Korea), Youngju SongSeoul National University, Juneyoung LeeSeoul National University, Sanghoon ParkSeoul National University, South Korea, Mark Dongyeon ShinSeoul National University, South Korea, Yonghyun KimSeoul National University, South Korea, Sungkeun ChoSeoul National University, South Korea, Joonwon ChoiMassachusetts Institute of Technology, USA, Chung-Kil HurSeoul National University, Kwangkeun YiSeoul National University

Media Attached

14:50 - 15:15
Talk

Certified Concurrent Abstraction Layers

Ronghui GuColumbia University, Zhong ShaoYale University, Jieung KimYale University, USA, Xiongnan (Newman) WuYale University, Jérémie Koenig, Vilhelm SjöbergYale University, Hao ChenYale University, David CostanzoYale University, Tahina RamananandroMicrosoft Research, n.n.

Media Attached

15:15 - 15:40
Talk

Modularity for Decidability of Deductive Verification with Applications to Distributed Systems

Marcelo TaubeTel Aviv University, Israel, Giuliano LosaUniversity of California at Los Angeles, USA, Kenneth L. McMillanMicrosoft Research, Oded PadonTel Aviv University, Mooly SagivTel Aviv University, Sharon ShohamTel Aviv university, James R. WilcoxUniversity of Washington, Doug WoosUniversity of Washington

Media Attached

16:10 - 17:25: PLDI Research Papers - Parallelism at Grand Ballroom AB
Chair(s): Julian DolbyIBM Thomas J. Watson Research Center

16:10 - 16:35
Talk

GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis

Changwan Hong, Aravind Sukumaran-RajamOhio State University, USA, Jinsung KimOhio State University, USA, Prashant Singh Rawat, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noel PouchetColorado State University, Fabrice RastelloINRIA, P. SadayappanOhio State University

Media Attached

16:35 - 17:00
Talk

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

Roshan DathathriUniversity of Texas at Austin, USA, Gurbinder GillUniversity of Texas at Austin, USA, Loc HoangUniversity of Texas at Austin, USA, Hoang-Vu DangUniversity of Illinois at Urbana-Champaign, USA, Alex BrooksUniversity of Illinois at Urbana-Champaign, USA, Nikoli DrydenUniversity of Illinois at Urbana-Champaign, USA, Marc SnirUIUC, Keshav PingaliUniversity of Texas at Austin, USA

Media Attached

17:00 - 17:25
Talk

Heartbeat Scheduling: Provable Efficiency for Nested Parallelism

Umut AcarCarnegie Mellon University, Arthur CharguéraudInria, Adrien Guatto, Mike Rainey, Filip SieczkowskiUniversity 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

Room information: Grand Ballroom AB

Wed 20 Jun

Thu 21 Jun

Fri 22 Jun

Wed 20 Jun 2018

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Invited Speakers

Thu 21 Jun 2018

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Fri 22 Jun 2018

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Wed 20 Jun 2018

Thu 21 Jun 2018

Fri 22 Jun 2018

Tracks

Co-hosted Conferences

Workshops