Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 15 JunDisplayed time zone: Pacific Time (US & Canada) change
Mon 15 Jun
Displayed time zone: Pacific Time (US & Canada) change
05:00 - 07:00 | |||
05:00 15mTalk | Welcome and brief project overviews REMS-DeepSpec File Attached | ||
05:15 40mTalk | Verifying Crash-Safe, Concurrent Systems with Perennial REMS-DeepSpec Joseph Tassarotti Boston College | ||
06:05 40mTalk | Compositional Atomic Distributed Object Specifications for Distributed System Verification REMS-DeepSpec Ji-Yong Shin Yale University | ||
05:00 - 06:00 | |||
05:00 60mTalk | Keynote: Formal Reasoning and the Hacker Way SOAP Peter W. O'Hearn Facebook and University College London Media Attached | ||
06:00 - 07:30 | |||
06:00 90mTutorial | Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises Tutorials Frank Mueller North Carolina State University, USA | ||
06:20 - 07:40 | |||
06:20 26mTalk | Explaining Bug Provenance with Trace Witnesses SOAP Jixiang Shen The University of Sydney, Xi Wu The University of Sydney, Neville Grech University of Athens, Greece, Bernhard Scholz University of Sydney, Australia, Yannis Smaragdakis University of Athens, Greece Media Attached | ||
06:46 26mTalk | TACAI: An Intermediate Representation based on Abstract Interpretation SOAP Michael Reif TU Darmstadt, Germany, Florian Kübler TU Darmstadt, Germany, Dominik Helm TU Darmstadt, Germany, Ben Hermann Paderborn University, Michael Eichberg TU Darmstadt, Germany, Mira Mezini Technische Universität Darmstadt Media Attached | ||
07:13 26mTalk | Value and Allocation Sensitivities in Static Python Analyses SOAP Raphaël Monat Sorbonne University — LIP6, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Media Attached | ||
07:00 - 09:00 | Day 1 MorningPLMW@PLDI at PLMW live stream Chair(s): Stephen Chong Harvard University Live-stream link: https://youtu.be/MqUcMIlKk8Y Q+A link: https://app.sli.do/event/ylqeu5vx | ||
07:00 60mTalk | Technical talk: Neural Methods for Programming Language Processing PLMW@PLDI Eran Yahav Technion | ||
08:00 60mTalk | Mentoring talk: Hacks to Compensate for Lack of Novelty in Programming Languages Research PLMW@PLDI Alastair F. Donaldson Imperial College London | ||
07:00 - 09:00 | |||
07:00 40mTalk | Sail: ISA semantics, symbolic execution, and axiomatic concurrency for ARMv8-A and RISC-V REMS-DeepSpec P: Alasdair Armstrong University of Cambridge, Thomas Bauereiss University of Cambridge, Brian Campbell University of Edinburgh, Alastair Reid Google Research, Kathryn E. Gray Facebook, Robert M. Norton University of Cambridge, Prashanth Mundkur SRI International, Mark Wassell University of Cambridge, Jon French University of Cambridge, Christopher Pulte University of Cambridge, UK, Shaked Flur Google, Ian Stark The University of Edinburgh, Neel Krishnaswami Computer Laboratory, University of Cambridge, Peter Sewell University of Cambridge | ||
07:50 40mTalk | ARMv8 and RISC-V relaxed memory concurrency REMS-DeepSpec P: Shaked Flur Google, P: Christopher Pulte University of Cambridge, UK, Luc Maranget Inria Paris, Will Deacon ARM Ltd., Susmit Sarkar University of St. Andrews, Ben Simner , Jean Pichon-Pharabod University of Cambridge, UK, Jeehoon Kang KAIST, Sung-Hwan Lee Seoul National University, South Korea, Chung-Kil Hur Seoul National University, South Korea, Alasdair Armstrong University of Cambridge, Ohad Kammar University of Edinburgh, Jon French University of Cambridge, Kathryn E. Gray Facebook, Ali Sezgin University of Cambridge, Peter Sewell University of Cambridge File Attached | ||
07:45 - 09:15 | |||
08:00 - 12:00 | |||
08:00 4hTutorial | Design Space Exploration Tutorials Matthew Feldman Stanford University, USA, Artur Souza Universidade Federal de Minas Gerais (UFMG), Luigi Nardi Lund University and Stanford University, Kunle Olukotun Stanford University | ||
08:00 - 09:00 | |||
08:00 15mOther | Tool Talk: Soufflé SOAP Bernhard Scholz University of Sydney, Australia Media Attached | ||
08:15 15mOther | Tool Talk: DOOP SOAP Yannis Smaragdakis University of Athens, Greece Media Attached | ||
08:30 15mOther | Tool Talk: CodeChecker SOAP Media Attached | ||
08:45 15mOther | Tool Talk: KLEE SOAP Media Attached | ||
09:00 - 11:00 | |||
09:00 40mTalk | Cerberus: executable reference semantics and memory object models for ISO and de facto C REMS-DeepSpec P: Kayvan Memarian University of Cambridge, Victor B. F. Gomes University of Cambridge, UK, Stella Lau , Jean Pichon-Pharabod University of Cambridge, UK, Justus Matthiesen University of Cambridge, Peter Sewell University of Cambridge | ||
09:50 40mTalk | Verified Software Toolchain: a powerful and practical tool REMS-DeepSpec Andrew Appel Princeton | ||
09:20 - 10:20 | |||
09:20 60mTalk | Keynote: Beyond Code: New Signals for Static Analysis SOAP Media Attached | ||
09:30 - 11:00 | |||
10:00 - 12:00 | Day 1 AfternoonPLMW@PLDI at PLMW live stream Chair(s): Nadia Polikarpova University of California, San Diego Live-stream link: https://youtu.be/JGzS4e-2zAM Q+A link: https://app.sli.do/event/xow5jjne | ||
10:00 60mTalk | Mentoring Talk: "How to design talks" PLMW@PLDI Ranjit Jhala University of California at San Diego, USA | ||
11:00 60mLive Q&A | Panel: Charting your Path PLMW@PLDI Alexandra Silva University College London, Stephen N. Freund Williams College, Madan Musuvathi Microsoft Research, Loris D'Antoni University of Wisconsin-Madison, USA | ||
10:40 - 12:00 | |||
10:40 16mOther | Tool Talk: Soot SOAP Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Media Attached | ||
10:56 16mOther | Tool Talk: Phasar SOAP Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University Media Attached File Attached | ||
11:12 16mOther | Tool Talk: MagpieBridge SOAP Linghui Luo Paderborn University, Germany Media Attached | ||
11:28 16mOther | Tool Talk: WALA SOAP Julian Dolby IBM Research, USA Media Attached | ||
11:44 16mOther | Buffer for Toolk Talk discussions, Best Presentation Award announcement SOAP | ||
11:15 - 12:45 | |||
13:00 - 14:00 | Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace. | ||
13:00 60mTalk | BluePencil: Automating repetitive code edits without examples Sponsors | ||
Tue 16 JunDisplayed time zone: Pacific Time (US & Canada) change
Tue 16 Jun
Displayed time zone: Pacific Time (US & Canada) change
03:00 - 05:00 | |||
04:30 30mDay opening | Welcome from the Chairs & Conference Report ISMM | ||
04:30 - 05:00 | |||
04:30 30mDay opening | Buffer time to get set up, Welcome Infer Practitioners | ||
05:00 - 07:00 | |||
05:00 30mTalk | Garbage Collection Using a Finite Liveness Domain ISMM Aman Bansal IIT Bombay, India, Saksham Goel Indian Institute of Technology, Bombay, Preey Shah IIT Bombay, India, Amitabha Sanyal IIT Bombay, Prasanna Kumar IIT Bombay | ||
05:30 30mTalk | Prefetching in Functional Languages ISMM Link to publication DOI Media Attached | ||
06:00 30mTalk | Improving Phase Change Memory Performance with Data Content Aware Access ISMM Shihao Song Drexel University, Anup Das Drexel University, Onur Mutlu ETH Zurich, Nagarajan Kandasamy Drexel University | ||
06:30 30mTalk | ThinGC: Complete Isolation With Marginal Overhead ISMM Albert Mingkun Yang Uppsala University, Sweden, Erik Österlund Oracle, Sweden, Jesper Wilhelmsson Oracle, Hanna Nyblom KTH, Tobias Wrigstad Uppsala University, Sweden | ||
05:00 - 07:00 | Session 1Infer Practitioners at Infer Practitioners live stream Chair(s): Dulma Churchill Facebook London | ||
05:00 45mTalk | *Infer*ring things on Ada code – Invited Talk Infer Practitioners | ||
05:45 45mTalk | Static Performance Analysis Infer Practitioners | ||
06:30 30mCoffee break | Break Infer Practitioners | ||
05:00 - 09:00 | |||
05:00 4hTutorial | Programming for Autonomy Tutorials | ||
05:00 - 07:00 | |||
05:00 40mTalk | Rigorous modelling and proof for system security engineering: verifying whole-ISA security properties of CHERI-{MIPS,RISC-V,ARM} REMS-DeepSpec Thomas Bauereiss University of Cambridge, Kyndylan Nienhuis University of Cambridge, Alexandre Joannou University of Cambridge, Anthony Fox University of Cambridge, UK, Michael Roe University of Cambridge, Brian Campbell University of Edinburgh, Matthew Naylor University of Cambridge, Robert M. Norton University of Cambridge, Simon W. Moore University of Cambridge, Peter G. Neumann SRI International, Ian Stark The University of Edinburgh, Robert N. M. Watson University of Cambridge, Peter Sewell University of Cambridge File Attached | ||
05:50 40mTalk | Katamaran: semi-automated verification of ISA specifications REMS-DeepSpec Steven Keuchel , Georgy Lukyanov Newcastle University, UK, Dominique Devriese Vrije Universiteit Brussel File Attached | ||
05:00 - 09:00 | |||
05:00 4hTutorial | Declarative Language Definition with Spoofax Tutorials Eelco Visser Delft University of Technology Media Attached | ||
07:00 - 09:00 | |||
07:00 30mTalk | Verified Sequential Malloc/Free ISMM | ||
07:30 30mTalk | Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages ISMM | ||
08:00 30mTalk | Understanding and Optimizing Persistent Memory Allocation ISMM Wentao Cai University of Rochester, Haosen Wen University of Rochester, H. Alan Beadle University of Rochester, Chris Kjellqvist University of Rochester, Mohammad Hedayati University of Rochester, Michael Scott University of Rochester | ||
08:30 30mTalk | Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories ISMM | ||
07:00 - 09:00 | Session 2Infer Practitioners at Infer Practitioners live stream Chair(s): Nikos Gorogiannis Facebook and Middlesex University London | ||
07:00 45mTalk | Plugins for Detecting Deadlocks and Atomicity Violation and Performance Analysis Infer Practitioners A: Tomas Fiedor VUT Brno, A: Dominik Harmim Brno University of Technology, Faculty of Information Technology, A: Vladimir Marcin Brno University of Technology, Faculty of Information Technology, A: Ondřej Pavela Brno University of Technology, Faculty of Information Technology, A: Adam Rogalewicz Brno University of Technology, Faculty of Information Technology, A: Tomáš Vojnar Brno University of Technology | ||
07:45 45mTalk | Concise Explanations in Static Analysis Driven Code Reviews – Invited Talk Infer Practitioners | ||
08:30 30mCoffee break | Break Infer Practitioners | ||
07:00 - 09:00 | Day 2 MorningPLMW@PLDI at PLMW live stream Chair(s): Adrian Sampson Cornell University, USA Live-stream link: https://youtu.be/ZLaps-g97CA Q+A link: https://app.sli.do/event/h1ag9n8j | ||
07:00 60mTalk | Mentoring talk: Research: It Takes a Village PLMW@PLDI Michael Carbin Massachusetts Institute of Technology, USA | ||
08:00 60mTalk | Technical talk: Compositional Compiler Correctness PLMW@PLDI Amal Ahmed Northeastern University, USA | ||
07:00 - 09:00 | |||
07:00 40mTalk | Gillian: a Multi-language Platform for Program Correctness and Incorrectness REMS-DeepSpec Philippa Gardner Imperial College London, UK, José Fragoso Santos Imperial College London, Petar Maksimović Imperial College London, UK, Sacha-Élie Ayoun Imperial College London, UK | ||
07:50 40mTalk | WebAssembly: sequential and concurrent semantics REMS-DeepSpec P: Conrad Watt University of Cambridge, UK, Guillaume Barbier ENS Rennes, France, Martin Bodin Imperial College London, Sunjay Cauligi University of California at San Diego, USA, Craig Disselkoen University of California at San Diego, USA, Stephen Dolan University of Cambridge, UK, Shaked Flur Google, Philippa Gardner Imperial College London, UK, Tal Garfinkel Stanford University, Shu-yu Guo Bloomberg, USA, Neel Krishnaswami Computer Laboratory, University of Cambridge, Amit Levy , Petar Maksimović Imperial College London, UK, Jean Pichon-Pharabod University of Cambridge, UK, Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research, Natalie Popescu University of California San Diego, Christopher Pulte University of Cambridge, UK, John Renner University of California at San Diego, USA, Andreas Rossberg Dfinity Stiftung, Deian Stefan University of California at San Diego, USA, Rao Xiaoj Imperial College | ||
08:00 - 10:00 | |||
08:00 30mTalk | Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs MAPL Elizabeth Dinella University of Pennsylvania | ||
08:30 60mTutorial | A Gentle Tutorial on Graph Neural Networks and Its Application to Programming Languages MAPL Yizhou Sun UCLA | ||
09:30 30mTalk | LambdaNet: Probabilistic Type Inference using Graph Neural Networks MAPL Isil Dillig University of Texas at Austin, USA | ||
09:00 - 11:00 | |||
09:00 30mTalk | Prefetching in Functional Languages ISMM Link to publication DOI Media Attached | ||
09:30 30mTalk | Garbage Collection Using a Finite Liveness Domain ISMM Aman Bansal IIT Bombay, India, Saksham Goel Indian Institute of Technology, Bombay, Preey Shah IIT Bombay, India, Amitabha Sanyal IIT Bombay, Prasanna Kumar IIT Bombay | ||
10:00 30mTalk | ThinGC: Complete Isolation With Marginal Overhead ISMM Albert Mingkun Yang Uppsala University, Sweden, Erik Österlund Oracle, Sweden, Jesper Wilhelmsson Oracle, Hanna Nyblom KTH, Tobias Wrigstad Uppsala University, Sweden | ||
10:30 30mTalk | Improving Phase Change Memory Performance with Data Content Aware Access ISMM Shihao Song Drexel University, Anup Das Drexel University, Onur Mutlu ETH Zurich, Nagarajan Kandasamy Drexel University | ||
09:00 - 11:00 | Session 3Infer Practitioners at Infer Practitioners live stream Chair(s): Ezgi Çiçek Facebook London | ||
09:00 45mTalk | Infer#: An Automatic Bug Detector on .NET Programs Infer Practitioners A: Shao Kun Deng Microsoft Corporation, A: Matthew Jin Microsoft Corporation, A: Xiaoyu Liu Microsoft Corporation, A: Xin Shi Microsoft Corporation, A: Neel Sundaresan Microsoft Corporation | ||
09:45 45mTalk | Experimenting with Infer at Scale – Invited Talk Infer Practitioners | ||
10:30 30mLive Q&A | Infer team Q&A Infer Practitioners P: Dulma Churchill Facebook London, P: Ezgi Çiçek Facebook London, P: Nikos Gorogiannis Facebook and Middlesex University London, P: Jules Villard Facebook London | ||
09:00 - 11:00 | |||
09:00 40mTalk | Representing recursive and impure programs in Coq: from a toy assembly language to a modular formal semantics for LLVM IR REMS-DeepSpec Yannick Zakowski University of Pennsylvania | ||
09:50 40mTalk | The Verified IoT Lightbulb: Connecting Hardware and Software in a Simple Embedded System REMS-DeepSpec Adam Chlipala Massachusetts Institute of Technology, Andres Erbsen , Samuel Gruetter Massachusetts Institute of Technology, Joonwon Choi Massachusetts Institute of Technology, USA | ||
10:00 - 10:30 | |||
10:00 - 12:00 | Day 2 AfternoonPLMW@PLDI at PLMW live stream Chair(s): Milind Kulkarni Purdue University Live-stream link: https://youtu.be/ZLaps-g97CA Q+A link: https://app.sli.do/event/8wslmeqz | ||
10:00 60mTalk | Mentoring talk: How to Have Real-World Impact: Five Easy Pieces PLMW@PLDI Emery D. Berger University of Massachusetts Amherst | ||
11:00 60mLive Q&A | Panel: Surviving Grad School PLMW@PLDI Fredrik Kjolstad Stanford University, Jean Yang Carnegie Mellon University, Chandrakana Nandi University of Washington, USA, Eva Darulova MPI-SWS, Germany | ||
10:30 - 11:30 | Deep Learning and Program VerificationMAPL at MAPL live stream Chair(s): Xujie Si McGill University, Canada | ||
10:30 30mTalk | An Abstraction-Based Framework for Neural Network Verification MAPL Guy Katz Hebrew University | ||
11:00 30mTalk | Generating Correctness Proofs with Neural Networks MAPL Alex Sanchez-Stern University of California, San Diego, Yousef Alhessi University of California, San Diego, Lawrence Saul University of California, San Diego, Sorin Lerner University of California at San Diego, USA | ||
11:00 - 13:00 | Keynote & Social HourISMM at ISMM live stream Chair(s): Chen Ding University of Rochester, Martin Maas Google Research | ||
11:00 60mTalk | Keynote: Richard Jones ISMM Richard Jones University of Kent | ||
12:00 60mSocial Event | Social Hour ISMM | ||
11:30 - 12:30 | Compilers for Deep Learning FrameworksMAPL at MAPL live stream Chair(s): Charles Sutton Google Research | ||
11:30 30mTalk | On the Challenges in Programming Mixed-Precision Deep Neural Networks MAPL Ruizhe Zhao Imperial College London, Wayne Luk Imperial College London, Chao Xiong Corerain Technologies, Xinyu Niu Corerain Technologies, Kuen Hung Tsoi Corerain Technologies | ||
12:00 30mTalk | Semi-static Type, Shape and Symbolic Shape Inference for Dynamic Computation Graphs MAPL Momoko Hattori The University of Tokyo, Shimpei Sawada Preferred Networks, Shinichiro Hamaji Preferred Networks, Masahiro Sakai Preferred Networks, Shunsuke Shimizu Preferred Networks | ||
12:30 - 13:00 | |||
13:00 - 15:00 | |||
13:00 - 14:00 | |||
13:00 60mTalk | Program Optimization for Machine Learning MAPL Alex Aiken Stanford University, USA | ||
14:00 - 15:00 | Formal Methods and Reinforcement LearningMAPL at MAPL live stream Chair(s): Aws Albarghouthi University of Wisconsin-Madison, USA | ||
14:00 30mTalk | Learned Garbage Collection MAPL Lujing Cen MIT CSAIL, Ryan Marcus MIT CSAIL / Intel Labs, Hongzi Mao MIT CSAIL, Justin Gottschlich Intel Labs / Penn, Mohammad Alizadeh MIT CSAIL, Tim Kraska MIT CSAIL | ||
14:30 30mTalk | Trustworthy Autonomy through Program Synthesis MAPL Swarat Chaudhuri Rice University | ||
15:00 - 17:00 | |||
15:00 30mTalk | Exploiting Inter- and Intra-Memory Asymmetries for Data Mapping in Hybrid Tiered-Memories ISMM | ||
15:30 30mTalk | Understanding and Optimizing Persistent Memory Allocation ISMM Wentao Cai University of Rochester, Haosen Wen University of Rochester, H. Alan Beadle University of Rochester, Chris Kjellqvist University of Rochester, Mohammad Hedayati University of Rochester, Michael Scott University of Rochester | ||
16:00 30mTalk | Alligator Collector: A Latency-Optimized Garbage Collector for Functional Programming Languages ISMM | ||
16:30 30mTalk | Verified Sequential Malloc/Free ISMM | ||
15:00 - 15:30 | |||
15:30 - 17:00 | |||
15:30 30mTalk | Neurosymbolic Reasoning and the Third Wave of Program Synthesis MAPL Armando Solar-Lezama Massachusetts Institute of Technology, USA | ||
16:00 30mTalk | Learning Quantitative Representation Synthesis MAPL Mayur Patil University of California, Riverside, Farzin Houshmand University of California, Riverside, Mohsen Lesani University of California, Riverside | ||
16:30 30mTalk | Towards Human-Like Program Synthesis MAPL Rishabh Singh Google Brain | ||
17:00 - 19:00 | |||
17:00 10mDay closing | Closing Remarks ISMM | ||
17:00 - 17:30 | |||
18:00 - 19:00 | Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace. | ||
18:00 60mTalk | From stateless functions to stateful applications: Azure Durable Functions Sponsors | ||
Wed 17 JunDisplayed time zone: Pacific Time (US & Canada) change
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 | ||
05:00 20mTalk | 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 20mTalk | 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 20mTalk | Blended, Precise Semantic Program Embeddings PLDI Research Papers | ||
06:00 - 07:00 | Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace. | ||
06:00 60mTalk | Verified Programming with Project Everest Sponsors Aymeric Fromherz Carnegie Mellon University, Jonathan Protzenko Microsoft Research, Redmond, Tahina Ramananandro Microsoft Research, n.n., Nikhil Swamy Microsoft Research | ||
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 | ||
06:20 20mTalk | 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 20mTalk | 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 20mTalk | Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution PLDI Research Papers | ||
07:20 20mTalk | 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 | ||
07:40 - 08:00 | Session 1Ask Me Anything at Ask Me Anything live stream Chair(s): Benjamin C. Pierce University of Pennsylvania | ||
07:40 20mLive Q&A | "Ask Me Anything" with Simon Peyton Jones Ask Me Anything Simon Peyton Jones Microsoft, UK | ||
08:00 - 09:00 | Synthesis IPLDI Research Papers at PLDI Research Papers live stream Chair(s): James Bornholt University of Texas at Austin | ||
08:00 20mTalk | 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 20mTalk | 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 20mTalk | 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:00 - 09:20 | |||
09:00 20mLive Q&A | "Ask Me Anything" with Byron Cook Ask Me Anything Byron Cook Amazon and University College London | ||
09:20 - 10:20 | Memory ManagementPLDI Research Papers at PLDI Research Papers live stream Chair(s): Ting Cao Microsoft Research | ||
09:20 20mTalk | 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 20mTalk | A Marriage of Pointer- and Epoch-Based Reclamation PLDI Research Papers | ||
10:00 20mTalk | 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:20 - 10:40 | Session 3Ask Me Anything at Ask Me Anything live stream Chair(s): Adrian Sampson Cornell University, USA | ||
10:20 20mLive Q&A | "Ask Me Anything" with Margaret Martonosi Ask Me Anything Margaret Martonosi Princeton University and NSF | ||
10:40 - 12:00 | Verification I PLDI Research Papers at PLDI Research Papers live stream Chair(s): Stephen N. Freund Williams College | ||
10:40 20mTalk | 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 20mTalk | 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 20mTalk | Decidable Verification under a Causally Consistent Shared Memory PLDI Research Papers | ||
11:40 20mTalk | 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 | ||
10:40 - 11:10 | SIGPLAN CARES Zoom Conversation (See #cares channel on slack for zoom link)SIGPLAN CARES at SIGPLAN Cares | ||
12:00 - 12:30 | Session 4Ask Me Anything at Ask Me Anything live stream Chair(s): Michael Hicks University of Maryland | ||
12:00 30mLive Q&A | "Ask Me Anything" with Kathryn McKinley Ask Me Anything Kathryn S McKinley Google | ||
12:30 - 13:00 | |||
12:30 30mLive Q&A | "Ask Me Anything" with Bjarne Stroustrup Ask Me Anything Bjarne Stroustrup Morgan Stanley and Columbia University | ||
13:00 - 14:00 | Language ImplementationPLDI Research Papers at PLDI Research Papers live stream Chair(s): Chris Seaton Shopify | ||
13:00 20mTalk | Compiler and Runtime Support for Continuation Marks PLDI Research Papers | ||
13:20 20mTalk | 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 20mTalk | From Folklore to Fact: Comparing Implementations of Stacks and Continuations PLDI Research Papers | ||
14:00 - 14:20 | Session 6Ask Me Anything at Ask Me Anything live stream Chair(s): Emery D. Berger University of Massachusetts Amherst | ||
14:00 20mLive Q&A | "Ask Me Anything" with Michelle Strout Ask Me Anything Michelle Strout University of Arizona | ||
14:20 - 15:40 | |||
14:20 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
14:20 - 15:40 | |||
15:40 - 16:00 | |||
15:40 20mLive Q&A | "Ask Me Anything" with Felix Klock Ask Me Anything Felix Klock Mozilla | ||
16:00 - 17:00 | SecurityPLDI Research Papers at PLDI Research Papers live stream Chair(s): Tony Hosking Australian National University / Data61 | ||
16:00 20mTalk | 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 20mTalk | 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 20mTalk | 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 JunDisplayed time zone: Pacific Time (US & Canada) change
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 | ||
05:00 20mTalk | 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 20mTalk | 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 20mTalk | 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:00 - 07:00 | Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace. | ||
06:00 60mTalk | Lean 4 Sponsors | ||
06:20 - 07:40 | PerformancePLDI Research Papers at PLDI Research Papers live stream Chair(s): Fredrik Kjolstad Stanford University | ||
06:20 20mTalk | PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization PLDI Research Papers | ||
06:40 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
07:40 - 08:00 | GitHub meetingSponsors at Sponsors Join GitHub (Gold sponsor) for an overview of a range of their ongoing projects in the areas of Code Intelligence, Machine Learning, and Security. Join the GitHub Zoom meeting. | ||
08:00 - 09:00 | |||
09:00 - 09:20 | Session 8Ask Me Anything at Ask Me Anything live stream Chair(s): John Wickerson Imperial College London | ||
09:00 20mLive Q&A | "Ask Me Anything" with Peter O’Hearn Ask Me Anything Peter W. O'Hearn Facebook and University College London | ||
09:20 - 10:20 | Type SystemsPLDI Research Papers at PLDI Research Papers live stream Chair(s): Arjun Guha Northeastern University | ||
09:20 20mTalk | 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 20mTalk | 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 Louis 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 20mTalk | 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:20 - 10:40 | Session 9Ask Me Anything at Ask Me Anything live stream Chair(s): Kathleen Fisher Tufts University, USA | ||
10:20 20mLive Q&A | "Ask Me Anything" with Alex Aiken Ask Me Anything Alex Aiken Stanford University, USA | ||
10:40 - 11:40 | Machine Learning IIPLDI Research Papers at PLDI Research Papers live stream Chair(s): Ke Wang Visa Research | ||
10:40 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
11:40 - 13:00 | PLDI Business MeetingPLDI Research Papers at Business Meeting live stream The agenda for the business meeting will include:
| ||
11:40 80mTalk | PLDI Business Meeting PLDI Research Papers | ||
11:40 - 12:00 | GitHub meetingSponsors at Sponsors Join GitHub (Gold sponsor) for an overview of a range of their ongoing projects in the areas of Code Intelligence, Machine Learning, and Security. Join the GitHub Zoom meeting. | ||
12:00 - 13:00 | Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace. | ||
12:00 60mTalk | Microsoft MakeCode Sponsors | ||
13:00 - 14:00 | Code GenerationPLDI Research Papers at PLDI Research Papers live stream Chair(s): Fan Long University of Toronto | ||
13:00 20mTalk | 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 20mTalk | OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization PLDI Research Papers | ||
13:40 20mTalk | 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:00 - 14:20 | |||
14:00 20mLive Q&A | "Ask Me Anything" with Richard Gabriel Ask Me Anything Richard P. Gabriel Dream Songs, Inc. & HPI | ||
14:20 - 15:40 | Language Design IPLDI Research Papers at PLDI Research Papers live stream Chair(s): Adrian Sampson Cornell University, USA | ||
14:20 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
15:40 - 16:00 | Session 11Ask Me Anything at Ask Me Anything live stream Chair(s): Michelle Strout University of Arizona | ||
15:40 20mLive Q&A | "Ask Me Anything" with Kathleen Fisher Ask Me Anything Kathleen Fisher Tufts University, USA | ||
16:00 - 17:00 | Synthesis IIPLDI Research Papers at PLDI Research Papers live stream Chair(s): Phitchaya Mangpo Phothilimthana Google | ||
16:00 20mTalk | Multi-modal Synthesis of Regular Expressions PLDI Research Papers 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, Isil Dillig University of Texas at Austin, USA | ||
16:20 20mTalk | 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 20mTalk | 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. | ||
17:00 - 17:30 | SIGPLAN CARES Zoom Conversation (See #cares channel on slack for zoom link)SIGPLAN CARES at SIGPLAN Cares | ||
Fri 19 JunDisplayed time zone: Pacific Time (US & Canada) change
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 | ||
05:00 20mTalk | Proving Almost-Sure Termination by Omega-Regular Decomposition PLDI Research Papers | ||
05:20 20mTalk | λ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 20mTalk | 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 | ||
06:20 20mTalk | Faster General Parsing through Context-Free Memoization PLDI Research Papers Grzegorz Herman Jagiellonian University, Poland | ||
06:40 20mTalk | Zippy LL(1) Parsing with Derivatives PLDI Research Papers | ||
07:00 20mTalk | 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 20mTalk | 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 | ||
08:00 20mTalk | 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 20mPaper | 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 20mTalk | 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 | ||
09:20 20mTalk | 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 20mTalk | 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 20mTalk | 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:20 - 10:40 | Session 13Ask Me Anything at Ask Me Anything live stream Chair(s): Emina Torlak University of Washington | ||
10:20 20mLive Q&A | "Ask Me Anything" with Işil Dillig Ask Me Anything Isil Dillig University of Texas at Austin, USA | ||
10:40 - 12:00 | Verification IIPLDI Research Papers at PLDI Research Papers live stream Chair(s): Manu Sridharan University of California Riverside | ||
10:40 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
12:00 - 12:30 | Session 14Ask Me Anything at Ask Me Anything live stream Chair(s): Cristian Cadar Imperial College London | ||
12:00 30mLive Q&A | "Ask Me Anything" with Chris Lattner Ask Me Anything Chris Lattner SiFive | ||
12:30 - 13:00 | Session 15Ask Me Anything at Ask Me Anything live stream Chair(s): Laurence Tratt King's College London | ||
12:30 30mLive Q&A | "Ask Me Anything" with Doug Lea Ask Me Anything Doug Lea State University of New York (SUNY) Oswego | ||
13:00 - 14:00 | Symbolic ExecutionPLDI Research Papers at PLDI Research Papers live stream Chair(s): Qirun Zhang Georgia Institute of Technology, USA | ||
13:00 20mTalk | 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 20mTalk | 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 20mTalk | 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:00 - 14:20 | Session 16Ask Me Anything at Ask Me Anything live stream Chair(s): Jan Vitek Northeastern University | ||
14:00 20mLive Q&A | "Ask Me Anything" with Guy Steele Ask Me Anything Guy L. Steele Jr. Oracle Labs | ||
14:20 - 15:40 | Language Design IIPLDI Research Papers at PLDI Research Papers live stream Chair(s): Mike Dodds Galois, Inc. | ||
14:20 20mTalk | HipHop.js: (A)Synchronous Reactive Web Programming PLDI Research Papers | ||
14:40 20mTalk | 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 20mTalk | Towards an API for the Real Numbers PLDI Research Papers Hans-J. Boehm Google | ||
15:20 20mTalk | 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 | ||
16:00 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
17:00 - 18:00 | Microsoft meetingSponsors at Sponsors Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting The meeting id and password will be distributed to attendees via the conference Slack workspace. | ||
17:00 60mTalk | Symbolic Extended Regular Expressions Matching and Analysis Sponsors | ||