Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021
PLDI
Toggle navigation
Attending
Venue: Online
Registration
Code of Conduct
Sponsorship
Program
Complete Program
Your Program
Filter by Day
Sun 20 Jun
Mon 21 Jun
Tue 22 Jun
Wed 23 Jun
Thu 24 Jun
Fri 25 Jun
Sat 26 Jun
Tracks
PLDI 2021
Ask Me Anything
CARES
PLDI
Invited Talks
Research Artifacts
Tutorials
- Beyond Weak Memory Consistency: The Challenges of Memory Persistency
- IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C
- Implementing smart contract security analyses using the MadMax/Gigahorse framework
Workshops and Tutorials
Social
SRC
Student Volunteering
Sponsors
Co-hosted Conferences
HOPL IV
HOPL IV
HOPL IV
Papers
ISMM
LCTES
Workshops
ARRAY
Infer Practitioners
MAPS
PLMW@PLDI
PLanQC
SOAP
Organization
PLDI 2021 Committees
Organizing Committee
Steering Committee
Virtualization Committee
Track Committees
PLDI
Research Artifacts
SRC
Student Volunteering
Contributors
People Index
Co-hosted Conferences
HOPL IV
Organizing Committee
Steering Committee
Organizing Committee
Program Committee
ISMM
Organizing Committee
Program Committee
External Review Committee
Steering Committee
LCTES
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
ARRAY
Organizing Committee
Program Committee
Infer Practitioners
Organizing Committee
Program Committee
MAPS
Organizing Committee
Program Committee
PLMW@PLDI
Organizing Committee
PLanQC
Organizing Committee
Program Committee
SOAP
Invited Speakers
Organizing Committee
Program Committee
Search
Series
Series
PLDI 2025
PLDI 2024
PLDI 2023
PLDI 2022
PLDI 2021
PLDI 2020
PLDI 2019
PLDI 2018
PLDI 2017
PLDI 2016
PLDI 2015
Sign in
Sign up
PLDI 2021
(
series
) /
Online
/
Room information: PLDI-A
Venue
Online
Room name
PLDI-A
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Wed 23 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 09:35
Talks 1A: Concurrent and Distributed Programming
PLDI
at
PLDI-A
+12h
09:00
5m
Talk
Abstraction for Conflict-Free Replicated Data Types
PLDI
Hongjin Liang
Nanjing University
,
Xinyu Feng
Nanjing University
DOI
09:05
5m
Talk
Modular Data-Race-Freedom Guarantees in the Promising Semantics
PLDI
Minki Cho
Seoul National University
,
Sung-Hwan Lee
Seoul National University
,
Chung-Kil Hur
Seoul National University
,
Ori Lahav
Tel Aviv University
DOI
09:10
5m
Talk
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
PLDI
Coşku Acay
Cornell University
,
Rolph Recto
Cornell University
,
Joshua Gancher
Cornell University
,
Andrew Myers
Cornell University
,
Elaine Shi
Cornell University
DOI
Pre-print
09:15
5m
Talk
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
PLDI
Yuandao Cai
Hong Kong University of Science and Technology
,
Peisen Yao
Hong Kong University of Science and Technology
,
Charles Zhang
Hong Kong University of Science and Technology
DOI
09:20
5m
Talk
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
PLDI
George Pîrlea
National University of Singapore
,
Amrit Kumar
Zilliqa Research
,
Ilya Sergey
Yale-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 Nikolaev
Virginia Tech
,
Binoy Ravindran
Virginia Tech
DOI
09:30
5m
Talk
Concurrent Deferred Reference Counting with Constant-Time Overhead
PLDI
Daniel Anderson
Carnegie Mellon University
,
Guy E. Blelloch
Carnegie Mellon University
,
Yuanhao Wei
Carnegie Mellon University
DOI
10:30 - 11:30
Ask Me Anything
Ask Me Anything
at
PLDI-A
Chair(s):
Kathleen Fisher
Tufts University
,
Sam Guyer
Tufts University
,
Roopsha Samanta
Purdue University
10:30
20m
Live Q&A
Ask Me Anything with Kim Hazelwood
Ask Me Anything
Kim Hazelwood
Facebook AI Research
10:50
20m
Live Q&A
Ask Me Anything With Emery Berger
Ask Me Anything
Emery D. Berger
University of Massachusetts Amherst
11:10
20m
Live Q&A
Ask Me Anything with Michael Carbin
Ask Me Anything
Michael Carbin
Massachusetts Institute of Technology
13:30 - 14:05
Talks 2A: Machine Learning
PLDI
at
PLDI-A
+12h
13:30
5m
Talk
Learning to Find Naming Issues with Big Code and Small Supervision
PLDI
Jingxuan He
ETH Zurich
,
Cheng-Chun Lee
EPFL
,
Veselin Raychev
DeepCode
,
Martin Vechev
ETH Zurich
DOI
13:35
5m
Talk
Fast and Precise Certification of Transformers
PLDI
Gregory Bonaert
ETH Zurich
,
Dimitar I. Dimitrov
ETH Zurich
,
Maximilian Baader
ETH Zurich
,
Martin Vechev
ETH Zurich
DOI
13:40
5m
Talk
Web Question Answering with Neurosymbolic Program Synthesis
PLDI
Jocelyn (Qiaochu) Chen
University of Texas at Austin, USA
,
Aaron Lamoreaux
University of Texas at Austin
,
Xinyu Wang
University of Michigan
,
Greg Durrett
University of Texas at Austin, USA
,
Osbert Bastani
University of Pennsylvania
,
Işıl Dillig
University of Texas at Austin
DOI
13:45
5m
Talk
Robustness Certification with Generative Models
PLDI
Matthew Mirman
ETH Zurich
,
Alexander Hägele
ETH Zurich
,
Timon Gehr
ETH Zurich
,
Pavol Bielik
ETH Zurich
,
Martin Vechev
ETH Zurich
Link to publication
DOI
13:50
5m
Talk
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
PLDI
Wei Niu
College of William & Mary
,
Jiexiong Guan
College of William & Mary
,
Yanzhi Wang
Northeastern University
,
Gagan Agrawal
Augusta University
,
Bin Ren
College of William & Mary
DOI
13:55
5m
Talk
Vectorized Secure Evaluation of Decision Forests
PLDI
Raghav Malik
Purdue University
,
Vidush Singhal
Purdue University
,
Benjamin Gottfried
Purdue University
,
Milind Kulkarni
Purdue University
DOI
Pre-print
14:00
5m
Talk
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
PLDI
Jie Zhao
Hunan University, Changsha, Hunan
,
Bojie Li
Huawei Technologies
,
Wang Nie
Huawei Technologies
,
Zhen Geng
Huawei Technologies
,
Renwei Zhang
Huawei Technologies
,
Xiong Gao
Huawei Technologies
,
Bin Cheng
Huawei Technologies
,
Chen Wu
Huawei
,
Yun Cheng
Huawei Technologies
,
Zheng Li
Huawei Technologies
,
Peng Di
Huawei Technologies
,
Kun Zhang
Huawei Technologies
,
Xuefeng Jin
Huawei Technologies
DOI
21:00 - 21:35
Talks 1A: Concurrent and Distributed Programming
PLDI
at
PLDI-A
21:00
5m
Talk
Abstraction for Conflict-Free Replicated Data Types
PLDI
Hongjin Liang
Nanjing University
,
Xinyu Feng
Nanjing University
DOI
21:05
5m
Talk
Modular Data-Race-Freedom Guarantees in the Promising Semantics
PLDI
Minki Cho
Seoul National University
,
Sung-Hwan Lee
Seoul National University
,
Chung-Kil Hur
Seoul National University
,
Ori Lahav
Tel Aviv University
DOI
21:10
5m
Talk
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
PLDI
Coşku Acay
Cornell University
,
Rolph Recto
Cornell University
,
Joshua Gancher
Cornell University
,
Andrew Myers
Cornell University
,
Elaine Shi
Cornell University
DOI
Pre-print
21:15
5m
Talk
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
PLDI
Yuandao Cai
Hong Kong University of Science and Technology
,
Peisen Yao
Hong Kong University of Science and Technology
,
Charles Zhang
Hong Kong University of Science and Technology
DOI
21:20
5m
Talk
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
PLDI
George Pîrlea
National University of Singapore
,
Amrit Kumar
Zilliqa Research
,
Ilya Sergey
Yale-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 Nikolaev
Virginia Tech
,
Binoy Ravindran
Virginia Tech
DOI
21:30
5m
Talk
Concurrent Deferred Reference Counting with Constant-Time Overhead
PLDI
Daniel Anderson
Carnegie Mellon University
,
Guy E. Blelloch
Carnegie Mellon University
,
Yuanhao Wei
Carnegie Mellon University
DOI
22:30 - 23:30
Ask Me Anything
Ask Me Anything
at
PLDI-A
Chair(s):
Steve Blackburn
Australian National University
,
Gerwin Klein
CSIRO's Data61 and UNSW Sydney
22:30
30m
Live Q&A
Ask Me Anything with Cristina Cifuentes
Ask Me Anything
Cristina Cifuentes
Oracle Labs
23:00
30m
Live Q&A
Ask Me Anything with June Andronick
Ask Me Anything
June Andronick
Proofcraft, UNSW and seL4 Foundation
Thu 24 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
00:30 - 01:30
Ask Me Anything
Ask Me Anything
at
PLDI-A
Chair(s):
Aditya Kanade
Indian Institute of Science, Bangalore
,
Alex Potanin
Victoria University of Wellington
00:30
30m
Live Q&A
Ask Me Anything with James Noble
Ask Me Anything
James Noble
Victoria University of Wellington
01:00
30m
Live Q&A
Ask Me Anything with Sriram Rajamani
Ask Me Anything
Sriram Rajamani
Microsoft Research
01:30 - 02:05
Talks 2A: Machine Learning
PLDI
at
PLDI-A
01:30
5m
Talk
Learning to Find Naming Issues with Big Code and Small Supervision
PLDI
Jingxuan He
ETH Zurich
,
Cheng-Chun Lee
EPFL
,
Veselin Raychev
DeepCode
,
Martin Vechev
ETH Zurich
DOI
01:35
5m
Talk
Fast and Precise Certification of Transformers
PLDI
Gregory Bonaert
ETH Zurich
,
Dimitar I. Dimitrov
ETH Zurich
,
Maximilian Baader
ETH Zurich
,
Martin Vechev
ETH Zurich
DOI
01:40
5m
Talk
Web Question Answering with Neurosymbolic Program Synthesis
PLDI
Jocelyn (Qiaochu) Chen
University of Texas at Austin, USA
,
Aaron Lamoreaux
University of Texas at Austin
,
Xinyu Wang
University of Michigan
,
Greg Durrett
University of Texas at Austin, USA
,
Osbert Bastani
University of Pennsylvania
,
Işıl Dillig
University of Texas at Austin
DOI
01:45
5m
Talk
Robustness Certification with Generative Models
PLDI
Matthew Mirman
ETH Zurich
,
Alexander Hägele
ETH Zurich
,
Timon Gehr
ETH Zurich
,
Pavol Bielik
ETH Zurich
,
Martin Vechev
ETH Zurich
Link to publication
DOI
01:50
5m
Talk
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
PLDI
Wei Niu
College of William & Mary
,
Jiexiong Guan
College of William & Mary
,
Yanzhi Wang
Northeastern University
,
Gagan Agrawal
Augusta University
,
Bin Ren
College of William & Mary
DOI
01:55
5m
Talk
Vectorized Secure Evaluation of Decision Forests
PLDI
Raghav Malik
Purdue University
,
Vidush Singhal
Purdue University
,
Benjamin Gottfried
Purdue University
,
Milind Kulkarni
Purdue University
DOI
Pre-print
02:00
5m
Talk
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
PLDI
Jie Zhao
Hunan University, Changsha, Hunan
,
Bojie Li
Huawei Technologies
,
Wang Nie
Huawei Technologies
,
Zhen Geng
Huawei Technologies
,
Renwei Zhang
Huawei Technologies
,
Xiong Gao
Huawei Technologies
,
Bin Cheng
Huawei Technologies
,
Chen Wu
Huawei
,
Yun Cheng
Huawei Technologies
,
Zheng Li
Huawei Technologies
,
Peng Di
Huawei Technologies
,
Kun Zhang
Huawei Technologies
,
Xuefeng Jin
Huawei Technologies
DOI
09:00 - 09:40
Talks 3A: Analysis and Synthesis
PLDI
at
PLDI-A
+12h
09:00
5m
Talk
Trace-Based Control-Flow Analysis
PLDI
Benoît Montagu
Inria
,
Thomas P. Jensen
Inria
DOI
09:05
5m
Talk
Demanded Abstract Interpretation
PLDI
Benno Stein
University of Colorado at Boulder
,
Bor-Yuh Evan Chang
University of Colorado at Boulder; Amazon
,
Manu Sridharan
University 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 Ren
University of Texas at Arlington
,
Michael Ho
University of Texas at Arlington
,
Jiang Ming
University of Texas at Arlington
,
Jeff Yu Lei
University of Texas at Arlington
,
Li Li
Monash 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 Zuo
Nanjing University
,
Yiyu Zhang
Nanjing University
,
Qiuhong Pan
Nanjing University
,
Shenming Lu
Nanjing University
,
Yue Li
Nanjing University
,
Linzhang Wang
Nanjing University
,
Xuandong Li
Nanjing University
,
Guoqing Harry Xu
University of California at Los Angeles
DOI
09:20
5m
Talk
Termination Analysis without the Tears
PLDI
Shaowei Zhu
Princeton University
,
Zachary Kincaid
Princeton University
DOI
09:25
5m
Talk
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
PLDI
Akimasa Morihata
University of Tokyo
,
Shigeyuki Sato
University of Tokyo
DOI
09:30
5m
Talk
RbSyn: Type- and Effect-Guided Program Synthesis
PLDI
Sankha Narayan Guria
University of Maryland
,
Jeffrey S. Foster
Tufts University
,
David Van Horn
University of Maryland
DOI
09:35
5m
Talk
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
PLDI
Di Wang
Carnegie Mellon University
,
Jan Hoffmann
Carnegie Mellon University
,
Thomas Reps
University of Wisconsin
DOI
10:30 - 11:30
Keynote
Invited Talks
at
PLDI-A
+12h
Chair(s):
Işıl Dillig
University of Texas at Austin
10:30
60m
Keynote
Programming Language Research Challenges for Tomorrow's Machines
Invited Talks
Alex Aiken
Stanford University, USA
12:15 - 13:30
Student Research Competition Finalist Talks
SRC
at
PLDI-A
+12h
13:30 - 14:05
Talks 4A: Analysis and Synthesis
PLDI
at
PLDI-A
+12h
13:30
5m
Talk
Phased Synthesis of Divide and Conquer Programs
PLDI
Azadeh Farzan
University of Toronto
,
Victor Nicolet
University of Toronto
DOI
13:35
5m
Talk
Synthesizing Data Structure Refinements from Integrity Constraints
PLDI
Shankara Pailoor
University of Texas at Austin
,
Yuepeng Wang
University of Pennsylvania
,
Xinyu Wang
University of Michigan
,
Işıl Dillig
University of Texas at Austin
DOI
13:40
5m
Talk
Cyclic Program Synthesis
PLDI
Shachar Itzhaky
Technion
,
Hila Peleg
Technion
,
Nadia Polikarpova
University of California at San Diego
,
Reuben N. S. Rowe
Royal Holloway University of London
,
Ilya Sergey
Yale-NUS College; National University of Singapore
DOI
13:45
5m
Talk
Adaptive Restarts for Stochastic Synthesis
PLDI
Jason R. Koenig
Stanford University
,
Oded Padon
VMWare Research
,
Alex Aiken
Stanford University, USA
DOI
13:50
5m
Talk
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
PLDI
Zhiqiang Zuo
Nanjing University
,
Kai Ji
Nanjing University
,
Yifei Wang
Nanjing University
,
Wei Tao
Nanjing University
,
Linzhang Wang
Nanjing University
,
Xuandong Li
Nanjing University
,
Guoqing Harry Xu
University of California at Los Angeles
DOI
13:55
5m
Talk
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
PLDI
Auguste Olivry
Inria
,
Guillaume Iooss
Inria
,
Nicolas Tollenaere
Inria
,
Atanas Rountev
Ohio State University
,
Saday Sadayappan
University of Utah
,
Fabrice Rastello
Inria
DOI
14:00
5m
Talk
Proving Non-termination by Program Reversal
PLDI
Krishnendu Chatterjee
IST Austria
,
Ehsan Kafshdar Goharshady
Ferdowsi University of Mashhad
,
Petr Novotný
Masaryk University
,
Đorđe Žikelić
IST Austria
DOI
15:00 - 16:20
Business Meeting
PLDI
at
PLDI-A
+12h
15:00
80m
Meeting
PLDI Business Meeting
PLDI
21:00 - 21:40
Talks 3A: Analysis and Synthesis
PLDI
at
PLDI-A
21:00
5m
Talk
Trace-Based Control-Flow Analysis
PLDI
Benoît Montagu
Inria
,
Thomas P. Jensen
Inria
DOI
21:05
5m
Talk
Demanded Abstract Interpretation
PLDI
Benno Stein
University of Colorado at Boulder
,
Bor-Yuh Evan Chang
University of Colorado at Boulder; Amazon
,
Manu Sridharan
University 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 Ren
University of Texas at Arlington
,
Michael Ho
University of Texas at Arlington
,
Jiang Ming
University of Texas at Arlington
,
Jeff Yu Lei
University of Texas at Arlington
,
Li Li
Monash 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 Zuo
Nanjing University
,
Yiyu Zhang
Nanjing University
,
Qiuhong Pan
Nanjing University
,
Shenming Lu
Nanjing University
,
Yue Li
Nanjing University
,
Linzhang Wang
Nanjing University
,
Xuandong Li
Nanjing University
,
Guoqing Harry Xu
University of California at Los Angeles
DOI
21:20
5m
Talk
Termination Analysis without the Tears
PLDI
Shaowei Zhu
Princeton University
,
Zachary Kincaid
Princeton University
DOI
21:25
5m
Talk
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
PLDI
Akimasa Morihata
University of Tokyo
,
Shigeyuki Sato
University of Tokyo
DOI
21:30
5m
Talk
RbSyn: Type- and Effect-Guided Program Synthesis
PLDI
Sankha Narayan Guria
University of Maryland
,
Jeffrey S. Foster
Tufts University
,
David Van Horn
University of Maryland
DOI
21:35
5m
Talk
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
PLDI
Di Wang
Carnegie Mellon University
,
Jan Hoffmann
Carnegie Mellon University
,
Thomas Reps
University of Wisconsin
DOI
22:30 - 23:30
Keynote
Invited Talks
at
PLDI-A
22:30
60m
Keynote
Programming Language Research Challenges for Tomorrow's Machines
Invited Talks
Alex Aiken
Stanford University, USA
Fri 25 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
00:15 - 01:30
Student Research Competition Finalist Talks
SRC
at
PLDI-A
01:30 - 02:05
Talks 4A: Analysis and Synthesis
PLDI
at
PLDI-A
01:30
5m
Talk
Phased Synthesis of Divide and Conquer Programs
PLDI
Azadeh Farzan
University of Toronto
,
Victor Nicolet
University of Toronto
DOI
01:35
5m
Talk
Synthesizing Data Structure Refinements from Integrity Constraints
PLDI
Shankara Pailoor
University of Texas at Austin
,
Yuepeng Wang
University of Pennsylvania
,
Xinyu Wang
University of Michigan
,
Işıl Dillig
University of Texas at Austin
DOI
01:40
5m
Talk
Cyclic Program Synthesis
PLDI
Shachar Itzhaky
Technion
,
Hila Peleg
Technion
,
Nadia Polikarpova
University of California at San Diego
,
Reuben N. S. Rowe
Royal Holloway University of London
,
Ilya Sergey
Yale-NUS College; National University of Singapore
DOI
01:45
5m
Talk
Adaptive Restarts for Stochastic Synthesis
PLDI
Jason R. Koenig
Stanford University
,
Oded Padon
VMWare Research
,
Alex Aiken
Stanford University, USA
DOI
01:50
5m
Talk
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
PLDI
Zhiqiang Zuo
Nanjing University
,
Kai Ji
Nanjing University
,
Yifei Wang
Nanjing University
,
Wei Tao
Nanjing University
,
Linzhang Wang
Nanjing University
,
Xuandong Li
Nanjing University
,
Guoqing Harry Xu
University of California at Los Angeles
DOI
01:55
5m
Talk
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
PLDI
Auguste Olivry
Inria
,
Guillaume Iooss
Inria
,
Nicolas Tollenaere
Inria
,
Atanas Rountev
Ohio State University
,
Saday Sadayappan
University of Utah
,
Fabrice Rastello
Inria
DOI
02:00
5m
Talk
Proving Non-termination by Program Reversal
PLDI
Krishnendu Chatterjee
IST Austria
,
Ehsan Kafshdar Goharshady
Ferdowsi University of Mashhad
,
Petr Novotný
Masaryk University
,
Đorđe Žikelić
IST Austria
DOI
03:00 - 04:20
Business Meeting
PLDI
at
PLDI-A
03:00
80m
Meeting
PLDI Business Meeting
PLDI
09:00 - 09:40
Talks 5A: Machine Learning and Probabilistic Programming
PLDI
at
PLDI-A
+12h
09:00
5m
Talk
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
PLDI
Wookeun Jung
Seoul National University
,
Thanh Tuan Dao
Seoul National University
,
Jaejin Lee
Seoul National University
DOI
09:05
5m
Talk
Provable Repair of Deep Neural Networks
PLDI
Matthew Sotoudeh
University of California at Davis
,
Aditya V. Thakur
University 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 Ellis
Cornell University
,
Lionel Wong
Massachusetts Institute of Technology
,
Maxwell Nye
Massachusetts Institute of Technology
,
Mathias Sablé-Meyer
PSL University; Collège de France; NeuroSpin
,
Lucas Morales
Massachusetts Institute of Technology
,
Luke Hewitt
Massachusetts Institute of Technology
,
Luc Cary
Massachusetts Institute of Technology
,
Armando Solar-Lezama
Massachusetts Institute of Technology
,
Joshua B. Tenenbaum
Massachusetts Institute of Technology
DOI
09:15
5m
Talk
Specification Synthesis with Constrained Horn Clauses
PLDI
Sumanth Prabhu
TCS Research
,
Grigory Fedyukovich
Florida State University
,
Kumar Madhukar
TCS Research
,
Deepak D'Souza
IISc Bangalore
DOI
09:20
5m
Talk
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
PLDI
Guillaume Baudart
Inria
,
Javier Burroni
University of Massachusetts Amherst
,
Martin Hirzel
IBM Research
,
Louis Mandel
IBM Research, USA
,
Avraham Shinnar
IBM Research
DOI
09:25
5m
Talk
Sound Probabilistic Inference via Guide Types
PLDI
Di Wang
Carnegie Mellon University
,
Jan Hoffmann
Carnegie Mellon University
,
Thomas Reps
University of Wisconsin
DOI
09:30
5m
Talk
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
PLDI
Feras Saad
Massachusetts Institute of Technology
,
Martin C. Rinard
Massachusetts Institute of Technology
,
Vikash K. Mansinghka
Massachusetts Institute of Technology
DOI
09:35
5m
Talk
Quantitative Analysis of Assertion Violations in Probabilistic Programs
PLDI
Jinyi Wang
Shanghai Jiao Tong University
,
Yican Sun
Peking University
,
Hongfei Fu
Shanghai Jiao Tong University
,
Krishnendu Chatterjee
IST Austria
,
Amir Kafshdar Goharshady
Hong Kong University of Science and Technology
DOI
10:30 - 11:30
Keynote
Invited Talks
at
PLDI-A
+12h
Chair(s):
Milind Kulkarni
Purdue University
10:30
60m
Keynote
Concerns We Are Not Separating: It's Time for New Programming Stacks
Invited Talks
Michelle Strout
HPE and University of Arizona
12:30 - 13:30
Ask Me Anything
Ask Me Anything
at
PLDI-A
Chair(s):
Ranjit Jhala
University of California at San Diego
,
John Wickerson
Imperial College London
12:30
20m
Live Q&A
Ask Me Anything with Madan Musuvathi
Ask Me Anything
Madan Musuvathi
Microsoft Research
12:50
20m
Live Q&A
Ask Me Anything with Philippa Gardner
Ask Me Anything
Philippa Gardner
Imperial College London
13:10
20m
Live Q&A
Ask Me Anything with Rustan Leino
Ask Me Anything
K. Rustan M. Leino
Amazon
13:30 - 14:05
Talks 6A: Language Implementation
PLDI
at
PLDI-A
+12h
13:30
5m
Talk
Hashing Modulo Alpha-Equivalence
PLDI
Krzysztof Maziarz
Microsoft
,
Tom Ellis
Microsoft
,
Alan Lawrence
Microsoft
,
Andrew Fitzgibbon
Microsoft
,
Simon Peyton Jones
Microsoft
DOI
13:35
5m
Talk
An Efficient Interpreter for Datalog by De-specializing Relations
PLDI
Xiaowen Hu
University of Sydney
,
David Zhao
University of Sydney
,
Herbert Jordan
Innsbruck University
,
Bernhard Scholz
University of Sydney
DOI
13:40
5m
Talk
Distance-in-Time versus Distance-in-Space
PLDI
Mahmut Taylan Kandemir
Pennsylvania State University
,
Xulong Tang
University of Pittsburgh
,
Hui Zhao
University of North Texas
,
Jihyun Ryoo
Pennsylvania State University
,
Mustafa Karakoy
TUBITAK-BILGEM
DOI
13:45
5m
Talk
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI
Jay P. Lim
Rutgers University
,
Santosh Nagarakatte
Rutgers University
DOI
Pre-print
13:50
5m
Talk
Retrofitting Effect Handlers onto OCaml
PLDI
KC Sivaramakrishnan
IIT Madras
,
Stephen Dolan
OCaml Labs
,
Leo White
Jane Street
,
Tom Kelly
OCaml Labs
,
Sadiq Jaffer
Opsian and OCaml Labs
,
Anil Madhavapeddy
OCaml Labs
Link to publication
DOI
Media Attached
13:55
5m
Talk
Compiler-Assisted Object Inlining with Value Fields
PLDI
Rodrigo Bruno
INESC-ID / IST, ULisboa
,
Vojin Jovanovic
Oracle Labs
,
Christian Wimmer
Oracle Labs
,
Gustavo Alonso
ETH Zurich
DOI
14:00
5m
Talk
Concise, Type-Safe, and Efficient Structural Diffing
PLDI
Sebastian Erdweg
JGU Mainz
,
Tamás Szabó
JGU Mainz; Workday
,
André Pacak
JGU Mainz
DOI
15:00 - 16:00
Keynote
Invited Talks
at
PLDI-A
+12h
Chair(s):
Emery D. Berger
University of Massachusetts Amherst
15:00
60m
Awards
Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All
Invited Talks
Emina Torlak
University of Washington
21:00 - 21:40
Talks 5A: Machine Learning and Probabilistic Programming
PLDI
at
PLDI-A
21:00
5m
Talk
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
PLDI
Wookeun Jung
Seoul National University
,
Thanh Tuan Dao
Seoul National University
,
Jaejin Lee
Seoul National University
DOI
21:05
5m
Talk
Provable Repair of Deep Neural Networks
PLDI
Matthew Sotoudeh
University of California at Davis
,
Aditya V. Thakur
University 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 Ellis
Cornell University
,
Lionel Wong
Massachusetts Institute of Technology
,
Maxwell Nye
Massachusetts Institute of Technology
,
Mathias Sablé-Meyer
PSL University; Collège de France; NeuroSpin
,
Lucas Morales
Massachusetts Institute of Technology
,
Luke Hewitt
Massachusetts Institute of Technology
,
Luc Cary
Massachusetts Institute of Technology
,
Armando Solar-Lezama
Massachusetts Institute of Technology
,
Joshua B. Tenenbaum
Massachusetts Institute of Technology
DOI
21:15
5m
Talk
Specification Synthesis with Constrained Horn Clauses
PLDI
Sumanth Prabhu
TCS Research
,
Grigory Fedyukovich
Florida State University
,
Kumar Madhukar
TCS Research
,
Deepak D'Souza
IISc Bangalore
DOI
21:20
5m
Talk
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
PLDI
Guillaume Baudart
Inria
,
Javier Burroni
University of Massachusetts Amherst
,
Martin Hirzel
IBM Research
,
Louis Mandel
IBM Research, USA
,
Avraham Shinnar
IBM Research
DOI
21:25
5m
Talk
Sound Probabilistic Inference via Guide Types
PLDI
Di Wang
Carnegie Mellon University
,
Jan Hoffmann
Carnegie Mellon University
,
Thomas Reps
University of Wisconsin
DOI
21:30
5m
Talk
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
PLDI
Feras Saad
Massachusetts Institute of Technology
,
Martin C. Rinard
Massachusetts Institute of Technology
,
Vikash K. Mansinghka
Massachusetts Institute of Technology
DOI
21:35
5m
Talk
Quantitative Analysis of Assertion Violations in Probabilistic Programs
PLDI
Jinyi Wang
Shanghai Jiao Tong University
,
Yican Sun
Peking University
,
Hongfei Fu
Shanghai Jiao Tong University
,
Krishnendu Chatterjee
IST Austria
,
Amir Kafshdar Goharshady
Hong Kong University of Science and Technology
DOI
22:30 - 23:30
Keynote
Invited Talks
at
PLDI-A
22:30
60m
Keynote
Concerns We Are Not Separating: It's Time for New Programming Stacks
Invited Talks
Michelle Strout
HPE and University of Arizona
Sat 26 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
00:30 - 01:30
Ask Me Anything
Ask Me Anything
at
PLDI-A
Chair(s):
Andreea Costea
School of Computing, National University Of Singapore
,
Hongseok Yang
KAIST
00:30
30m
Live Q&A
Ask Me Anything with Sukyoung Ryu
Ask Me Anything
Sukyoung Ryu
KAIST
01:00
30m
Live Q&A
Ask Me Anything with Joxan Jaffar
Ask Me Anything
Joxan Jaffar
National University of Singapore
01:30 - 02:05
Talks 6A: Language Implementation
PLDI
at
PLDI-A
01:30
5m
Talk
Hashing Modulo Alpha-Equivalence
PLDI
Krzysztof Maziarz
Microsoft
,
Tom Ellis
Microsoft
,
Alan Lawrence
Microsoft
,
Andrew Fitzgibbon
Microsoft
,
Simon Peyton Jones
Microsoft
DOI
01:35
5m
Talk
An Efficient Interpreter for Datalog by De-specializing Relations
PLDI
Xiaowen Hu
University of Sydney
,
David Zhao
University of Sydney
,
Herbert Jordan
Innsbruck University
,
Bernhard Scholz
University of Sydney
DOI
01:40
5m
Talk
Distance-in-Time versus Distance-in-Space
PLDI
Mahmut Taylan Kandemir
Pennsylvania State University
,
Xulong Tang
University of Pittsburgh
,
Hui Zhao
University of North Texas
,
Jihyun Ryoo
Pennsylvania State University
,
Mustafa Karakoy
TUBITAK-BILGEM
DOI
01:45
5m
Talk
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI
Jay P. Lim
Rutgers University
,
Santosh Nagarakatte
Rutgers University
DOI
Pre-print
01:50
5m
Talk
Retrofitting Effect Handlers onto OCaml
PLDI
KC Sivaramakrishnan
IIT Madras
,
Stephen Dolan
OCaml Labs
,
Leo White
Jane Street
,
Tom Kelly
OCaml Labs
,
Sadiq Jaffer
Opsian and OCaml Labs
,
Anil Madhavapeddy
OCaml Labs
Link to publication
DOI
Media Attached
01:55
5m
Talk
Compiler-Assisted Object Inlining with Value Fields
PLDI
Rodrigo Bruno
INESC-ID / IST, ULisboa
,
Vojin Jovanovic
Oracle Labs
,
Christian Wimmer
Oracle Labs
,
Gustavo Alonso
ETH Zurich
DOI
02:00
5m
Talk
Concise, Type-Safe, and Efficient Structural Diffing
PLDI
Sebastian Erdweg
JGU Mainz
,
Tamás Szabó
JGU Mainz; Workday
,
André Pacak
JGU Mainz
DOI
03:00 - 04:00
Keynote
Invited Talks
at
PLDI-A
03:00
60m
Awards
Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All
Invited Talks
Emina Torlak
University of Washington
Wed 23 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
PLDI-A
PLDI
Talks 1A: Concurrent and Distributed Programming
Ask Me Anything
Ask Me Anything
PLDI
Talks 2A: Machine Learning
PLDI
Talks 1A: Concurrent and Distributed Programming
Ask Me Anything
Ask Me Anything
Thu 24 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
PLDI-A
Ask Me Anything
Ask Me Anything
PLDI
Talks 2A: Machine Learning
PLDI
Talks 3A: Analysis and Synthesis
Invited Talks
Keynote
SRC
Student Research Competition Finalist Talks
PLDI
Talks 4A: Analysis and Synthesis
PLDI
Business Meeting
PLDI
Talks 3A: Analysis and Synthesis
Invited Talks
Keynote
Fri 25 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
4:00
30
5:00
30
6:00
30
7:00
30
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
22:00
30
23:00
30
PLDI-A
SRC
Student Research Competition Finalist Talks
PLDI
Talks 4A: Analysis and Synthesis
PLDI
Business Meeting
PLDI
Talks 5A: Machine Learning and Probabilistic Programming
Invited Talks
Keynote
Ask Me Anything
Ask Me Anything
PLDI
Talks 6A: Language Implementation
Invited Talks
Keynote
PLDI
Talks 5A: Machine Learning and Probabilistic Programming
Invited Talks
Keynote
Sat 26 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
0:00
30
1:00
30
2:00
30
3:00
30
PLDI-A
Ask Me Anything
Ask Me Anything
PLDI
Talks 6A: Language Implementation
Invited Talks
Keynote
Wed 23 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
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
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
PLDI-A
PLDI
Abstraction for Conflict-Free Replicated Data Types
09:00 - 09:05
PLDI
Modular Data-Race-Freedom Guarantees in the Promising Semantics
09:05 - 09:10
PLDI
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
09:10 - 09:15
PLDI
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
09:15 - 09:20
PLDI
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
09:20 - 09:25
PLDI
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free ...
09:25 - 09:30
PLDI
Concurrent Deferred Reference Counting with Constant-Time Overhead
09:30 - 09:35
PLDI Ask Me Anything
Ask Me Anything with Kim Hazelwood
10:30 - 10:50
PLDI Ask Me Anything
Ask Me Anything With Emery Berger
10:50 - 11:10
PLDI Ask Me Anything
Ask Me Anything with Michael Carbin
11:10 - 11:30
PLDI
Learning to Find Naming Issues with Big Code and Small Supervision
13:30 - 13:35
PLDI
Fast and Precise Certification of Transformers
13:35 - 13:40
PLDI
Web Question Answering with Neurosymbolic Program Synthesis
13:40 - 13:45
PLDI
Robustness Certification with Generative Models
13:45 - 13:50
PLDI
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Op ...
13:50 - 13:55
PLDI
Vectorized Secure Evaluation of Decision Forests
13:55 - 14:00
PLDI
AKG: Automatic Kernel Generation for Neural Processing Units using Poly ...
14:00 - 14:05
PLDI
Abstraction for Conflict-Free Replicated Data Types
21:00 - 21:05
PLDI
Modular Data-Race-Freedom Guarantees in the Promising Semantics
21:05 - 21:10
PLDI
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
21:10 - 21:15
PLDI
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
21:15 - 21:20
PLDI
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
21:20 - 21:25
PLDI
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free ...
21:25 - 21:30
PLDI
Concurrent Deferred Reference Counting with Constant-Time Overhead
21:30 - 21:35
PLDI Ask Me Anything
Ask Me Anything with Cristina Cifuentes
22:30 - 23:00
PLDI Ask Me Anything
Ask Me Anything with June Andronick
23:00 - 23:30
Thu 24 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
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
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
PLDI-A
PLDI Ask Me Anything
Ask Me Anything with James Noble
00:30 - 01:00
PLDI Ask Me Anything
Ask Me Anything with Sriram Rajamani
01:00 - 01:30
PLDI
Learning to Find Naming Issues with Big Code and Small Supervision
01:30 - 01:35
PLDI
Fast and Precise Certification of Transformers
01:35 - 01:40
PLDI
Web Question Answering with Neurosymbolic Program Synthesis
01:40 - 01:45
PLDI
Robustness Certification with Generative Models
01:45 - 01:50
PLDI
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Op ...
01:50 - 01:55
PLDI
Vectorized Secure Evaluation of Decision Forests
01:55 - 02:00
PLDI
AKG: Automatic Kernel Generation for Neural Processing Units using Poly ...
02:00 - 02:05
PLDI
Trace-Based Control-Flow Analysis
09:00 - 09:05
PLDI
Demanded Abstract Interpretation
09:05 - 09:10
PLDI
Unleashing the Hidden Power of Compiler Optimization on Binary Code Dif ...
09:10 - 09:15
PLDI
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Anal ...
09:15 - 09:20
PLDI
Termination Analysis without the Tears
09:20 - 09:25
PLDI
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
09:25 - 09:30
PLDI
RbSyn: Type- and Effect-Guided Program Synthesis
09:30 - 09:35
PLDI
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
09:35 - 09:40
PLDI Invited Talks
Programming Language Research Challenges for Tomorrow's Machines
10:30 - 11:30
PLDI
Phased Synthesis of Divide and Conquer Programs
13:30 - 13:35
PLDI
Synthesizing Data Structure Refinements from Integrity Constraints
13:35 - 13:40
PLDI
Cyclic Program Synthesis
13:40 - 13:45
PLDI
Adaptive Restarts for Stochastic Synthesis
13:45 - 13:50
PLDI
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs wi ...
13:50 - 13:55
PLDI
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
13:55 - 14:00
PLDI
Proving Non-termination by Program Reversal
14:00 - 14:05
PLDI
PLDI Business Meeting
15:00 - 16:20
PLDI
Trace-Based Control-Flow Analysis
21:00 - 21:05
PLDI
Demanded Abstract Interpretation
21:05 - 21:10
PLDI
Unleashing the Hidden Power of Compiler Optimization on Binary Code Dif ...
21:10 - 21:15
PLDI
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Anal ...
21:15 - 21:20
PLDI
Termination Analysis without the Tears
21:20 - 21:25
PLDI
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
21:25 - 21:30
PLDI
RbSyn: Type- and Effect-Guided Program Synthesis
21:30 - 21:35
PLDI
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
21:35 - 21:40
PLDI Invited Talks
Programming Language Research Challenges for Tomorrow's Machines
22:30 - 23:30
Fri 25 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
4:00
15
30
45
5:00
15
30
45
6:00
15
30
45
7:00
15
30
45
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
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
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
22:00
15
30
45
23:00
15
30
45
PLDI-A
PLDI
Phased Synthesis of Divide and Conquer Programs
01:30 - 01:35
PLDI
Synthesizing Data Structure Refinements from Integrity Constraints
01:35 - 01:40
PLDI
Cyclic Program Synthesis
01:40 - 01:45
PLDI
Adaptive Restarts for Stochastic Synthesis
01:45 - 01:50
PLDI
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs wi ...
01:50 - 01:55
PLDI
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
01:55 - 02:00
PLDI
Proving Non-termination by Program Reversal
02:00 - 02:05
PLDI
PLDI Business Meeting
03:00 - 04:20
PLDI
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Work ...
09:00 - 09:05
PLDI
Provable Repair of Deep Neural Networks
09:05 - 09:10
PLDI
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep L ...
09:10 - 09:15
PLDI
Specification Synthesis with Constrained Horn Clauses
09:15 - 09:20
PLDI
Compiling Stan to Generative Probabilistic Languages and Extension to D ...
09:20 - 09:25
PLDI
Sound Probabilistic Inference via Guide Types
09:25 - 09:30
PLDI
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
09:30 - 09:35
PLDI
Quantitative Analysis of Assertion Violations in Probabilistic Programs
09:35 - 09:40
PLDI Invited Talks
Concerns We Are Not Separating: It's Time for New Programming Stacks
10:30 - 11:30
PLDI Ask Me Anything
Ask Me Anything with Madan Musuvathi
12:30 - 12:50
PLDI Ask Me Anything
Ask Me Anything with Philippa Gardner
12:50 - 13:10
PLDI Ask Me Anything
Ask Me Anything with Rustan Leino
13:10 - 13:30
PLDI
Hashing Modulo Alpha-Equivalence
13:30 - 13:35
PLDI
An Efficient Interpreter for Datalog by De-specializing Relations
13:35 - 13:40
PLDI
Distance-in-Time versus Distance-in-Space
13:40 - 13:45
PLDI
High Performance Correctly Rounded Math Libraries for 32-bit Floating P ...
13:45 - 13:50
PLDI
Retrofitting Effect Handlers onto OCaml
13:50 - 13:55
PLDI
Compiler-Assisted Object Inlining with Value Fields
13:55 - 14:00
PLDI
Concise, Type-Safe, and Efficient Structural Diffing
14:00 - 14:05
PLDI Invited Talks
Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided ...
15:00 - 16:00
PLDI
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Work ...
21:00 - 21:05
PLDI
Provable Repair of Deep Neural Networks
21:05 - 21:10
PLDI
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep L ...
21:10 - 21:15
PLDI
Specification Synthesis with Constrained Horn Clauses
21:15 - 21:20
PLDI
Compiling Stan to Generative Probabilistic Languages and Extension to D ...
21:20 - 21:25
PLDI
Sound Probabilistic Inference via Guide Types
21:25 - 21:30
PLDI
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
21:30 - 21:35
PLDI
Quantitative Analysis of Assertion Violations in Probabilistic Programs
21:35 - 21:40
PLDI Invited Talks
Concerns We Are Not Separating: It's Time for New Programming Stacks
22:30 - 23:30
Sat 26 Jun
Displayed time zone:
Eastern Time (US & Canada)
change
Room
0:00
15
30
45
1:00
15
30
45
2:00
15
30
45
3:00
15
30
45
PLDI-A
PLDI Ask Me Anything
Ask Me Anything with Sukyoung Ryu
00:30 - 01:00
PLDI Ask Me Anything
Ask Me Anything with Joxan Jaffar
01:00 - 01:30
PLDI
Hashing Modulo Alpha-Equivalence
01:30 - 01:35
PLDI
An Efficient Interpreter for Datalog by De-specializing Relations
01:35 - 01:40
PLDI
Distance-in-Time versus Distance-in-Space
01:40 - 01:45
PLDI
High Performance Correctly Rounded Math Libraries for 32-bit Floating P ...
01:45 - 01:50
PLDI
Retrofitting Effect Handlers onto OCaml
01:50 - 01:55
PLDI
Compiler-Assisted Object Inlining with Value Fields
01:55 - 02:00
PLDI
Concise, Type-Safe, and Efficient Structural Diffing
02:00 - 02:05
PLDI Invited Talks
Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided ...
03:00 - 04:00
x
Sun 13 Oct 19:56