Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 20 JunDisplayed time zone: Eastern Time (US & Canada) change
Sun 20 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 11:45 | |||
09:00 15mDay opening | Welcome to HOPL IV Conference HOPL IV Papers | ||
09:15 60mKeynote | Myths and Mythconceptions: What does it mean to be a programming language, anyhow? HOPL IV Papers | ||
10:45 60mTalk | History of Coarrays and SPMD Parallelism in Fortran HOPL IV Papers John Reid JKR Associates and Rutherford Appleton Laboratory, Bill Long Cray Inc., Jon Steidel Intel Inc. DOI | ||
13:30 - 16:15 | Sunday Early AfternoonHOPL IV Papers at HOPL Chair(s): Jens Palsberg University of California at Los Angeles, Crista Lopes University of California, Irvine | ||
13:30 75mTalk | A History of MATLAB HOPL IV Papers DOI | ||
15:15 60mTalk | S, R and Data Science. HOPL IV Papers John Chambers Stanford University DOI | ||
16:45 - 17:45 | |||
16:45 60mTalk | LabVIEW HOPL IV Papers Jeffrey Kodosky Co-founder and Fellow, National Instruments DOI | ||
18:15 - 21:00 | Sunday EveningHOPL IV Papers at HOPL Chair(s): Shigeru Chiba The University of Tokyo, Sukyoung Ryu KAIST | ||
18:15 60mTalk | The Origins of Objective-C at PPI/Stepstone and its Evolution at NeXT HOPL IV Papers DOI | ||
19:45 75mTalk | JavaScript: The First 20 Years HOPL IV Papers DOI | ||
Mon 21 JunDisplayed time zone: Eastern Time (US & Canada) change
Mon 21 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 11:45 | |||
10:30 15mDay opening | Welcome and opening ARRAY Jeremy Gibbons Department of Computer Science, University of Oxford | ||
10:45 30mTalk | Towards size-dependent types for array programming ARRAY | ||
11:15 30mTalk | Padding in the Mathematics of Arrays ARRAY Benjamin Chetioui University of Bergen, Norway, Ole Abusdal Western Norway University of Applied Sciences, Magne Haveraaen University of Bergen, Norway, Jaakko Järvi University of Turku, Lenore Mullin University at Albany, SUNY | ||
09:00 - 11:45 | Monday MorningHOPL IV Papers at HOPL Chair(s): Tomas Petricek University of Kent, Vijay Saraswat IBM TJ Watson Research Center | ||
09:00 75mTalk | History of Logo HOPL IV Papers Cynthia Solomon Cynthia Solomon Consulting, Brian Harvey University of California, Berkeley, Ken Kahn University of Oxford, Henry Lieberman MIT Computer Science and Artificial Intelligence Lab (CSAIL), Mark Miller Learningtech.org and Northeastern University, Margaret Minsky New York University Shanghai, Artemis Papert Independent Artist, Brian Silverman Playful Invention Co. DOI | ||
10:45 60mTalk | A history of the Oz multiparadigm language HOPL IV Papers Peter Van Roy Université catholique de Louvain, Seif Haridi KTH Royal Institute of Technology, Sweden, Christian Schulte KTH Royal Institute of Technology, Gert Smolka Saarland University DOI | ||
09:00 - 11:45 | |||
09:00 40mTalk | Journey to null safety for Java at Facebook. An experience report. Infer Practitioners | ||
09:40 15mLive Q&A | Q&A 1 Infer Practitioners | ||
09:55 40mTalk | Classifying and Prioritizing Facebook Infer's Warnings Infer Practitioners Sofia Reis Instituto Superior Técnico, U. Lisboa & INESC-ID, João Francisco Roberto Martins Instituto Superior Técnico, U. Lisboa & INESC-ID, João F. Ferreira INESC-ID and IST, University of Lisbon, Rui Abreu Faculty of Engineering, University of Porto, Portugal | ||
10:35 15mLive Q&A | Q&A 2 Infer Practitioners | ||
10:50 40mTalk | Compositional checking of safety temporal properties Infer Practitioners Radu Grigore Facebook | ||
11:30 15mLive Q&A | Q&A 3 Infer Practitioners | ||
09:00 - 11:45 | |||
09:00 75mOther | Small-group Mentoring Meetings 1 PLMW@PLDI | ||
10:45 60mTalk | Grad School: A Survival Guide PLMW@PLDI Matthew Might University of Alabama at Birmingham | Harvard Medical School | ||
09:00 - 11:45 | |||
09:00 2h45mTutorial | IMOP: A Self-Stabilizing Source-to-Source Compiler Framework for OpenMP C Tutorials | ||
10:45 - 12:00 | |||
10:45 15mDay opening | Opening Remarks MAPS | ||
11:00 60mKeynote | Automated Test Generation: A Journey from Symbolic Execution to Smart Fuzzing and Beyond MAPS Koushik Sen University of California, Berkeley | ||
13:30 - 16:15 | Session 2 (keynote) and 3 (applications)ARRAY at ARRAY Chair(s): Aggelos Biboudis Swisscom AG, Sandra Catalán | ||
13:30 75mKeynote | Keynote: Tilting at Windmills with the Humble Array ARRAY Tim Mattson Intel, USA File Attached | ||
15:15 30mTalk | Array Languages Make Neural Networks Fast ARRAY Artjoms Šinkarovs Heriot-Watt University, UK, Hans-Nikolai Vießmann Radboud University Nijmegen, Netherlands, Sven-Bodo Scholz Radboud University | ||
15:45 30mTalk | Acceleration of Lattice Models for Pricing Portfolios of Fixed-Income Derivatives ARRAY Wojciech Michal Pawlak University of Copenhagen, Denmark, Marek Hlava Department of Computer Science, University of Copenhagen, Martin Metaksov Department of Computer Science, University of Copenhagen, Cosmin Oancea University of Copenhagen, Denmark | ||
13:30 - 16:15 | Monday Early AfternoonHOPL IV Papers at HOPL Chair(s): Yannis Smaragdakis University of Athens, Roberto Ierusalimschy PUC-Rio | ||
13:30 75mTalk | Thriving in a crowded and changing world: C++ 2006-2020 HOPL IV Papers Bjarne Stroustrup Morgan Stanley DOI | ||
15:15 60mTalk | Origins of the D Programming Language HOPL IV Papers Walter Bright The D Language Foundation, Andrei Alexandrescu The D Language Foundation, Michael Parker The D Language Foundation DOI | ||
13:30 - 16:15 | |||
13:30 40mTalk | Differential Cost Analysis with Infer and Possible Extensions for Concrete Cost Analysis Infer Practitioners Đorđe Žikelić IST Austria, Pauline Bolignano Amazon, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon | ||
14:10 15mLive Q&A | Q&A 4 Infer Practitioners | ||
14:25 40mTalk | Interactive Static Performance Analysis with Infer in the IDE Infer Practitioners Jürgen Cito TU Wien and Facebook | ||
15:05 15mLive Q&A | Q&A 5 Infer Practitioners | ||
13:30 - 14:30 | |||
13:30 30mTalk | Generating Bug-Fixes Using Pretrained Transformers MAPS Dawn Drain Microsoft, Chen Wu Microsoft, China, Alexey Svyatkovskiy Microsoft, Neel Sundaresan Microsoft Corporation | ||
14:00 30mTalk | Learning to Make Compiler Optimizations More Effective MAPS Rahim Mammadli Technical University of Darmstadt, Marija Selakovic TU Darmstadt, Germany, Felix Wolf Technical University of Darmstadt, Michael Pradel University of Stuttgart | ||
13:30 - 16:15 | |||
13:30 75mOther | Panel on Grad School PLMW@PLDI Zachary Tatlock University of Washington, Seattle, Sarah E. Chasins University of California, Berkeley, Andreea Costea School of Computing, National University Of Singapore, Marco Patrignani CISPA Helmholtz Center for Information Security / Stanford University | ||
15:15 60mTalk | Reasoning Under Uncertainty in SMT Solving, Research, and Life PLMW@PLDI Lindsey Kuper University of California at Santa Cruz | ||
15:15 - 16:15 | |||
15:15 60mTalk | Engineering Uncertain Computations MAPS Michael Carbin Massachusetts Institute of Technology | ||
16:45 - 17:45 | |||
16:45 60mTalk | A History of Clojure HOPL IV Papers Rich Hickey Cognitect, Inc. DOI | ||
16:45 - 19:15 | |||
16:45 60mTalk | Machine Learning for Autotuning Production Machine Learning Compilers MAPS | ||
17:45 30mTalk | Pure, Low-Level Tensor Program Rewriting via Access Patterns (Representation Pearl) MAPS Gus Henry Smith University of Washington, Andrew Liu University of Washington, Steven Lyubomirsky University of Washington, USA, Scott Davidson University of Washington, Joseph McMahan University of Washington, Michael Bedford Taylor University of Washington, Luis Ceze University of Washington, Zachary Tatlock University of Washington, Seattle | ||
18:15 30mTalk | ControlFlag: A Self-supervised Idiosyncratic PatternDetection System for Software Control Structures MAPS | ||
18:45 30mTalk | Predictive Data Locality Optimization for Higher-Order Tensor Computations MAPS Tharindu Patabandi University of Utah, Anand Venkat , Abhishek Kulkarni Intel, Pushkar Ratnalikar Intel Labs, Mary Hall University of Utah, Justin Gottschlich Intel Labs / Penn | ||
18:00 - 21:00 | |||
18:00 25mTalk | Improving the Performance of DGEMM with MoA and Cache-Blocking ARRAY Stephen Thomas National Renewable Energy Laboratory, Lenore Mullin SUNY Albany, USA, Kasia Swirydowicz Pacific Northwest National Laboratory File Attached | ||
18:25 25mTalk | Nested Object Support in a Structure-of-Arrays Dynamic Objector Allocator ARRAY File Attached | ||
18:50 25mTalk | Data Layouts are Important (Extended Abstract) ARRAY Doru Thom Popovici Lawrence Berkeley National Lab, Andrew Canning Lawrence Berkeley National Laboratory, Zhengji Zhao Lawrence Berkeley National Laboratory, Lin-Wang Wang Lawrence Berkeley National Laboratory, John Shalf Lawrence Berkeley National Laboratory File Attached | ||
18:00 - 21:00 | |||
18:00 75mTalk | An Overview of the Stoke Project PLMW@PLDI Alex Aiken Stanford University, USA | ||
19:45 75mSocial Event | Social Hangout 1 PLMW@PLDI | ||
18:15 - 21:00 | Monday EveningHOPL IV Papers at HOPL Chair(s): Steve Blackburn Australian National University, Andrew Black Portland State University | ||
18:15 60mKeynote | programmingLanguage as Language; HOPL IV Papers | ||
19:45 75mTalk | The Evolution of Smalltalk from Smalltalk-72 through Squeak HOPL IV Papers Daniel Ingalls None DOI | ||
19:45 - 21:00 | |||
19:45 60mTalk | Interactively Exploring Code Using Query-by-Example MAPS Mukund Raghothaman University of Southern California | ||
20:45 15mDay closing | Closing remarks MAPS Justin Gottschlich Intel Labs / Penn | ||
Tue 22 JunDisplayed time zone: Eastern Time (US & Canada) change
Tue 22 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 11:45 | Tuesday MorningHOPL IV Papers at HOPL Chair(s): Guy L. Steele Jr. Oracle Labs, Keshav Pingali The University of Texas at Austin | ||
09:00 75mTalk | APL Since 1978 HOPL IV Papers DOI | ||
10:45 60mTalk | Verilog HDL and its ancestors and descendants HOPL IV Papers Peter Flake Elda Technology Ltd, Phil Moorby , Steve Golson Trilobyte Systems, Arturo Salz Synopsys, Inc., Simon Davidmann Imperas Software Ltd DOI | ||
09:00 - 11:45 | |||
09:00 15mDay opening | Welcome from the Chairs and Conference Report ISMM | ||
09:15 60mKeynote | Reflections on Forty Years in Garbage Collection ISMM Eliot Moss University of Massachusetts Amherst | ||
10:15 60mBreak | Break/Social Hour ISMM | ||
11:15 30mTalk | Uniform Lease vs LRU Cache: Analysis and Evaluation ISMM Dong Chen , Chen Ding University of Rochester, Fangzhou Liu University of Rochester, Benjamin Reber University of Rochester, Wesley Smith University of Rochester, Pengcheng Li Google, Inc | ||
09:00 - 11:45 | |||
09:00 10mDay opening | Welcome from the Chairs LCTES Xu Liu North Carolina State University | ||
09:10 75mKeynote | On the Challenges of Predictability, Resilience, and Machine Learning for Autonomous Driving LCTES Frank Mueller North Carolina State University, USA | ||
10:25 20mBreak | Break LCTES | ||
10:45 25mFull-paper | MaPHeA: A Lightweight Memory Hierarchy-aware Profile-guided Heap Allocation Framework LCTES Deok-Jae Oh Seoul National University, Yaebin Moon Seoul National University, Eojin Lee Samsung Electronics, Tae Jun Ham Seoul National University, Yongjun Park Hanyang University, Jae W. Lee Seoul National University, Korea, Jung Ho Ahn Seoul National University | ||
11:10 25mFull-paper | Break Dancing: Low Overhead, Architecture Neutral Software Branch Tracing LCTES | ||
11:35 10mShort-paper | WIP: WasmAndroid: A Cross-platform Runtime for Native Programming Languages on Android LCTES | ||
09:00 - 11:45 | |||
09:00 75mSocial Event | Social Hangout 2 PLMW@PLDI | ||
10:45 60mTalk | How to give talks that people can follow PLMW@PLDI Derek Dreyer MPI-SWS | ||
09:00 - 11:45 | Session 1: Verification, programming & controlPLanQC at PLanQC Chair(s): Matthew Amy Dalhousie University, Ross Duncan Cambridge Quantum Computing | ||
09:00 35mTalk | Invited Talk: From Verified Compilation to Shor’s Algorithm PLanQC File Attached | ||
09:35 20mTalk | qKleene: Verification of Quantum RAM Made Easy PLanQC Giulia De Santis University of Verona, Roberto Giacobazzi University of Verona, Margherita Zorzi University of Verona File Attached | ||
09:55 20mTalk | JKQ: JKU Tools for Quantum Computing PLanQC Wille Robert Johannes Kepler University, Linz, Stefan Hillmich Johannes Kepler University, Linz, Lukas Burgholzer Johannes Kepler University, Linz File Attached | ||
10:15 30mCoffee break | Break PLanQC | ||
10:45 20mTalk | Open Quantum Assembly Language PLanQC Andrew Cross IBM T.J Watson Research Center, Ali Javadi-Abhari IBM T.J Watson Research Center, Thomas Alexander IBM T.J Watson Research Center, Lev Bishop IBM T.J Watson Research Center, Colm A. Ryan AWS Center for Quantum Computing, Steven Heidel AWS Center for Quantum Computing, Niel de Beaudrap University of Sussex, John Smolin IBM T.J Watson Research Center, Jay M. Gambetta IBM T.J Watson Research Center, Blake R. Johnson IBM T.J Watson Research Center File Attached | ||
11:05 20mTalk | Quantum and classical registers PLanQC Dominique Unruh University of Tartu File Attached | ||
11:25 20mTalk | Addressable quantum gates PLanQC Pablo Arrighi Université Paris-Saclay, CNRS, LMF, Marin Costes Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Christopher Cedzich Quantum Technology Group, Heinrich Heine Universität Düsseldorf, Ulysse Remond Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Benoit Valiron Université Paris-Saclay, CNRS, CentraleSupélec, LMF File Attached | ||
09:00 - 11:45 | |||
09:00 15mDay opening | Welcome from the chairs SOAP | ||
09:15 60mLive Q&A | [Invited talk] Towards Security-Oriented Program analysis SOAP Sébastien Bardin CEA LIST, University Paris-Saclay | ||
10:15 30mBreak | Break SOAP | ||
10:45 25mTalk | Static Analysis for Dummies: Experiencing LiSA SOAP Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Vincenzo Arceri Ca’ Foscari University of Venice, Agostino Cortesi Università Ca' Foscari Venezia | ||
11:10 25mTalk | Security and Quality: Two Sides of The Same Coin? SOAP Steven Arzt Fraunhofer SIT | ||
09:00 - 11:45 | |||
09:00 2h45mTutorial | Implementing smart contract security analyses using the MadMax/Gigahorse framework Tutorials | ||
10:00 - 12:00 | |||
13:30 - 16:15 | Tuesday Early AfternoonHOPL IV Papers at HOPL Chair(s): Kim Bruce Pomona College, Brent Hailpern IBM Research | ||
13:30 75mTalk | The History of Standard ML HOPL IV Papers David MacQueen University of Chicago (Emeritus), Robert Harper Carnegie Mellon University, USA, John Reppy University of Chicago, USA DOI | ||
15:15 60mTalk | Evolution of Emacs Lisp HOPL IV Papers DOI | ||
13:30 - 16:15 | |||
13:30 75mOther | Panel on Advising and Research PLMW@PLDI Ranjit Jhala University of California at San Diego, Işıl Dillig University of Texas at Austin, Matthias Felleisen PLT @ Northeastern University, Frank Piessens KU Leuven, Stephanie Weirich University of Pennsylvania, USA | ||
15:15 60mTalk | Tips on Writing a Research Paper PLMW@PLDI Thomas Reps University of Wisconsin | ||
13:30 - 16:15 | Session 2SOAP at SOAP Chair(s): Lisa Nguyen Quang Do Google, Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
13:30 25mTalk | Program analysis for reversible languages SOAP Uwe Meyer University of Applied Sciences Giessen, Niklas Deworetzki Technische Hochschule Mittelhessen | ||
13:55 25mTalk | PerfLens: A Data-Driven Performance Bug Detection and Fix Platform SOAP Spandan Garg , Roshanak Zilouchian Moghaddam Microsoft, Neel Sundaresan Microsoft Corporation, Chen Wu Microsoft, China | ||
14:20 25mTalk | Weldr: Fusing Binaries for Simplified Analysis SOAP Alexander Heinricher Raytheon BBN Technologies, Ryan Williams Northeastern University, Ava Klingbeil , Alex Jordan Raytheon BBN Technologies | ||
14:45 30mBreak | Break SOAP | ||
15:15 60mLive Q&A | [Invited talk] Dynamic abstract interpretation SOAP | ||
13:30 - 16:15 | |||
13:30 2h45mTutorial | Beyond Weak Memory Consistency: The Challenges of Memory Persistency Tutorials | ||
16:45 - 17:45 | |||
16:45 60mTalk | The Early History of F# HOPL IV Papers Don Syme Microsoft Research DOI | ||
18:00 - 21:00 | Session 4: Compacting/Indexing/Transactioning & ClosingISMM at ISMM Chair(s): Timothy M. Jones University of Cambridge, UK | ||
18:00 30mTalk | Exploiting Intel Optane Persistent Memory for Full Text Search ISMM Shoaib Akram Australian National University Pre-print File Attached | ||
18:30 30mTalk | Understanding and Utilizing Hardware Transactional Memory Capacity ISMM Zixian Cai Australian National University, Steve Blackburn Australian National University, Michael D. Bond Ohio State University, USA Link to publication DOI Media Attached | ||
19:00 30mTalk | Fusuma: Double-ended Threaded Compaction ISMM Hiro Onozawa The University of Electro-Communications, Tomoharu Ugawa University of Tokyo, Hideya Iwasaki University of Electro-Communications, Japan | ||
19:30 15mDay closing | Closing Remarks ISMM | ||
18:00 - 21:00 | |||
18:00 25mFull-paper | Cache Abstraction for Data Race Detection in Heterogeneous Systems with Non-Coherent Accelerators LCTES May Young University of British Columbia, Alan J. Hu University of British Columbia, Guy Lemieux University of British Columbia | ||
18:25 25mFull-paper | Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults LCTES Oskar Pusz Leibniz Universität Hannover, Christian Dietrich Leibniz Universität Hannover, Daniel Lohmann Leibniz Universität Hannover | ||
18:50 25mFull-paper | Better Atomic Writes by Exposing the Flash Out-Of-Band Area to File Systems LCTES Hongwei Qin Huazhong University of Science and Technology, China, Dan Feng Huazhong University of Science and Technology, China, Wei Tong Huazhong University of Science and Technology, China, Yutong Zhao Huazhong University of Science and Technology, China, Sheng Qiu Alibaba Group, Fei Liu Alibaba Group, Shu Li Alibaba Group | ||
19:15 30mBreak | Break LCTES | ||
19:45 25mFull-paper | ARINC 653-Inspired Regularity-Based Resource Partitioning on Xen LCTES Pavan Kumar Paluri University of Houston, Guangli Dai University of Houston, Albert M. K. Cheng University of Houston | ||
20:10 25mFull-paper | CHaNAS: Coordinated Search for Network Architecture and Scheduling Policy LCTES Weiwei Chen Institute of Computing Technology, CAS, Ying Wang ICT CAS, Gangliang Lin ICT CAS, Chengsi Gao ICT CAS, Cheng Liu ICT CAS, Lei Zhang ICT CAS | ||
20:35 10mShort-paper | WIP: Automatic Mapping and Code Optimization for OpenCL Kernels on FT-Matrix Architecture LCTES XiaoLei Zhao National University of Defense Technology, Mei Wen National University of Defense Technology, Zhaoyun Chen National University of Defense Technology, Yang Shi National University of Defense Technology, Chunyuan Zhang National University of Defense Technology | ||
18:00 - 21:00 | |||
18:00 75mOther | Panel on Career Paths PLMW@PLDI Jean Yang Carnegie Mellon University, Kathleen Fisher Tufts University, Hannah Gommerstadt Vassar College, Peter W. O'Hearn Facebook and University College London, Jennifer Paykin Galois, Inc. | ||
19:45 75mOther | Small-group Mentoring Meetings 2 PLMW@PLDI | ||
18:00 - 21:00 | |||
18:00 35mTalk | Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing PLanQC | ||
18:35 20mTalk | Mitiq: a Python toolkit for quantum error mitigation PLanQC Ryan LaRose Unitary Fund, Michigan State University, Andrea Mari Unitary Fund, Sarah Kaiser Unitary Fund, Peter J. Karalekas Unitary Fund, Nathan Shammah Unitary Fund, William J. Zeng Unitary Fund, Goldman Sachs Pre-print File Attached | ||
18:55 20mTalk | Expanding the VOQC Toolkit PLanQC Kesha Hietala University of Maryland, Liyi Li University of Maryland, Akshaj Gaur Poolesville High School, Aaron Green University of Maryland, Robert Rand University of Chicago, Xiaodi Wu University of Maryland, Michael Hicks University of Maryland at College Park File Attached | ||
18:00 - 21:00 | |||
18:00 25mTalk | Multi-Language Static Code Analysis on the LARA Framework SOAP Gil Teixeira , João Bispo Faculdade de Engenharia e Universidade do Porto, Filipe Figueiredo Correia University of Porto | ||
18:25 25mTalk | Serialization-Aware Call Graph Construction SOAP Joanna C. S. Santos Rochester Institute of Technology, Reese Jones , Chinomso Ashiogwu , Mehdi Mirakhorli Rochester Institute of Technology | ||
18:50 25mTalk | Scalable String Analysis: An Experience Report SOAP Kostyantyn Vorobyov Oracle Labs, Australia, Yang Zhao Oracle Labs, Paddy Krishnan Oracle Labs, Australia | ||
19:15 30mBreak | Break SOAP | ||
19:45 60mLive Q&A | [Invited talk] Towards Intelligent Application Security SOAP Cristina Cifuentes Oracle Labs | ||
20:45 15mDay closing | Award and send-off SOAP | ||
18:15 - 21:00 | Tuesday EveningHOPL IV Papers at HOPL Chair(s): Allen Wirfs-Brock Wirfs-Brock Associates, Matthew Flatt University of Utah, USA | ||
18:15 60mTalk | A history of the Groovy programming language HOPL IV Papers Paul King OCI DOI | ||
19:45 75mTalk | Hygienic Macro Technology HOPL IV Papers DOI | ||
Wed 23 JunDisplayed time zone: Eastern Time (US & Canada) change
Wed 23 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:35 - 10:30 | |||
09:35 55mPoster | Poster Session PLDI | ||
10:30 - 11:30 | Ask Me AnythingAsk Me Anything at PLDI-A Chair(s): Kathleen Fisher Tufts University, Sam Guyer Tufts University, Roopsha Samanta Purdue University | ||
10:30 20mLive Q&A | Ask Me Anything with Kim Hazelwood Ask Me Anything Kim Hazelwood Facebook AI Research | ||
10:50 20mLive Q&A | Ask Me Anything With Emery Berger Ask Me Anything Emery D. Berger University of Massachusetts Amherst | ||
11:10 20mLive Q&A | Ask Me Anything with Michael Carbin Ask Me Anything Michael Carbin Massachusetts Institute of Technology | ||
12:30 - 13:30 | |||
12:30 60mOther | Industrial Reception Sponsors | ||
13:30 - 14:05 | |||
13:30 5mTalk | Wire Sorts: A Language Abstraction for Safe Hardware Composition PLDI Michael Christensen University of California at Santa Barbara, Timothy Sherwood University of California at Santa Barbara, Jonathan Balkind University of California at Santa Barbara, Ben Hardekopf University of California at Santa Barbara DOI | ||
13:35 5mTalk | Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations PLDI John Renner University of California at San Diego, Alex Sanchez-Stern University of California at San Diego, Fraser Brown Stanford University, Sorin Lerner University of California at San Diego, Deian Stefan University of California at San Diego DOI | ||
13:40 5mTalk | Unqomp: Synthesizing Uncomputation in Quantum Circuits PLDI Anouk Paradis ETH Zurich, Benjamin Bichsel ETH Zurich, Samuel Steffen ETH Zurich, Martin Vechev ETH Zurich DOI | ||
13:45 5mTalk | Gleipnir: Toward Practical Error Analysis for Quantum Programs PLDI Runzhou Tao Columbia University, Yunong Shi University of Chicago, Jianan Yao Columbia University, John Hui Columbia University, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University DOI | ||
13:50 5mTalk | Quantum Abstract Interpretation PLDI DOI | ||
13:55 5mTalk | Task Parallel Assembly Language for Uncompromising Parallelism PLDI Mike Rainey Carnegie Mellon University, Ryan R. Newton Facebook, Kyle Hale Illinois Institute of Technology, Nikos Hardavellas Northwestern University, Simone Campanoni Northwestern University, Peter Dinda Northwestern University, Umut A. Acar Carnegie Mellon University DOI | ||
14:00 5mTalk | DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant PLDI Michael Fischer Stanford University, Giovanni Campagna Stanford University, Euirim Choi Stanford University, Monica S. Lam Stanford University DOI Media Attached | ||
14:05 - 15:00 | |||
14:05 55mPoster | Poster Session PLDI | ||
15:00 - 16:00 | |||
15:00 60mSocial Event | Opening Reception Social | ||
21:35 - 22:30 | |||
21:35 55mPoster | Poster Session PLDI | ||
22:30 - 23:30 | Ask Me AnythingAsk Me Anything at PLDI-A Chair(s): Steve Blackburn Australian National University, Gerwin Klein CSIRO's Data61 and UNSW Sydney | ||
22:30 30mLive Q&A | Ask Me Anything with Cristina Cifuentes Ask Me Anything Cristina Cifuentes Oracle Labs | ||
23:00 30mLive Q&A | Ask Me Anything with June Andronick Ask Me Anything June Andronick Proofcraft, UNSW and seL4 Foundation | ||
Thu 24 JunDisplayed time zone: Eastern Time (US & Canada) change
Thu 24 Jun
Displayed time zone: Eastern Time (US & Canada) change
00:30 - 01:30 | Ask Me AnythingAsk Me Anything at PLDI-A Chair(s): Aditya Kanade Indian Institute of Science, Bangalore, Alex Potanin Victoria University of Wellington | ||
00:30 30mLive Q&A | Ask Me Anything with James Noble Ask Me Anything James Noble Victoria University of Wellington | ||
01:00 30mLive Q&A | Ask Me Anything with Sriram Rajamani Ask Me Anything Sriram Rajamani Microsoft Research | ||
01:30 - 02:05 | |||
01:30 5mTalk | Wire Sorts: A Language Abstraction for Safe Hardware Composition PLDI Michael Christensen University of California at Santa Barbara, Timothy Sherwood University of California at Santa Barbara, Jonathan Balkind University of California at Santa Barbara, Ben Hardekopf University of California at Santa Barbara DOI | ||
01:35 5mTalk | Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations PLDI John Renner University of California at San Diego, Alex Sanchez-Stern University of California at San Diego, Fraser Brown Stanford University, Sorin Lerner University of California at San Diego, Deian Stefan University of California at San Diego DOI | ||
01:40 5mTalk | Unqomp: Synthesizing Uncomputation in Quantum Circuits PLDI Anouk Paradis ETH Zurich, Benjamin Bichsel ETH Zurich, Samuel Steffen ETH Zurich, Martin Vechev ETH Zurich DOI | ||
01:45 5mTalk | Gleipnir: Toward Practical Error Analysis for Quantum Programs PLDI Runzhou Tao Columbia University, Yunong Shi University of Chicago, Jianan Yao Columbia University, John Hui Columbia University, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University DOI | ||
01:50 5mTalk | Quantum Abstract Interpretation PLDI DOI | ||
01:55 5mTalk | Task Parallel Assembly Language for Uncompromising Parallelism PLDI Mike Rainey Carnegie Mellon University, Ryan R. Newton Facebook, Kyle Hale Illinois Institute of Technology, Nikos Hardavellas Northwestern University, Simone Campanoni Northwestern University, Peter Dinda Northwestern University, Umut A. Acar Carnegie Mellon University DOI | ||
02:00 5mTalk | DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant PLDI Michael Fischer Stanford University, Giovanni Campagna Stanford University, Euirim Choi Stanford University, Monica S. Lam Stanford University DOI Media Attached | ||
02:05 - 03:00 | |||
02:05 55mPoster | Poster Session PLDI | ||
03:00 - 04:00 | |||
03:00 60mSocial Event | Opening Reception Social | ||
09:00 - 09:40 | |||
09:00 5mTalk | Reticle: A Virtual Machine for Programming Modern FPGAs PLDI Luis Vega University of Washington, Joseph McMahan University of Washington, Adrian Sampson Cornell University, Dan Grossman University of Washington, Luis Ceze University of Washington DOI | ||
09:05 5mTalk | Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8 PLDI Kyeongmin Cho KAIST, Sung-Hwan Lee Seoul National University, Azalea Raad Imperial College London, Jeehoon Kang KAIST DOI | ||
09:10 5mTalk | Developer and User-Transparent Compiler Optimization for Interactive Applications PLDI Paschalis Mpeis University of Edinburgh, Pavlos Petoumenos University of Manchester, Kim Hazelwood Facebook AI Research, Hugh Leather Facebook Link to publication DOI Media Attached | ||
09:15 5mTalk | Perceus: Garbage Free Reference Counting with Reuse PLDI Alex Reinking Microsoft Research, Ningning Xie University of Toronto, Leonardo de Moura Microsoft Research, Daan Leijen Microsoft Research DOI | ||
09:20 5mTalk | Filling Typed Holes with Live GUIs PLDI Cyrus Omar University of Michigan, David Moon University of Michigan, Andrew Blinn University of Michigan, Ian Voysey Carnegie Mellon University, Nick Collins University of Chicago, Ravi Chugh University of Chicago DOI Pre-print | ||
09:25 5mTalk | Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions PLDI Dongpeng Xu University of New Hampshire, Binbin Liu University of New Hampshire; University of Science and Technology of China, Weijie Feng University of Science and Technology of China, Jiang Ming University of Texas at Arlington, Qilong Zheng University of Science and Technology of China, Jing Li University of Science and Technology of China, Qiaoyan Yu University of New Hampshire DOI | ||
09:30 5mTalk | Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems PLDI Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University DOI | ||
09:35 5mTalk | Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models PLDI Rohan Basu Roy Northeastern University, Tirthak Patel Northeastern University, Vijay Gadepally MIT Lincoln Laboratory, Devesh Tiwari Northeastern University DOI | ||
09:40 - 10:30 | |||
09:40 50mPoster | Poster Session PLDI | ||
10:30 - 11:30 | |||
10:30 60mKeynote | Programming Language Research Challenges for Tomorrow's Machines Invited Talks Alex Aiken Stanford University, USA | ||
11:30 - 12:30 | |||
11:30 60mOther | Google: Join us for a Q&A Session Sponsors | ||
12:00 - 13:00 | |||
12:00 60mOther | Building Inclusive Research Environments CARES | ||
12:00 - 12:30 | |||
12:00 30mLive Q&A | Oracle: Chat With Guy Steele Sponsors | ||
13:30 - 14:05 | |||
13:30 5mTalk | Mirror: Making Lock-Free Data Structures Persistent PLDI DOI | ||
13:35 5mTalk | Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation PLDI Huaipan Jiang Pennsylvania State University, Haibo Zhang Pennsylvania State University, Xulong Tang University of Pittsburgh, Vineetha Govindaraj Pennsylvania State University, Jack Sampson Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Danfeng Zhang Pennsylvania State University DOI | ||
13:40 5mTalk | Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts PLDI Nilanjana Basu University of Illinois at Chicago, Claudio Montanari University of Illinois at Chicago, Jakob Eriksson University of Illinois at Chicago DOI | ||
13:45 5mTalk | Alive2: Bounded Translation Validation for LLVM PLDI Nuno P. Lopes Microsoft Research, Juneyoung Lee Seoul National University, Chung-Kil Hur Seoul National University, Zhengyang Liu University of Utah, John Regehr University of Utah DOI Pre-print | ||
13:50 5mTalk | Incremental Whole-Program Analysis in Datalog with Lattices PLDI Tamás Szabó JGU Mainz; Workday, Sebastian Erdweg JGU Mainz, Gábor Bergmann Budapest University of Technology and Economics; IncQuery Labs DOI | ||
13:55 5mTalk | Logical Bytecode Reduction PLDI Christian Gram Kalhauge University of California at Los Angeles; Technical University of Denmark, Jens Palsberg University of California at Los Angeles DOI | ||
14:00 5mTalk | RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types PLDI Michael Sammler MPI-SWS, Rodolphe Lepigre MPI-SWS, Robbert Krebbers Radboud University Nijmegen, Kayvan Memarian University of Cambridge, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS DOI | ||
14:05 - 15:00 | |||
14:05 55mPoster | Poster Session PLDI | ||
15:00 - 16:20 | |||
15:00 80mMeeting | PLDI Business Meeting PLDI | ||
21:00 - 21:40 | |||
21:00 5mTalk | Reticle: A Virtual Machine for Programming Modern FPGAs PLDI Luis Vega University of Washington, Joseph McMahan University of Washington, Adrian Sampson Cornell University, Dan Grossman University of Washington, Luis Ceze University of Washington DOI | ||
21:05 5mTalk | Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8 PLDI Kyeongmin Cho KAIST, Sung-Hwan Lee Seoul National University, Azalea Raad Imperial College London, Jeehoon Kang KAIST DOI | ||
21:10 5mTalk | Developer and User-Transparent Compiler Optimization for Interactive Applications PLDI Paschalis Mpeis University of Edinburgh, Pavlos Petoumenos University of Manchester, Kim Hazelwood Facebook AI Research, Hugh Leather Facebook Link to publication DOI Media Attached | ||
21:15 5mTalk | Perceus: Garbage Free Reference Counting with Reuse PLDI Alex Reinking Microsoft Research, Ningning Xie University of Toronto, Leonardo de Moura Microsoft Research, Daan Leijen Microsoft Research DOI | ||
21:20 5mTalk | Filling Typed Holes with Live GUIs PLDI Cyrus Omar University of Michigan, David Moon University of Michigan, Andrew Blinn University of Michigan, Ian Voysey Carnegie Mellon University, Nick Collins University of Chicago, Ravi Chugh University of Chicago DOI Pre-print | ||
21:25 5mTalk | Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions PLDI Dongpeng Xu University of New Hampshire, Binbin Liu University of New Hampshire; University of Science and Technology of China, Weijie Feng University of Science and Technology of China, Jiang Ming University of Texas at Arlington, Qilong Zheng University of Science and Technology of China, Jing Li University of Science and Technology of China, Qiaoyan Yu University of New Hampshire DOI | ||
21:30 5mTalk | Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems PLDI Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University DOI | ||
21:35 5mTalk | Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models PLDI Rohan Basu Roy Northeastern University, Tirthak Patel Northeastern University, Vijay Gadepally MIT Lincoln Laboratory, Devesh Tiwari Northeastern University DOI | ||
21:40 - 22:30 | |||
21:40 50mPoster | Poster Session PLDI | ||
22:30 - 23:30 | |||
22:30 60mKeynote | Programming Language Research Challenges for Tomorrow's Machines Invited Talks Alex Aiken Stanford University, USA | ||
Fri 25 JunDisplayed time zone: Eastern Time (US & Canada) change
Fri 25 Jun
Displayed time zone: Eastern Time (US & Canada) change
00:00 - 01:00 | |||
00:00 60mOther | Building Inclusive Research Environments CARES | ||
01:30 - 02:05 | |||
01:30 5mTalk | Mirror: Making Lock-Free Data Structures Persistent PLDI DOI | ||
01:35 5mTalk | Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation PLDI Huaipan Jiang Pennsylvania State University, Haibo Zhang Pennsylvania State University, Xulong Tang University of Pittsburgh, Vineetha Govindaraj Pennsylvania State University, Jack Sampson Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Danfeng Zhang Pennsylvania State University DOI | ||
01:40 5mTalk | Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts PLDI Nilanjana Basu University of Illinois at Chicago, Claudio Montanari University of Illinois at Chicago, Jakob Eriksson University of Illinois at Chicago DOI | ||
01:45 5mTalk | Alive2: Bounded Translation Validation for LLVM PLDI Nuno P. Lopes Microsoft Research, Juneyoung Lee Seoul National University, Chung-Kil Hur Seoul National University, Zhengyang Liu University of Utah, John Regehr University of Utah DOI Pre-print | ||
01:50 5mTalk | Incremental Whole-Program Analysis in Datalog with Lattices PLDI Tamás Szabó JGU Mainz; Workday, Sebastian Erdweg JGU Mainz, Gábor Bergmann Budapest University of Technology and Economics; IncQuery Labs DOI | ||
01:55 5mTalk | Logical Bytecode Reduction PLDI Christian Gram Kalhauge University of California at Los Angeles; Technical University of Denmark, Jens Palsberg University of California at Los Angeles DOI | ||
02:00 5mTalk | RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types PLDI Michael Sammler MPI-SWS, Rodolphe Lepigre MPI-SWS, Robbert Krebbers Radboud University Nijmegen, Kayvan Memarian University of Cambridge, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS DOI | ||
02:05 - 03:00 | |||
02:05 55mPoster | Poster Session PLDI | ||
03:00 - 04:20 | |||
03:00 80mMeeting | PLDI Business Meeting PLDI | ||
09:00 - 09:40 | |||
09:00 5mTalk | DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads PLDI Wookeun Jung Seoul National University, Thanh Tuan Dao Seoul National University, Jaejin Lee Seoul National University DOI | ||
09:05 5mTalk | Provable Repair of Deep Neural Networks PLDI Matthew Sotoudeh University of California at Davis, Aditya V. Thakur University of California at Davis DOI Pre-print Media Attached | ||
09:10 5mTalk | DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning PLDI Kevin Ellis Cornell University, Lionel Wong Massachusetts Institute of Technology, Maxwell Nye Massachusetts Institute of Technology, Mathias Sablé-Meyer PSL University; Collège de France; NeuroSpin, Lucas Morales Massachusetts Institute of Technology, Luke Hewitt Massachusetts Institute of Technology, Luc Cary Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology DOI | ||
09:15 5mTalk | Specification Synthesis with Constrained Horn Clauses PLDI Sumanth Prabhu TCS Research, Grigory Fedyukovich Florida State University, Kumar Madhukar TCS Research, Deepak D'Souza IISc Bangalore DOI | ||
09:20 5mTalk | Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming PLDI Guillaume Baudart Inria, Javier Burroni University of Massachusetts Amherst, Martin Hirzel IBM Research, Louis Mandel IBM Research, USA, Avraham Shinnar IBM Research DOI | ||
09:25 5mTalk | Sound Probabilistic Inference via Guide Types PLDI Di Wang Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University, Thomas Reps University of Wisconsin DOI | ||
09:30 5mTalk | SPPL: Probabilistic Programming with Fast Exact Symbolic Inference PLDI Feras Saad Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology DOI | ||
09:35 5mTalk | Quantitative Analysis of Assertion Violations in Probabilistic Programs PLDI Jinyi Wang Shanghai Jiao Tong University, Yican Sun Peking University, Hongfei Fu Shanghai Jiao Tong University, Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady Hong Kong University of Science and Technology DOI | ||
09:00 - 09:40 | |||
09:00 5mTalk | Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing PLDI Alastair F. Donaldson Imperial College London, Paul Thomson Google, Vasyl Teliman National Technical University of Ukraine, Stefano Milizia Imperial College London, André Perez Maselco Federal University of ABC, Antoni Karpiński Warsaw University of Technology DOI | ||
09:05 5mTalk | Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction PLDI Gefei Zuo University of Michigan, Jiacheng Ma University of Michigan, Andrew Quinn University of Michigan, Pramod Bhatotia TU Munich, Pedro Fonseca Purdue University, Baris Kasikci University of Michigan DOI | ||
09:10 5mTalk | Concolic Program Repair PLDI Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller National University of Singapore, Lars Grunske Humboldt University of Berlin, Abhik Roychoudhury National University of Singapore DOI Pre-print | ||
09:15 5mTalk | Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing PLDI Guixin Ye Northwest University, Zhanyong Tang Northwest University, Shin Hwei Tan Southern University of Science and Technology, Dingyi Fang Northwest University, Xiaoyang Sun University of Leeds, Lizhong Bian Alipay, Songfang Huang Alibaba DAMO Academy, Haibo Wang University of Leeds, Zheng Wang University of Leeds, UK DOI | ||
09:20 5mTalk | Path-Sensitive Sparse Analysis without Path Conditions PLDI Qingkai Shi Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI | ||
09:25 5mTalk | Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring PLDI Kia Rahmani Purdue University, Kartik Nagar IIT Madras, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI | ||
09:30 5mTalk | SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis PLDI Yoshiki Takashima Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Limin Jia Carnegie Mellon University, Corina S. Păsăreanu Carnegie Mellon University DOI | ||
09:35 5mTalk | When Threads Meet Events: Efficient and Precise Static Race Detection with Origins PLDI Bozhen Liu Texas A&M University, Peiming Liu Texas A&M University, Yanze Li Texas A&M University, Chia-Che Tsai Texas A&M University, Dilma Da Silva Texas A&M University, Jeff Huang Texas A&M University DOI | ||
09:40 - 10:30 | |||
09:40 50mPoster | Poster Session PLDI | ||
10:30 - 11:30 | |||
10:30 60mKeynote | Concerns We Are Not Separating: It's Time for New Programming Stacks Invited Talks Michelle Strout HPE and University of Arizona | ||
12:00 - 12:30 | |||
12:00 30mLive Q&A | Oracle: Chat With Guy Steele Sponsors | ||
12:30 - 13:30 | Ask Me AnythingAsk Me Anything at PLDI-A Chair(s): Ranjit Jhala University of California at San Diego, John Wickerson Imperial College London | ||
12:30 20mLive Q&A | Ask Me Anything with Madan Musuvathi Ask Me Anything Madan Musuvathi Microsoft Research | ||
12:50 20mLive Q&A | Ask Me Anything with Philippa Gardner Ask Me Anything Philippa Gardner Imperial College London | ||
13:10 20mLive Q&A | Ask Me Anything with Rustan Leino Ask Me Anything K. Rustan M. Leino Amazon | ||
13:30 - 14:00 | |||
13:30 5mTalk | Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic PLDI Simon Spies MPI-SWS, Lennard Gäher Saarland University, Daniel Gratzer Aarhus University, Joseph Tassarotti Boston College, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS, Lars Birkedal Aarhus University DOI | ||
13:35 5mTalk | Example-Guided Synthesis of Relational Queries PLDI Aalok Thakkar University of Pennsylvania, Aaditya Naik University of Pennsylvania, Nathaniel Sands University of Southern California, Rajeev Alur University of Pennsylvania, Mayur Naik University of Pennsylvania, Mukund Raghothaman University of Southern California DOI | ||
13:40 5mTalk | CompCertO: Compiling Certified Open C Components PLDI DOI | ||
13:45 5mTalk | On Probabilistic Termination of Functional Programs with Continuous Distributions PLDI DOI | ||
13:50 5mTalk | Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption PLDI Meghan Cowan Facebook Reality Labs Research, Deeksha Dangwal Facebook Reality Labs Research, Armin Alaghi Facebook Reality Labs Research, Caroline Trippel Stanford University, Vincent T. Lee Facebook Reality Labs Research, Brandon Reagen New York University DOI | ||
13:55 5mTalk | Polynomial Reachability Witnesses via Stellensätze PLDI Ali Asadi Sharif University of Technology, Krishnendu Chatterjee IST Austria, Hongfei Fu Shanghai Jiao Tong University, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Mohammad Mahdavi Sharif University of Technology DOI | ||
14:05 - 15:00 | |||
14:05 55mPoster | Poster Session PLDI | ||
15:00 - 16:00 | |||
15:00 60mAwards | Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All Invited Talks Emina Torlak University of Washington | ||
21:00 - 21:40 | |||
21:00 5mTalk | DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads PLDI Wookeun Jung Seoul National University, Thanh Tuan Dao Seoul National University, Jaejin Lee Seoul National University DOI | ||
21:05 5mTalk | Provable Repair of Deep Neural Networks PLDI Matthew Sotoudeh University of California at Davis, Aditya V. Thakur University of California at Davis DOI Pre-print Media Attached | ||
21:10 5mTalk | DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning PLDI Kevin Ellis Cornell University, Lionel Wong Massachusetts Institute of Technology, Maxwell Nye Massachusetts Institute of Technology, Mathias Sablé-Meyer PSL University; Collège de France; NeuroSpin, Lucas Morales Massachusetts Institute of Technology, Luke Hewitt Massachusetts Institute of Technology, Luc Cary Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology DOI | ||
21:15 5mTalk | Specification Synthesis with Constrained Horn Clauses PLDI Sumanth Prabhu TCS Research, Grigory Fedyukovich Florida State University, Kumar Madhukar TCS Research, Deepak D'Souza IISc Bangalore DOI | ||
21:20 5mTalk | Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming PLDI Guillaume Baudart Inria, Javier Burroni University of Massachusetts Amherst, Martin Hirzel IBM Research, Louis Mandel IBM Research, USA, Avraham Shinnar IBM Research DOI | ||
21:25 5mTalk | Sound Probabilistic Inference via Guide Types PLDI Di Wang Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University, Thomas Reps University of Wisconsin DOI | ||
21:30 5mTalk | SPPL: Probabilistic Programming with Fast Exact Symbolic Inference PLDI Feras Saad Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology DOI | ||
21:35 5mTalk | Quantitative Analysis of Assertion Violations in Probabilistic Programs PLDI Jinyi Wang Shanghai Jiao Tong University, Yican Sun Peking University, Hongfei Fu Shanghai Jiao Tong University, Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady Hong Kong University of Science and Technology DOI | ||
21:00 - 21:40 | |||
21:00 5mTalk | Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing PLDI Alastair F. Donaldson Imperial College London, Paul Thomson Google, Vasyl Teliman National Technical University of Ukraine, Stefano Milizia Imperial College London, André Perez Maselco Federal University of ABC, Antoni Karpiński Warsaw University of Technology DOI | ||
21:05 5mTalk | Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction PLDI Gefei Zuo University of Michigan, Jiacheng Ma University of Michigan, Andrew Quinn University of Michigan, Pramod Bhatotia TU Munich, Pedro Fonseca Purdue University, Baris Kasikci University of Michigan DOI | ||
21:10 5mTalk | Concolic Program Repair PLDI Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller National University of Singapore, Lars Grunske Humboldt University of Berlin, Abhik Roychoudhury National University of Singapore DOI Pre-print | ||
21:15 5mTalk | Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing PLDI Guixin Ye Northwest University, Zhanyong Tang Northwest University, Shin Hwei Tan Southern University of Science and Technology, Dingyi Fang Northwest University, Xiaoyang Sun University of Leeds, Lizhong Bian Alipay, Songfang Huang Alibaba DAMO Academy, Haibo Wang University of Leeds, Zheng Wang University of Leeds, UK DOI | ||
21:20 5mTalk | Path-Sensitive Sparse Analysis without Path Conditions PLDI Qingkai Shi Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology, Rongxin Wu Xiamen University, Charles Zhang Hong Kong University of Science and Technology DOI | ||
21:25 5mTalk | Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring PLDI Kia Rahmani Purdue University, Kartik Nagar IIT Madras, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University DOI | ||
21:30 5mTalk | SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis PLDI Yoshiki Takashima Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Limin Jia Carnegie Mellon University, Corina S. Păsăreanu Carnegie Mellon University DOI | ||
21:35 5mTalk | When Threads Meet Events: Efficient and Precise Static Race Detection with Origins PLDI Bozhen Liu Texas A&M University, Peiming Liu Texas A&M University, Yanze Li Texas A&M University, Chia-Che Tsai Texas A&M University, Dilma Da Silva Texas A&M University, Jeff Huang Texas A&M University DOI | ||
21:40 - 22:30 | |||
21:40 50mPoster | Poster Session PLDI | ||
22:30 - 23:30 | |||
22:30 60mKeynote | Concerns We Are Not Separating: It's Time for New Programming Stacks Invited Talks Michelle Strout HPE and University of Arizona | ||
Sat 26 JunDisplayed time zone: Eastern Time (US & Canada) change
Sat 26 Jun
Displayed time zone: Eastern Time (US & Canada) change
00:30 - 01:30 | Ask Me AnythingAsk Me Anything at PLDI-A Chair(s): Andreea Costea School of Computing, National University Of Singapore, Hongseok Yang KAIST | ||
00:30 30mLive Q&A | Ask Me Anything with Sukyoung Ryu Ask Me Anything Sukyoung Ryu KAIST | ||
01:00 30mLive Q&A | Ask Me Anything with Joxan Jaffar Ask Me Anything Joxan Jaffar National University of Singapore | ||
01:30 - 02:00 | |||
01:30 5mTalk | Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic PLDI Simon Spies MPI-SWS, Lennard Gäher Saarland University, Daniel Gratzer Aarhus University, Joseph Tassarotti Boston College, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS, Lars Birkedal Aarhus University DOI | ||
01:35 5mTalk | Example-Guided Synthesis of Relational Queries PLDI Aalok Thakkar University of Pennsylvania, Aaditya Naik University of Pennsylvania, Nathaniel Sands University of Southern California, Rajeev Alur University of Pennsylvania, Mayur Naik University of Pennsylvania, Mukund Raghothaman University of Southern California DOI | ||
01:40 5mTalk | CompCertO: Compiling Certified Open C Components PLDI DOI | ||
01:45 5mTalk | On Probabilistic Termination of Functional Programs with Continuous Distributions PLDI DOI | ||
01:50 5mTalk | Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption PLDI Meghan Cowan Facebook Reality Labs Research, Deeksha Dangwal Facebook Reality Labs Research, Armin Alaghi Facebook Reality Labs Research, Caroline Trippel Stanford University, Vincent T. Lee Facebook Reality Labs Research, Brandon Reagen New York University DOI | ||
01:55 5mTalk | Polynomial Reachability Witnesses via Stellensätze PLDI Ali Asadi Sharif University of Technology, Krishnendu Chatterjee IST Austria, Hongfei Fu Shanghai Jiao Tong University, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Mohammad Mahdavi Sharif University of Technology DOI | ||
02:05 - 03:00 | |||
02:05 55mPoster | Poster Session PLDI | ||
03:00 - 04:00 | |||
03:00 60mAwards | Robin Milner Young Researcher Award Presentation and Talk: Solver-Aided Programming for All Invited Talks Emina Torlak University of Washington | ||