Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
VenueOnline
Room namePLDI-A
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 23 Jun

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

09:00 - 09:35
Talks 1A: Concurrent and Distributed ProgrammingPLDI at PLDI-A +12h
09:00
5m
Talk
Abstraction for Conflict-Free Replicated Data Types
PLDI
Hongjin LiangNanjing University, Xinyu FengNanjing University
DOI
09:05
5m
Talk
Modular Data-Race-Freedom Guarantees in the Promising Semantics
PLDI
Minki ChoSeoul National University, Sung-Hwan LeeSeoul National University, Chung-Kil HurSeoul National University, Ori LahavTel Aviv University
DOI
09:10
5m
Talk
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
PLDI
Coşku AcayCornell University, Rolph RectoCornell University, Joshua GancherCornell University, Andrew C. MyersCornell University, Elaine ShiCornell University
DOI Pre-print
09:15
5m
Talk
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
PLDI
Yuandao CaiHong Kong University of Science and Technology, Peisen YaoHong Kong University of Science and Technology, Charles ZhangHong Kong University of Science and Technology
DOI
09:20
5m
Talk
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
PLDI
George PîrleaNational University of Singapore, Amrit KumarZilliqa Research, Ilya SergeyYale-NUS College; National University of Singapore
DOI
09:25
5m
Talk
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
PLDI
Ruslan NikolaevVirginia Tech, Binoy RavindranVirginia Tech
DOI
09:30
5m
Talk
Concurrent Deferred Reference Counting with Constant-Time Overhead
PLDI
Daniel AndersonCarnegie Mellon University, Guy E. BlellochCarnegie Mellon University, Yuanhao WeiCarnegie Mellon University
DOI
10:30 - 11:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): Roopsha SamantaPurdue University, Sam GuyerTufts University, Kathleen FisherTufts University
10:30
20m
Live Q&A
Ask Me Anything with Kim Hazelwood
Ask Me Anything
Kim HazelwoodFacebook AI Research
10:50
20m
Live Q&A
Ask Me Anything With Emery Berger
Ask Me Anything
Emery D. BergerUniversity of Massachusetts Amherst
11:10
20m
Live Q&A
Ask Me Anything with Michael Carbin
Ask Me Anything
Michael CarbinMassachusetts Institute of Technology
13:30 - 14:05
Talks 2A: Machine LearningPLDI at PLDI-A +12h
13:30
5m
Talk
Learning to Find Naming Issues with Big Code and Small Supervision
PLDI
Jingxuan HeETH Zurich, Cheng-Chun LeeEPFL, Veselin RaychevDeepCode, Martin VechevETH Zurich
DOI
13:35
5m
Talk
Fast and Precise Certification of Transformers
PLDI
Gregory BonaertETH Zurich, Dimitar I. DimitrovETH Zurich, Maximilian BaaderETH Zurich, Martin VechevETH Zurich
DOI
13:40
5m
Talk
Web Question Answering with Neurosymbolic Program Synthesis
PLDI
Qiaochu ChenUniversity of Texas at Austin, USA, Aaron LamoreauxUniversity of Texas at Austin, Xinyu WangUniversity of Michigan, Greg DurrettUniversity of Texas at Austin, USA, Osbert BastaniUniversity of Pennsylvania, Isil DilligUniversity of Texas at Austin
DOI
13:45
5m
Talk
Robustness Certification with Generative Models
PLDI
Matthew MirmanETH Zurich, Alexander HägeleETH Zurich, Timon GehrETH Zurich, Pavol BielikETH Zurich, Martin VechevETH Zurich
Link to publication DOI
13:50
5m
Talk
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
PLDI
Wei NiuCollege of William & Mary, Jiexiong GuanCollege of William & Mary, Yanzhi WangNortheastern University, Gagan AgrawalAugusta University, Bin RenCollege of William & Mary
DOI
13:55
5m
Talk
Vectorized Secure Evaluation of Decision Forests
PLDI
Raghav MalikPurdue University, Vidush SinghalPurdue University, Benjamin GottfriedPurdue University, Milind KulkarniPurdue University
DOI Pre-print
14:00
5m
Talk
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
PLDI
Jie ZhaoState Key Laboratory of Mathematical Engineering and Advanced Computing, Bojie LiHuawei Technologies, Wang NieHuawei Technologies, Zhen GengHuawei Technologies, Renwei ZhangHuawei Technologies, Xiong GaoHuawei Technologies, Bin ChengHuawei Technologies, Chen WuHuawei, Yun ChengHuawei Technologies, Zheng LiHuawei Technologies, Peng DiHuawei Technologies, Kun ZhangHuawei Technologies, Xuefeng JinHuawei Technologies
DOI
21:00 - 21:35
Talks 1A: Concurrent and Distributed ProgrammingPLDI at PLDI-A
21:00
5m
Talk
Abstraction for Conflict-Free Replicated Data Types
PLDI
Hongjin LiangNanjing University, Xinyu FengNanjing University
DOI
21:05
5m
Talk
Modular Data-Race-Freedom Guarantees in the Promising Semantics
PLDI
Minki ChoSeoul National University, Sung-Hwan LeeSeoul National University, Chung-Kil HurSeoul National University, Ori LahavTel Aviv University
DOI
21:10
5m
Talk
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
PLDI
Coşku AcayCornell University, Rolph RectoCornell University, Joshua GancherCornell University, Andrew C. MyersCornell University, Elaine ShiCornell University
DOI Pre-print
21:15
5m
Talk
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
PLDI
Yuandao CaiHong Kong University of Science and Technology, Peisen YaoHong Kong University of Science and Technology, Charles ZhangHong Kong University of Science and Technology
DOI
21:20
5m
Talk
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
PLDI
George PîrleaNational University of Singapore, Amrit KumarZilliqa Research, Ilya SergeyYale-NUS College; National University of Singapore
DOI
21:25
5m
Talk
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
PLDI
Ruslan NikolaevVirginia Tech, Binoy RavindranVirginia Tech
DOI
21:30
5m
Talk
Concurrent Deferred Reference Counting with Constant-Time Overhead
PLDI
Daniel AndersonCarnegie Mellon University, Guy E. BlellochCarnegie Mellon University, Yuanhao WeiCarnegie Mellon University
DOI
22:30 - 23:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): Gerwin KleinCSIRO's Data61 and UNSW Sydney, Steve BlackburnAustralian National University
22:30
30m
Live Q&A
Ask Me Anything with Cristina Cifuentes
Ask Me Anything
23:00
30m
Live Q&A
Ask Me Anything with June Andronick
Ask Me Anything
June AndronickProofcraft, UNSW and seL4 Foundation

Conference Day
Thu 24 Jun

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

00:30 - 01:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): Aditya KanadeIndian Institute of Science, Bangalore, Alex PotaninVictoria University of Wellington
00:30
30m
Live Q&A
Ask Me Anything with James Noble
Ask Me Anything
James NobleVictoria University of Wellington
01:00
30m
Live Q&A
Ask Me Anything with Sriram Rajamani
Ask Me Anything
Sriram RajamaniMicrosoft Research
01:30 - 02:05
Talks 2A: Machine LearningPLDI at PLDI-A
01:30
5m
Talk
Learning to Find Naming Issues with Big Code and Small Supervision
PLDI
Jingxuan HeETH Zurich, Cheng-Chun LeeEPFL, Veselin RaychevDeepCode, Martin VechevETH Zurich
DOI
01:35
5m
Talk
Fast and Precise Certification of Transformers
PLDI
Gregory BonaertETH Zurich, Dimitar I. DimitrovETH Zurich, Maximilian BaaderETH Zurich, Martin VechevETH Zurich
DOI
01:40
5m
Talk
Web Question Answering with Neurosymbolic Program Synthesis
PLDI
Qiaochu ChenUniversity of Texas at Austin, USA, Aaron LamoreauxUniversity of Texas at Austin, Xinyu WangUniversity of Michigan, Greg DurrettUniversity of Texas at Austin, USA, Osbert BastaniUniversity of Pennsylvania, Isil DilligUniversity of Texas at Austin
DOI
01:45
5m
Talk
Robustness Certification with Generative Models
PLDI
Matthew MirmanETH Zurich, Alexander HägeleETH Zurich, Timon GehrETH Zurich, Pavol BielikETH Zurich, Martin VechevETH Zurich
Link to publication DOI
01:50
5m
Talk
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
PLDI
Wei NiuCollege of William & Mary, Jiexiong GuanCollege of William & Mary, Yanzhi WangNortheastern University, Gagan AgrawalAugusta University, Bin RenCollege of William & Mary
DOI
01:55
5m
Talk
Vectorized Secure Evaluation of Decision Forests
PLDI
Raghav MalikPurdue University, Vidush SinghalPurdue University, Benjamin GottfriedPurdue University, Milind KulkarniPurdue University
DOI Pre-print
02:00
5m
Talk
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
PLDI
Jie ZhaoState Key Laboratory of Mathematical Engineering and Advanced Computing, Bojie LiHuawei Technologies, Wang NieHuawei Technologies, Zhen GengHuawei Technologies, Renwei ZhangHuawei Technologies, Xiong GaoHuawei Technologies, Bin ChengHuawei Technologies, Chen WuHuawei, Yun ChengHuawei Technologies, Zheng LiHuawei Technologies, Peng DiHuawei Technologies, Kun ZhangHuawei Technologies, Xuefeng JinHuawei Technologies
DOI
09:00 - 09:40
Talks 3A: Analysis and SynthesisPLDI at PLDI-A +12h
09:00
5m
Talk
Trace-Based Control-Flow Analysis
PLDI
DOI
09:05
5m
Talk
Demanded Abstract Interpretation
PLDI
Benno SteinUniversity of Colorado at Boulder, Bor-Yuh Evan ChangUniversity of Colorado at Boulder; Amazon, Manu SridharanUniversity of California at Riverside
DOI
09:10
5m
Talk
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
PLDI
Xiaolei RenUniversity of Texas at Arlington, Michael HoUniversity of Texas at Arlington, Jiang MingUniversity of Texas at Arlington, Jeff Yu LeiUniversity of Texas at Arlington, Li LiMonash University
DOI
09:15
5m
Talk
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
PLDI
Zhiqiang ZuoNanjing University, Yiyu ZhangNanjing University, Qiuhong PanNanjing University, Shenming LuNanjing University, Yue LiNanjing University, Linzhang WangNanjing University, Xuandong LiNanjing University, Guoqing Harry XuUniversity of California at Los Angeles
DOI
09:20
5m
Talk
Termination Analysis without the Tears
PLDI
Shaowei ZhuPrinceton University, Zachary KincaidPrinceton University
DOI
09:25
5m
Talk
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
PLDI
Akimasa MorihataUniversity of Tokyo, Shigeyuki SatoUniversity of Tokyo
DOI
09:30
5m
Talk
RbSyn: Type- and Effect-Guided Program Synthesis
PLDI
Sankha Narayan GuriaUniversity of Maryland, Jeffrey S. FosterTufts University, David Van HornUniversity of Maryland
DOI
09:35
5m
Talk
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
PLDI
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin
DOI
10:30 - 11:30
KeynoteInvited Talks at PLDI-A +12h
Chair(s): Isil DilligUniversity of Texas at Austin
10:30
60m
Keynote
Programming Language Research Challenges for Tomorrow's Machines
Invited Talks
Alex AikenStanford University, USA
12:15 - 13:30
Student Research Competition Finalist TalksSRC at PLDI-A +12h
13:30 - 14:05
Talks 4A: Analysis and SynthesisPLDI at PLDI-A +12h
13:30
5m
Talk
Phased Synthesis of Divide and Conquer Programs
PLDI
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
DOI
13:35
5m
Talk
Synthesizing Data Structure Refinements from Integrity Constraints
PLDI
Shankara PailoorUniversity of Texas at Austin, Yuepeng WangUniversity of Pennsylvania, Xinyu WangUniversity of Michigan, Isil DilligUniversity of Texas at Austin
DOI
13:40
5m
Talk
Cyclic Program Synthesis
PLDI
Shachar ItzhakyTechnion, Hila PelegTechnion, Nadia PolikarpovaUniversity of California at San Diego, Reuben N. S. RoweRoyal Holloway University of London, Ilya SergeyYale-NUS College; National University of Singapore
DOI
13:45
5m
Talk
Adaptive Restarts for Stochastic Synthesis
PLDI
Jason R. KoenigStanford University, Oded PadonVMWare Research, Alex AikenStanford University, USA
DOI
13:50
5m
Talk
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
PLDI
Zhiqiang ZuoNanjing University, Kai JiNanjing University, Yifei WangNanjing University, Wei TaoNanjing University, Linzhang WangNanjing University, Xuandong LiNanjing University, Guoqing Harry XuUniversity of California at Los Angeles
DOI
13:55
5m
Talk
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
PLDI
Auguste OlivryInria, Guillaume IoossInria, Nicolas TollenaereInria, Atanas RountevOhio State University, Saday SadayappanUniversity of Utah, Fabrice RastelloInria
DOI
14:00
5m
Talk
Proving Non-termination by Program Reversal
PLDI
Krishnendu ChatterjeeIST Austria, Ehsan Kafshdar GoharshadyFerdowsi University of Mashhad, Petr NovotnýMasaryk University, Đorđe ŽikelićIST Austria
DOI
15:00 - 16:20
Business MeetingPLDI at PLDI-A +12h
15:00
80m
Meeting
PLDI Business Meeting
PLDI

21:00 - 21:40
Talks 3A: Analysis and SynthesisPLDI at PLDI-A
21:00
5m
Talk
Trace-Based Control-Flow Analysis
PLDI
DOI
21:05
5m
Talk
Demanded Abstract Interpretation
PLDI
Benno SteinUniversity of Colorado at Boulder, Bor-Yuh Evan ChangUniversity of Colorado at Boulder; Amazon, Manu SridharanUniversity of California at Riverside
DOI
21:10
5m
Talk
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
PLDI
Xiaolei RenUniversity of Texas at Arlington, Michael HoUniversity of Texas at Arlington, Jiang MingUniversity of Texas at Arlington, Jeff Yu LeiUniversity of Texas at Arlington, Li LiMonash University
DOI
21:15
5m
Talk
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
PLDI
Zhiqiang ZuoNanjing University, Yiyu ZhangNanjing University, Qiuhong PanNanjing University, Shenming LuNanjing University, Yue LiNanjing University, Linzhang WangNanjing University, Xuandong LiNanjing University, Guoqing Harry XuUniversity of California at Los Angeles
DOI
21:20
5m
Talk
Termination Analysis without the Tears
PLDI
Shaowei ZhuPrinceton University, Zachary KincaidPrinceton University
DOI
21:25
5m
Talk
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
PLDI
Akimasa MorihataUniversity of Tokyo, Shigeyuki SatoUniversity of Tokyo
DOI
21:30
5m
Talk
RbSyn: Type- and Effect-Guided Program Synthesis
PLDI
Sankha Narayan GuriaUniversity of Maryland, Jeffrey S. FosterTufts University, David Van HornUniversity of Maryland
DOI
21:35
5m
Talk
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
PLDI
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin
DOI
22:30 - 23:30
22:30
60m
Keynote
Programming Language Research Challenges for Tomorrow's Machines
Invited Talks
Alex AikenStanford University, USA

Conference Day
Fri 25 Jun

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

00:15 - 01:30
Student Research Competition Finalist TalksSRC at PLDI-A
01:30 - 02:05
Talks 4A: Analysis and SynthesisPLDI at PLDI-A
01:30
5m
Talk
Phased Synthesis of Divide and Conquer Programs
PLDI
Azadeh FarzanUniversity of Toronto, Victor NicoletUniversity of Toronto
DOI
01:35
5m
Talk
Synthesizing Data Structure Refinements from Integrity Constraints
PLDI
Shankara PailoorUniversity of Texas at Austin, Yuepeng WangUniversity of Pennsylvania, Xinyu WangUniversity of Michigan, Isil DilligUniversity of Texas at Austin
DOI
01:40
5m
Talk
Cyclic Program Synthesis
PLDI
Shachar ItzhakyTechnion, Hila PelegTechnion, Nadia PolikarpovaUniversity of California at San Diego, Reuben N. S. RoweRoyal Holloway University of London, Ilya SergeyYale-NUS College; National University of Singapore
DOI
01:45
5m
Talk
Adaptive Restarts for Stochastic Synthesis
PLDI
Jason R. KoenigStanford University, Oded PadonVMWare Research, Alex AikenStanford University, USA
DOI
01:50
5m
Talk
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
PLDI
Zhiqiang ZuoNanjing University, Kai JiNanjing University, Yifei WangNanjing University, Wei TaoNanjing University, Linzhang WangNanjing University, Xuandong LiNanjing University, Guoqing Harry XuUniversity of California at Los Angeles
DOI
01:55
5m
Talk
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
PLDI
Auguste OlivryInria, Guillaume IoossInria, Nicolas TollenaereInria, Atanas RountevOhio State University, Saday SadayappanUniversity of Utah, Fabrice RastelloInria
DOI
02:00
5m
Talk
Proving Non-termination by Program Reversal
PLDI
Krishnendu ChatterjeeIST Austria, Ehsan Kafshdar GoharshadyFerdowsi University of Mashhad, Petr NovotnýMasaryk University, Đorđe ŽikelićIST Austria
DOI
03:00 - 04:20
Business MeetingPLDI at PLDI-A
03:00
80m
Meeting
PLDI Business Meeting
PLDI

09:00 - 09:40
Talks 5A: Machine Learning and Probabilistic ProgrammingPLDI at PLDI-A +12h
09:00
5m
Talk
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
PLDI
Wookeun JungSeoul National University, Thanh Tuan DaoSeoul National University, Jaejin LeeSeoul National University
DOI
09:05
5m
Talk
Provable Repair of Deep Neural Networks
PLDI
Matthew SotoudehUniversity of California at Davis, Aditya V. ThakurUniversity of California at Davis
DOI Pre-print Media Attached
09:10
5m
Talk
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
PLDI
Kevin EllisCornell University, Catherine WongMassachusetts Institute of Technology, Maxwell NyeMassachusetts Institute of Technology, Mathias Sablé-MeyerPSL University; Collège de France; NeuroSpin, Lucas MoralesMassachusetts Institute of Technology, Luke HewittMassachusetts Institute of Technology, Luc CaryMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology, Joshua B. TenenbaumMassachusetts Institute of Technology
DOI
09:15
5m
Talk
Specification Synthesis with Constrained Horn Clauses
PLDI
Sumanth PrabhuTCS Research, Grigory FedyukovichFlorida State University, Kumar MadhukarTCS Research, Deepak D'SouzaIISc Bangalore
DOI
09:20
5m
Talk
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
PLDI
Guillaume BaudartInria, Javier BurroniUniversity of Massachusetts Amherst, Martin HirzelIBM Research, Louis MandelIBM Research, USA, Avraham ShinnarIBM Research
DOI
09:25
5m
Talk
Sound Probabilistic Inference via Guide Types
PLDI
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin
DOI
09:30
5m
Talk
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
PLDI
Feras A. SaadMassachusetts Institute of Technology, Martin C. RinardMassachusetts Institute of Technology, Vikash K. MansinghkaMassachusetts Institute of Technology
DOI
09:35
5m
Talk
Quantitative Analysis of Assertion Violations in Probabilistic Programs
PLDI
Jinyi WangShanghai Jiao Tong University, Yican SunPeking University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyHong Kong University of Science and Technology
DOI
10:30 - 11:30
KeynoteInvited Talks at PLDI-A +12h
Chair(s): Milind KulkarniPurdue University
10:30
60m
Keynote
Concerns We Are Not Separating: It's Time for New Programming Stacks
Invited Talks
Michelle StroutHPE and University of Arizona
12:30 - 13:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): John WickersonImperial College London, Ranjit JhalaUniversity of California at San Diego
12:30
20m
Live Q&A
Ask Me Anything with Madan Musuvathi
Ask Me Anything
Madan MusuvathiMicrosoft Research
12:50
20m
Live Q&A
Ask Me Anything with Philippa Gardner
Ask Me Anything
Philippa GardnerImperial College London
13:10
20m
Live Q&A
Ask Me Anything with Rustan Leino
Ask Me Anything
13:30 - 14:05
Talks 6A: Language ImplementationPLDI at PLDI-A +12h
13:30
5m
Talk
Hashing Modulo Alpha-Equivalence
PLDI
Krzysztof MaziarzMicrosoft, Tom EllisMicrosoft, Alan LawrenceMicrosoft, Andrew FitzgibbonMicrosoft, Simon Peyton JonesMicrosoft
DOI
13:35
5m
Talk
An Efficient Interpreter for Datalog by De-specializing Relations
PLDI
Xiaowen HuUniversity of Sydney, David ZhaoUniversity of Sydney, Herbert JordanInnsbruck University, Bernhard ScholzUniversity of Sydney
DOI
13:40
5m
Talk
Distance-in-Time versus Distance-in-Space
PLDI
Mahmut Taylan KandemirPennsylvania State University, Xulong TangUniversity of Pittsburgh, Hui ZhaoUniversity of North Texas, Jihyun RyooPennsylvania State University, Mustafa KarakoyTUBITAK-BILGEM
DOI
13:45
5m
Talk
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI
Jay P. LimRutgers University, Santosh NagarakatteRutgers University
DOI Pre-print
13:50
5m
Talk
Retrofitting Effect Handlers onto OCaml
PLDI
KC SivaramakrishnanIIT Madras, Stephen DolanOCaml Labs, Leo WhiteJane Street, Tom KellyOCaml Labs, Sadiq JafferOpsian and OCaml Labs, Anil MadhavapeddyUniversity of Cambridge
Link to publication DOI Media Attached
13:55
5m
Talk
Compiler-Assisted Object Inlining with Value Fields
PLDI
Rodrigo BrunoINESC-ID / IST, ULisboa, Vojin JovanovicOracle Labs, Christian WimmerOracle Labs, Gustavo AlonsoETH Zurich
DOI
14:00
5m
Talk
Concise, Type-Safe, and Efficient Structural Diffing
PLDI
Sebastian ErdwegJGU Mainz, Tamás SzabóJGU Mainz; Workday, André PacakJGU Mainz
DOI
15:00 - 16:00
KeynoteInvited Talks at PLDI-A +12h
Chair(s): Emery D. BergerUniversity of Massachusetts Amherst
15:00
60m
Awards
Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All
Invited Talks
Emina TorlakUniversity of Washington
21:00 - 21:40
Talks 5A: Machine Learning and Probabilistic ProgrammingPLDI at PLDI-A
21:00
5m
Talk
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
PLDI
Wookeun JungSeoul National University, Thanh Tuan DaoSeoul National University, Jaejin LeeSeoul National University
DOI
21:05
5m
Talk
Provable Repair of Deep Neural Networks
PLDI
Matthew SotoudehUniversity of California at Davis, Aditya V. ThakurUniversity of California at Davis
DOI Pre-print Media Attached
21:10
5m
Talk
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
PLDI
Kevin EllisCornell University, Catherine WongMassachusetts Institute of Technology, Maxwell NyeMassachusetts Institute of Technology, Mathias Sablé-MeyerPSL University; Collège de France; NeuroSpin, Lucas MoralesMassachusetts Institute of Technology, Luke HewittMassachusetts Institute of Technology, Luc CaryMassachusetts Institute of Technology, Armando Solar-LezamaMassachusetts Institute of Technology, Joshua B. TenenbaumMassachusetts Institute of Technology
DOI
21:15
5m
Talk
Specification Synthesis with Constrained Horn Clauses
PLDI
Sumanth PrabhuTCS Research, Grigory FedyukovichFlorida State University, Kumar MadhukarTCS Research, Deepak D'SouzaIISc Bangalore
DOI
21:20
5m
Talk
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
PLDI
Guillaume BaudartInria, Javier BurroniUniversity of Massachusetts Amherst, Martin HirzelIBM Research, Louis MandelIBM Research, USA, Avraham ShinnarIBM Research
DOI
21:25
5m
Talk
Sound Probabilistic Inference via Guide Types
PLDI
Di WangCarnegie Mellon University, Jan HoffmannCarnegie Mellon University, Thomas RepsUniversity of Wisconsin
DOI
21:30
5m
Talk
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
PLDI
Feras A. SaadMassachusetts Institute of Technology, Martin C. RinardMassachusetts Institute of Technology, Vikash K. MansinghkaMassachusetts Institute of Technology
DOI
21:35
5m
Talk
Quantitative Analysis of Assertion Violations in Probabilistic Programs
PLDI
Jinyi WangShanghai Jiao Tong University, Yican SunPeking University, Hongfei FuShanghai Jiao Tong University, Krishnendu ChatterjeeIST Austria, Amir Kafshdar GoharshadyHong Kong University of Science and Technology
DOI
22:30 - 23:30
22:30
60m
Keynote
Concerns We Are Not Separating: It's Time for New Programming Stacks
Invited Talks
Michelle StroutHPE and University of Arizona

Conference Day
Sat 26 Jun

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

00:30 - 01:30
Ask Me AnythingAsk Me Anything at PLDI-A
Chair(s): Andreea CosteaSchool of Computing, National University Of Singapore, Hongseok YangKAIST
00:30
30m
Live Q&A
Ask Me Anything with Sukyoung Ryu
Ask Me Anything
01:00
30m
Live Q&A
Ask Me Anything with Joxan Jaffar
Ask Me Anything
Joxan JaffarNational University of Singapore
01:30 - 02:05
Talks 6A: Language ImplementationPLDI at PLDI-A
01:30
5m
Talk
Hashing Modulo Alpha-Equivalence
PLDI
Krzysztof MaziarzMicrosoft, Tom EllisMicrosoft, Alan LawrenceMicrosoft, Andrew FitzgibbonMicrosoft, Simon Peyton JonesMicrosoft
DOI
01:35
5m
Talk
An Efficient Interpreter for Datalog by De-specializing Relations
PLDI
Xiaowen HuUniversity of Sydney, David ZhaoUniversity of Sydney, Herbert JordanInnsbruck University, Bernhard ScholzUniversity of Sydney
DOI
01:40
5m
Talk
Distance-in-Time versus Distance-in-Space
PLDI
Mahmut Taylan KandemirPennsylvania State University, Xulong TangUniversity of Pittsburgh, Hui ZhaoUniversity of North Texas, Jihyun RyooPennsylvania State University, Mustafa KarakoyTUBITAK-BILGEM
DOI
01:45
5m
Talk
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI
Jay P. LimRutgers University, Santosh NagarakatteRutgers University
DOI Pre-print
01:50
5m
Talk
Retrofitting Effect Handlers onto OCaml
PLDI
KC SivaramakrishnanIIT Madras, Stephen DolanOCaml Labs, Leo WhiteJane Street, Tom KellyOCaml Labs, Sadiq JafferOpsian and OCaml Labs, Anil MadhavapeddyUniversity of Cambridge
Link to publication DOI Media Attached
01:55
5m
Talk
Compiler-Assisted Object Inlining with Value Fields
PLDI
Rodrigo BrunoINESC-ID / IST, ULisboa, Vojin JovanovicOracle Labs, Christian WimmerOracle Labs, Gustavo AlonsoETH Zurich
DOI
02:00
5m
Talk
Concise, Type-Safe, and Efficient Structural Diffing
PLDI
Sebastian ErdwegJGU Mainz, Tamás SzabóJGU Mainz; Workday, André PacakJGU Mainz
DOI

Conference Day
Wed 23 Jun

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

Conference Day
Thu 24 Jun

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

Conference Day
Sat 26 Jun

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

Conference Day
Wed 23 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
PLDI-A

Conference Day
Thu 24 Jun

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
PLDI-A

Conference Day
Fri 25 Jun

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
PLDI-A