PLDI-A - HOPL IV

VenueOnline

Room namePLDI-A

Room InformationNo extra information available

Program

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

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 programSpecify 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 ProgrammingPLDI 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 AnythingPLDI 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 PLDI Ask Me Anything Kim Hazelwood Facebook AI Research
10:50 20m Live Q&A		Ask Me Anything With Emery Berger PLDI Ask Me Anything Emery D. Berger University of Massachusetts Amherst
11:10 20m Live Q&A		Ask Me Anything with Michael Carbin PLDI Ask Me Anything Michael Carbin Massachusetts 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 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 ProgrammingPLDI 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 AnythingPLDI 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 PLDI Ask Me Anything Cristina Cifuentes Oracle Labs
23:00 30m Live Q&A		Ask Me Anything with June Andronick PLDI 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 AnythingPLDI 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 PLDI Ask Me Anything James Noble Victoria University of Wellington
01:00 30m Live Q&A		Ask Me Anything with Sriram Rajamani PLDI Ask Me Anything Sriram Rajamani Microsoft 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 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 SynthesisPLDI 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	KeynotePLDI 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 PLDI Invited Talks Alex Aiken Stanford University, USA

	12:15 - 13:30	Student Research Competition Finalist TalksPLDI SRC 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 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 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 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	KeynotePLDI Invited Talks at PLDI-A

22:30 60m Keynote		Programming Language Research Challenges for Tomorrow's Machines PLDI 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 TalksPLDI SRC 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 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 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 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	KeynotePLDI 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 PLDI Invited Talks Michelle Strout HPE and University of Arizona

12:30 - 13:30	Ask Me AnythingPLDI 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 PLDI Ask Me Anything Madan Musuvathi Microsoft Research
12:50 20m Live Q&A		Ask Me Anything with Philippa Gardner PLDI Ask Me Anything Philippa Gardner Imperial College London
13:10 20m Live Q&A		Ask Me Anything with Rustan Leino PLDI Ask Me Anything K. Rustan M. Leino Amazon

13:30 - 14:05	Talks 6A: Language ImplementationPLDI 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	KeynotePLDI 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 PLDI Invited Talks Emina Torlak University 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 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	KeynotePLDI Invited Talks at PLDI-A

22:30 60m Keynote		Concerns We Are Not Separating: It's Time for New Programming Stacks PLDI 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 AnythingPLDI 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 PLDI Ask Me Anything Sukyoung Ryu KAIST
01:00 30m Live Q&A		Ask Me Anything with Joxan Jaffar PLDI Ask Me Anything Joxan Jaffar National University of Singapore

01:30 - 02:05	Talks 6A: Language ImplementationPLDI 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	KeynotePLDI Invited Talks at PLDI-A

03:00 60m Awards		Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All PLDI 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																		PLDI Ask Me Anything Ask Me Anything																																				PLDI Talks 2A: Machine Learning																																																																																		PLDI Talks 1A: Concurrent and Distributed Programming																		PLDI 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							PLDI Ask Me Anything Ask Me Anything												PLDI Talks 2A: Machine Learning																																																																																		PLDI Talks 3A: Analysis and Synthesis																		PLDI Invited Talks Keynote																					PLDI SRC Student Research Competition Finalist Talks															PLDI Talks 4A: Analysis and Synthesis																		PLDI Business Meeting																																																																								PLDI Talks 3A: Analysis and Synthesis																		PLDI 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				PLDI SRC Student Research Competition Finalist Talks															PLDI Talks 4A: Analysis and Synthesis																		PLDI Business Meeting																																																																								PLDI Talks 5A: Machine Learning and Probabilistic Programming																		PLDI Invited Talks Keynote																								PLDI Ask Me Anything Ask Me Anything												PLDI Talks 6A: Language Implementation																		PLDI Invited Talks Keynote																																																																								PLDI Talks 5A: Machine Learning and Probabilistic Programming																		PLDI 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							PLDI Ask Me Anything Ask Me Anything												PLDI Talks 6A: Language Implementation																		PLDI 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

Room information: PLDI-A

Program Display Configuration

Wed 23 JunDisplayed time zone: Eastern Time (US & Canada) change

Thu 24 JunDisplayed time zone: Eastern Time (US & Canada) change

Fri 25 JunDisplayed time zone: Eastern Time (US & Canada) change

Sat 26 JunDisplayed time zone: Eastern Time (US & Canada) change

Wed 23 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI

PLDI Ask Me Anything

PLDI

PLDI

PLDI Ask Me Anything

Thu 24 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI Ask Me Anything

PLDI

PLDI

PLDI Invited Talks

PLDI SRC

PLDI

PLDI

PLDI

PLDI Invited Talks

Fri 25 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI SRC

PLDI

PLDI

PLDI

PLDI Invited Talks

PLDI Ask Me Anything

PLDI

PLDI Invited Talks

PLDI

PLDI Invited Talks

Sat 26 JunDisplayed time zone: Eastern Time (US & Canada) change

PLDI Ask Me Anything

PLDI

PLDI Invited Talks

Wed 23 JunDisplayed time zone: Eastern Time (US & Canada) change

Thu 24 JunDisplayed time zone: Eastern Time (US & Canada) change

Fri 25 JunDisplayed time zone: Eastern Time (US & Canada) change

Sat 26 JunDisplayed time zone: Eastern Time (US & Canada) change

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

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

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

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

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

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

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

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

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

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

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

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