PLDI Research Papers live stream - Ally Skills@PLDI2020

VenueOnline!

Room namePLDI Research Papers live stream

Floor0

Room Information

Slack channel: #pldi-research-papers

YouTube live streams:

Program

Time Zone

The program is currently displayed in (GMT-08:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-08:00) Pacific 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 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

	04:45 - 05:00	Welcome!PLDI Research Papers at PLDI Research Papers live stream Chair(s): Alastair F. Donaldson Imperial College London

05:00 - 06:00	Machine Learning IPLDI Research Papers at PLDI Research Papers live stream Chair(s): Antonio Filieri Imperial College London YouTube lightning session video

05:00 20m Talk		Typilus: Neural Type Hints PLDI Research Papers Miltiadis Allamanis Microsoft Research, Earl T. Barr University College London, UK, Soline Ducousso ENSTA Paris, France, Zheng Gao University College London, UK
05:20 20m Talk		Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks PLDI Research Papers Jianan Yao Columbia University, USA, Gabriel Ryan Columbia University, USA, Justin Wong Columbia University, USA, Suman Jana Columbia University, USA, Ronghui Gu Columbia University, USA
05:40 20m Talk		Blended, Precise Semantic Program Embeddings PLDI Research Papers Ke Wang Visa Research, Zhendong Su ETH Zurich, Switzerland

06:20 - 07:40	Networking and HardwarePLDI Research Papers at PLDI Research Papers live stream Chair(s): Luís Pina University of Illinois at Chicago YouTube lightning session video

06:20 20m Talk		NV: An Intermediate Language for Verification of Network Control Planes PLDI Research Papers Nick Giannarakis Princeton University, USA, Devon Loehr Princeton University, USA, Ryan Beckett Microsoft Research, USA, David Walker Princeton University, USA
06:40 20m Talk		Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection PLDI Research Papers Hongjune Kim Seoul National University, South Korea, Jianping Zeng Purdue University, USA, Qingrui Liu Virginia Tech, USA, Mohammad Abdel-Majeed University of Jordan, Jordan, Jaejin Lee Seoul National University, South Korea, Changhee Jung Purdue University, USA
07:00 20m Talk		Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution PLDI Research Papers Kiwan Maeng Carnegie Mellon University, USA, Brandon Lucia Carnegie Mellon University, USA
07:20 20m Talk		Detecting Network Load Violations for Distributed Control Planes PLDI Research Papers Kausik Subramanian University of Wisconsin-Madison, USA, Anubhavnidhi Abhashkumar University of Wisconsin-Madison, USA, Loris D'Antoni University of Wisconsin-Madison, USA, Aditya Akella University of Wisconsin-Madison, USA

08:00 - 09:00	Synthesis IPLDI Research Papers at PLDI Research Papers live stream Chair(s): James Bornholt University of Texas at Austin YouTube lightning session video

08:00 20m Talk		Data-Driven Inference of Representation Invariants PLDI Research Papers Anders Miltner Princeton University, USA, Saswat Padhi University of California at Los Angeles, USA, Todd Millstein University of California at Los Angeles, USA, David Walker Princeton University, USA
08:20 20m Talk		Type Error Feedback via Analytic Program Repair PLDI Research Papers Georgios Sakkas University of California at San Diego, USA, Madeline Endres University of Michigan, USA, Benjamin Cosman University of California at San Diego, USA, Westley Weimer University of Michigan, USA, Ranjit Jhala University of California at San Diego, USA
08:40 20m Talk		Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations PLDI Research Papers Chandrakana Nandi University of Washington, USA, Max Willsey University of Washington, USA, Adam Anderson University of Washington, USA, James R. Wilcox Certora, USA, Eva Darulova MPI-SWS, Germany, Dan Grossman University of Washington, USA, Zachary Tatlock University of Washington, Seattle

09:20 - 10:20	Memory ManagementPLDI Research Papers at PLDI Research Papers live stream Chair(s): Ting Cao Microsoft Research YouTube lightning session video

09:20 20m Talk		Improving Program Locality in the GC using Hotness PLDI Research Papers Albert Mingkun Yang Uppsala University, Sweden, Erik Österlund Oracle, Sweden, Tobias Wrigstad Uppsala University, Sweden
09:40 20m Talk		A Marriage of Pointer- and Epoch-Based Reclamation PLDI Research Papers Jeehoon Kang KAIST, Jaehwang Jung KAIST, South Korea
10:00 20m Talk		CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation PLDI Research Papers Brian Suchy Northwestern University, USA, Simone Campanoni Northwestern University, USA, Nikos Hardavellas Northwestern University, USA, Peter Dinda Northwestern University, USA

10:40 - 12:00	Verification I PLDI Research Papers at PLDI Research Papers live stream Chair(s): Stephen N. Freund Williams College YouTube lightning session video

10:40 20m Talk		Verifying Concurrent Search Structure Templates PLDI Research Papers Siddharth Krishna Microsoft Research, Cambridge, Nisarg Patel New York University, USA, Dennis Shasha New York University, USA, Thomas Wies New York University, USA
11:00 20m Talk		Armada: Low-Effort Verification of High-Performance Concurrent Programs PLDI Research Papers Jacob R. Lorch Microsoft Research, USA, Yixuan Chen University of Michigan, USA / Yale University, USA, Manos Kapritsos University of Michigan, USA, Bryan Parno Carnegie Mellon University, USA, Shaz Qadeer Novi, USA, Upamanyu Sharma University of Michigan, USA, James R. Wilcox Certora, USA, Xueyuan Zhao Carnegie Mellon University, USA DOI
11:20 20m Talk		Decidable Verification under a Causally Consistent Shared Memory PLDI Research Papers Ori Lahav Tel Aviv University, Israel, Udi Boker IDC Herzliya, Israel
11:40 20m Talk		Inductive Sequentialization of Asynchronous Programs PLDI Research Papers Bernhard Kragl IST Austria, Constantin Enea University of Paris Diderot, France, Thomas A. Henzinger IST Austria, Austria, Suha Orhun Mutluergil IRIF, France / University of Paris, France / CNRS, France, Shaz Qadeer Novi, USA

13:00 - 14:00	Language ImplementationPLDI Research Papers at PLDI Research Papers live stream Chair(s): Chris Seaton Shopify YouTube lightning session video

13:00 20m Talk		Compiler and Runtime Support for Continuation Marks PLDI Research Papers Matthew Flatt University of Utah, USA, R. Kent Dybvig Cisco Systems, USA
13:20 20m Talk		Crafty: Efficient, HTM-Compatible Persistent Transactions PLDI Research Papers Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University, USA, Guoqing Harry Xu University of California at Los Angeles, USA
13:40 20m Talk		From Folklore to Fact: Comparing Implementations of Stacks and Continuations PLDI Research Papers Kavon Farvardin University of Chicago, USA, John Reppy University of Chicago, USA

14:20 - 15:40	Bug FindingPLDI Research Papers at PLDI Research Papers live stream Chair(s): Hans-J. Boehm Google YouTube lightning session video

14:20 20m Talk		Validating SMT Solvers via Semantic Fusion PLDI Research Papers Dominik Winterer ETH Zurich, Switzerland, Chengyu Zhang East China Normal University, Zhendong Su ETH Zurich, Switzerland
14:40 20m Talk		Debugging and Detecting Numerical Errors in Computation with Posits PLDI Research Papers Sangeeta Chowdhary Rutgers University, USA, Jay P. Lim Rutgers University, USA, Santosh Nagarakatte Rutgers University, USA
15:00 20m Talk		SmartTrack: Efficient Predictive Race Detection PLDI Research Papers Jake Roemer Ohio State University, USA, Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University, USA
15:20 20m Talk		Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs PLDI Research Papers Boqin Qin Beijing University of Posts and Telecommunications, Pennsylvania State University, Yilun Chen Purdue University, USA, Zeming Yu Pennsylvania State University, USA, Linhai Song Pennsylvania State University, USA, Yiying Zhang University of California at San Diego, USA

16:00 - 17:00	SecurityPLDI Research Papers at PLDI Research Papers live stream Chair(s): Tony Hosking Australian National University / Data61 YouTube lightning session video

16:00 20m Talk		Towards a Verified Range Analysis for JavaScript JITs PLDI Research Papers Fraser Brown Stanford University, USA, John Renner University of California at San Diego, USA, Andres Nötzli Stanford University, USA, Sorin Lerner University of California at San Diego, USA, Hovav Shacham University of Texas at Austin, USA, Deian Stefan University of California at San Diego, USA
16:20 20m Talk		Binary Rewriting without Control Flow Recovery PLDI Research Papers Gregory J. Duck National University of Singapore, Singapore, Xiang Gao National University of Singapore, Singapore, Abhik Roychoudhury National University of Singapore, Singapore
16:40 20m Talk		BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t PLDI Research Papers Chris Porter Georgia Institute of Technology, USA, Girish Mururu Georgia Institute of Technology, USA, Prithayan Barua Georgia Institute of Technology, USA, Santosh Pande Georgia Institute of Technology, USA

Thu 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

	04:50 - 05:00	Welcome!PLDI Research Papers at PLDI Research Papers live stream Chair(s): Alastair F. Donaldson Imperial College London

05:00 - 06:00	Concurrency PLDI Research Papers at PLDI Research Papers live stream Chair(s): Tyler Sorensen Imperial College London YouTube lightning session video

05:00 20m Talk		Repairing and Mechanising the JavaScript Relaxed Memory Model PLDI Research Papers Conrad Watt University of Cambridge, UK, Christopher Pulte University of Cambridge, UK, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Guillaume Barbier ENS Rennes, France, Stephen Dolan University of Cambridge, UK, Shaked Flur Google, Jean Pichon-Pharabod University of Cambridge, UK, Shu-yu Guo Bloomberg, USA Pre-print
05:20 20m Talk		Promising 2.0: Global Optimizations in Relaxed Memory Concurrency PLDI Research Papers Sung-Hwan Lee Seoul National University, South Korea, Minki Cho Seoul National University, South Korea, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Soham Chakraborty IIT Delhi, India, Chung-Kil Hur Seoul National University, South Korea, Ori Lahav Tel Aviv University, Israel, Viktor Vafeiadis MPI-SWS, Germany
05:40 20m Talk		NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey PLDI Research Papers Michal Friedman Technion, Israel, Naama Ben-David Carnegie Mellon University, USA, Yuanhao Wei Carnegie Mellon University, USA, Guy E. Blelloch Carnegie Mellon University, USA, Erez Petrank Technion, Israel

06:20 - 07:40	PerformancePLDI Research Papers at PLDI Research Papers live stream Chair(s): Fredrik Kjolstad Stanford University YouTube lightning session video

06:20 20m Talk		PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization PLDI Research Papers Fabian Ritter Saarland University, Germany, Sebastian Hack Saarland University, Germany
06:40 20m Talk		PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies PLDI Research Papers Zhenwei Wu National University of Defense Technology, China / University of Manchester, UK, Kai Lu National University of Defense Technology, China, Andrew Nisbet University of Manchester, UK, Wenzhe Zhang National University of Defense Technology, China, Mikel Luján University of Manchester, UK
07:00 20m Talk		SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee PLDI Research Papers Youwei Zhuo University of Southern California, USA, Jingji Chen University of Southern California, USA, Qinyi Luo University of Southern California, USA, Yanzhi Wang Northeastern University, USA, Hailong Yang Beihang University, China, Depei Qian Beihang University, China, Xuehai Qian University of Southern California, USA
07:20 20m Talk		SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework PLDI Research Papers Sotiris Apostolakis Princeton University, USA, Ziyang Xu Princeton University, USA, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton University, USA DOI Pre-print Media Attached

09:20 - 10:20	Type SystemsPLDI Research Papers at PLDI Research Papers live stream Chair(s): Arjun Guha Northeastern University YouTube lightning session video

09:20 20m Talk		Predictable Accelerator Design with Time-Sensitive Affine Types PLDI Research Papers Rachit Nigam Cornell University, USA, Sachille Atapattu Cornell University, USA, Samuel Thomas Cornell University, USA, Zhijing Li Cornell University, USA, Theodore Bauer Cornell University, USA, Yuwei Ye Cornell University, USA, Apurva Koti Cornell University, USA, Adrian Sampson Cornell University, USA, Zhiru Zhang Cornell University, USA
09:40 20m Talk		Type-Directed Scheduling of Streaming Accelerators PLDI Research Papers David Durst Stanford University, USA, Matthew Feldman Stanford University, USA, Dillon Huff Stanford University, USA, David Akeley University of California at Los Angeles, USA, Ross Daly Stanford University, USA, Gilbert Bernstein University of California at Berkeley, USA, Marco Patrignani Stanford University, USA / CISPA, Germany, Kayvon Fatahalian Stanford University, USA, Pat Hanrahan Stanford University, USA
10:00 20m Talk		FreezeML: Complete and Easy Type Inference for First-Class Polymorphism PLDI Research Papers Frank Emrich University of Edinburgh, UK, Sam Lindley Heriot-Watt University, UK / The University of Edinburgh, UK / Imperial College London, UK, Jan Stolarek University of Edinburgh, UK, James Cheney University of Edinburgh, UK, Jonathan Coates University of Edinburgh, UK

10:40 - 11:40	Machine Learning IIPLDI Research Papers at PLDI Research Papers live stream Chair(s): Ke Wang Visa Research YouTube lightning session video

10:40 20m Talk		Proving Data-Poisoning Robustness in Decision Trees PLDI Research Papers Samuel Drews University of Wisconsin-Madison, USA, Aws Albarghouthi University of Wisconsin-Madison, USA, Loris D'Antoni University of Wisconsin-Madison, USA
11:00 20m Talk		A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) PLDI Research Papers Muhammad Usman University of Texas at Austin, USA, Wenxi Wang University of Texas at Austin, USA, Marko Vasic University of Texas at Austin, USA, Kaiyuan Wang Google, USA, Haris Vikalo University of Texas at Austin, USA, Sarfraz Khurshid University of Texas at Austin, USA
11:20 20m Talk		Learning Fast and Precise Numerical Analysis PLDI Research Papers Jingxuan He ETH Zurich, Switzerland, Gagandeep Singh ETH Zurich, Switzerland, Markus Püschel ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland

13:00 - 14:00	Code GenerationPLDI Research Papers at PLDI Research Papers live stream Chair(s): Fan Long University of Toronto YouTube lightning session video

13:00 20m Talk		Automatic Generation of Efficient Sparse Tensor Format Conversion Routines PLDI Research Papers Stephen Chou Massachusetts Institute of Technology, USA, Fredrik Kjolstad Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, USA Pre-print
13:20 20m Talk		OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization PLDI Research Papers Ankush Phulia IIT Delhi, India, Vaibhav Bhagee IIT Delhi, India, Sorav Bansal IIT Delhi and CompilerAI Labs
13:40 20m Talk		Effective Function Merging in the SSA Form PLDI Research Papers Rodrigo C. O. Rocha University of Edinburgh, UK, Pavlos Petoumenos University of Manchester, UK, Zheng Wang University of Leeds, UK, Murray Cole University of Edinburgh, UK, Hugh Leather University of Edinburgh, UK

14:20 - 15:40	Language Design IPLDI Research Papers at PLDI Research Papers live stream Chair(s): Adrian Sampson Cornell University, USA YouTube lightning session video

14:20 20m Talk		Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics PLDI Research Papers Benjamin Bichsel ETH Zurich, Switzerland, Maximilian Baader ETH Zurich, Switzerland, Timon Gehr ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland
14:40 20m Talk		The Essence of Bluespec: A Core Language for Rule-Based Hardware Design PLDI Research Papers Thomas Bourgeat Massachusetts Institute of Technology, USA, Clément Pit-Claudel Massachusetts Institute of Technology, USA, Adam Chlipala Massachusetts Institute of Technology, Arvind Massachusetts Institute of Technology, USA
15:00 20m Talk		LLHD: A Multi-level Intermediate Representation for Hardware Description Languages PLDI Research Papers Fabian Schuiki ETH Zurich, Switzerland, Andreas Kurth ETH Zurich, Switzerland, Tobias Grosser ETH Zurich, Switzerland, Luca Benini ETH Zurich, Switzerland Link to publication Pre-print
15:20 20m Talk		On the Principles of Differentiable Quantum Programming Languages PLDI Research Papers Shaopeng Zhu University of Maryland, USA, Shih-Han Hung University of Maryland, USA, Shouvanik Chakrabarti University of Maryland, USA, Xiaodi Wu University of Maryland, USA

16:00 - 17:00	Synthesis IIPLDI Research Papers at PLDI Research Papers live stream Chair(s): Phitchaya Mangpo Phothilimthana Google YouTube lightning session video

16:00 20m Talk		Multi-modal Synthesis of Regular Expressions PLDI Research Papers Jocelyn (Qiaochu) Chen University of Texas at Austin, USA, Xinyu Wang University of Michigan at Ann Arbor, USA, Xi Ye University of Texas at Austin, USA, Greg Durrett University of Texas at Austin, USA, Işıl Dillig University of Texas at Austin, USA
16:20 20m Talk		Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting PLDI Research Papers DongKwon Lee Seoul National University, South Korea, Woosuk Lee Hanyang University, South Korea, Hakjoo Oh Korea University, South Korea, Kwangkeun Yi Seoul National University, South Korea
16:40 20m Talk		CacheQuery: Learning Replacement Policies from Hardware Caches PLDI Research Papers Pepe Vila IMDEA Software Institute, Spain, Pierre Ganty IMDEA Software Institute, Spain, Marco Guarnieri IMDEA Software Institute, Spain, Boris Köpf Microsoft Research, n.n.

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

	04:50 - 05:00	Welcome!PLDI Research Papers at PLDI Research Papers live stream Chair(s): Alastair F. Donaldson Imperial College London

05:00 - 06:00	Probabilistic ProgrammingPLDI Research Papers at PLDI Research Papers live stream Chair(s): Sasa Misailovic University of Illinois at Urbana-Champaign YouTube lightning session video

05:00 20m Talk		Proving Almost-Sure Termination by Omega-Regular Decomposition PLDI Research Papers Jianhui Chen Tsinghua University, China, Fei He Tsinghua University, China
05:20 20m Talk		λPSI: Exact Inference for Higher-Order Probabilistic Programs PLDI Research Papers Timon Gehr ETH Zurich, Switzerland, Samuel Steffen ETH Zurich, Switzerland, Martin Vechev ETH Zurich, Switzerland
05:40 20m Talk		Reactive Probabilistic Programming PLDI Research Papers Guillaume Baudart IBM Research, Louis Mandel IBM Research, Eric Atkinson Massachusetts Institute of Technology, USA, Benjamin Sherman Massachusetts Institute of Technology, USA, Marc Pouzet École normale supérieure, Michael Carbin Massachusetts Institute of Technology, USA DOI Pre-print Media Attached

06:20 - 07:40	Parsing, Debugging, and Code SearchPLDI Research Papers at PLDI Research Papers live stream Chair(s): Dan Barowy Williams College YouTube lightning session video

06:20 20m Talk		Faster General Parsing through Context-Free Memoization PLDI Research Papers Grzegorz Herman Jagiellonian University, Poland
06:40 20m Talk		Zippy LL(1) Parsing with Derivatives PLDI Research Papers Romain Edelmann EPFL, Switzerland, Jad Hamza EPFL, Switzerland, Viktor Kunčak EPFL, Switzerland
07:00 20m Talk		Debug Information Validation for Optimized Code PLDI Research Papers Yuanbo Li Georgia Institute of Technology, USA, Shuo Ding Georgia Institute of Technology, USA, Qirun Zhang Georgia Institute of Technology, USA, Davide Italiano Apple, USA
07:20 20m Talk		Semantic Code Search via Equational Reasoning PLDI Research Papers Varot Premtoon Massachusetts Institute of Technology, USA, James Koppel Massachusetts Institute of Technology, USA, Armando Solar-Lezama Massachusetts Institute of Technology, USA

08:00 - 09:00	Synthesis III PLDI Research Papers at PLDI Research Papers live stream Chair(s): Santosh Nagarakatte Rutgers University, USA YouTube lightning session video

08:00 20m Talk		Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems PLDI Research Papers Qinheping Hu University of Wisconsin-Madison, USA, John Cyphert University of Wisconsin-Madison, USA, Loris D'Antoni University of Wisconsin-Madison, USA, Thomas Reps University of Wisconsin-Madison, USA
08:20 20m Paper		Question Selection for Interactive Program Synthesis PLDI Research Papers Ruyi Ji Peking University, China, Jingjing Liang Peking University, China, Yingfei Xiong Peking University, China, Lu Zhang Peking University, China, Zhenjiang Hu Peking University, China Pre-print
08:40 20m Talk		Reconciling Enumerative and Deductive Program Synthesis PLDI Research Papers Kangjing Huang Purdue University, USA, Xiaokang Qiu Purdue University, USA, Peiyuan Shen Purdue University, USA, Yanjun Wang Purdue University, USA

09:20 - 10:20	Smart ContractsPLDI Research Papers at PLDI Research Papers live stream Chair(s): Ilya Sergey Yale-NUS College and National University of Singapore YouTube lightning session video

09:20 20m Talk		Securing Smart Contract with Runtime Validation PLDI Research Papers Ao Li University of Toronto, Canada, Jemin Andrew Choi University of Toronto, Canada, Fan Long University of Toronto, Canada
09:40 20m Talk		Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities PLDI Research Papers Lexi Brent International Computer Science Institute, USA / University of Sydney, Australia, Neville Grech University of Athens, Greece, Sifis Lagouvardos University of Athens, Greece, Bernhard Scholz University of Sydney, Australia, Yannis Smaragdakis University of Athens, Greece
10:00 20m Talk		Behavioral Simulation for Smart Contracts PLDI Research Papers Sidi Mohamed Beillahi IRIF - Université de Paris, Gabriela Ciocarlie SRI International, Michael Emmi Amazon Web Services, Constantin Enea University of Paris Diderot, France

10:40 - 12:00	Verification IIPLDI Research Papers at PLDI Research Papers live stream Chair(s): Manu Sridharan University of California Riverside YouTube lightning session video

10:40 20m Talk		Scalable Validation of Binary Lifters PLDI Research Papers Sandeep Dasgupta University of Illinois at Urbana-Champaign, USA, Sushant Dinesh University of Illinois at Urbana-Champaign, USA, Deepan Venkatesh University of Illinois at Urbana-Champaign, USA, Vikram S. Adve University of Illinois at Urbana-Champaign, USA, Christopher W. Fletcher University of Illinois at Urbana-Champaign, USA
11:00 20m Talk		Polynomial Invariant Generation for Non-deterministic Recursive Programs PLDI Research Papers Krishnendu Chatterjee IST Austria, Austria, Hongfei Fu Shanghai Jiao Tong University, China, Amir Kafshdar Goharshady IST Austria, Austria, Ehsan Kafshdar Goharshady Ferdowsi University of Mashhad, Iran
11:20 20m Talk		Templates and Recurrences: Better Together PLDI Research Papers Jason Breck University of Wisconsin-Madison, USA, John Cyphert University of Wisconsin-Madison, USA, Zachary Kincaid Princeton University, USA, Thomas Reps University of Wisconsin-Madison, USA
11:40 20m Talk		First-Order Quantified Separators PLDI Research Papers Jason R. Koenig Stanford University, USA, Oded Padon Stanford University, USA, Neil Immerman University of Massachusetts at Amherst, USA, Alex Aiken Stanford University, USA

13:00 - 14:00	Symbolic ExecutionPLDI Research Papers at PLDI Research Papers live stream Chair(s): Qirun Zhang Georgia Institute of Technology, USA YouTube lightning session video

13:00 20m Talk		Constant-Time Foundations for the New Spectre Era PLDI Research Papers Sunjay Cauligi University of California at San Diego, USA, Craig Disselkoen University of California at San Diego, USA, Klaus v. Gleissenthall University of California at San Diego, USA, Dean Tullsen University of California at San Diego, USA, Deian Stefan University of California at San Diego, USA, Tamara Rezk Inria, France, Gilles Barthe MPI for Security and Privacy, Germany / IMDEA Software Institute, Spain
13:20 20m Talk		Gillian, Part I: A Multi-language Platform for Symbolic Execution PLDI Research Papers José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal , Petar Maksimović Imperial College London, UK, Sacha-Élie Ayoun Imperial College London, UK, Philippa Gardner Imperial College London, UK DOI
13:40 20m Talk		Efficient Handling of String-Number Conversion PLDI Research Papers Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Yu-Fang Chen Academia Sinica, Taiwan, Bui Phi Diep Uppsala University, Sweden, Julian Dolby IBM Research, USA, Petr Janků Brno University of Technology, Czechia, Hsin-Hung Lin Academia Sinica, Taiwan, Lukáš Holík Brno University of Technology, Czechia, Wei-Cheng Wu University of Southern California, USA

14:20 - 15:40	Language Design IIPLDI Research Papers at PLDI Research Papers live stream Chair(s): Mike Dodds Galois, Inc. YouTube lightning session video

14:20 20m Talk		HipHop.js: (A)Synchronous Reactive Web Programming PLDI Research Papers Gérard Berry Collège de France, France, Manuel Serrano Inria, France
14:40 20m Talk		EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation PLDI Research Papers Roshan Dathathri University of Texas at Austin, USA, Blagovesta Kostova EPFL, Switzerland, Olli Saarikivi Microsoft Research, Redmond, Wei Dai Microsoft Research, n.n., Kim Laine Microsoft Research, Redmond, Madan Musuvathi Microsoft Research
15:00 20m Talk		Towards an API for the Real Numbers PLDI Research Papers Hans-J. Boehm Google
15:20 20m Talk		Responsive Parallelism with Futures and State PLDI Research Papers Stefan K. Muller Carnegie Mellon University, USA, Kyle Singer Washington University in St. Louis, USA, Noah Goldstein Washington University in St. Louis, USA, Umut A. Acar Carnegie Mellon University, USA, Kunal Agrawal Washington University in St. Louis, USA, I-Ting Angelina Lee Washington University in St. Louis, USA

16:00 - 17:00	Static AnalysisPLDI Research Papers at PLDI Research Papers live stream Chair(s): Julian Dolby IBM Research, USA YouTube lightning session video

16:00 20m Talk		Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs PLDI Research Papers Auguste Olivry Inria, France, Julien Langou University of Colorado at Denver, USA, Louis-Noël Pouchet Colorado State University, USA, Saday Sadayappan University of Utah, USA, Fabrice Rastello Inria, France
16:20 20m Talk		Fast Graph Simplification for Interleaved Dyck-Reachability PLDI Research Papers Yuanbo Li Georgia Institute of Technology, USA, Qirun Zhang Georgia Institute of Technology, USA, Thomas Reps University of Wisconsin-Madison, USA
16:40 20m Talk		Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room PLDI Research Papers Anastasios Antoniadis University of Athens, Greece, Nikos Filippakis CERN, Switzerland, Paddy Krishnan Oracle Labs, Australia, Raghavendra Ramesh ConsenSys, Australia, Nicholas Allen Oracle Labs, Australia, Yannis Smaragdakis University of Athens, Greece Pre-print

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	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
PLDI Research Papers live stream										PLDI Research Papers Welcome!			PLDI Research Papers Machine Learning I																PLDI Research Papers Networking and Hardware																				PLDI Research Papers Synthesis I																PLDI Research Papers Memory Management																PLDI Research Papers Verification I																												PLDI Research Papers Language Implementation																PLDI Research Papers Bug Finding																				PLDI Research Papers Security

Thu 18 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	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
PLDI Research Papers live stream											PLDI Research Papers Welcome!		PLDI Research Papers Concurrency																PLDI Research Papers Performance																																				PLDI Research Papers Type Systems																PLDI Research Papers Machine Learning II																												PLDI Research Papers Code Generation																PLDI Research Papers Language Design I																				PLDI Research Papers Synthesis II

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	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
PLDI Research Papers live stream											PLDI Research Papers Welcome!		PLDI Research Papers Probabilistic Programming																PLDI Research Papers Parsing, Debugging, and Code Search																				PLDI Research Papers Synthesis III																PLDI Research Papers Smart Contracts																PLDI Research Papers Verification II																												PLDI Research Papers Symbolic Execution																PLDI Research Papers Language Design II																				PLDI Research Papers Static Analysis

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	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
PLDI Research Papers live stream	PLDI Research Papers Typilus: Neural Type Hints 05:00 - 05:20				PLDI Research Papers Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks 05:20 - 05:40				PLDI Research Papers Blended, Precise Semantic Program Embeddings 05:40 - 06:00								PLDI Research Papers NV: An Intermediate Language for Verification of Network Control Planes 06:20 - 06:40				PLDI Research Papers Compiler-Directed Soft Error Resilience for Lightweight GPU Register Fi ... 06:40 - 07:00				PLDI Research Papers Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent ... 07:00 - 07:20				PLDI Research Papers Detecting Network Load Violations for Distributed Control Planes 07:20 - 07:40								PLDI Research Papers Data-Driven Inference of Representation Invariants 08:00 - 08:20				PLDI Research Papers Type Error Feedback via Analytic Program Repair 08:20 - 08:40				PLDI Research Papers Synthesizing Structured CAD Models with Equality Saturation and Inverse ... 08:40 - 09:00								PLDI Research Papers Improving Program Locality in the GC using Hotness 09:20 - 09:40				PLDI Research Papers A Marriage of Pointer- and Epoch-Based Reclamation 09:40 - 10:00				PLDI Research Papers CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Ad ... 10:00 - 10:20								PLDI Research Papers Verifying Concurrent Search Structure Templates 10:40 - 11:00				PLDI Research Papers Armada: Low-Effort Verification of High-Performance Concurrent Programs 11:00 - 11:20				PLDI Research Papers Decidable Verification under a Causally Consistent Shared Memory 11:20 - 11:40				PLDI Research Papers Inductive Sequentialization of Asynchronous Programs 11:40 - 12:00																PLDI Research Papers Compiler and Runtime Support for Continuation Marks 13:00 - 13:20				PLDI Research Papers Crafty: Efficient, HTM-Compatible Persistent Transactions 13:20 - 13:40				PLDI Research Papers From Folklore to Fact: Comparing Implementations of Stacks and Continua ... 13:40 - 14:00								PLDI Research Papers Validating SMT Solvers via Semantic Fusion 14:20 - 14:40				PLDI Research Papers Debugging and Detecting Numerical Errors in Computation with Posits 14:40 - 15:00				PLDI Research Papers SmartTrack: Efficient Predictive Race Detection 15:00 - 15:20				PLDI Research Papers Understanding Memory and Thread Safety Practices and Issues in Real-Wor ... 15:20 - 15:40								PLDI Research Papers Towards a Verified Range Analysis for JavaScript JITs 16:00 - 16:20				PLDI Research Papers Binary Rewriting without Control Flow Recovery 16:20 - 16:40				PLDI Research Papers BlankIt Library Debloating: Getting What You Want Instead of Cutting Wh ... 16:40 - 17:00

Thu 18 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	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
PLDI Research Papers live stream	PLDI Research Papers Repairing and Mechanising the JavaScript Relaxed Memory Model 05:00 - 05:20				PLDI Research Papers Promising 2.0: Global Optimizations in Relaxed Memory Concurrency 05:20 - 05:40				PLDI Research Papers NVTraverse: In NVRAM Data Structures, the Destination Is More Important ... 05:40 - 06:00								PLDI Research Papers PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors ... 06:20 - 06:40				PLDI Research Papers PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies 06:40 - 07:00				PLDI Research Papers SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dep ... 07:00 - 07:20				PLDI Research Papers SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework 07:20 - 07:40																								PLDI Research Papers Predictable Accelerator Design with Time-Sensitive Affine Types 09:20 - 09:40				PLDI Research Papers Type-Directed Scheduling of Streaming Accelerators 09:40 - 10:00				PLDI Research Papers FreezeML: Complete and Easy Type Inference for First-Class Polymorphism 10:00 - 10:20								PLDI Research Papers Proving Data-Poisoning Robustness in Decision Trees 10:40 - 11:00				PLDI Research Papers A Study of the Learnability of Relational Properties: Model Counting Me ... 11:00 - 11:20				PLDI Research Papers Learning Fast and Precise Numerical Analysis 11:20 - 11:40																				PLDI Research Papers Automatic Generation of Efficient Sparse Tensor Format Conversion Routines 13:00 - 13:20				PLDI Research Papers OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization 13:20 - 13:40				PLDI Research Papers Effective Function Merging in the SSA Form 13:40 - 14:00								PLDI Research Papers Silq: A High-Level Quantum Language with Safe Uncomputation and Intuiti ... 14:20 - 14:40				PLDI Research Papers The Essence of Bluespec: A Core Language for Rule-Based Hardware Design 14:40 - 15:00				PLDI Research Papers LLHD: A Multi-level Intermediate Representation for Hardware Descriptio ... 15:00 - 15:20				PLDI Research Papers On the Principles of Differentiable Quantum Programming Languages 15:20 - 15:40								PLDI Research Papers Multi-modal Synthesis of Regular Expressions 16:00 - 16:20				PLDI Research Papers Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Ter ... 16:20 - 16:40				PLDI Research Papers CacheQuery: Learning Replacement Policies from Hardware Caches 16:40 - 17:00

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change


Room	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
PLDI Research Papers live stream	PLDI Research Papers Proving Almost-Sure Termination by Omega-Regular Decomposition 05:00 - 05:20				PLDI Research Papers λPSI: Exact Inference for Higher-Order Probabilistic Programs 05:20 - 05:40				PLDI Research Papers Reactive Probabilistic Programming 05:40 - 06:00								PLDI Research Papers Faster General Parsing through Context-Free Memoization 06:20 - 06:40				PLDI Research Papers Zippy LL(1) Parsing with Derivatives 06:40 - 07:00				PLDI Research Papers Debug Information Validation for Optimized Code 07:00 - 07:20				PLDI Research Papers Semantic Code Search via Equational Reasoning 07:20 - 07:40								PLDI Research Papers Exact and Approximate Methods for Proving Unrealizability of Syntax-Gui ... 08:00 - 08:20				PLDI Research Papers Question Selection for Interactive Program Synthesis 08:20 - 08:40				PLDI Research Papers Reconciling Enumerative and Deductive Program Synthesis 08:40 - 09:00								PLDI Research Papers Securing Smart Contract with Runtime Validation 09:20 - 09:40				PLDI Research Papers Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities 09:40 - 10:00				PLDI Research Papers Behavioral Simulation for Smart Contracts 10:00 - 10:20								PLDI Research Papers Scalable Validation of Binary Lifters 10:40 - 11:00				PLDI Research Papers Polynomial Invariant Generation for Non-deterministic Recursive Programs 11:00 - 11:20				PLDI Research Papers Templates and Recurrences: Better Together 11:20 - 11:40				PLDI Research Papers First-Order Quantified Separators 11:40 - 12:00																PLDI Research Papers Constant-Time Foundations for the New Spectre Era 13:00 - 13:20				PLDI Research Papers Gillian, Part I: A Multi-language Platform for Symbolic Execution 13:20 - 13:40				PLDI Research Papers Efficient Handling of String-Number Conversion 13:40 - 14:00								PLDI Research Papers HipHop.js: (A)Synchronous Reactive Web Programming 14:20 - 14:40				PLDI Research Papers EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient ... 14:40 - 15:00				PLDI Research Papers Towards an API for the Real Numbers 15:00 - 15:20				PLDI Research Papers Responsive Parallelism with Futures and State 15:20 - 15:40								PLDI Research Papers Automated Derivation of Parametric Data Movement Lower Bounds for Affin ... 16:00 - 16:20				PLDI Research Papers Fast Graph Simplification for Interleaved Dyck-Reachability 16:20 - 16:40				PLDI Research Papers Static Analysis of Java Enterprise Applications: Frameworks and Caches, ... 16:40 - 17:00

Room information: PLDI Research Papers live stream

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Thu 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

Tracks

Room information: PLDI Research Papers live stream

Program Display Configuration

Wed 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 18 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 19 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 17 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Thu 18 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Fri 19 JunDisplayed time zone: Pacific Time (US & Canada) change

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

PLDI Research Papers

Wed 17 JunDisplayed time zone: Pacific Time (US & Canada) change

Thu 18 JunDisplayed time zone: Pacific Time (US & Canada) change

Fri 19 JunDisplayed time zone: Pacific Time (US & Canada) change

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change

Wed 17 Jun
Displayed time zone: Pacific Time (US & Canada) change

Thu 18 Jun
Displayed time zone: Pacific Time (US & Canada) change

Fri 19 Jun
Displayed time zone: Pacific Time (US & Canada) change