Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 13 JunDisplayed time zone: Pacific Time (US & Canada) change
Mon 13 Jun
Displayed time zone: Pacific Time (US & Canada) change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration PLDI | ||
09:00 - 10:00 | |||
09:00 45mKeynote | Competitive Programming with AlphaCodevirtual MAPS Yujia Li Deepmind | ||
09:00 - 10:00 | |||
09:00 60mTalk | Verified Trustworthy Software Specification PLMW Philippa Gardner Imperial College London | ||
09:00 - 10:00 | |||
09:00 60mTalk | Multidimensional C++ ARRAY File Attached | ||
09:00 - 10:00 | |||
09:00 60mTutorial | Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA | ||
09:00 - 09:50 | |||
09:00 40mTalk | Three years of analyzing Ada code with Infer: a retrospectivevirtual Infer Boris Yakobowski AdaCore | ||
09:40 10mLive Q&A | Q&A 1 Infer | ||
09:00 - 10:00 | |||
09:00 60mTutorial | Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning Tutorials Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University | ||
09:00 - 10:00 | |||
09:00 60mTutorial | Build your own optimizer with egg! Tutorials | ||
10:00 - 10:30 | |||
10:00 30mSocial Event | PLTeasocial PLMW | ||
10:20 - 12:00 | |||
10:20 40mTalk | Higher-order function specialization in Infervirtual Infer | ||
11:00 10mLive Q&A | Q&A 2 Infer | ||
11:10 40mTalk | InfERL: Scalable and extensible static analysis for Erlangvirtual Infer Ákos Hajdu Meta | ||
11:50 10mLive Q&A | Q&A 3 Infer | ||
10:30 - 12:00 | |||
10:30 45mKeynote | Improving Software Reliability using Machine Learningvirtual MAPS Baishakhi Ray Columbia University | ||
11:15 15mTalk | Productivity Assessment of Neural Code Completion MAPS Albert Ziegler GitHub, Eirini Kalliamvakou GitHub, X. Alice Li GitHub, Andrew Rice GitHub, Devon Rifkin GitHub, Shawn Simister GitHub, Ganesh Sittampalam GitHub, Eddie Aftandilian GitHub Pre-print | ||
11:30 15mTalk | Predictive Synthesis of API-Centric Code MAPS Daye Nam CMU, Carnegie Mellon University, Baishakhi Ray Columbia University, Seohyun Kim Meta, xianshan qu , Satish Chandra Facebook Pre-print | ||
11:45 15mTalk | From Perception to Programs: Regularize, Overparameterize, and Amortize MAPS | ||
10:30 - 12:00 | |||
10:30 10mTalk | Welcome Remarks Commute Azadeh Farzan University of Toronto, Constantin Enea Ecole Polytechnique / LIX / CNRS, Eric Koskinen Stevens Institute of Technology | ||
10:40 30mTalk | Practical Smart Contract Sharding with Commutativity Analysis Commute Ilya Sergey National University of Singapore | ||
11:10 10mLive Q&A | Discussion Commute | ||
11:20 30mTalk | Commutativity reasoning for automated distributed coordination Commute Mohsen Lesani University of California at Riverside | ||
11:50 10mLive Q&A | Discussion Commute | ||
10:30 - 12:00 | |||
10:30 90mPanel | Mentoring Panel: Surviving Grad School PLMW Sunjay Cauligi University of California at San Diego, USA, Ethan Cecchetti University of Maryland, College Park, Niki Vazou IMDEA Software Institute, Ningning Xie University of Toronto, S: Tamara Rezk INRIA | ||
10:30 - 12:00 | |||
10:30 22mTalk | Distributed parallel computing with Futhark ARRAY Michaël El Kharroubi University of Applied Sciences and Arts Western Switzerland, Baptiste Coudray , Orestis Malaspinas | ||
10:52 22mTalk | Mech: An Array Programming Language for Robots (extended abstract) ARRAY Corey Montella Lehigh University | ||
11:15 22mTalk | Probabilistic Array Programming on Galois Fields (extended abstract) ARRAY Breandan Considine McGill University, Jin L.C. Guo McGill University, Xujie Si McGill University, Canada | ||
11:37 22mTalk | Parallel Scan As a Multidimensional Array Problem ARRAY | ||
10:30 - 12:00 | |||
10:30 90mTutorial | Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA | ||
10:30 - 12:00 | |||
10:30 90mTutorial | Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning Tutorials Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University | ||
10:30 - 12:00 | |||
10:30 90mTutorial | Build your own optimizer with egg! Tutorials | ||
12:00 - 13:00 | |||
12:00 60mLunch | Lunchsocial PLDI | ||
13:30 - 15:00 | |||
13:30 45mKeynote | Can Transformers Code?virtual MAPS Łukasz Kaiser OpenAI | ||
14:15 15mTalk | Syntax-Guided Program Reduction for Understanding Neural Code Intelligence Modelsvirtual MAPS Rafiqul Rabin University of Houston, Aftab Hussain University of Houston, Amin Alipour University of Houston DOI Pre-print | ||
14:30 15mTalk | A Systematic Evaluation of Large Language Models of Codevirtual MAPS Frank F. Xu Carnegie Mellon University, Uri Alon Carnegie Mellon University, Graham Neubig Carnegie Mellon University, Vincent J. Hellendoorn Carnegie Mellon University | ||
14:45 15mPoster | Poster Session MAPS | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Tree Clock Data Structure for Causal Orderings in Concurrent Executions Commute Andreas Pavlogiannis Aarhus University | ||
14:00 10mLive Q&A | Discussion Commute | ||
14:10 30mTalk | Commutativity condition synthesis and language support for commute blocks Commute Eric Koskinen Stevens Institute of Technology | ||
14:40 10mLive Q&A | Discussion Commute | ||
14:50 5mTalk | Lightning: Servois2: An Extended Commutativity Condition Synthesizer Commute Adam Chen Stevens Institute of Technology | ||
13:30 - 15:00 | |||
13:30 90mTalk | Your Research and Everyone Else PLMW Martin C. Rinard Massachusetts Institute of Technology | ||
13:30 - 15:00 | |||
13:30 22mTalk | Combinatory Logic and Combinators in Array Languages ARRAY Conor Hoekstra NVIDIA | ||
13:52 22mTalk | From Functional to Imperative: Combining Destination-Passing Style and ViewsVirtual ARRAY | ||
14:37 22mTalk | Using Q-Learning to Select the Best Among Functionally Equivalent ImplementationsVirtual ARRAY Meggie van den Oever Spring Hill College, Lauren Grimley Spring Hill College, Richard Veras University of Oklahoma | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Reasoning About and Discovering LLVM Optimizations Tutorials | ||
13:30 - 15:10 | |||
13:30 40mTalk | Finding Real Bugs in Big Programs with Incorrectness Logicvirtual Infer Quang Loc Le University College London, Azalea Raad Imperial College London, Jules Villard Facebook London, Josh Berdine Meta, Derek Dreyer MPI-SWS, Peter W. O'Hearn Meta; University College London | ||
14:10 10mLive Q&A | Q&A 4 Infer | ||
14:20 40mTalk | HIPPODROME: Data Race Repair using Static Analysis Summaries Infer Andreea Costea School of Computing, National University Of Singapore, Abhishek Tiwari National University of Singapore, Sigmund Chianasta , Kishore R , Abhik Roychoudhury National University of Singapore, Ilya Sergey National University of Singapore | ||
15:00 10mLive Q&A | Q&A 5 Infer | ||
13:30 - 15:00 | |||
13:30 90mTutorial | Filling the gap between the JavaScript language specification and tools using the JISET family Tutorials | ||
15:30 - 17:00 | |||
15:30 45mKeynote | Unsupervised Program Synthesis: Hierarchy and Perception MAPS Kevin Ellis Cornell University | ||
16:15 15mTalk | ExeBench: An ML-scale dataset of executable C functions MAPS Jordi Armengol-Estapé University of Edinburgh, Jackson Woodruff University of Edinburgh, Alexander Brauckmann University of Edinburgh, José Wesley de Souza Magalhães University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh | ||
16:30 15mTalk | Automatically Debugging AutoML Pipelines Using Maro: ML Automated Remediation Oracle MAPS | ||
16:45 15mTalk | A Graph Neural Network-based performance model for Deep Learning Applications MAPS Shikhar Singh University of Texas, James Hegarty Facebook, Hugh Leather University of Edinburgh, UK, Benoit Steiner Facebook | ||
15:30 - 17:00 | |||
15:30 30mTalk | Commutativity Reasoning in the Civl Verifier Commute Shaz Qadeer Novi, USA | ||
16:00 10mLive Q&A | Discussion Commute | ||
16:10 30mTalk | Commutativity in quantum computing Commute Jens Palsberg University of California, Los Angeles (UCLA) | ||
16:40 10mLive Q&A | Discussion Commute | ||
16:50 5mTalk | Lightning-2 Commute | ||
15:30 - 17:00 | |||
15:30 90mTalk | How to Write a Technical Paper PLMW Michael Hicks University of Maryland at College Park | ||
15:30 - 16:30 | |||
15:30 60mTutorial | Reasoning About and Discovering LLVM Optimizations Tutorials | ||
15:30 - 16:45 | |||
15:30 40mTalk | Infer#’s journey to bring Infer to the .NET world Infer Xin Shi Microsoft Corporation, Xiaoyu Liu Microsoft Corporation, Matthew Jin Microsoft Corporation, Neel Sundaresan Microsoft Corporation | ||
16:10 10mLive Q&A | Q&A 6 Infer | ||
16:20 20mTalk | Infer in the cloud: An Overview of Infer Usage via Sonatype Lift Infer | ||
16:40 5mLive Q&A | Q&A 7 Infer | ||
15:30 - 16:30 | |||
15:30 60mTutorial | Filling the gap between the JavaScript language specification and tools using the JISET family Tutorials | ||
21:00 - 22:00 | |||
21:00 60mTutorial | Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA | ||
21:00 - 22:00 | |||
21:00 60mTutorial | Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning Tutorials Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University | ||
21:00 - 22:00 | |||
21:00 60mTutorial | Build your own optimizer with egg! Tutorials | ||
22:20 - 00:00 | |||
22:20 40mTalk | Higher-order function specialization in Infervirtual Infer | ||
23:00 10mLive Q&A | Q&A 2 Infer | ||
23:10 40mTalk | InfERL: Scalable and extensible static analysis for Erlangvirtual Infer Ákos Hajdu Meta | ||
23:50 10mLive Q&A | Q&A 3 Infer | ||
22:30 - 00:00 | |||
22:30 45mKeynote | Improving Software Reliability using Machine Learningvirtual MAPS Baishakhi Ray Columbia University | ||
23:15 15mTalk | Productivity Assessment of Neural Code Completion MAPS Albert Ziegler GitHub, Eirini Kalliamvakou GitHub, X. Alice Li GitHub, Andrew Rice GitHub, Devon Rifkin GitHub, Shawn Simister GitHub, Ganesh Sittampalam GitHub, Eddie Aftandilian GitHub Pre-print | ||
23:30 15mTalk | Predictive Synthesis of API-Centric Code MAPS Daye Nam CMU, Carnegie Mellon University, Baishakhi Ray Columbia University, Seohyun Kim Meta, xianshan qu , Satish Chandra Facebook Pre-print | ||
23:45 15mTalk | From Perception to Programs: Regularize, Overparameterize, and Amortize MAPS | ||
22:30 - 00:00 | |||
22:30 22mTalk | Distributed parallel computing with Futhark ARRAY Michaël El Kharroubi University of Applied Sciences and Arts Western Switzerland, Baptiste Coudray , Orestis Malaspinas | ||
22:52 22mTalk | Mech: An Array Programming Language for Robots (extended abstract) ARRAY Corey Montella Lehigh University | ||
23:15 22mTalk | Probabilistic Array Programming on Galois Fields (extended abstract) ARRAY Breandan Considine McGill University, Jin L.C. Guo McGill University, Xujie Si McGill University, Canada | ||
23:37 22mTalk | Parallel Scan As a Multidimensional Array Problem ARRAY | ||
22:30 - 00:00 | |||
22:30 90mTutorial | Making C Programs Safer with Checked C Tutorials Jie Zhou University of Rochester, Yudi Yang University of Rochester, USA, Michael Hicks University of Maryland at College Park, John Criswell University of Rochester, USA | ||
22:30 - 00:00 | |||
22:30 90mTutorial | Discover[i]: Taming Unbounded Distributed Systems with Modular, Bounded Reasoning Tutorials Roopsha Samanta Purdue University, Nouraldin Jaber Purdue University, Christopher Wagner Purdue University | ||
22:30 - 00:00 | |||
22:30 90mTutorial | Build your own optimizer with egg! Tutorials | ||
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 14 Jun
Displayed time zone: Pacific Time (US & Canada) change
01:30 - 03:00 | |||
01:30 45mKeynote | Can Transformers Code?virtual MAPS Łukasz Kaiser OpenAI | ||
02:15 15mTalk | Syntax-Guided Program Reduction for Understanding Neural Code Intelligence Modelsvirtual MAPS Rafiqul Rabin University of Houston, Aftab Hussain University of Houston, Amin Alipour University of Houston DOI Pre-print | ||
02:30 15mTalk | A Systematic Evaluation of Large Language Models of Codevirtual MAPS Frank F. Xu Carnegie Mellon University, Uri Alon Carnegie Mellon University, Graham Neubig Carnegie Mellon University, Vincent J. Hellendoorn Carnegie Mellon University | ||
02:45 15mPoster | Poster Session MAPS | ||
01:30 - 03:00 | |||
01:30 90mTalk | Your Research and Everyone Else PLMW Martin C. Rinard Massachusetts Institute of Technology | ||
01:30 - 03:00 | |||
01:30 22mTalk | Combinatory Logic and Combinators in Array Languages ARRAY Conor Hoekstra NVIDIA | ||
01:52 22mTalk | From Functional to Imperative: Combining Destination-Passing Style and ViewsVirtual ARRAY | ||
02:37 22mTalk | Using Q-Learning to Select the Best Among Functionally Equivalent ImplementationsVirtual ARRAY Meggie van den Oever Spring Hill College, Lauren Grimley Spring Hill College, Richard Veras University of Oklahoma | ||
01:30 - 03:00 | |||
01:30 90mTutorial | Reasoning About and Discovering LLVM Optimizations Tutorials | ||
01:30 - 03:10 | |||
01:30 40mTalk | Finding Real Bugs in Big Programs with Incorrectness Logicvirtual Infer Quang Loc Le University College London, Azalea Raad Imperial College London, Jules Villard Facebook London, Josh Berdine Meta, Derek Dreyer MPI-SWS, Peter W. O'Hearn Meta; University College London | ||
02:10 10mLive Q&A | Q&A 4 Infer | ||
02:20 40mTalk | HIPPODROME: Data Race Repair using Static Analysis Summaries Infer Andreea Costea School of Computing, National University Of Singapore, Abhishek Tiwari National University of Singapore, Sigmund Chianasta , Kishore R , Abhik Roychoudhury National University of Singapore, Ilya Sergey National University of Singapore | ||
03:00 10mLive Q&A | Q&A 5 Infer | ||
01:30 - 03:00 | |||
01:30 90mTutorial | Filling the gap between the JavaScript language specification and tools using the JISET family Tutorials | ||
03:30 - 05:00 | |||
03:30 45mKeynote | Unsupervised Program Synthesis: Hierarchy and Perception MAPS Kevin Ellis Cornell University | ||
04:15 15mTalk | ExeBench: An ML-scale dataset of executable C functions MAPS Jordi Armengol-Estapé University of Edinburgh, Jackson Woodruff University of Edinburgh, Alexander Brauckmann University of Edinburgh, José Wesley de Souza Magalhães University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh | ||
04:30 15mTalk | Automatically Debugging AutoML Pipelines Using Maro: ML Automated Remediation Oracle MAPS | ||
04:45 15mTalk | A Graph Neural Network-based performance model for Deep Learning Applications MAPS Shikhar Singh University of Texas, James Hegarty Facebook, Hugh Leather University of Edinburgh, UK, Benoit Steiner Facebook | ||
03:30 - 05:00 | |||
03:30 90mTalk | How to Write a Technical Paper PLMW Michael Hicks University of Maryland at College Park | ||
03:30 - 04:30 | |||
03:30 60mTutorial | Reasoning About and Discovering LLVM Optimizations Tutorials | ||
03:30 - 04:45 | |||
03:30 40mTalk | Infer#’s journey to bring Infer to the .NET world Infer Xin Shi Microsoft Corporation, Xiaoyu Liu Microsoft Corporation, Matthew Jin Microsoft Corporation, Neel Sundaresan Microsoft Corporation | ||
04:10 10mLive Q&A | Q&A 6 Infer | ||
04:20 20mTalk | Infer in the cloud: An Overview of Infer Usage via Sonatype Lift Infer | ||
04:40 5mLive Q&A | Q&A 7 Infer | ||
03:30 - 04:30 | |||
03:30 60mTutorial | Filling the gap between the JavaScript language specification and tools using the JISET family Tutorials | ||
09:00 - 10:00 | |||
09:00 60mKeynote | Program Analysis for the Optimization and Verification of (Ethereum) Smart Contracts SOAP | ||
09:00 - 10:00 | |||
09:00 60mTalk | A Research Mindset PLMW Kathryn S McKinley Google | ||
09:00 - 10:00 | |||
09:00 60mKeynote | Domain-specific programming methodologies for domain-specific and emerging computing systems LCTES Jeronimo Castrillon TU Dresden, Germany | ||
09:00 - 10:00 | |||
09:00 5mDay opening | Welcome EGRAPHS Max Willsey University of Washington | ||
09:05 30mTalk | Sketch-Guided Equality Saturation EGRAPHS Thomas Koehler University of Glasgow Pre-print File Attached | ||
09:35 25mTalk | Synthesizing Mathematical Identities with E-graphs EGRAPHS Link to publication Pre-print | ||
10:00 - 10:30 | |||
10:00 30mSocial Event | PLTeasocial PLMW | ||
10:00 - 12:00 | |||
10:15 15mDay opening | Welcome from the Chairs and Conference Reportvirtual ISMM | ||
10:30 60mPanel | Industry panel: Memory management priorities for the next few yearsvirtual ISMM | ||
11:30 30mTalk | Reconsidering OS Memory Optimizations in the Presence of Disaggregated Memoryvirtual ISMM Shai Bergman Technion, Priyank Faldu ARM, Boris Grot University of Edinburgh, UK, Lluís Vilanova Imperial College London, Mark Silberstein Technion | ||
10:30 - 12:00 | Paper Session 1 SOAP at Boardroom +12h Chair(s): Caterina Urban Inria & École Normale Supérieure | Université PSL All papers will be allocated a time slot of 25 min (20min talk + 5 min questions) | ||
10:30 25mTalk | Abstract interpretation of Michelson smart-contracts SOAP P: Guillaume Bau , Antoine Miné Sorbonne Université, Vincent Botbol Nomadic Labs, Mehdi Bouaziz Nomadic Labs Paris | ||
10:55 25mTalk | BinFPE: Accurate Floating-Point Exception Detection for GPU Applications SOAP P: Ignacio Laguna Lawrence Livermore National Laboratory, Xinyi Li University of Utah, Ganesh Gopalakrishnan University of Utah | ||
11:20 25mTalk | Towards an Implementation of Differential Dynamic Logic in PVSvirtual SOAP P: J Tanner Slagel , César Muñoz NASA Langley Research Center, Swee Balachandran National Institute of Aerospace, Mariano Moscato National Institute of Aerospace, Aaron Dutle NASA Langley Research Center, Paolo Masci National Institute of Aerospace, USA, Lauren White NASA Langley Research Center | ||
11:45 25mTalk | Statically Detecting Data Leakages in Data Science Codevirtual SOAP | ||
10:30 - 12:00 | |||
10:30 30mTalk | Safety Proof Simplification Through Commutativity Commute Azadeh Farzan University of Toronto | ||
11:00 10mLive Q&A | Discussion Commute | ||
11:10 30mTalk | Commutativity and Approximate Computing Commute Martin C. Rinard Massachusetts Institute of Technology | ||
11:40 10mLive Q&A | Discussion Commute | ||
11:50 5mTalk | Lightning: Extending Commutativity via Safe Abstraction Commute Dominik Klumpp University of Freiburg File Attached | ||
10:30 - 12:00 | |||
10:30 90mPanel | Mentoring Panel: Post-graduate Career Paths PLMW Michael Greenberg Stevens Institute of Technology, Chris Hawblitzel Microsoft Research, Hila Peleg Technion, Sukyoung Ryu KAIST, S: Deian Stefan University of California at San Diego | ||
10:30 - 12:00 | |||
10:30 45mTalk | Black Box Static Analyses with Deep Learningvirtual ASA | ||
11:15 45mTalk | Balancing the use of ML and Program Analysis for Bug finding ASA Willem Visser Amazon Web Services | ||
10:30 - 12:00 | Optimization for Compilers and LanguagesLCTES at Rousseau Center +12h Chair(s): Yousun Ko Yonsei University | ||
10:30 20mTalk | RollBin: Reducing code-size via loop rerolling at binary levelVirtual LCTES Tianao Ge Sun Yat-sen University, Zewei Mo Sun Yat-sen University, Kan Wu Sun Yat-sen University, Xianwei Zhang Sun Yat-sen University, Yutong Lu Sun Yat-sen University | ||
10:50 20mTalk | Tighten Rust's Belt: Shrinking Embedded Rust Binaries LCTES Hudson Ayers Stanford University, Google, Evan Laufer Stanford University, Paul Mure Stanford University, Jaehyeon Park Stanford University, Eduardo Rodelo Stanford University, Thea Rossman Stanford University, Andrey Pronin Google, Philip Levis Stanford University, Johnathan Van Why Google | ||
11:10 20mTalk | JAX Based Parallel Inference for Reactive Probabilistic Programming LCTES | ||
11:30 20mTalk | Implicit State MachinesVirtual LCTES | ||
11:50 5mTalk | (WIP) Scalable Size Inliner for Mobile Applications LCTES | ||
10:30 - 12:00 | |||
10:30 15mTalk | Logging an Egg: Datalog on E-Graphs EGRAPHS Philip Zucker Draper Laboratory Pre-print Media Attached | ||
10:45 15mTalk | Chasing an egg EGRAPHS Yihong Zhang University of Washington Pre-print | ||
11:00 15mTalk | ECTAs: E-Graphs Better (at Encoding) EGRAPHS James Koppel Massachusetts Institute of Technology, USA, Zheng Guo University of California, San Diego, Edsko de Vries Well-Typed LLP, Armando Solar-Lezama Massachusetts Institute of Technology, Nadia Polikarpova University of California at San Diego | ||
11:15 15mTalk | E-Graphs, VSAs, and Tree Automata: a Rosetta StoneVirtual EGRAPHS Yisu Remy Wang University of Washington, James Koppel Massachusetts Institute of Technology, USA, Altan Haan OctoML, Josh Pollock MIT CSAIL Link to publication Pre-print | ||
11:30 15mTalk | Equality Saturation as a Tactic for Proof Assistants EGRAPHS | ||
11:45 15mTalk | Towards Optimising Certified Programs by Proof Rewriting EGRAPHS | ||
12:00 - 13:00 | |||
12:00 60mLunch | Lunchsocial PLDI | ||
12:00 - 14:00 | |||
12:00 2hLunch | Lunchsocial ISMM | ||
13:30 - 15:00 | Keynote 2 + PapersSOAP at Boardroom +12h Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Laura Titolo NIA/NASA LaRC | ||
13:30 60mKeynote | Static Analysis for Data Scientists SOAP | ||
14:30 25mTalk | Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report SOAP P: Luca Olivieri University of Verona, Corvallis S.r.l., Fabio Tagliaferro University of Verona, Commercio.network S.p.A., Vincenzo Arceri University of Parma, Italy, Marco Ruaro Commercio.network S.p.A., Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Agostino Cortesi Università Ca' Foscari Venezia, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Fausto Spoto U. Verona, Enrico Talin Commercio.network S.p.A. | ||
13:30 - 15:00 | |||
13:30 30mTalk | Weakening Mazurkiewicz Traces Commute Umang Mathur National University of Singapore | ||
14:00 10mLive Q&A | Discussion Commute | ||
14:10 30mTalk | Mergeable Replicated Datatypes Commute Suresh Jagannathan Purdue University | ||
14:40 10mLive Q&A | Discussion Commute | ||
14:50 5mTalk | Lightning-4 Commute | ||
13:30 - 15:00 | |||
13:30 90mTalk | Whose Life Are You Making Better PLMW John Regehr University of Utah | ||
13:30 - 15:00 | |||
13:30 45mTalk | Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code ASA Michael Pradel University of Stuttgart | ||
14:15 45mTalk | Program Synthesis, Program Semantics, and Large Language Models ASA Charles Sutton Google Research | ||
13:30 - 15:00 | |||
13:30 20mTalk | Optimizing Data Reshaping Operations in Functional IRs for High-Level Synthesis LCTES Christof Schlaak University of Edinburgh, Tzung-Han Juang McGill University, Christophe Dubach McGill University | ||
13:50 20mTalk | Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensive PoW AccelerationVirtual LCTES Tianyu Wang The Chinese University of Hong Kong, Zhaoyan Shen Shandong University, Zili Shao The Chinese University of Hong Kong | ||
14:10 20mTalk | ISKEVA: In-SSD Key-Value Database Engine for Video Analytics ApplicationsVirtual LCTES Yi Zheng The Pennsylvania State University, Joshua Fixelle University of Virginia, Nagadastagiri Challapalle The Pennsylvania State University, Pingyi Huo The Pennsylvania State University, Vijaykrishnan Narayanan The Pennsylvania State University, Zili Shao The Chinese University of Hong Kong, Mircea R. Stan University of Virginia, Zhaoyan Shen Shandong University | ||
14:30 20mTalk | An Old Friend Is Better Than Two New Ones: Dual-Screen AndroidVirtual LCTES Zizhan Chen The Chinese University of Hong Kong, Siqi Shang The Chinese University of Hong Kong, Qihong Wu The Chinese University of Hong Kong, Jin Xue The Chinese University of Hong Kong, Zhaoyan Shen Shandong University, Zili Shao The Chinese University of Hong Kong | ||
14:50 5mTalk | (WIP) Cache-Coherent CLAMVirtual LCTES Chen Ding University of Rochester, Benjamin Reber University of Rochester, Dorin Patru Rochester Institute of Technology | ||
14:00 - 16:00 | |||
14:00 30mTalk | MemSweeper: Virtualizing Cluster Memory Management for High Memory Utilization and Isolationvirtual ISMM AmirHossein Seyri University of Illinois at Chicago, Abhisek Pan Microsoft, Balajee Vamanan University of Illinois at Chicago | ||
14:30 30mTalk | Replication-based Object Persistence by Reachabilityvirtual ISMM Kotaro Matsumoto Kochi University of Technology, Tomoharu Ugawa University of Tokyo, Hideya Iwasaki University of Electro-Communications, Japan | ||
15:00 30mTalk | Concurrent and Parallel Garbage Collection for Lightweight Threads on Multicore Processorsvirtual ISMM | ||
15:30 30mBreak | Social breaksocial ISMM | ||
14:00 - 15:00 | |||
14:00 15mTalk | Quiche: A Python Implementation of E-Graphs EGRAPHS Rebecca Swords Unaffiliated | ||
14:15 15mTalk | Optimizing Large Integer Multiplier on FPGAs Using Equality SaturationVirtual EGRAPHS | ||
14:30 15mTalk | Wasm-mutate: Fuzzing WebAssembly Compilers with E-GraphsVirtual EGRAPHS Javier Cabrera Arteaga KTH Royal Institute of Technology, Nicholas Fitzgerald Fastly Inc., Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH Pre-print | ||
14:45 15mTalk | QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs EGRAPHS Spencer King Unaffiliated | ||
15:30 - 17:20 | Keynote 3 + PapersSOAP at Boardroom +12h Chair(s): Roberto Giacobazzi University of Verona, Laura Titolo NIA/NASA LaRC Laura Titolo is chairing the Keynote Talk by Francesco Logozzo. Roberto Giacobazzi is chairing the paper session from 16:30 to 17:20. | ||
15:30 60mKeynote | Using static analysis to scale security at Meta SOAP | ||
16:30 25mTalk | ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories SOAP P: Md Rakib Hossain Misu University of California, Irvine, Aleksandar Saša Janjanin University College London, Zhiqiang Bian University College London, Valentin-Sebastian Burlacu University College London, Naum Anteski University College London | ||
16:55 25mTalk | Modeling Code Manipulation in JIT Compilers SOAP P: HeuiChan Lim University of Arizona, Xiyu Kang University of Arizona, Saumya Debray University of Arizona | ||
15:30 - 17:00 | |||
15:30 30mTalk | Testing Distributed Protocols using Communication Closure Commute Constantin Enea Ecole Polytechnique / LIX / CNRS | ||
16:00 10mLive Q&A | Discussion Commute | ||
16:10 30mTalk | Pretend synchrony: synchronous verification of asynchronous distributed programs Commute Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands | ||
16:40 10mLive Q&A | Discussion Commute | ||
16:50 10mDay closing | Closing Remarks & Business Meeting Commute Eric Koskinen Stevens Institute of Technology, Azadeh Farzan University of Toronto, Constantin Enea Ecole Polytechnique / LIX / CNRS | ||
15:30 - 17:00 | |||
15:30 90mPanel | Mentoring Panel: Hot Topics in PL PLMW Michael Carbin Massachusetts Institute of Technology, Andrew Myers Cornell University, Nadia Polikarpova University of California at San Diego, S: Limin Jia Carnegie Mellon University, Nikhil Swamy Microsoft Research | ||
15:30 - 17:00 | |||
15:30 45mTalk | Automated Software Testing: Bridging The Gap With Deep Learningvirtual ASA Elizabeth Dinella University of Pennsylvania | ||
16:15 45mTalk | Precise Program Reasoning using Probabilistic Methods ASA Mukund Raghothaman University of Southern California | ||
15:30 - 16:30 | |||
15:30 15mTalk | On the Optimization of Equivalent Concurrent ComputationsVirtual EGRAPHS | ||
15:45 15mTalk | Abstract Interpretation on E-Graphs EGRAPHS Samuel Coward Imperial College London, UK, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA Pre-print | ||
16:00 15mTalk | Colored E-Graph: Supporting Multiple Equivalence Relations with Resource SharingVirtual EGRAPHS | ||
16:15 15mTalk | Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair EGRAPHS Jordan Schmerge Colorado School of Mines, Jake Vossen Colorado School of Mines, Jedidiah McClurg Colorado School of Mines | ||
16:00 - 17:30 | |||
16:00 60mKeynote | We Live in Interesting Timesvirtual ISMM Steve Blackburn Google and Australian National University | ||
17:00 15mDay closing | Closing Remarksvirtual ISMM | ||
21:00 - 22:00 | |||
21:00 60mKeynote | Program Analysis for the Optimization and Verification of (Ethereum) Smart Contracts SOAP | ||
21:00 - 22:00 | |||
21:00 60mTalk | A Research Mindset PLMW Kathryn S McKinley Google | ||
21:00 - 22:00 | |||
21:00 60mKeynote | Domain-specific programming methodologies for domain-specific and emerging computing systems LCTES Jeronimo Castrillon TU Dresden, Germany | ||
21:00 - 22:00 | |||
21:00 5mDay opening | Welcome EGRAPHS Max Willsey University of Washington | ||
21:05 30mTalk | Sketch-Guided Equality Saturation EGRAPHS Thomas Koehler University of Glasgow Pre-print File Attached | ||
21:35 25mTalk | Synthesizing Mathematical Identities with E-graphs EGRAPHS Link to publication Pre-print | ||
22:00 - 00:00 | |||
22:15 15mDay opening | Welcome from the Chairs and Conference Reportvirtual ISMM | ||
22:30 60mPanel | Industry panel: Memory management priorities for the next few yearsvirtual ISMM | ||
23:30 30mTalk | Reconsidering OS Memory Optimizations in the Presence of Disaggregated Memoryvirtual ISMM Shai Bergman Technion, Priyank Faldu ARM, Boris Grot University of Edinburgh, UK, Lluís Vilanova Imperial College London, Mark Silberstein Technion | ||
22:30 - 00:00 | |||
22:30 25mTalk | Abstract interpretation of Michelson smart-contracts SOAP P: Guillaume Bau , Antoine Miné Sorbonne Université, Vincent Botbol Nomadic Labs, Mehdi Bouaziz Nomadic Labs Paris | ||
22:55 25mTalk | BinFPE: Accurate Floating-Point Exception Detection for GPU Applications SOAP P: Ignacio Laguna Lawrence Livermore National Laboratory, Xinyi Li University of Utah, Ganesh Gopalakrishnan University of Utah | ||
23:20 25mTalk | Towards an Implementation of Differential Dynamic Logic in PVSvirtual SOAP P: J Tanner Slagel , César Muñoz NASA Langley Research Center, Swee Balachandran National Institute of Aerospace, Mariano Moscato National Institute of Aerospace, Aaron Dutle NASA Langley Research Center, Paolo Masci National Institute of Aerospace, USA, Lauren White NASA Langley Research Center | ||
23:45 25mTalk | Statically Detecting Data Leakages in Data Science Codevirtual SOAP | ||
22:30 - 00:00 | |||
22:30 90mPanel | Mentoring Panel: Post-graduate Career Paths PLMW Michael Greenberg Stevens Institute of Technology, Chris Hawblitzel Microsoft Research, Hila Peleg Technion, Sukyoung Ryu KAIST, S: Deian Stefan University of California at San Diego | ||
22:30 - 00:00 | |||
22:30 45mTalk | Black Box Static Analyses with Deep Learningvirtual ASA | ||
23:15 45mTalk | Balancing the use of ML and Program Analysis for Bug finding ASA Willem Visser Amazon Web Services | ||
22:30 - 00:00 | Optimization for Compilers and LanguagesLCTES at Rousseau Center Chair(s): Yousun Ko Yonsei University | ||
22:30 20mTalk | RollBin: Reducing code-size via loop rerolling at binary levelVirtual LCTES Tianao Ge Sun Yat-sen University, Zewei Mo Sun Yat-sen University, Kan Wu Sun Yat-sen University, Xianwei Zhang Sun Yat-sen University, Yutong Lu Sun Yat-sen University | ||
22:50 20mTalk | Tighten Rust's Belt: Shrinking Embedded Rust Binaries LCTES Hudson Ayers Stanford University, Google, Evan Laufer Stanford University, Paul Mure Stanford University, Jaehyeon Park Stanford University, Eduardo Rodelo Stanford University, Thea Rossman Stanford University, Andrey Pronin Google, Philip Levis Stanford University, Johnathan Van Why Google | ||
23:10 20mTalk | JAX Based Parallel Inference for Reactive Probabilistic Programming LCTES | ||
23:30 20mTalk | Implicit State MachinesVirtual LCTES | ||
23:50 5mTalk | (WIP) Scalable Size Inliner for Mobile Applications LCTES | ||
22:30 - 00:00 | |||
22:30 15mTalk | Logging an Egg: Datalog on E-Graphs EGRAPHS Philip Zucker Draper Laboratory Pre-print Media Attached | ||
22:45 15mTalk | Chasing an egg EGRAPHS Yihong Zhang University of Washington Pre-print | ||
23:00 15mTalk | ECTAs: E-Graphs Better (at Encoding) EGRAPHS James Koppel Massachusetts Institute of Technology, USA, Zheng Guo University of California, San Diego, Edsko de Vries Well-Typed LLP, Armando Solar-Lezama Massachusetts Institute of Technology, Nadia Polikarpova University of California at San Diego | ||
23:15 15mTalk | E-Graphs, VSAs, and Tree Automata: a Rosetta StoneVirtual EGRAPHS Yisu Remy Wang University of Washington, James Koppel Massachusetts Institute of Technology, USA, Altan Haan OctoML, Josh Pollock MIT CSAIL Link to publication Pre-print | ||
23:30 15mTalk | Equality Saturation as a Tactic for Proof Assistants EGRAPHS | ||
23:45 15mTalk | Towards Optimising Certified Programs by Proof Rewriting EGRAPHS | ||
Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change
Wed 15 Jun
Displayed time zone: Pacific Time (US & Canada) change
00:00 - 02:00 | |||
00:00 2hLunch | Lunchsocial ISMM | ||
01:30 - 03:00 | Keynote 2 + PapersSOAP at Boardroom Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Laura Titolo NIA/NASA LaRC | ||
01:30 60mKeynote | Static Analysis for Data Scientists SOAP | ||
02:30 25mTalk | Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report SOAP P: Luca Olivieri University of Verona, Corvallis S.r.l., Fabio Tagliaferro University of Verona, Commercio.network S.p.A., Vincenzo Arceri University of Parma, Italy, Marco Ruaro Commercio.network S.p.A., Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Agostino Cortesi Università Ca' Foscari Venezia, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Fausto Spoto U. Verona, Enrico Talin Commercio.network S.p.A. | ||
01:30 - 03:00 | |||
01:30 90mTalk | Whose Life Are You Making Better PLMW John Regehr University of Utah | ||
01:30 - 03:00 | |||
01:30 45mTalk | Thinking Like a Developer? Comparing the Attention of Humans with Neural Models of Code ASA Michael Pradel University of Stuttgart | ||
02:15 45mTalk | Program Synthesis, Program Semantics, and Large Language Models ASA Charles Sutton Google Research | ||
01:30 - 03:00 | |||
01:30 20mTalk | Optimizing Data Reshaping Operations in Functional IRs for High-Level Synthesis LCTES Christof Schlaak University of Edinburgh, Tzung-Han Juang McGill University, Christophe Dubach McGill University | ||
01:50 20mTalk | Co-Mining: A Processing-in-Memory Assisted Framework for Memory-Intensive PoW AccelerationVirtual LCTES Tianyu Wang The Chinese University of Hong Kong, Zhaoyan Shen Shandong University, Zili Shao The Chinese University of Hong Kong | ||
02:10 20mTalk | ISKEVA: In-SSD Key-Value Database Engine for Video Analytics ApplicationsVirtual LCTES Yi Zheng The Pennsylvania State University, Joshua Fixelle University of Virginia, Nagadastagiri Challapalle The Pennsylvania State University, Pingyi Huo The Pennsylvania State University, Vijaykrishnan Narayanan The Pennsylvania State University, Zili Shao The Chinese University of Hong Kong, Mircea R. Stan University of Virginia, Zhaoyan Shen Shandong University | ||
02:30 20mTalk | An Old Friend Is Better Than Two New Ones: Dual-Screen AndroidVirtual LCTES Zizhan Chen The Chinese University of Hong Kong, Siqi Shang The Chinese University of Hong Kong, Qihong Wu The Chinese University of Hong Kong, Jin Xue The Chinese University of Hong Kong, Zhaoyan Shen Shandong University, Zili Shao The Chinese University of Hong Kong | ||
02:50 5mTalk | (WIP) Cache-Coherent CLAMVirtual LCTES Chen Ding University of Rochester, Benjamin Reber University of Rochester, Dorin Patru Rochester Institute of Technology | ||
02:00 - 04:00 | |||
02:00 30mTalk | MemSweeper: Virtualizing Cluster Memory Management for High Memory Utilization and Isolationvirtual ISMM AmirHossein Seyri University of Illinois at Chicago, Abhisek Pan Microsoft, Balajee Vamanan University of Illinois at Chicago | ||
02:30 30mTalk | Replication-based Object Persistence by Reachabilityvirtual ISMM Kotaro Matsumoto Kochi University of Technology, Tomoharu Ugawa University of Tokyo, Hideya Iwasaki University of Electro-Communications, Japan | ||
03:00 30mTalk | Concurrent and Parallel Garbage Collection for Lightweight Threads on Multicore Processorsvirtual ISMM | ||
03:30 30mBreak | Social breaksocial ISMM | ||
02:00 - 03:00 | |||
02:00 15mTalk | Quiche: A Python Implementation of E-Graphs EGRAPHS Rebecca Swords Unaffiliated | ||
02:15 15mTalk | Optimizing Large Integer Multiplier on FPGAs Using Equality SaturationVirtual EGRAPHS | ||
02:30 15mTalk | Wasm-mutate: Fuzzing WebAssembly Compilers with E-GraphsVirtual EGRAPHS Javier Cabrera Arteaga KTH Royal Institute of Technology, Nicholas Fitzgerald Fastly Inc., Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH Pre-print | ||
02:45 15mTalk | QuEgg: Automatic Optimization of Quantum Circuits Using Equality Graphs EGRAPHS Spencer King Unaffiliated | ||
03:30 - 05:20 | Keynote 3 + PapersSOAP at Boardroom Chair(s): Roberto Giacobazzi University of Verona, Laura Titolo NIA/NASA LaRC | ||
03:30 60mKeynote | Using static analysis to scale security at Meta SOAP | ||
04:30 25mTalk | ADA: A Tool for Visualizing The Architectural Overview of Open-Source Repositories SOAP P: Md Rakib Hossain Misu University of California, Irvine, Aleksandar Saša Janjanin University College London, Zhiqiang Bian University College London, Valentin-Sebastian Burlacu University College London, Naum Anteski University College London | ||
04:55 25mTalk | Modeling Code Manipulation in JIT Compilers SOAP P: HeuiChan Lim University of Arizona, Xiyu Kang University of Arizona, Saumya Debray University of Arizona | ||
03:30 - 05:00 | |||
03:30 90mPanel | Mentoring Panel: Hot Topics in PL PLMW Michael Carbin Massachusetts Institute of Technology, Andrew Myers Cornell University, Nadia Polikarpova University of California at San Diego, S: Limin Jia Carnegie Mellon University, Nikhil Swamy Microsoft Research | ||
03:30 - 05:00 | |||
03:30 45mTalk | Automated Software Testing: Bridging The Gap With Deep Learningvirtual ASA Elizabeth Dinella University of Pennsylvania | ||
04:15 45mTalk | Precise Program Reasoning using Probabilistic Methods ASA Mukund Raghothaman University of Southern California | ||
03:30 - 04:30 | |||
03:30 15mTalk | On the Optimization of Equivalent Concurrent ComputationsVirtual EGRAPHS | ||
03:45 15mTalk | Abstract Interpretation on E-Graphs EGRAPHS Samuel Coward Imperial College London, UK, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA Pre-print | ||
04:00 15mTalk | Colored E-Graph: Supporting Multiple Equivalence Relations with Resource SharingVirtual EGRAPHS | ||
04:15 15mTalk | Toward a Unified Framework for Program Optimization, Bug-Finding, and Repair EGRAPHS Jordan Schmerge Colorado School of Mines, Jake Vossen Colorado School of Mines, Jedidiah McClurg Colorado School of Mines | ||
04:00 - 05:30 | |||
04:00 60mKeynote | We Live in Interesting Timesvirtual ISMM Steve Blackburn Google and Australian National University | ||
05:00 15mDay closing | Closing Remarksvirtual ISMM | ||
09:00 - 10:10 | |||
09:00 10mOther | Welcome to PLDI 2022 PLDI Işıl Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services | ||
09:10 60mKeynote | Getting Your Research Adopted PLDI Emery D. Berger University of Massachusetts Amherst Pre-print Media Attached | ||
10:00 - 10:30 | |||
10:00 30mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
10:10 - 10:40 | |||
10:10 30mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
10:40 - 12:00 | |||
10:40 20mTalk | P4BID: Information Flow Control in P4 PLDI DOI | ||
11:00 20mTalk | ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification PLDI Sankha Narayan Guria University of Maryland, College Park, Niki Vazou IMDEA Software Institute, Marco Guarnieri IMDEA Software Institute, James Parker Galois, Inc. DOI Pre-print | ||
11:20 20mTalk | Hardening Attack Surfaces with Formally Proven Binary Format Parsers PLDI Nikhil Swamy Microsoft Research, Tahina Ramananandro Microsoft Research, Aseem Rastogi Microsoft Research, Irina Spiridonova Microsoft Research, Haobin Ni Cornell University, Dmitry Malloy Microsoft, Juan Vazquez Microsoft, Michael Tang Microsoft, Omar Cardona Microsoft, Arti Gupta Microsoft DOI | ||
11:40 20mTalk | Modular Information Flow Through Ownership PLDI Will Crichton Stanford University, Marco Patrignani University of Trento, Maneesh Agrawala Stanford University, Pat Hanrahan Stanford University, USA DOI Pre-print | ||
10:40 - 12:00 | |||
10:40 20mTalk | (OOPSLA 2020) Perfectly Parallel Fairness Certification of Neural Networks SIGPLAN Track Caterina Urban Inria & École Normale Supérieure | Université PSL, Maria Christakis MPI-SWS, Valentin Wüstholz ConsenSys, Fuyuan Zhang MPI-SWS | ||
11:00 20mTalk | (PLDI 2020) OOElala : Order-Of-Evaluation based Alias Analysis for compiler optimization SIGPLAN Track Ankush Phulia IIT Delhi, India, Vaibhav Bhagee IIT Delhi, India, Sorav Bansal IIT Delhi and CompilerAI Labs | ||
11:20 20mTalk | (POPL 2021) Simplifying Dependent Reductions with the Polyhedral Model SIGPLAN Track Cambridge Yang MIT CSAIL, Eric Atkinson MIT CSAIL, Michael Carbin Massachusetts Institute of Technology | ||
11:40 20mTalk | (POPL 2021) The Fine-Grained and Parallel Complexity of Andersen's Pointer Analysis SIGPLAN Track | ||
10:40 - 12:00 | |||
10:40 20mTalk | Is it Time to Retire Manual Concurrent Memory Reclamation? PLDI Daniel Anderson Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, Yuanhao Wei Carnegie Mellon University, USA | ||
11:00 20mTalk | Low-Latency, High-Throughput Garbage CollectionDistinguished Paper Award PLDI Wenyu Zhao Australian National University, Steve Blackburn Google and Australian National University, Kathryn S McKinley Google DOI | ||
11:20 20mTalk | Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters PLDI Haoran Ma University of California, Los Angeles, Shi Liu UCLA, Chenxi Wang UCLA, Yifan Qiao UCLA, Michael D. Bond Ohio State University, Steve Blackburn Google and Australian National University, Miryung Kim University of California at Los Angeles, USA, Guoqing Harry Xu University of California at Los Angeles DOI | ||
11:40 20mTalk | PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections PLDI Laxman Dhulipala Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, Yan Gu UC Riverside, Yihan Sun University of California, Riverside DOI | ||
12:00 - 13:00 | |||
12:00 60mLunch | Lunchsocial PLDI | ||
13:30 - 14:50 | Domain Specific LanguagesSIGPLAN Track at Cockatoo Chair(s): Zachary Tatlock University of Washington | ||
13:30 20mTalk | (POPL 2021) Petr4: Formal Foundations for P4 Data Planes SIGPLAN Track Ryan Doenges Cornell University, Mina Tahmasbi Arashloo Cornell University, Santiago Bautista Univ Rennes, ENS Rennes, Inria, IRISA, Alexander Chang Cornell University, Newton Ni Cornell University, Samwise Parkinson Cornell University, Rudy Peterson Cornell University, Alaia Solko-Breslin Cornell University, Amanda Xu Cornell University, Nate Foster Cornell University | ||
13:50 20mTalk | (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types SIGPLAN Track Rachit Nigam Cornell University, Sachille Atapattu Cornell University, USA, Samuel Thomas Cornell University, USA, Theodore Bauer AWS Inc, Apurva Koti Cornell University, USA, Zhijing Li Cornell University, USA, Yuwei Ye Cornell University, USA, Adrian Sampson Cornell University, Zhiru Zhang Cornell University, USA | ||
14:10 20mTalk | (POPL 2022) Dependently-Typed Data Plane Programming SIGPLAN Track Matthias Eichholz Technical University of Darmstadt, Eric Campbell Cornell University, Matthias Krebs TU Darmstadt, Nate Foster Cornell University, Mira Mezini TU Darmstadt | ||
14:30 20mTalk | (POPL 2022) Safe, Modular Packet Pipeline Programming SIGPLAN Track | ||
13:30 - 14:50 | |||
13:30 20mTalk | WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration PLDI Rui Dong University of Michigan, Zhicheng Huang University of Michigan, Ian Iong Lam University of Michigan, Yan Chen University of Michigan, Xinyu Wang University of Michigan DOI Pre-print | ||
13:50 20mTalk | Synthesizing Analytical SQL Queries from Computation DemonstrationDistinguished Paper Award PLDI Xiangyu Zhou University of Washington, Rastislav Bodík University of Washington, Alvin Cheung University of California, Berkeley, Chenglong Wang University of Washington, USA DOI | ||
14:10 20mTalk | Type-Directed Program Synthesis for RESTful APIs PLDI Zheng Guo University of California, San Diego, David Cao University of California, San Diego, Davin Tjong University of California, San Diego, Jean Yang Akita Software, Cole Schlesinger Akita Software, Nadia Polikarpova University of California at San Diego DOI | ||
14:30 20mTalk | Visualization Question Answering Using Introspective Program SynthesisDistinguished Paper Award PLDI Yanju Chen University of California, Santa Barbara, Xifeng Yan University of California, Santa Barbara, Yu Feng University of California, Santa Barbara DOI | ||
13:30 - 14:50 | |||
13:30 20mTalk | (OOPSLA 2021) Reconciling Optimization with Secure Compilation SIGPLAN Track Son Tuan Vu Sorbonne Université, CNRS, Laboratoire d'Informatique de Paris 6, LIP6, Albert Cohen Google, Arnaud de Grandmaison , Christophe Guillon STMicroelectronics, Karine Heydemann Sorbonne University; CNRS; LIP6 Link to publication DOI Authorizer link Pre-print | ||
13:50 20mTalk | (PLDI 2020) Constant-Time Foundations for the New Spectre Era SIGPLAN Track Sunjay Cauligi University of California at San Diego, USA, Craig Disselkoen University of California at San Diego, USA, Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands, Dean Tullsen University of California at San Diego, USA, Deian Stefan University of California at San Diego, Tamara Rezk INRIA, Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain | ||
14:10 20mTalk | (PLDI 2020) SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework SIGPLAN Track Sotiris Apostolakis Google, Ziyang Xu Princeton University, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton University | ||
14:30 20mTalk | (POPL 2021) Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade SIGPLAN Track Marco Vassena Utrecht University, Craig Disselkoen University of California at San Diego, USA, Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands, Sunjay Cauligi University of California at San Diego, USA, Rami Gökhan Kıcı University of California at San Diego, USA, Ranjit Jhala University of California at San Diego; Amazon Web Services, Dean Tullsen University of California at San Diego, USA, Deian Stefan University of California at San Diego | ||
13:30 - 14:50 | |||
13:30 20mTalk | Finding Typing Compiler BugsDistinguished Paper Award PLDI Stefanos Chaliasos Imperial College London, Thodoris Sotiropoulos Athens University of Economics and Business, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Arthur Gervais Imperial College London, Ben Livshits Imperial College London, UK, Dimitris Mitropoulos University of Athens DOI | ||
13:50 20mTalk | IRDL: An IR Definition Language for SSA Compilers PLDI Mathieu Fehr University of Edinburgh, Jeff Niu University of Waterloo, River Riddle Google, Mehdi Amini Google, Zhendong Su ETH Zurich, Tobias Grosser University of Edinburgh DOI | ||
14:10 20mTalk | Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency PLDI Minki Cho Seoul National University, Sung-Hwan Lee Seoul National University, Dongjae Lee Seoul National University, Chung-Kil Hur Seoul National University, Ori Lahav Tel Aviv University DOI Pre-print | ||
14:30 20mTalk | Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations PLDI Olivier Flückiger Northeastern University, Jan Ječmen Czech Technical University, Sebastián Krynski Czech Technical University, Jan Vitek Northeastern University; Czech Technical University DOI Pre-print | ||
14:50 - 15:30 | |||
14:50 40mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
15:30 - 16:50 | |||
15:30 20mTalk | (PLDI 2020) Inductive Sequentialization of Asynchronous Programs SIGPLAN Track Constantin Enea Ecole Polytechnique / LIX / CNRS, Thomas A. Henzinger IST Austria, Austria, Bernhard Kragl IST Austria, Suha Orhun Mutluergil IRIF, France / University Paris Diderot, France / CNRS, France, Shaz Qadeer Novi, USA | ||
15:50 20mTalk | (PLDI 2021) When Threads Meet Events: Efficient and Precise Static Race Detection with Origins SIGPLAN Track Bozhen Liu Texas A&M University, USA, Peiming Liu Texas A&M University, Yanze Li University of British Columbia, Chia-Che Tsai Texas A&M University, Dilma Da Silva Texas A&M, Jeff Huang Texas A&M University | ||
16:10 20mTalk | (POPL 2021) Optimal Prediction of Synchronization-Preserving Races SIGPLAN Track Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University, Mahesh Viswanathan University of Illinois at Urbana-Champaign | ||
16:30 20mTalk | (POPL 2022) Visibility Reasoning for Concurrent Snapshot Algorithms SIGPLAN Track Joakim Öhman IMDEA Software Institute; Universidad Politécnica de Madrid, Aleksandar Nanevski IMDEA Software Institute | ||
15:30 - 16:55 | |||
15:30 20mTalk | Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? PLDI Wonhyuk Choi Meta; Columbia University, Bernd Finkbeiner CISPA Helmholtz Center for Information Security, Ruzica Piskac Yale University, Mark Santolucito Barnard College, Columbia University, USA DOI Pre-print | ||
15:50 20mTalk | Recursion Synthesis with Unrealizability Witnesses PLDI Azadeh Farzan University of Toronto, Danya Lette University of Toronto, Victor Nicolet University of Toronto DOI | ||
16:10 20mTalk | TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) PLDI Link to publication DOI Authorizer link Pre-print | ||
16:30 20mTalk | “Synthesizing Input Grammars”: A Replication Study PLDI Bachir Bendrissou CISPA Helmholtz Center for Information Security, Rahul Gopinath University of Sydney, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print | ||
16:50 5mTalk | Response by authors of "Synthesizing Input Grammars" PLDI Osbert Bastani University of Pennsylvania | ||
15:30 - 16:50 | |||
15:30 20mTalk | Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model PLDI DOI | ||
15:50 20mTalk | DISTAL: The Distributed Tensor Algebra Compiler PLDI Rohan Yadav Stanford University, Alex Aiken Stanford Univeristy, Fredrik Kjolstad Stanford University DOI | ||
16:10 20mTalk | All you need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP PLDI Yishen Chen Massachusetts Institute of Technology, Charith Mendis University of Illinois at Urbana-Champaign, Saman Amarasinghe Massachusetts Institute of Technology DOI | ||
16:30 20mTalk | Warping Cache Simulation of Polyhedral Programs PLDI DOI | ||
17:00 - 17:40 | |||
17:00 20mTalk | Designing for ABI-Stable Software Evolution in the Swift Programming Language PLDI Doug Gregor Apple | ||
17:20 20mTalk | Meta Research and Opportunities PLDI Francesco Logozzo Facebook | ||
18:00 - 19:00 | |||
18:00 60mSocial Event | PLDI 2022 Reception (sponsored by WhatsApp by Meta)social PLDI | ||
19:00 - 22:00 | |||
19:00 3hDinner | W@PLDI Dinnersocial W@PLDI | ||
21:00 - 22:10 | |||
21:00 10mOther | Welcome to PLDI 2022 PLDI Işıl Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services | ||
21:10 60mKeynote | Getting Your Research Adopted PLDI Emery D. Berger University of Massachusetts Amherst Pre-print Media Attached | ||
21:00 - 21:30 | |||
21:00 30mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
22:40 - 00:00 | |||
22:40 20mTalk | P4BID: Information Flow Control in P4 PLDI DOI | ||
23:00 20mTalk | ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification PLDI Sankha Narayan Guria University of Maryland, College Park, Niki Vazou IMDEA Software Institute, Marco Guarnieri IMDEA Software Institute, James Parker Galois, Inc. DOI Pre-print | ||
23:20 20mTalk | Hardening Attack Surfaces with Formally Proven Binary Format Parsers PLDI Nikhil Swamy Microsoft Research, Tahina Ramananandro Microsoft Research, Aseem Rastogi Microsoft Research, Irina Spiridonova Microsoft Research, Haobin Ni Cornell University, Dmitry Malloy Microsoft, Juan Vazquez Microsoft, Michael Tang Microsoft, Omar Cardona Microsoft, Arti Gupta Microsoft DOI | ||
23:40 20mTalk | Modular Information Flow Through Ownership PLDI Will Crichton Stanford University, Marco Patrignani University of Trento, Maneesh Agrawala Stanford University, Pat Hanrahan Stanford University, USA DOI Pre-print | ||
22:40 - 00:00 | |||
22:40 20mTalk | Is it Time to Retire Manual Concurrent Memory Reclamation? PLDI Daniel Anderson Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, Yuanhao Wei Carnegie Mellon University, USA | ||
23:00 20mTalk | Low-Latency, High-Throughput Garbage CollectionDistinguished Paper Award PLDI Wenyu Zhao Australian National University, Steve Blackburn Google and Australian National University, Kathryn S McKinley Google DOI | ||
23:20 20mTalk | Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters PLDI Haoran Ma University of California, Los Angeles, Shi Liu UCLA, Chenxi Wang UCLA, Yifan Qiao UCLA, Michael D. Bond Ohio State University, Steve Blackburn Google and Australian National University, Miryung Kim University of California at Los Angeles, USA, Guoqing Harry Xu University of California at Los Angeles DOI | ||
23:40 20mTalk | PaC-trees: Supporting Parallel and Compressed Purely-Functional Collections PLDI Laxman Dhulipala Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, Yan Gu UC Riverside, Yihan Sun University of California, Riverside DOI | ||
Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change
Thu 16 Jun
Displayed time zone: Pacific Time (US & Canada) change
01:30 - 02:50 | |||
01:30 20mTalk | WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration PLDI Rui Dong University of Michigan, Zhicheng Huang University of Michigan, Ian Iong Lam University of Michigan, Yan Chen University of Michigan, Xinyu Wang University of Michigan DOI Pre-print | ||
01:50 20mTalk | Synthesizing Analytical SQL Queries from Computation DemonstrationDistinguished Paper Award PLDI Xiangyu Zhou University of Washington, Rastislav Bodík University of Washington, Alvin Cheung University of California, Berkeley, Chenglong Wang University of Washington, USA DOI | ||
02:10 20mTalk | Type-Directed Program Synthesis for RESTful APIs PLDI Zheng Guo University of California, San Diego, David Cao University of California, San Diego, Davin Tjong University of California, San Diego, Jean Yang Akita Software, Cole Schlesinger Akita Software, Nadia Polikarpova University of California at San Diego DOI | ||
02:30 20mTalk | Visualization Question Answering Using Introspective Program SynthesisDistinguished Paper Award PLDI Yanju Chen University of California, Santa Barbara, Xifeng Yan University of California, Santa Barbara, Yu Feng University of California, Santa Barbara DOI | ||
01:30 - 02:50 | |||
01:30 20mTalk | Finding Typing Compiler BugsDistinguished Paper Award PLDI Stefanos Chaliasos Imperial College London, Thodoris Sotiropoulos Athens University of Economics and Business, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Arthur Gervais Imperial College London, Ben Livshits Imperial College London, UK, Dimitris Mitropoulos University of Athens DOI | ||
01:50 20mTalk | IRDL: An IR Definition Language for SSA Compilers PLDI Mathieu Fehr University of Edinburgh, Jeff Niu University of Waterloo, River Riddle Google, Mehdi Amini Google, Zhendong Su ETH Zurich, Tobias Grosser University of Edinburgh DOI | ||
02:10 20mTalk | Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency PLDI Minki Cho Seoul National University, Sung-Hwan Lee Seoul National University, Dongjae Lee Seoul National University, Chung-Kil Hur Seoul National University, Ori Lahav Tel Aviv University DOI Pre-print | ||
02:30 20mTalk | Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations PLDI Olivier Flückiger Northeastern University, Jan Ječmen Czech Technical University, Sebastián Krynski Czech Technical University, Jan Vitek Northeastern University; Czech Technical University DOI Pre-print | ||
02:30 - 03:00 | |||
02:30 30mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
03:30 - 04:55 | |||
03:30 20mTalk | Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends? PLDI Wonhyuk Choi Meta; Columbia University, Bernd Finkbeiner CISPA Helmholtz Center for Information Security, Ruzica Piskac Yale University, Mark Santolucito Barnard College, Columbia University, USA DOI Pre-print | ||
03:50 20mTalk | Recursion Synthesis with Unrealizability Witnesses PLDI Azadeh Farzan University of Toronto, Danya Lette University of Toronto, Victor Nicolet University of Toronto DOI | ||
04:10 20mTalk | TF-Coder: Program Synthesis for Tensor Manipulations (TOPLAS) PLDI Link to publication DOI Authorizer link Pre-print | ||
04:30 20mTalk | “Synthesizing Input Grammars”: A Replication Study PLDI Bachir Bendrissou CISPA Helmholtz Center for Information Security, Rahul Gopinath University of Sydney, Andreas Zeller CISPA Helmholtz Center for Information Security DOI Pre-print | ||
04:50 5mTalk | Response by authors of "Synthesizing Input Grammars" PLDI Osbert Bastani University of Pennsylvania | ||
03:30 - 04:50 | |||
03:30 20mTalk | Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model PLDI DOI | ||
03:50 20mTalk | DISTAL: The Distributed Tensor Algebra Compiler PLDI Rohan Yadav Stanford University, Alex Aiken Stanford Univeristy, Fredrik Kjolstad Stanford University DOI | ||
04:10 20mTalk | All you need is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP PLDI Yishen Chen Massachusetts Institute of Technology, Charith Mendis University of Illinois at Urbana-Champaign, Saman Amarasinghe Massachusetts Institute of Technology DOI | ||
04:30 20mTalk | Warping Cache Simulation of Polyhedral Programs PLDI DOI | ||
09:00 - 10:10 | Keynote: Margo SeltzerPLDI at Kon-Tiki +12h Chair(s): Ranjit Jhala University of California at San Diego; Amazon Web Services | ||
09:00 10mOther | The PLDI Song PLDI | ||
09:10 60mKeynote | Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With PLDI Margo Seltzer University of British Columbia | ||
10:10 - 10:40 | |||
10:10 30mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
10:30 - 11:50 | |||
10:40 - 12:00 | |||
10:40 20mTalk | (PLDI 2021) DreamCoder: Bootstrapping inductive program synthesis with wake-sleep library learning SIGPLAN Track 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 MIT | ||
11:00 20mTalk | (POPL 2021) egg: Fast and Extensible Equality Saturation SIGPLAN Track Max Willsey University of Washington, Chandrakana Nandi Certora, inc., Yisu Remy Wang University of Washington, Oliver Flatt University of Utah, Zachary Tatlock University of Washington, Pavel Panchekha University of Utah | ||
11:20 20mTalk | (POPL 2022) Relational E-Matching SIGPLAN Track Yihong Zhang University of Washington, Yisu Remy Wang University of Washington, Max Willsey University of Washington, Zachary Tatlock University of Washington | ||
11:40 20mTalk | (OOPSLA 2020) Just-in-Time Learning for Bottom-up Enumerative Synthesis SIGPLAN Track Shraddha Barke University of California at San Diego, Hila Peleg Technion, Nadia Polikarpova University of California at San Diego | ||
10:40 - 12:00 | |||
10:40 20mTalk | Certified Mergeable Replicated Data Types PLDI Vimala Soundarapandian IIT Madras, Adharsh Kamath NITK Surathkal, Kartik Nagar IIT Madras, KC Sivaramakrishnan IIT Madras and Tarides DOI Pre-print | ||
11:00 20mTalk | Hamband: RDMA Replicated Data Types PLDI Farzin Houshmand University of California, Riverside, Javad Saberlatibari University of California Riverside, Mohsen Lesani University of California at Riverside DOI | ||
11:20 20mTalk | RunTime-Assisted Convergence in Replicated Data Types PLDI Gowtham Kaki University of Colorado Boulder, Prasanth Prahladan University of Colorado Boulder, Nicholas V. Lewchenko University of Colorado Boulder DOI | ||
11:40 20mTalk | Adore: Atomic Distributed Objects with Certified Reconfiguration PLDI Wolf Honore Yale University, Ji-Yong Shin Northeastern University, Jieung Kim Yale University, USA, Zhong Shao Yale University DOI Pre-print | ||
10:40 - 12:00 | |||
10:40 20mTalk | (ICFP 2021) Formal Verification of a Concurrent Bounded Queue in a Weak Memory Model SIGPLAN Track Glen Mével Inria, Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire des méthodes formelles, Jacques-Henri Jourdan Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles | ||
11:00 20mTalk | (PLDI 2020) Zippy LL(1) Parsing with Derivatives SIGPLAN Track | ||
11:20 20mTalk | (PLDI 2021) CoStar: A Verified ALL(*) Parser SIGPLAN Track Sam Lasser Tufts University, Chris Casinghino Draper Laboratory, Kathleen Fisher Tufts University, Cody Roux Draper | ||
11:40 20mTalk | (PLDI 2021) Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic SIGPLAN Track Simon Spies MPI-SWS & Saarland University, Lennard Gäher MPI-SWS & Saarland University, Daniel Gratzer Aarhus University, Joseph Tassarotti Boston College, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS, Lars Birkedal Aarhus University | ||
10:40 - 12:00 | |||
10:40 20mTalk | CycleQ: an efficient basis for cyclic equational reasoning PLDI Eddie Jones University of Bristol, C.-H. Luke Ong University of Oxford, Steven Ramsay University of Bristol DOI | ||
11:00 20mTalk | Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries PLDI DOI Pre-print | ||
11:20 20mTalk | Abstract Interpretation Repair PLDI Roberto Bruni University of Pisa, Roberto Giacobazzi University of Verona, Roberta Gori University of Pisa, Francesco Ranzato University of Padova DOI Pre-print | ||
11:40 20mTalk | Differential Cost Analysis with Simultaneous Potentials and Anti-potentials PLDI Đorđe Žikelić IST Austria, Pauline Bolignano Amazon, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Franco Raimondi Amazon & Middlesex University DOI Pre-print | ||
12:00 - 13:00 | |||
12:00 60mLunch | Lunchsocial PLDI | ||
13:30 - 14:50 | |||
13:30 20mTalk | A Flexible Type System for Fearless Concurrency PLDI Mae Milano University of California, Berkeley, Julia Turcotti University of California, Berkeley, Andrew Myers Cornell University DOI | ||
13:50 20mTalk | A Study of Real-world Data Races in Golang PLDI DOI | ||
14:10 20mTalk | Checking Robustness to Weak Persistency Models PLDI Hamed Gorjiara University of California, Irvine, Weiyu Luo University of California, Irvine, Alex Lee University of California, Irvine, Guoqing Harry Xu University of California at Los Angeles, Brian Demsky University of California, Irvine DOI | ||
14:30 20mTalk | Sound Sequentialization for Concurrent Program Verification PLDI Azadeh Farzan University of Toronto, Dominik Klumpp University of Freiburg, Andreas Podelski University of Freiburg, Germany DOI File Attached | ||
13:30 - 14:50 | |||
13:30 20mTalk | (ICFP 2020) Kinds Are Calling Conventions SIGPLAN Track Paul Downen University of Massachusetts Lowell, Zena M. Ariola University of Oregon, Simon Peyton Jones Microsoft Research, Richard A. Eisenberg Tweag Link to publication DOI Authorizer link Pre-print | ||
13:50 20mTalk | (OOPSLA 2021) Study of the subtyping machine of nominal subtyping with variance SIGPLAN Track Ori Roth Technion Link to publication DOI Authorizer link Pre-print | ||
14:10 20mTalk | (POPL 2021) Fully Abstract from Static to Gradual SIGPLAN Track | ||
14:30 20mTalk | (POPL 2021) On the Semantic Expressiveness of Recursive Types SIGPLAN Track | ||
13:30 - 14:50 | |||
13:30 20mTalk | Choosing Mathematical Function Implementations for Speed and Accuracy PLDI DOI | ||
13:50 20mTalk | Guaranteed bounds for posterior inference in universal probabilistic programming PLDI Raven Beutner CISPA Helmholtz Center for Information Security, Germany, C.-H. Luke Ong University of Oxford, Fabian Zaiser University of Oxford DOI Pre-print | ||
14:10 20mTalk | Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries PLDI Mridul Aanjaneya Rutgers University, Jay P. Lim Yale University, Santosh Nagarakatte Rutgers University Link to publication DOI Pre-print | ||
14:30 20mTalk | Karp: A Language for NP Reductions PLDI Chenhao Zhang Northwestern University, Jason D. Hartline Northwestern University, Christos Dimoulas PLT @ Northwestern University DOI | ||
14:50 - 15:30 | |||
14:50 40mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
15:30 - 16:50 | |||
15:30 20mTalk | (OOPSLA 2020) A Model for Detecting Faults in Build Specifications SIGPLAN Track Thodoris Sotiropoulos Athens University of Economics and Business, Stefanos Chaliasos Imperial College London, Dimitris Mitropoulos University of Athens, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology | ||
15:50 20mTalk | (OOPSLA 2020) Unifying Execution of Imperative Generators and Declarative Specifications SIGPLAN Track Pengyu Nie University of Texas at Austin, Marinela Parovic University of Texas at Austin, Zhiqiang Zang University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin, Aleksandar Milicevic Microsoft, Milos Gligoric University of Texas at Austin | ||
16:10 20mTalk | (PLDI 2021) Logical Bytecode Reduction SIGPLAN Track Christian Gram Kalhauge Technical University of Denmark, Jens Palsberg University of California, Los Angeles (UCLA) | ||
16:30 20mTalk | (PLDI 2021) Quantum abstract interpretation SIGPLAN Track Link to publication DOI Authorizer link Pre-print | ||
15:30 - 16:50 | |||
15:30 20mTalk | A Typed Continuation-Passing Translation for Lexical Effect Handlers PLDI Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen, Marius Müller University of Tübingen, Klaus Ostermann University of Tuebingen DOI | ||
15:50 20mTalk | Deep and Shallow Types for Gradual Languages PLDI Ben Greenman Brown University DOI | ||
16:10 20mTalk | Kleene Algebra Modulo Theories: A Framework for Concrete KATsDistinguished Paper Award PLDI Michael Greenberg Stevens Institute of Technology, Ryan Beckett Microsoft Research, USA, Eric Campbell Cornell University DOI Pre-print | ||
16:30 20mTalk | Semantic Soundness for Language Interoperability PLDI Daniel Patterson Northeastern University, Noble Mushtak Northeastern University, Andrew Wagner Northeastern University, Amal Ahmed Northeastern University (USA) DOI | ||
15:30 - 16:50 | |||
15:30 20mTalk | (PLDI 2020) Automatic Generation of Efficient Sparse Tensor Format Conversion Routines SIGPLAN Track Stephen Chou Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University, Saman Amarasinghe MIT CSAIL | ||
15:50 20mTalk | (PLDI 2020) NVTraverse: In NVRAM Data Structures, the Destination is More Important than the Journey SIGPLAN Track Naama Ben-David Carnegie Mellon University, USA, Guy E. Blelloch Carnegie Mellon University, Michal Friedman Technion, Israel, Erez Petrank Technion, Israel, Yuanhao Wei Carnegie Mellon University, USA | ||
16:10 20mTalk | (PLDI 2021) Mirror: Making Lock-Free Data Structures Persistent SIGPLAN Track | ||
16:30 20mTalk | (POPL 2021) Provably Space Efficient Parallel Functional Programming SIGPLAN Track Jatin Arora Carnegie Mellon University, Sam Westrick Carnegie Mellon University, Umut A. Acar Carnegie Mellon University | ||
15:30 - 16:50 | |||
15:30 20mTalk | Quartz: Superoptimization of Quantum Circuits PLDI Mingkuan Xu Carnegie Mellon University, Zikun Li University of California, Los Angeles (UCLA), Oded Padon VMware Research, Sina Lin Microsoft, Jessica Pointing University of Oxford, Auguste Hirth University of California, Los Angeles (UCLA), Henry Ma University of California, Los Angeles (UCLA), Jens Palsberg University of California, Los Angeles (UCLA), Alex Aiken Stanford Univeristy, Umut A. Acar Carnegie Mellon University, Zhihao Jia Carnegie Mellon University DOI | ||
15:50 20mTalk | Giallar: Push-button Verification for the Qiskit Quantum Compiler PLDI Runzhou Tao Columbia University, Yunong Shi Amazon, Jianan Yao Columbia University, Xupeng Li Columbia University, Ali Javadi-Abhari IBM, Andrew Cross IBM T.J Watson Research Center, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University DOI | ||
16:10 20mTalk | Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra PLDI Yuxiang Peng University of Maryland, Mingsheng Ying Tsinghua University, Xiaodi Wu Department of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD DOI | ||
16:30 20mTalk | PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics PLDI Michael Christensen University of California at Santa Barbara, Georgios Tzimpragos UC Santa Barbara, Harlan Kringen UC Santa Barbara, Jennifer Volk UC Santa Barbara, Timothy Sherwood UC Santa Barbara, Ben Hardekopf UC Santa Barbara DOI | ||
21:00 - 22:10 | |||
21:00 10mOther | The PLDI Song PLDI | ||
21:10 60mKeynote | Imposter Syndrome, Stupid Questions, and Eight (+/-2) Problems I Need your Help With PLDI Margo Seltzer University of British Columbia | ||
21:00 - 21:30 | |||
21:00 30mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
22:40 - 00:00 | |||
22:40 20mTalk | Certified Mergeable Replicated Data Types PLDI Vimala Soundarapandian IIT Madras, Adharsh Kamath NITK Surathkal, Kartik Nagar IIT Madras, KC Sivaramakrishnan IIT Madras and Tarides DOI Pre-print | ||
23:00 20mTalk | Hamband: RDMA Replicated Data Types PLDI Farzin Houshmand University of California, Riverside, Javad Saberlatibari University of California Riverside, Mohsen Lesani University of California at Riverside DOI | ||
23:20 20mTalk | RunTime-Assisted Convergence in Replicated Data Types PLDI Gowtham Kaki University of Colorado Boulder, Prasanth Prahladan University of Colorado Boulder, Nicholas V. Lewchenko University of Colorado Boulder DOI | ||
23:40 20mTalk | Adore: Atomic Distributed Objects with Certified Reconfiguration PLDI Wolf Honore Yale University, Ji-Yong Shin Northeastern University, Jieung Kim Yale University, USA, Zhong Shao Yale University DOI Pre-print | ||
22:40 - 00:00 | |||
22:40 20mTalk | CycleQ: an efficient basis for cyclic equational reasoning PLDI Eddie Jones University of Bristol, C.-H. Luke Ong University of Oxford, Steven Ramsay University of Bristol DOI | ||
23:00 20mTalk | Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries PLDI DOI Pre-print | ||
23:20 20mTalk | Abstract Interpretation Repair PLDI Roberto Bruni University of Pisa, Roberto Giacobazzi University of Verona, Roberta Gori University of Pisa, Francesco Ranzato University of Padova DOI Pre-print | ||
23:40 20mTalk | Differential Cost Analysis with Simultaneous Potentials and Anti-potentials PLDI Đorđe Žikelić IST Austria, Pauline Bolignano Amazon, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Franco Raimondi Amazon & Middlesex University DOI Pre-print | ||
Fri 17 JunDisplayed time zone: Pacific Time (US & Canada) change
Fri 17 Jun
Displayed time zone: Pacific Time (US & Canada) change
01:30 - 02:50 | |||
01:30 20mTalk | A Flexible Type System for Fearless Concurrency PLDI Mae Milano University of California, Berkeley, Julia Turcotti University of California, Berkeley, Andrew Myers Cornell University DOI | ||
01:50 20mTalk | A Study of Real-world Data Races in Golang PLDI DOI | ||
02:10 20mTalk | Checking Robustness to Weak Persistency Models PLDI Hamed Gorjiara University of California, Irvine, Weiyu Luo University of California, Irvine, Alex Lee University of California, Irvine, Guoqing Harry Xu University of California at Los Angeles, Brian Demsky University of California, Irvine DOI | ||
02:30 20mTalk | Sound Sequentialization for Concurrent Program Verification PLDI Azadeh Farzan University of Toronto, Dominik Klumpp University of Freiburg, Andreas Podelski University of Freiburg, Germany DOI File Attached | ||
01:30 - 02:50 | |||
01:30 20mTalk | Choosing Mathematical Function Implementations for Speed and Accuracy PLDI DOI | ||
01:50 20mTalk | Guaranteed bounds for posterior inference in universal probabilistic programming PLDI Raven Beutner CISPA Helmholtz Center for Information Security, Germany, C.-H. Luke Ong University of Oxford, Fabian Zaiser University of Oxford DOI Pre-print | ||
02:10 20mTalk | Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries PLDI Mridul Aanjaneya Rutgers University, Jay P. Lim Yale University, Santosh Nagarakatte Rutgers University Link to publication DOI Pre-print | ||
02:30 20mTalk | Karp: A Language for NP Reductions PLDI Chenhao Zhang Northwestern University, Jason D. Hartline Northwestern University, Christos Dimoulas PLT @ Northwestern University DOI | ||
02:30 - 03:00 | |||
02:30 30mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
03:30 - 04:50 | |||
03:30 20mTalk | A Typed Continuation-Passing Translation for Lexical Effect Handlers PLDI Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen, Marius Müller University of Tübingen, Klaus Ostermann University of Tuebingen DOI | ||
03:50 20mTalk | Deep and Shallow Types for Gradual Languages PLDI Ben Greenman Brown University DOI | ||
04:10 20mTalk | Kleene Algebra Modulo Theories: A Framework for Concrete KATsDistinguished Paper Award PLDI Michael Greenberg Stevens Institute of Technology, Ryan Beckett Microsoft Research, USA, Eric Campbell Cornell University DOI Pre-print | ||
04:30 20mTalk | Semantic Soundness for Language Interoperability PLDI Daniel Patterson Northeastern University, Noble Mushtak Northeastern University, Andrew Wagner Northeastern University, Amal Ahmed Northeastern University (USA) DOI | ||
03:30 - 04:50 | |||
03:30 20mTalk | Quartz: Superoptimization of Quantum Circuits PLDI Mingkuan Xu Carnegie Mellon University, Zikun Li University of California, Los Angeles (UCLA), Oded Padon VMware Research, Sina Lin Microsoft, Jessica Pointing University of Oxford, Auguste Hirth University of California, Los Angeles (UCLA), Henry Ma University of California, Los Angeles (UCLA), Jens Palsberg University of California, Los Angeles (UCLA), Alex Aiken Stanford Univeristy, Umut A. Acar Carnegie Mellon University, Zhihao Jia Carnegie Mellon University DOI | ||
03:50 20mTalk | Giallar: Push-button Verification for the Qiskit Quantum Compiler PLDI Runzhou Tao Columbia University, Yunong Shi Amazon, Jianan Yao Columbia University, Xupeng Li Columbia University, Ali Javadi-Abhari IBM, Andrew Cross IBM T.J Watson Research Center, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University DOI | ||
04:10 20mTalk | Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra PLDI Yuxiang Peng University of Maryland, Mingsheng Ying Tsinghua University, Xiaodi Wu Department of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD DOI | ||
04:30 20mTalk | PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics PLDI Michael Christensen University of California at Santa Barbara, Georgios Tzimpragos UC Santa Barbara, Harlan Kringen UC Santa Barbara, Jennifer Volk UC Santa Barbara, Timothy Sherwood UC Santa Barbara, Ben Hardekopf UC Santa Barbara DOI | ||
09:00 - 10:00 | |||
09:00 60mMeeting | Business Meeting PLDI Işıl Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services, Steve Blackburn Google and Australian National University | ||
10:10 - 10:40 | |||
10:10 30mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
10:40 - 12:00 | |||
10:40 20mTalk | (OOPSLA 2020) Scaling Exact Inference for Discrete Probabilistic Programs SIGPLAN Track Steven Holtzen Northeastern University, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California at Los Angeles | ||
11:00 20mTalk | (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity SIGPLAN Track Alejandro Aguirre IMDEA Software Institute and T.U. of Madrid (UPM), Gilles Barthe MPI-SP, Germany / IMDEA Software Institute, Spain, Justin Hsu Cornell University, Benjamin Lucien Kaminski Saarland University and University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja Technical University of Denmark | ||
11:20 20mTalk | (PLDI 2021) On Probabilistic Termination of Functional Programs with Continuous Distributions SIGPLAN Track Raven Beutner CISPA Helmholtz Center for Information Security, Germany, C.-H. Luke Ong University of Oxford | ||
11:40 20mTalk | (POPL 2021) Paradoxes of probabilistic programming SIGPLAN Track Jules Jacobs Radboud University | ||
10:40 - 12:00 | |||
10:40 20mTalk | Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matchingvirtual PLDI Konstantinos Mamouras Rice University, Kaiyuan Yang Rice University, Lingkun Kong Rice University, Qixuan Yu Rice University, Agnishom Chattopadhyay Rice University, Alexis Le Glaunec Rice University, Yi Huang Rice University Link to publication DOI | ||
12:00 - 13:00 | |||
12:00 60mLunch | Lunchsocial PLDI | ||
13:30 - 14:50 | |||
13:30 20mTalk | (POPL 2022) Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs SIGPLAN Track Charles Yuan Massachusetts Institute of Technology, Christopher McNally Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology Link to publication DOI Authorizer link Pre-print | ||
13:50 20mTalk | (ICFP 2020) Compiling effect handlers in capability-passing style SIGPLAN Track Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen, Klaus Ostermann University of Tuebingen Link to publication DOI Authorizer link Pre-print | ||
14:10 20mTalk | (POPL 2021) Intensional Datatype Refinement SIGPLAN Track | ||
14:30 20mTalk | (POPL 2021) A Verified Optimizer for Quantum Circuits SIGPLAN Track Kesha Hietala University of Maryland, Robert Rand University of Chicago, Shih-Han Hung University of Maryland, USA, Xiaodi Wu Department of Computer Science, Institute for Advanced Computer Studies, and Joint Center for Quantum Information and Computer Science, University of Maryland, MD, Michael Hicks University of Maryland at College Park | ||
14:50 - 15:30 | |||
14:50 40mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
15:30 - 16:50 | |||
15:30 20mTalk | Relational Compilation for Performance-Critical Applications PLDI Clément Pit-Claudel EPFL, AWS, Jade Philipoom MIT CSAIL, Dustin Jamner MIT CSAIL, Andres Erbsen MIT CSAIL, Adam Chlipala MIT CSAIL Link to publication DOI Pre-print | ||
15:50 20mTalk | Formally Verified Lifting of C-compiled x86-64 Binaries PLDI Freek Verbeek Open University of The Netherlands & Virginia Tech, Joshua A. Bockenek Virginia Tech, Zhoulai Fu University of California, Davis, Binoy Ravindran Virginia Tech DOI | ||
16:10 20mTalk | Leapfrog: Certified Equivalence for Protocol Parsers PLDI Ryan Doenges Cornell University, Tobias Kappé ILLC, University of Amsterdam, John Sarracino Cornell University, Nate Foster Cornell University, Greg Morrisett Cornell Tech DOI Pre-print | ||
16:30 20mTalk | Computing Correctly with Inductive Relations PLDI Zoe Paraskevopoulou Northeastern University, Aaron Eline University of Maryland, Leonidas Lampropoulos University of Maryland DOI | ||
15:30 - 16:50 | |||
15:30 20mTalk | Interpreter-guided Differential JIT Compiler Unit Testingvirtual PLDI Guillermo Polito Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium, Stéphane Ducasse Inria, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium DOI | ||
15:50 20mTalk | Landmarks and Regions: A Robust Approach to Data Extractionvirtual PLDI Suresh Parthasarathy Microsoft Research, Lincy Pattanaik Microsoft Research, Anirudh Khatry Microsoft Research, Arun Iyer Microsoft Research, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research, Mohammad Raza Microsoft DOI | ||
16:10 20mTalk | Odin: On-Demand Instrumentation with On-the-Fly Recompilationvirtual PLDI Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Chijin Zhou Tsinghua University, Zhiyong Wu Tsinghua University, Xinyi Xu Tsinghua University, Yu Jiang Tsinghua University DOI | ||
16:30 20mTalk | Quickstrom: Property-based acceptance testing with LTL specificationsvirtual PLDI DOI | ||
21:00 - 22:00 | |||
21:00 60mMeeting | Business Meeting PLDI Işıl Dillig University of Texas at Austin, Ranjit Jhala University of California at San Diego; Amazon Web Services, Steve Blackburn Google and Australian National University | ||
21:00 - 21:30 | |||
21:00 30mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
22:40 - 00:00 | |||
22:40 20mTalk | Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matchingvirtual PLDI Konstantinos Mamouras Rice University, Kaiyuan Yang Rice University, Lingkun Kong Rice University, Qixuan Yu Rice University, Agnishom Chattopadhyay Rice University, Alexis Le Glaunec Rice University, Yi Huang Rice University Link to publication DOI | ||
Sat 18 JunDisplayed time zone: Pacific Time (US & Canada) change
Sat 18 Jun
Displayed time zone: Pacific Time (US & Canada) change
02:30 - 03:00 | |||
02:30 30mSocial Event | PL Teasocial PLDI Rachit Nigam Cornell University | ||
03:30 - 04:50 | |||
03:30 20mTalk | Relational Compilation for Performance-Critical Applications PLDI Clément Pit-Claudel EPFL, AWS, Jade Philipoom MIT CSAIL, Dustin Jamner MIT CSAIL, Andres Erbsen MIT CSAIL, Adam Chlipala MIT CSAIL Link to publication DOI Pre-print | ||
03:50 20mTalk | Formally Verified Lifting of C-compiled x86-64 Binaries PLDI Freek Verbeek Open University of The Netherlands & Virginia Tech, Joshua A. Bockenek Virginia Tech, Zhoulai Fu University of California, Davis, Binoy Ravindran Virginia Tech DOI | ||
04:10 20mTalk | Leapfrog: Certified Equivalence for Protocol Parsers PLDI Ryan Doenges Cornell University, Tobias Kappé ILLC, University of Amsterdam, John Sarracino Cornell University, Nate Foster Cornell University, Greg Morrisett Cornell Tech DOI Pre-print | ||
04:30 20mTalk | Computing Correctly with Inductive Relations PLDI Zoe Paraskevopoulou Northeastern University, Aaron Eline University of Maryland, Leonidas Lampropoulos University of Maryland DOI | ||
03:30 - 04:50 | |||
03:30 20mTalk | Interpreter-guided Differential JIT Compiler Unit Testingvirtual PLDI Guillermo Polito Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium, Stéphane Ducasse Inria, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium DOI | ||
03:50 20mTalk | Landmarks and Regions: A Robust Approach to Data Extractionvirtual PLDI Suresh Parthasarathy Microsoft Research, Lincy Pattanaik Microsoft Research, Anirudh Khatry Microsoft Research, Arun Iyer Microsoft Research, Arjun Radhakrishna Microsoft, Sriram Rajamani Microsoft Research, Mohammad Raza Microsoft DOI | ||
04:10 20mTalk | Odin: On-Demand Instrumentation with On-the-Fly Recompilationvirtual PLDI Mingzhe Wang Tsinghua University, Jie Liang Tsinghua University, Chijin Zhou Tsinghua University, Zhiyong Wu Tsinghua University, Xinyi Xu Tsinghua University, Yu Jiang Tsinghua University DOI | ||
04:30 20mTalk | Quickstrom: Property-based acceptance testing with LTL specificationsvirtual PLDI DOI | ||