VenueHilton Philadelphia at Penn's Landing
Room nameGrand Ballroom AB
Floor0
Room InformationNo extra information available
Program

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

Conference Day
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 WrigstadUppsala University
11:00
25m
Talk
Verifying That Web Pages Have Accessible Layout
PLDI Research Papers
Pavel PanchekhaUniversity of Washington, Adam T. GellerUniversity of Washington, USA, Michael D. ErnstUniversity of Washington, USA, Zachary TatlockUniversity of Washington, Seattle, Shoaib KamilAdobe
Media Attached
11:25
25m
Talk
BLeak: Automatically Debugging Memory Leaks in Web Applications
PLDI Research Papers
John VilkUniversity of Massachusetts, Amherst, Emery D. BergerUniversity of Massachusetts, Amherst
Media Attached
11:50
25m
Talk
Putting in All the Stops: Execution Control for JavaScript
PLDI Research Papers
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
Concurrency and TerminationPLDI Research Papers at Grand Ballroom AB
Chair(s): Iulian NeamtiuNew Jersey Institute of Technology
14:00
25m
Talk
Static Serializability Analysis for Causal Consistency
PLDI Research Papers
Lucas BrutschyETH Zurich, Dimitar DimitrovETH Zurich, Switzerland, Peter MüllerETH Zurich, Martin VechevETH Zürich
14:25
25m
Talk
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs
PLDI Research Papers
Peizun LiuNortheastern University, USA, Thomas WahlNortheastern University
Media Attached
14:50
25m
Talk
Symbolic Reasoning for Automatic Signal Placement
PLDI Research Papers
Kostas FerlesUT Austin, Jacob Van GeffenUT Austin, Isil DilligUT Austin, Yannis SmaragdakisUniversity of Athens
Media Attached
15:15
25m
Talk
Advanced Automata-Based Algorithms for Program Termination Checking
PLDI Research Papers
Yu-Fang Chen, Matthias HeizmannUniversity of Freiburg, Germany, Ondřej LengálBrno 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
Transactions and RacesPLDI Research Papers at Grand Ballroom AB
Chair(s): Tatiana ShpeismanGoogle Brain
16:10
25m
Talk
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
PLDI Research Papers
Nathan ChongARM Ltd., Tyler SorensenImperial College London, John WickersonImperial College London
Media Attached
16:35
25m
Talk
MixT: A Language for Mixing Consistency in Geodistributed Transactions
PLDI Research Papers
Matthew MilanoCornell University, Andrew C. MyersCornell University
Media Attached
17:00
25m
Talk
Bounding Data Races in Space and Time
PLDI Research Papers
Stephen DolanUniversity of Cambridge, KC SivaramakrishnanUniversity of Cambridge, Anil MadhavapeddyOCaml Labs
Media Attached
17:30 - 18:30
Program Chair's Report and SIGPLAN Town Hall MeetingPLDI Invited Speakers at Grand Ballroom AB
Chair(s): Michael HicksUniversity of Maryland, College Park, Dan GrossmanUniversity of Washington
17:30
30m
Talk
PLDI Program Chair's Report
PLDI Invited Speakers
Dan GrossmanUniversity of Washington
Media Attached
18:00
30m
Talk
SIGPLAN Town Hall Meeting
PLDI Invited Speakers
Michael HicksUniversity of Maryland, College Park, Benjamin C. PierceUniversity of Pennsylvania, Steve BlackburnAustralian National University
Media Attached

Conference Day
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 SmaragdakisUniversity of Athens
11:00
25m
Talk
Spatial: A Language and Compiler for Application Accelerators
PLDI Research Papers
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
25m
Talk
Enhancing Computation-to-Core Assignment with Physical Location Information
PLDI Research Papers
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
25m
Talk
SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores
PLDI Research Papers
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
Concurrency DebuggingPLDI Research Papers at Grand Ballroom AB
Chair(s): Tony HoskingAustralian National University / Data61
14:00
25m
Talk
iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
PLDI Research Papers
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
25m
Talk
D4: Fast Concurrency Debugging with Parallel Differential Analysis
PLDI Research Papers
Bozhen LiuTexas A&M University, USA, Jeff HuangTexas A&M University
Media Attached
14:50
25m
Talk
High-Coverage, Unbounded Sound Predictive Race Detection
PLDI Research Papers
Jake RoemerOhio State University, Kaan GençOhio State University, USA, Michael D. BondOhio State University
Media Attached
15:15
25m
Talk
CURD: A Dynamic CUDA Race Detector
PLDI Research Papers
Yuanfeng PengUniversity of Pennsylvania, Vinod Grover, Joseph DeviettiUniversity of Pennsylvania
Media Attached
16:10 - 17:00
Programming-Student FeedbackPLDI Research Papers at Grand Ballroom AB
Chair(s): Dan GrossmanUniversity of Washington
16:10
25m
Talk
Automated Clustering and Program Repair for Introductory Programming Assignments
PLDI Research Papers
Sumit GulwaniMicrosoft Research, Ivan RadičekVienna University of Technology, Austria, Florian ZulegerTU Vienna
Media Attached
16:35
25m
Talk
Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises
PLDI Research Papers
Ke WangUniversity of California at Davis, USA, Rishabh SinghGoogle Brain, Zhendong SuUniversity of California, Davis
Media Attached

Conference Day
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 KulkarniPurdue University
11:00
25m
Talk
Polyhedral Auto-transformation with No Integer Linear Programming
PLDI Research Papers
Aravind AcharyaIndian Institute of Science, Bangalore, Uday BondhugulaIndian Institute of Science, Albert CohenInria, France / ENS, France
Media Attached
11:25
25m
Talk
Partial Control-Flow Linearization
PLDI Research Papers
Simon MollSaarland University, Germany, Sebastian HackSaarland University, Germany
Media Attached
11:50
25m
Talk
Locality Analysis through Static Parallel Sampling
PLDI Research Papers
Dong ChenUniversity of Rochester, Fangzhou LiuUniversity of Rochester, Chen DingUniversity of Rochester, Sreepathi PaiUniversity of Rochester
Media Attached
14:00 - 15:40
VerificationPLDI Research Papers at Grand Ballroom AB
Chair(s): Adam ChlipalaMassachusetts 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 TanCarnegie Mellon University, USA, Stefan MitschCarnegie Mellon University, USA, Magnus O. MyreenChalmers University of Technology, Sweden, André PlatzerCarnegie Mellon University
Media Attached
14:25
25m
Talk
Crellvm: Verified Credible Compilation for LLVM
PLDI Research Papers
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
25m
Talk
Certified Concurrent Abstraction Layers
PLDI Research Papers
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
25m
Talk
Modularity for Decidability of Deductive Verification with Applications to Distributed Systems
PLDI Research Papers
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
ParallelismPLDI Research Papers at Grand Ballroom AB
Chair(s): Julian DolbyIBM 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-RajamOhio State University, USA, Jinsung KimOhio State University, USA, Prashant Singh Rawat, Sriram KrishnamoorthyPacific Northwest National Laboratories, Louis-Noël PouchetColorado State University, Fabrice RastelloINRIA, P. SadayappanOhio State University
Media Attached
16:35
25m
Talk
Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics
PLDI Research Papers
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
25m
Talk
Heartbeat Scheduling: Provable Efficiency for Nested Parallelism
PLDI Research Papers
Umut A. AcarCarnegie Mellon University, Arthur CharguéraudInria, Adrien Guatto, Mike Rainey, Filip SieczkowskiUniversity of Wrocław
Media Attached

Conference Day
Thu 21 Jun

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

Conference Day
Fri 22 Jun

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