Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
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

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 C. 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
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, Isil 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 State Key Laboratory of Mathematical Engineering and Advanced Computing, 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 C. 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
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, Isil 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 State Key Laboratory of Mathematical Engineering and Advanced Computing, 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
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): Isil 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, Isil 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
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
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, Isil 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, Catherine 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 A. 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
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 University of Cambridge
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, Catherine 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 A. 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
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
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 University of Cambridge
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

Wed 23 Jun

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

Thu 24 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

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

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

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