Conference Dates
Conference Dates are in time zone (GMT-04:00) Eastern Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Mon 18 Jun

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

08:00 - 09:00
08:00
60m
Other
Breakfast
Catering

09:00 - 10:30
Deep SpecificationsDeepSpec at Columbus Ballroom B
09:00
60m
Talk
The Science of Deep Specification
DeepSpec
Andrew AppelPrinceton
10:00
30m
Talk
CakeML: from functions to machine code with proof all the way
DeepSpec
Magnus O. MyreenChalmers University of Technology, Sweden
09:00 - 09:15
Message from the ChairsISMM at Discovery AB
09:00
15m
Day opening
Message from the Chairs
ISMM
Jennifer B. SartorVrije Universiteit Brussel, Hannes PayerGoogle
09:00 - 10:30
Morning Session IFMS at Discovery C
09:15
75m
Talk
Designing hardware to be free of covert channels by construction
FMS
Andrew C. MyersCornell University
09:00 - 10:30
Debugging and Profiling Task Parallel Programs with TASKPROFPLDI Tutorials at Innovation
09:00
90m
Other
Debugging and Profiling Task Parallel Programs with TASKPROF
PLDI Tutorials
Santosh NagarakatteRutgers University, USA, Adarsh YogaRutgers University, USA
09:15 - 09:30
IntroductionMAPL at Columbus Ballroom A
Chair(s): Justin GottschlichIntel Labs, Alvin CheungUniversity of Washington
09:15 - 10:15
KeynoteISMM at Discovery AB
09:15
60m
Talk
Getting to Go
ISMM
09:30 - 10:30
Program AnalysisMAPL at Columbus Ballroom A
09:30
30m
Talk
Ariadne: Analysis for Machine Learning Programs
MAPL
Julian DolbyIBM Thomas J. Watson Research Center, Avraham ShinnarIBM Research, Allison AllainIBM Research, Jenna ReinenIBM Research
10:00
30m
Talk
Clone-Hunter: Accelerated Bound Checks Elimination via Binary Code Clone Detection
MAPL
Hongfa XueGeorge Washington University, Guru VenkataramaniGeorge Washington University, Tian LanGeorge Washington University
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

10:45 - 12:15
Reference Counting and Techniques for C-family LanguagesISMM at Discovery AB
Chair(s): Emery D. BergerUniversity of Massachusetts, Amherst
10:45
30m
Talk
Detailed Heap Profiling
ISMM
Stuart BymaEPFL, Switzerland, James LarusEPFL
11:15
30m
Talk
FRC: A High-Performance Concurrent Parallel Deferred Reference Counter for C++
ISMM
Charles TrippTerrain Data, USA, David HydeStanford University, USA, Benjamin Grossman-PonemonTerrain Data, USA
11:45
30m
Talk
Distributed Garbage Collection for General Graphs
ISMM
Steven R. BrandtLouisiana State University, Hari KrishnanFacebook, n.n., Costas BuschLouisiana State University, USA, Gokarna SharmaKent State University, USA
11:00 - 12:00
11:00
30m
Talk
Obfuscation Resilient Search through Executable Classification
MAPL
Fang-Hsiang SuColumbia University, New York, Jonathan BellGeorge Mason University, Gail KaiserColumbia University, New York, Baishakhi RayColumbia University, New York
11:30
30m
Talk
Retrieval on source code: a neural code search
MAPL
Saksham SachdevFacebook, Hongyu LiRice University, Sifei LuanFacebook, Seohyun KimFacebook, Koushik SenUniversity of California, Berkeley, Satish ChandraFacebook
11:00 - 12:15
11:00
30m
Talk
Vellvm - Modular Semantics via Interaction Trees
DeepSpec
Steve ZdancewicUniversity of Pennsylvania
11:30
30m
Talk
Crellvm
DeepSpec
Chung-Kil HurSeoul National University
11:00 - 12:15
Morning Session IIFMS at Discovery C
11:00
75m
Talk
Everest: Verifying and Deploying Secure Components in the HTTPS Ecosystem
FMS
Nikhil SwamyMicrosoft Research
11:00 - 12:15
Debugging and Profiling Task Parallel Programs with TASKPROFPLDI Tutorials at Innovation
11:00
75m
Other
Debugging and Profiling Task Parallel Programs with TASKPROF
PLDI Tutorials
Santosh NagarakatteRutgers University, USA, Adarsh YogaRutgers University, USA
12:15 - 14:00
12:15
1h45m
Lunch
Lunch
Catering

14:00 - 15:40
From Testing to VerificationDeepSpec at Columbus Ballroom B
14:00
30m
Talk
Verifiable C, a logic and system for proving C programs correct
DeepSpec
14:30
30m
Talk
Progress Report on the DeepSpec Web Server
DeepSpec
Benjamin C. PierceUniversity of Pennsylvania
15:00
30m
Talk
QuickChick: Random Testing in Coq
DeepSpec
Leonidas LampropoulosUniversity of Pennsylvania
14:00 - 15:30
Optimizing for the Web and the CloudISMM at Discovery AB
Chair(s): Christine H. FloodRed Hat
14:00
30m
Talk
Hardware-Software Co-optimization of Memory Management in Dynamic Languages
ISMM
Mohamed IsmailCornell University, USA, G. Edward SuhCornell University, USA
14:30
30m
Talk
Dynamic Vertical Memory Scalability for OpenJDK Cloud Applications
ISMM
Rodrigo BrunoINESC-ID / Instituto Superior Técnico, University of Lisbon, Paulo FerreiraINESC-ID / Instituto Superior Técnico, University of Lisbon, Ruslan SynytskyJelastic, n.n., Tetiana FydorenchykJelastic, n.n., Jia RaoUniversity of Texas at Arlington, USA, Hang HuangHuazhong University of Science and Technology, China, Song WuHuazhong University of Science and Technology, China
15:00
30m
Talk
OMR: Out-of-Core MapReduce for Large Data Sets
ISMM
Gurneet Kaur, Keval VoraUniversity of California, Riverside, Sai Charan KoduruUniversity of California, Riverside, Rajiv GuptaUC Riverside
14:00 - 15:40
Bayou: Deep Learning over “Big Code” for Program Analysis and SynthesisPLDI Tutorials at Innovation
14:00
1h40m
Other
Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
PLDI Tutorials
Swarat ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University
15:40 - 16:10
15:40
30m
Coffee break
Break
Catering

16:00 - 17:30
Analyzing the Cache and SchedulingISMM at Discovery AB
Chair(s): Michael D. BondOhio State University
16:00
30m
Talk
mPart: Miss-Ratio Curve Guided Partitioning in Key-Value Stores
ISMM
Daniel ByrneMichigan Technological University, USA, Nilufer OnderMichigan Technological University, USA, Zhenlin WangMichigan Technological University
16:30
30m
Talk
Prediction and Bounds on Shared Cache Demand from Memory Access Interleaving
ISMM
Jacob BrockUniversity of Rochester, Chen DingUniversity of Rochester, Rahman Lavaee, Fangzhou Liu, Liang YuanInstitute of Computing Technology at Chinese Academy of Sciences, China
17:00
30m
Talk
Balanced Double Queues for GC Work-Stealing on Weak Memory Models
ISMM
Michihiro HorieIBM Research - Tokyo, Hiroshi HoriiIBM Research, Japan, Kazunori OgataIBM Research, Japan, Tamiya OnoderaIBM, Japan
16:10 - 16:40
Programming MethodologyMAPL at Columbus Ballroom A
16:10
30m
Talk
The Three Pillars of Machine Programming
MAPL
Justin GottschlichIntel Labs, Armando Solar-LezamaMIT CSAIL, Nesime TatbulIntel Labs and MIT, Michael CarbinMIT, Martin C. RinardMassachusetts Institute of Technology, Regina BarzilayMIT, Saman AmarasingheMIT, Joshua B. TenenbaumMIT, Tim MattsonIntel, USA
16:10 - 17:25
Breakout sessions/PanelFMS at Discovery C
16:10
60m
Meeting
Breakout sessions / Discussion
FMS

17:10
15m
Meeting
Wrapup
FMS

16:10 - 17:35
Bayou: Deep Learning over “Big Code” for Program Analysis and SynthesisPLDI Tutorials at Innovation
16:10
85m
Other
Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis
PLDI Tutorials
Swarat ChaudhuriRice University, Vijayaraghavan MuraliRice University, USA, Chris JermaineRice University
16:40 - 17:00
Closing RemarksMAPL at Columbus Ballroom A
Chair(s): Justin GottschlichIntel Labs, Alvin CheungUniversity of Washington
17:00 - 18:00
Poster SessionMAPL at Columbus Ballroom A
18:00 - 19:00

Conference Day
Tue 19 Jun

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

08:00 - 09:00
08:00
60m
Other
Breakfast
Catering

08:45 - 10:30
08:45
10m
Day opening
Introduction and Welcome
PLMW @ PLDI
Michael CarbinMIT, Milind KulkarniPurdue University, Michelle StroutUniversity of Arizona
08:55
20m
Social Event
Icebreaker
PLMW @ PLDI
Michelle StroutUniversity of Arizona
09:15
45m
Talk
What Programming Language Researchers Do and How to Become One
PLMW @ PLDI
10:00
30m
Talk
Intermittent Computing Systems
PLMW @ PLDI
Brandon LuciaCarnegie Mellon University
09:00 - 10:30
Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters
09:00
90m
Other
Static Analysis for C++ with Phasar
PLDI Tutorials
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
09:00 - 10:30
Welcome & KeynoteLCTES at Discovery AB
09:00
15m
Day opening
Welcome
LCTES

09:15
75m
Talk
Keynote: Blockchain and Embedded Systems
LCTES

09:00 - 10:30
Declarative Program Analysis with QLPLDI Tutorials at Discovery C
09:00
90m
Other
Declarative Program Analysis with QL
PLDI Tutorials
10:00 - 10:35
Array Language CommonalitiesARRAY at Grand Ballroom C
10:00
35m
Talk
A Rosetta Stone for Array Languages
ARRAY
Artjoms ŠinkarovsHeriot-Watt University, UK, Robert BerneckySnake Island Research, Hans-Nikolai VießmannHeriot-Watt University, UK, Sven-Bodo ScholzHeriot-Watt University
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:15
Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters
11:00
75m
Other
Static Analysis for C++ with Phasar
PLDI Tutorials
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
11:00 - 12:15
Session BPLMW @ PLDI at Columbus Ballroom A
Chair(s): Milind KulkarniPurdue University
11:00
45m
Talk
Crossing the Divide: Becoming a (Programming Languages) Researcher
PLMW @ PLDI
Alex AikenStanford University
11:45
30m
Talk
Program verification using abductive reasoning
PLMW @ PLDI
Isil DilligUT Austin
11:00 - 12:15
Haskell Core and Debugging DebuggersDeepSpec at Columbus Ballroom B
11:00
30m
Talk
Towards a formal semantics for GHC Core
DeepSpec
Stephanie WeirichUniversity of Pennsylvania, USA
11:30
30m
Talk
Debugging Debug Information and Beyond
DeepSpec
11:00 - 12:15
Full paper session on Programming LanguagesLCTES at Discovery AB
11:00
25m
Full-paper
MakeCode and CODAL: Intuitive and Efficient Embedded Systems Programming for Education
LCTES
James DevineLancaster University, Joe Finney, Peli de HalleuxMicrosoft Research, Michał MoskalMicrosoft Research, Thomas BallMicrosoft Research, Steve HodgesMicrosoft
11:25
25m
Full-paper
Compositionality in Scenario-aware Dataflow: A Rendezvous Perspective
LCTES
Mladen SkelinEindhoven University of Technology, Marc GeilenEindhoven University of Technology
11:50
25m
Full-paper
A Memory-Bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu
LCTES
Guilherme F. LimaPUC-Rio, Rodrigo C. M. SantosPUC-Rio, Edward Hermann HaeuslerPUC-Rio, Roberto IerusalimschyPUC-Rio, Francisco Sant'AnnaRio de Janeiro State University
11:00 - 12:15
Declarative Program Analysis with QLPLDI Tutorials at Discovery C
11:00
75m
Other
Declarative Program Analysis with QL
PLDI Tutorials
11:00 - 12:10
Exploiting Dynamic InformationARRAY at Grand Ballroom C
11:00
35m
Talk
Petalisp: Run Time Code Generation for Operations on Strided Arrays
ARRAY
Marco Heisig, Harald KöstlerFriedrich-Alexander University Erlangen-Nürnberg, Germany
File Attached
11:35
35m
Talk
Profile-Based Vectorization for MATLAB
ARRAY
Patryk KiepasMINES ParisTech, France, Jaroslaw KozlakAGH University of Science and Technology, Poland, Claude TadonkiMINES ParisTech, France, Corinne AncourtMINES ParisTech, France
12:15 - 14:00
12:15
1h45m
Lunch
Lunch
Catering

12:50 - 13:50
Poster Session & LunchLCTES at Grand Ballroom Foyer
12:50
60m
Lunch
Poster Session & Lunch
LCTES

13:15 - 15:30
Session CPLMW @ PLDI at Columbus Ballroom A
Chair(s): Michelle StroutUniversity of Arizona
13:15
75m
Other
Panel: "Charting your Path"
PLMW @ PLDI
Sara AchourMIT, Shoaib KamilAdobe, Jennifer B. SartorVrije Universiteit Brussel, Zachary TatlockUniversity of Washington, Seattle
14:30
30m
Talk
Evaluating Evaluations
PLMW @ PLDI
Milind KulkarniPurdue University
15:00
30m
Talk
The Importance of Communication
PLMW @ PLDI
14:00 - 15:40
Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters
14:00
1h40m
Other
Static Analysis for C++ with Phasar
PLDI Tutorials
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
14:00 - 15:40
Concurrency and Concurrent Operating SystemsDeepSpec at Columbus Ballroom B
14:00
30m
Talk
Multicore and Multithreaded Linking for Concurrent CertiKOS
DeepSpec
Jieung KimYale University, USA
14:30
30m
Talk
Verifying seL4 towards Concurrency
DeepSpec
Thomas SewellUNSW, Australia
15:00
30m
Talk
Specifying and Verifying Concurrent Programs with Ghost State
DeepSpec
William ManskyPrinceton University
14:00 - 15:40
Full paper session on Adaptation and HardwareLCTES at Discovery AB
14:00
25m
Full-paper
Adaptive Deep Learning Model Selection on Embedded Systems
LCTES
Ben TaylorLancaster University, UK, Vicent Sanz MarcoLancaster University, Willy WolffLancaster University, Yehia ElkhatibLancaster University, Zheng WangLancaster University
14:25
25m
Full-paper
Optimizing RAID/SSD Controllers with Lifetime Extension for Flash-based SSD Array
LCTES
Lei Han, Zhaoyan ShenThe Hong Kong Polytechnic University, Zili ShaoThe Hong Kong Polytechnic University, Tao LiUniversity of Florida
14:50
25m
Full-paper
Verification of Coarse-Grained Reconfigurable Arrays through Random Test Programs
LCTES
Bernhard EggerSeoul National University, Eunjin SongSeoul National University, Hochan LeeSeoul National University, Daeyoung ShinSeoul National University
15:15
25m
Full-paper
Decoupling Address Generation from Loads and Stores to Improve Data Access Energy Efficiency
LCTES
Michael StokesFlorida State University, Ryan BairdFlorida State University, Zhaoxiang JinMichigan Technological University, David B. Whalley, Soner OnderMichigan Technological University
14:00 - 15:40
Verified Low-Level Programming in F*PLDI Tutorials at Discovery C
14:00
1h40m
Other
Verified Low-Level Programming in F*
PLDI Tutorials
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.
14:00 - 15:45
Types and CorrectnessARRAY at Grand Ballroom C
14:00
35m
Talk
Parallel Programming with Arrays in Kappa 
ARRAY
Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
14:35
35m
Talk
Rank Polymorphism Viewed as a Constraint Problem
ARRAY
Justin SlepakNortheastern University, Panagiotis ManoliosNortheastern University, Olin ShiversNortheastern University, USA
15:10
35m
Talk
Proving a Core Code for FDM Correct by 2 + dw Tests
ARRAY
Magne HaveraaenUniversity of Bergen, Norway
15:40 - 16:10
15:40
30m
Coffee break
Break
Catering

16:00 - 17:15
Session DPLMW @ PLDI at Columbus Ballroom A
Chair(s): Milind KulkarniPurdue University
16:00
60m
Poster
Poster Session
PLMW @ PLDI
Milind KulkarniPurdue University, James LarusEPFL, Adrian SampsonCornell University, Santosh NagarakatteRutgers University, USA, Eva DarulovaMPI-SWS, Osbert BastaniStanford University, Emery D. BergerUniversity of Massachusetts, Amherst, Mayur NaikUniversity of Pennsylvania, Joseph DeviettiUniversity of Pennsylvania, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA, John WickersonImperial College London, Xin ZhangMassachusetts Institute of Technology, USA, Sara AchourMIT, Michael CarbinMIT, Michelle StroutUniversity of Arizona
17:00
15m
Day closing
Wrap up
PLMW @ PLDI
Michelle StroutUniversity of Arizona, Michael CarbinMIT, Milind KulkarniPurdue University
16:10 - 17:35
Static Analysis for C++ with PhasarPLDI Tutorials at Admiral's Quarters
16:10
85m
Other
Static Analysis for C++ with Phasar
PLDI Tutorials
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Philipp Dominik SchubertHeinz Nixdorf Institut, Paderborn University, Ben HermannUniversity of Paderborn
16:10 - 17:25
WIP paper sessionLCTES at Discovery AB
16:25
15m
Short-paper
WIP: Deep Neural Networks compiler for a trace-based accelerator
LCTES
Andre Xian Ming ChangFWDNXT and Purdue, Aliasger ZaidyFWDNXT and Purdue, Lukasz BurzawaFWDNXT and Purdue, Eugenio CulurcielloFWDNXT and Purdue
16:40
15m
Short-paper
WIP: Statically Relating Program Properties for Efficient Verification
LCTES
Bharti ChimdyalwarTata Consultancy Services, Priyanka DarkeTata Consultancy Services
16:55
15m
Short-paper
WIP: Transparent Standby for Low-Power, Resource-Constrained Embedded Systems: A Programming Language-Based Approach
LCTES
Francisco Sant'AnnaRio de Janeiro State University, Alexandre SztajnbergRio de Janeiro State University, Noemi RodriguezPUC-Rio, Ana Lúcia de Moura
17:10
15m
Short-paper
WIP: An open-source realtime computational platform
LCTES
Pavan MehrotraStanford University, Sabar DasguptaStanford University, Samantha RobertsonStanford University, Paul NuyujukianStanford University
Link to publication DOI Pre-print Media Attached
16:10 - 17:35
Verified Low-Level Programming in F*PLDI Tutorials at Discovery C
16:10
85m
Other
Verified Low-Level Programming in F*
PLDI Tutorials
Jonathan ProtzenkoMicrosoft Research, Redmond, Nikhil SwamyMicrosoft Research, Tahina RamananandroMicrosoft Research, n.n.
16:10 - 17:20
Accessing the Memory SystemARRAY at Grand Ballroom C
16:10
35m
Talk
Inner Array Inlining for Structure of Arrays Layout
ARRAY
Matthias SpringerTokyo Institute of Technology, Yaozhu SunTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
Pre-print
16:45
35m
Talk
An Array API for Finite Difference Methods
ARRAY
Eva BurrowsUniversity of Bergen, Norway, Helmer André FriisIRIS, Norway, Magne HaveraaenUniversity of Bergen, Norway
17:30 - 18:30

Conference Day
Wed 20 Jun

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

08:00 - 08:45
08:00
45m
Other
Breakfast
Catering

08:45 - 09:00
WelcomePLDI Invited Speakers at Grand Ballroom
Chair(s): Jeffrey S. FosterUniversity of Maryland, College Park / Tufts University, Dan GrossmanUniversity of Washington
09:00 - 10:00
KeynotePLDI Invited Speakers at Grand Ballroom
Chair(s): Michael HicksUniversity of Maryland, College Park
09:00
60m
Talk
Language-Integrated Verification
PLDI Invited Speakers
Ranjit JhalaUniversity of California, San Diego
Media Attached
10:00 - 10:30
Lightning Overview - Day 1PLDI Research Papers at Grand Ballroom
Chair(s): Dan GrossmanUniversity of Washington
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

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
11:00 - 12:15
Emerging HardwarePLDI Research Papers at Grand Ballroom CD
Chair(s): Ryan R. NewtonIndiana University
11:00
25m
Talk
Persistency for Synchronization-Free Regions
PLDI Research Papers
Vaibhav GogteUniversity of Michigan, USA, Stephan DiestelhorstARM Research, UK, William WangArm Research, UK, Satish NarayanasamyUniversity of Michigan, Peter M. ChenUniversity of Michigan, USA, Thomas F. WenischUniversity of Michigan, USA
Media Attached
11:25
25m
Talk
Write-Rationing Garbage Collection for Hybrid Memories
PLDI Research Papers
Shoaib AkramGhent University, Jennifer B. SartorVrije Universiteit Brussel, Kathryn S McKinleyGoogle, Lieven EeckhoutGhent University, Belgium
Media Attached
11:50
25m
Talk
Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture
PLDI Research Papers
Chit-Kwan LinIntel Labs, n.n., Andreas WildIntel Labs, n.n., Tsung-Han LinIntel Labs, n.n., Gautham N. ChinyaIntel Labs, n.n., Mike DaviesIntel Labs, n.n., Hong WangIntel Labs, n.n.
Media Attached
12:15 - 14:00
12:15
1h45m
Lunch
Lunch
Catering

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
14:00 - 15:40
Dynamic TechniquesPLDI Research Papers at Grand Ballroom CD
Chair(s): Sorin LernerUniversity of California, San Diego
14:00
25m
Talk
HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack
PLDI Research Papers
Media Attached
14:25
25m
Talk
On-Stack Replacement, Distilled
PLDI Research Papers
Daniele Cono D'EliaSapienza University of Rome, Italy, Camil DemetrescuSapienza University Rome
Media Attached
14:50
25m
Talk
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
PLDI Research Papers
Gregory J. DuckNational University of Singapore, Singapore, Roland H. C. YapNational University of Singapore, Singapore
Media Attached
15:15
25m
Talk
Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability
PLDI Research Papers
Cheng CaiUniversity of California, Irvine, Qirun ZhangUniversity of California, Davis, Zhiqiang ZuoNanjing University, China, Khanh NguyenUniversity of California, Irvine, Harry XuUniversity of California, Los Angeles (UCLA), Zhendong SuUniversity of California, Davis
Media Attached
15:40 - 16:10
15:40
30m
Coffee break
Break
Catering

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
16:10 - 17:25
Floats and MapsPLDI Research Papers at Grand Ballroom CD
Chair(s): Hans-J. BoehmGoogle
16:10
25m
Talk
Finding Root Causes of Floating Point Error
PLDI Research Papers
Alex Sanchez-SternUniversity of California, San Diego, Pavel PanchekhaUniversity of Washington, Sorin LernerUniversity of California, San Diego, Zachary TatlockUniversity of Washington, Seattle
Media Attached
16:35
25m
Talk
Ryū: Fast Float-to-String Conversion
PLDI Research Papers
Ulf AdamsGoogle, Germany
Media Attached
17:00
25m
Talk
To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries
PLDI Research Papers
Michael J. SteindorferDelft University of Technology, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV
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
18:00 - 21:00

Conference Day
Thu 21 Jun

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

08:00 - 09:00
08:00
45m
Other
Breakfast
Catering

08:45 - 09:00
PLDI 2019 IntroductionPLDI Invited Speakers at Grand Ballroom
Chair(s): Kathryn S McKinleyGoogle, Kathleen FisherTufts University
08:45
15m
Talk
PLDI 2019 Introduction
PLDI Invited Speakers
Kathryn S McKinleyGoogle, Kathleen FisherTufts University
Media Attached
09:00 - 10:00
KeynotePLDI Invited Speakers at Grand Ballroom
Chair(s): Cormac FlanaganUniversity of California, Santa Cruz
09:00
60m
Talk
Machine Learning: Alchemy for the Modern Computer Scientist
PLDI Invited Speakers
Media Attached
10:00 - 10:30
Lightning Overview - Day 2PLDI Research Papers at Grand Ballroom
Chair(s): Dan GrossmanUniversity of Washington
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

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
11:00 - 12:30
12:30 - 14:00
Lunch (note late start)Catering at Columbus Ballroom
12:30
90m
Lunch
Lunch
Catering

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
14:00 - 15:40
Synthesis and LearningPLDI Research Papers at Grand Ballroom CD
Chair(s): Xin ZhangMassachusetts Institute of Technology, USA
14:00
25m
Talk
A General Path-Based Representation for Predicting Program Properties
PLDI Research Papers
Uri AlonTechnion, Meital ZilbersteinTechnion, Omer LevyUniversity of Washington, USA, Eran YahavTechnion
Media Attached
14:25
25m
Talk
Program Synthesis using Conflict-Driven Learning
PLDI Research Papers
Yu FengUniversity of Texas at Austin, USA, Ruben MartinsCarnegie Mellon University, Osbert BastaniStanford University, Isil DilligUT Austin
Media Attached
14:50
25m
Talk
Accelerating Search-Based Program Synthesis using Learned Probabilistic Models
PLDI Research Papers
Woosuk LeeUniversity of Pennsylvania, USA, Kihong HeoUniversity of Pennsylvania, USA, Rajeev AlurUniversity of Pennsylvania, Mayur NaikUniversity of Pennsylvania
Media Attached
15:15
25m
Talk
Inferring Crypto API Rules from Code Changes
PLDI Research Papers
Media Attached
15:40 - 16:10
15:40
30m
Coffee break
Break
Catering

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
16:10 - 17:00
Analyzing Probabilistic ProgramsPLDI Research Papers at Grand Ballroom CD
Chair(s): Eva DarulovaMPI-SWS
16:10
25m
Talk
Bounded Expectations: Resource Analysis for Probabilistic Programs
PLDI Research Papers
Van Chan NgoCarnegie Mellon University, Quentin CarbonneauxYale University, Jan HoffmannCarnegie Mellon University
Media Attached
16:35
25m
Talk
PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs
PLDI Research Papers
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.
Media Attached
17:00 - 18:00
17:30 - 18:30
SIGPLAN and SRC AwardsPLDI Invited Speakers at Grand Ballroom
Chair(s): Maria ChristakisMPI-SWS, Satnam SinghX, the moonshot factory

Conference Day
Fri 22 Jun

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

08:00 - 09:00
08:00
60m
Other
Breakfast
Catering

09:00 - 10:00
KeynotePLDI Invited Speakers at Grand Ballroom
Chair(s): Emery D. BergerUniversity of Massachusetts, Amherst
09:00
60m
Talk
A “Post-ISA” Era in Computer Systems: Challenges and Opportunities
PLDI Invited Speakers
Media Attached
10:00 - 10:30
Lightning Overview - Day 3PLDI Research Papers at Grand Ballroom
Chair(s): Dan GrossmanUniversity of Washington
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

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
11:00 - 12:15
Inference for Probabilistic ProgramsPLDI Research Papers at Grand Ballroom CD
Chair(s): Arjun GuhaUniversity of Massachusetts, Amherst
11:00
25m
Talk
Incremental Inference for Probabilistic Programs
PLDI Research Papers
Marco Cusumano-TownerMIT-CSAIL, Benjamin BichselETH Zurich, Switzerland, Timon Gehr, Martin VechevETH Zürich, Vikash K. MansinghkaMIT
Media Attached
11:25
25m
Talk
Bayonet: Probabilistic Inference for Networks
PLDI Research Papers
Timon Gehr, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, USA, Petar TsankovETH Zurich, Laurent VanbeverETH Zürich, Pascal WiesmannETH Zurich, Switzerland, Martin VechevETH Zürich
Media Attached
11:50
25m
Talk
Probabilistic Programming with Programmable Inference
PLDI Research Papers
Vikash K. MansinghkaMIT, Ulrich SchaechtleMassachusetts Institute of Technology, USA, Shivam Handa, Alexey Radul, Yutian ChenGoogle Deepmind, n.n., Martin C. RinardMassachusetts Institute of Technology
Media Attached
12:15 - 14:00
12:15
1h45m
Lunch
Lunch
Catering

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
14:00 - 15:40
Program AnalysisPLDI Research Papers at Grand Ballroom CD
Chair(s): Isil DilligUT Austin
14:00
25m
Talk
Active Learning of Points-To Specifications
PLDI Research Papers
Osbert BastaniStanford University, Rahul SharmaMicrosoft Research, Alex AikenStanford University, Percy LiangStanford University
Media Attached
14:25
25m
Talk
Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code
PLDI Research Papers
Qingkai ShiHong Kong University of Science and Technology, China, Xiao XiaoSourceBrella Inc., Rongxin WuDepartment of Computer Science and Engineering, The Hong Kong University of Science and Technology, Jinguo ZhouSourcebrella Inc., Gang Fan, Charles Zhang
Media Attached
14:50
25m
Talk
A Data-Driven CHC Solver
PLDI Research Papers
He ZhuRutgers University, USA, Stephen Magill, Suresh JagannathanPurdue University
Media Attached
15:15
25m
Talk
User-Guided Program Reasoning using Bayesian Inference
PLDI Research Papers
Mukund RaghotamanUniversity of Pennsylvania, Sulekha KulkarniGeorgia Tech, Kihong HeoUniversity of Pennsylvania, USA, Mayur NaikUniversity of Pennsylvania
Media Attached
15:40 - 16:10
15:40
30m
Coffee break
Break
Catering

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
16:10 - 17:25
TypesPLDI Research Papers at Grand Ballroom CD
Chair(s): Kathleen FisherTufts University
16:10
25m
Talk
Guarded Impredicative Polymorphism
PLDI Research Papers
Alejandro SerranoUtrecht University, Jurriaan HageUtrecht University, Dimitrios VytiniotisMicrosoft Research, Cambridge, Simon Peyton JonesMicrosoft Research
Media Attached
16:35
25m
Talk
Typed Closure Conversion for the Calculus of Constructions
PLDI Research Papers
William J. BowmanNortheastern University, USA, Amal AhmedNortheastern University, USA
Media Attached
17:00
25m
Talk
Inferring Type Rules for Syntactic Sugar
PLDI Research Papers
Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
Media Attached