Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Sat 17 JunDisplayed time zone: Eastern Time (US & Canada) change
Sat 17 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 11:00 | |||
09:00 5mDay opening | Introduction CSC | ||
09:05 40mKeynote | Keynote 1Invited Talk CSC | ||
09:50 70mTalk | Lightning Talks CSC | ||
09:00 - 11:00 | |||
09:00 2h | From Zero to Proving: Building Your First Language with the K Framework Tutorials Bruce Collie Runtime Verification, Inc. | ||
09:00 - 11:00 | SOAP: Session 1 - Static AnalysisSOAP at Magnolia 18 Chair(s): Vincenzo Arceri University of Parma, Italy | ||
09:00 30mTalk | Combining E-Graphs with Abstract Interpretation SOAP Samuel Coward Imperial College London, UK / Intel Corporation, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA | ||
09:30 30mTalk | Static Analysis of Data Transformations in Jupyter Notebooks SOAP Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Guruprerana Shabadi École Polytechnique, Institut Polytechnique de Paris, Caterina Urban INRIA & École Normale Supérieure | Université PSL | ||
10:00 30mTalk | Speeding up Static Analysis with the Split Operator SOAP Vincenzo Arceri University of Parma, Italy, Greta Dolcetti University of Parma - Department of Mathematical, Physical, and Computer Sciences, Enea Zaffanella University of Parma, Italy | ||
10:30 30mTalk | When Long Jumps Fall Short - Control-Flow Tracking & Misuse Detection for Non-Local Jumps in C SOAP Michael Schwarz Technische Universität München, Julian Erhard Technical University of Munich, Vesal Vojdani University of Tartu, Simmo Saan University of Tartu, Estonia, Helmut Seidl Technische Universität München | ||
09:00 - 11:00 | |||
09:00 2h | Building Programming Language Infrastructure With LLVM Components Tutorials Sunho Kim De Anza College, Vassil Vassilev Princeton University, Lang Hames , Vassil Vassilev Princeton University | ||
09:00 - 11:00 | |||
09:00 15mTalk | Goals for a modern ISA specification PLARCH Alastair Reid Arm Ltd | ||
09:25 15mTalk | Generate Compilers from Hardware Models! PLARCH Gus Henry Smith University of Washington, Benjamin Kushigian University of Washington, Vishal Canumalla University of Washington, Andrew Cheung University of Washington, René Just University of Washington, Zachary Tatlock University of Washington | ||
09:40 10mTalk | Semi-Automated Translation of a Formal ISA Specification to Hardware PLARCH Harlan Kringen UC Santa Barbara, Zachary Sisco UC Santa Barbara, Jonathan Balkind UC Santa Barbara, Timothy Sherwood University of California at Santa Barbara, Ben Hardekopf University of California at Santa Barbara | ||
10:00 15mTalk | Leakage models are a leaky abstraction: the case for cycle-level verification of constant-time cryptography PLARCH Anish Athalye MIT, M. Frans Kaashoek Massachusetts Institute of Technology, USA, Nickolai Zeldovich Massachusetts Institute of Technology, USA, Joseph Tassarotti NYU | ||
10:15 15mTalk | Hardware-Software Codesign for Mitigating Spectre PLARCH Nicholas Mosier Stanford University, Kate Eselius Stanford University, Hamed Nemati Stanford University, CISPA Helmholtz Center for Information Security, John C. Mitchell Stanford University, Caroline Trippel Stanford University | ||
10:30 15mTalk | Hardware Verification of Timing Side Channel Freedom in the Spectre Era PLARCH Stella Lau MIT CSAIL, Thomas Bourgeat MIT CSAIL, Clément Pit-Claudel EPFL / AWS, Adam Chlipala Massachusetts Institute of Technology | ||
09:00 - 11:00 | |||
09:00 20mTalk | Matrix Decompositions over Database Joins DRAGSTERS Dan Olteanu University of Zurich, Nils Vortmeier Ruhr University Bochum, Dorde Zivanovic University of Oxford | ||
09:20 20mTalk | NASOQ: Numerically Accurate Sparsity-Oriented QP Solver DRAGSTERS | ||
09:40 20mTalk | UniSparse: An Intermediate Language and Compiler for General Sparse Format Customization DRAGSTERS Jie Liu Cornell University, Zhongyuan Zhao , Zijian Ding Peking University, Benjamin Brock Parallel Computing Lab (PCL), Intel, Hongbo Rong Intel Labs, Zhiru Zhang Cornell University, USA | ||
10:00 20mTalk | Unification as a means of completing partial data structures DRAGSTERS Joachim Kristensen University of Oslo, Robin Kaarsgaard University of Southern Denmark, Michael Kirkedal Thomsen University of Oslo & University of Copenhagen | ||
10:20 20mTalk | Formalizing DRAGSTERS DRAGSTERS Scott Kovach Stanford University | ||
10:40 20mTalk | Scaling Decision--Theoretic Probabilistic Programming Through Factorization DRAGSTERS | ||
09:00 - 11:00 | |||
09:00 60mTalk | Talk by Raj Barik (Title TBD) ASA Raj Barik Uber Technologies Inc. | ||
10:00 60mTalk | How Programmers Interact with AI Assistants ASA Nadia Polikarpova University of California at San Diego | ||
09:00 - 11:00 | |||
09:00 2h | Neurosymbolic Programming in Scallop Tutorials | ||
09:00 - 11:00 | |||
09:00 2h | High-Level Executable Specification and Reasoning for Improving Distributed Algorithms Tutorials | ||
11:20 - 12:30 | |||
11:20 40mKeynote | Keynote 2Invited Talk CSC | ||
12:00 20mTalk | Lightning Talks CSC | ||
12:20 10mOther | Announcements CSC | ||
11:20 - 12:30 | |||
11:20 70m | From Zero to Proving: Building Your First Language with the K Framework Tutorials Bruce Collie Runtime Verification, Inc. | ||
11:20 - 12:30 | |||
11:20 25mTalk | HWASanIO: Detecting C/C++ Intra-Object Overflows with Memory Shading SOAP | ||
11:45 45mKeynote | Flux: Refinement types for RustInvited Talk SOAP Ranjit Jhala University of California at San Diego | ||
11:20 - 12:30 | |||
11:20 70m | Building Programming Language Infrastructure With LLVM Components Tutorials Sunho Kim De Anza College, Vassil Vassilev Princeton University, Lang Hames , Vassil Vassilev Princeton University | ||
11:20 - 12:30 | |||
11:20 10mTalk | Tags: A Framework for Distributed Event Ordering PLARCH Paul Mure Stanford University, Nathan Zhang Stanford University, Caroline Trippel Stanford University, Kunle Olukotun Stanford University | ||
11:30 15mTalk | Stellar: A DSL to Build and Explore Sparse Accelerators PLARCH Hasan Genc UC Berkeley, Hansung Kim University of California, Berkeley, Prashanth Ganesh University of California, Berkeley, Yakun Sophia Shao University of California, Berkeley | ||
11:45 15mTalk | PEak: A Single Source of Truth for Hardware Design and Verification PLARCH Caleb Donovick Stanford University, Ross Daly Stanford University, USA, Jackson Melchert Stanford University, Leonard Truong Stanford University, Priyanka Raina Stanford University, Pat Hanrahan Stanford University, USA, Clark Barrett Stanford University | ||
12:00 10mTalk | Challenges with Hardware-Software Co-design for Sparse Machine Learning on Streaming Dataflow PLARCH Rubens Lacouture Stanford University, Olivia Hsu Stanford University, Kunle Olukotun Stanford University, Fredrik Kjolstad Stanford University | ||
11:20 - 12:30 | |||
11:20 30mTalk | Invited talk by Fredrik Kjolstad DRAGSTERS Fredrik Kjolstad Stanford University | ||
11:50 20mTalk | F-IVM: Analytics over Relational Databases under Updates DRAGSTERS Ahmet Kara University of Zurich, Milos Nikolic University of Edinburgh, Dan Olteanu University of Zurich, Haozhe Zhang University of Zurich | ||
12:10 20mTalk | TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators DRAGSTERS Nandeeka Nayak University of Illinois at Urbana-Champaign, Toluwanimi O. Odemuyiwa University of California, Davis, Shubham Ugare University of Illinois at Urbana-Champaign, Christopher W. Fletcher University of Illinois--Urbana Champaign, Michael Pellauer Nvidia, Joel S Emer MIT/NVIDIA | ||
11:20 - 12:30 | |||
11:20 35mTalk | Towards Code-Aware AI Models for Code ASA Baishakhi Ray Columbia University | ||
11:55 35mTalk | Why can’t we all just get along? Training SA and AI tools to communicate ASA Yaniv David Columbia University | ||
11:20 - 12:30 | |||
11:20 70m | Neurosymbolic Programming in Scallop Tutorials | ||
11:20 - 12:30 | |||
11:20 70m | High-Level Executable Specification and Reasoning for Improving Distributed Algorithms Tutorials | ||
14:00 - 15:30 | |||
14:00 - 15:30 | |||
14:00 90m | Teaching and Learning Compilers Incrementally Tutorials Jeremy G. Siek Indiana University, USA | ||
14:00 - 15:30 | SOAP: Session 3 - Scalable AnalysisSOAP at Magnolia 18 Chair(s): Pietro Ferrara Università Ca' Foscari, Venezia, Italy | ||
14:00 40mKeynote | Sound and Precise Static Analysis using a generalization of Static Single Assignment and Value NumberingInvited Talk SOAP Tucker Taft AdaCore, United States | ||
14:40 25mTalk | Extensible and Scalable Architecture for Hybrid Analysis SOAP | ||
15:05 25mTalk | User-assisted Code Query Optimization SOAP Ben Liblit Amazon, Yingjun Lyu Amazon, Rajdeep Mukherjee Amazon, Omer Tripp Amazon, Yanjun Wang Amazon Web Services, USA | ||
14:00 - 15:30 | |||
14:00 45mTalk | Precise Software Bug Detection through Relevance and Similarity ASA Kihong Heo KAIST | ||
14:45 45mTalk | Talk by Emery D. Berger (Title TBD) ASA Emery D. Berger University of Massachusetts Amherst | ||
14:00 - 15:30 | |||
14:00 90mTutorial | What’s new in Dafny, and what is Dafny anyway? Tutorials K. Rustan M. Leino Amazon | ||
16:00 - 17:50 | |||
16:00 90mOther | Breakout Reporting and Discussion CSC | ||
16:00 - 17:50 | |||
16:00 1h50m | Teaching and Learning Compilers Incrementally Tutorials Jeremy G. Siek Indiana University, USA | ||
16:00 - 17:50 | SOAP: Session 4 - Program Verification and Dynamic AnalysisSOAP at Magnolia 18 Chair(s): Liana Hadarean Amazon Web Services | ||
16:00 35mKeynote | Applications of Symbolic ExecutionInvited Talk SOAP William Hallahan Binghamton | ||
16:35 25mTalk | Completeness Thresholds for Memory Safety of Array Traversing Programs SOAP | ||
17:00 25mTalk | Crosys: Cross Architectural Dynamic Analysis SOAP Sangrok Lee The Affiliated Institute of ETRI, Jieun Lee The Affiliated Institute of ETRI, Jaeyong Ko The Affiliated Institute of ETRI, Jaewoo Shim The Affiliated Institute of ETRI | ||
17:25 25mTalk | RaceInjector: Injecting Races To Evaluate And Learn Dynamic Race Detection Algorithms SOAP Michael Wang Massachusetts Institute of Technology, Shashank Srikant MIT, Malavika Samak CSAIL, MIT, Una-May O’Reilly Massachusetts Institute of Technology | ||
16:00 - 17:50 | |||
16:00 15mTalk | Novel Numerical Hardware Design Methodology - From machine readable specification to optimized RTL PLARCH Theo Drane Intel Corporation, USA, Bill Zorn Intel Corporation, USA, Samuel Coward Imperial College London, UK / Intel Corporation | ||
16:15 15mTalk | Mixed-Abstraction HDLs and A Discussion on Other Aspects of HDL Design PLARCH Vighnesh Iyer University of California, Berkeley, Borivoje Nikolic University of California, Berkeley | ||
16:30 10mTalk | New Embedded DSLs for Hardware Design and Verification PLARCH Vighnesh Iyer University of California, Berkeley, Kevin Laeufer UC Berkeley, Young-Jin Park University of California, Berkeley, Rohit Agarwal University of California, Berkeley, Lixiang Yin University of California, Berkeley, Bryan Ngo University of California, Berkeley, Oliver Yu University of California, Berkeley, Koushik Sen UC Berkeley, Borivoje Nikolic University of California, Berkeley | ||
16:40 10mTalk | Fearless Hardware Design PLARCH Rachit Nigam Cornell University | ||
17:00 10mTalk | Library-based Compartmentalisation on CHERI PLARCH | ||
17:10 10mTalk | Non-Newtonian Hardware Design for Longevity PLARCH | ||
17:20 10mTalk | On the Generality of Matrix Multiplication PLARCH | ||
17:30 10mTalk | ChatGPT, Make a Secure Malloc for me PLARCH | ||
16:00 - 17:50 | |||
16:00 1h50mTalk | Talk by Swarat Chaudhuri (Title TBD) ASA Swarat Chaudhuri University of Texas at Austin | ||
16:00 - 17:50 | |||
16:00 1h50mTutorial | What’s new in Dafny, and what is Dafny anyway? Tutorials K. Rustan M. Leino Amazon | ||
Sun 18 JunDisplayed time zone: Eastern Time (US & Canada) change
Sun 18 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 11:00 | PLMW: Session 1PLMW@PLDI at Magnolia 10 Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder & Amazon | ||
09:00 10mTalk | Welcome PLMW@PLDI Limin Jia Carnegie Mellon University, Anitha Gollamudi University of Massachusetts Lowell, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Marco Guarnieri IMDEA Software Institute | ||
09:10 40mTalk | How to conduct impactful research? PLMW@PLDI Emery D. Berger University of Massachusetts Amherst | ||
09:50 60mPanel | Panel: Career paths PLMW@PLDI Chris Casinghino Jane Street, David Grove IBM Research, Talia Ringer University of Illinois at Urbana-Champaign, Lucas Bang Harvey Mudd College, Devin Coughlin Apple | ||
10:50 20mTalk | PL research at Apple PLMW@PLDI Devin Coughlin Apple | ||
09:00 - 11:00 | |||
09:40 20mTalk | Optimizing Stateful Dataflow with Local Rewrites EGRAPHS Shadaj Laddad University of California at Berkeley, Conor Power University of California at Berkeley, Tyler Hou University of California, Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein University of California, Berkeley | ||
10:00 20mTalk | Egg-smol Python: A Pythonic Library for E-graphs EGRAPHS Pre-print | ||
10:20 20mTalk | egglog In Practice: Automatically Improving Floating-point Error EGRAPHS | ||
10:40 20mTalk | Automating Constraint-Aware Datapath Optimization using E-Graphs EGRAPHS Samuel Coward Imperial College London, UK / Intel Corporation, George A. Constantinides Imperial College London, UK, Theo Drane Intel Corporation, USA | ||
09:00 - 10:20 | |||
09:00 60mTalk | Keynote: A Brave New World for Memory Management Research ISMM Martin Maas Google | ||
10:00 20mBreak | BreakSocial ISMM | ||
09:00 - 11:00 | |||
09:00 5mDay opening | Introduction CTSTA Fredrik Kjolstad Stanford University | ||
09:05 15mTalk | Talk CTSTA Fredrik Kjolstad Stanford University | ||
09:20 15mTalk | Talk CTSTA Mary Hall University of Utah | ||
09:35 15mTalk | Talk CTSTA Gokcen Kestor Pacific Northwest National Laboratory | ||
09:50 10mPanel | Discussion CTSTA | ||
10:00 5mBreak | BreakSocial CTSTA | ||
10:05 15mTalk | Challenges and Opportunities for Sparse Compilers in LLM CTSTA Zihao Ye University of Washington | ||
10:20 15mTalk | The Sparse Abstract Machine CTSTA Olivia Hsu Stanford University | ||
10:35 15mTalk | Talk CTSTA Christopher W. Fletcher University of Illinois--Urbana Champaign | ||
10:50 10mPanel | Discussion CTSTA | ||
09:00 - 11:00 | |||
09:00 15mOther | Welcome Infer Ákos Hajdu Meta | ||
09:15 45mTalk | Talk slot 1 Infer | ||
10:00 45mTalk | Talk slot 2 Infer | ||
09:00 - 11:00 | |||
09:00 - 10:00 | |||
09:00 - 11:00 | |||
09:00 2h | DSL-based Hardware Generation Tutorials Rachit Nigam Cornell University, Adrian Sampson Cornell University, Anshuman Mohan Cornell University, Griffin Berlstein Cornell University, Priya Srikumar Cornell University, Susan Garry | ||
10:00 - 11:00 | |||
10:00 20mTalk | Facilitating the Bootstrapping of a New ISA LCTES Abigail Mortensen , Scott Pomerville Michigan Technological University, David B. Whalley , Soner Onder Michigan Technological University, Gang-Ryung Uh Qualcomm, USA | ||
10:20 20mTalk | Synchronization-aware NAS for an Efficient Collaborative Inference on Mobile Platforms LCTES Beom Woo Kang Hanyang University, Junho Wohn Hanyang University, Seongju Lee Hanyang University, Sunghyun Park University of Michigan, Yung-Kyun Noh Hanyang University, Yongjun Park Yonsei University | ||
10:40 20mTalk | MinUn: Accurate ML Inference on MicrocontrollersVirtual LCTES Shikhar Jaiswal Microsoft Research, Rahul Kranti Kiran Goli Microsoft Research, Aayan Kumar Microsoft Research, Vivek Seshadri Microsoft Research, Rahul Sharma Microsoft Research | ||
10:20 - 11:20 | |||
10:20 20mTalk | Scaling up Performance of Managed Applications on NUMA Systems ISMM Orion Papadakis The University of Manchester, Andreas Andronikakis The University of Manchester, Nikos Foutris The University of Manchester, Michail Papadimitriou OctoML, Athanasios Stratikopoulos The University of Manchester, Foivos S. Zakkak Red Hat, Inc., Polychronis Xekalakis Nvidia, Christos Kotselidis KTM Innovation / The University of Manchester, Foivos S. Zakkak Red Hat, Inc. | ||
10:40 20mTalk | Analyzing and Improving the Scalability of In-Memory Indices for Managed Search Engines ISMM | ||
11:00 20mCoffee break | Coffee breakSocial ISMM | ||
11:20 - 12:30 | PLMW: Session 2PLMW@PLDI at Magnolia 10 Chair(s): Anitha Gollamudi University of Massachusetts Lowell | ||
11:20 30mTalk | Research area overview talk I: PL meets ML PLMW@PLDI Steven Holtzen Northeastern University | ||
11:50 40mTalk | How to conduct cross-cutting research? PLMW@PLDI Alvin Cheung University of California at Berkeley | ||
12:30 90mLunch | Mentoring lunch PLMW@PLDI | ||
11:20 - 12:30 | |||
11:20 20mTalk | KestRel: Relational Verification using E-Graphs for Program Alignment EGRAPHS | ||
11:40 20mTalk | Ensuring the termination of equality saturation for terminating term rewriting systems EGRAPHS | ||
12:00 20mTalk | Partially Complete Quantifier Elimination EGRAPHS Isabel Garcia-Contreras University of Waterloo, Hari Govind V K University of Waterloo, Sharon Shoham Tel Aviv University, Arie Gurfinkel University of Waterloo | ||
11:20 - 14:00 | |||
11:20 20mTalk | Memory Consistency Models for Program Transformations ISMM Akshay Gopalakrishnan McGill University, Clark Verbrugge McGill University, Canada, Mark Batty University of Kent, Clark Verbrugge McGill University, Canada | ||
11:40 20mTalk | Predicting Dynamic Properties of Heap Allocations Using Neural Networks Trained on Static Code ISMM Christian Navasca UCLA, Martin Maas Google, Petros Maniatis Google, Hyeontaek Lim Google, Harry Xu University of California, Los Angeles (UCLA) | ||
12:00 20mTalk | The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation in the Wild ISMM Christos Lamprakos National Technical University of Athens, Katholieke Universiteit Leuven, Sotirios Xydis National Technical University of Athens, Francky Catthoor IMEC, Katholieke Universiteit Leuven, Dimitrios Soudris National Technical University of Athens | ||
12:30 90mLunch | Lunch breakSocial ISMM | ||
11:20 - 12:30 | |||
11:20 15mTalk | Accelerating Sparse Matrix Computations with Code Specialization CTSTA Maryam Mehri Dehnavi University of Toronto | ||
11:35 15mTalk | Talk CTSTA Raghavendra Kanakagiri University of Illinois Urbana-Champaign | ||
11:50 15mTalk | Talk CTSTA Amir Shaikhha University of Edinburgh | ||
12:05 15mTalk | Compiler Support for Structured Data CTSTA Saman Amarasinghe Massachusetts Institute of Technology | ||
12:20 10mPanel | Discussion CTSTA | ||
11:20 - 12:30 | |||
11:20 45mTalk | Talk slot 3 Infer | ||
11:20 - 12:30 | |||
11:20 - 12:30 | |||
11:30 20mTalk | reUpNix: Reconfigurable and Updateable Embedded Systems LCTES Niklas Golenstede Hamburg University of Technology, Ulf Kulau Hamburg University of Technology, Christian Dietrich Hamburg University of Technology | ||
11:50 20mTalk | Optimizing Function Layout for Mobile Applications LCTES | ||
12:10 20mTalk | Thread-Level Attack-Surface Reduction LCTES Florian Rommel Leibniz Universität Hannover, Christian Dietrich Hamburg University of Technology, Andreas Ziegler Friedrich-Alexander University Erlangen-Nürnberg (FAU), Illia Ostapyshyn Leibniz Universität Hannover, Daniel Lohmann Leibniz Universität Hannover | ||
11:20 - 12:30 | |||
11:20 70m | DSL-based Hardware Generation Tutorials Rachit Nigam Cornell University, Adrian Sampson Cornell University, Anshuman Mohan Cornell University, Griffin Berlstein Cornell University, Priya Srikumar Cornell University, Susan Garry | ||
14:00 - 15:30 | |||
14:00 30mTalk | Research area overview talk II: Synthesis PLMW@PLDI Nadia Polikarpova University of California at San Diego | ||
14:30 30mTalk | Research area overview talk III: Language design PLMW@PLDI Amal Ahmed Northeastern University, USA | ||
15:00 30mTalk | Research area overview talk IV: Security PLMW@PLDI Danfeng Zhang Pennsylvania State University | ||
14:00 - 15:30 | |||
14:00 60mKeynote | ægraphs: Acyclic E-graphs for Efficient Optimization in a Production CompilerInvited Talk EGRAPHS Chris Fallin Fastly | ||
14:00 - 16:00 | |||
14:00 20mTalk | Concurrent GCs and Modern Java Workloads: A Cache Perspective ISMM Maria Carpen-Amarie Huawei Zurich Research Center, Switzerland, Georgios Vavouliotis Huawei Zurich Research Center, Switzerland, Konstantinos Tovletoglou Huawei Zurich Research Center, Switzerland, Boris Grot University of Edinburgh, UK, Rene Mueller Huawei Zurich Research Center, Switzerland | ||
14:20 20mTalk | Wait-free weak reference counting ISMM | ||
14:40 20mTalk | NUMAlloc: A Faster NUMA Memory Allocator ISMM Hanmei Yang University of Massachusetts Amherst, Xin Zhao University of Massachusetts Amherst, Jin Zhou University of Massachusetts Amherst, Wei Wang University of Texas at San Antonio, USA, Sandip Kundu University of Massachusetts Amherst, Bo Wu Colorado School of Mines, Hui Guan University of Massachusetts, Amherst, Tongping Liu University of Massachusetts at Amherst | ||
15:00 20mTalk | Picking a CHERI Allocator: Security and Performance Considerations ISMM Jacob Bramley Arm, Dejice Jacob University of Glasgow, UK, Andrei Lascu Imperial College London, Jeremy Singer University of Glasgow, Laurence Tratt King's College London, Andrei Lascu Imperial College London Pre-print | ||
15:30 30mCoffee break | Coffee breakSocial ISMM | ||
14:00 - 15:30 | |||
14:00 15mTalk | Learning workload-aware cost model for sparse tensor program CTSTA Jaeyeon Won Massachusetts Institute of Technology | ||
14:15 15mTalk | Talk CTSTA Kirshanthan Sundararajah Purdue University | ||
14:30 10mPanel | Discussion CTSTA | ||
14:40 15mTalk | Fantastic Sparse Masks and Where to Find Them CTSTA Shiwei Liu The University of Texas at Austin, Texas, USA | ||
14:55 15mTalk | Talk CTSTA Aart Bik Google, Inc. | ||
15:10 15mPanel | Discussion CTSTA | ||
15:25 5mDay closing | Closing CTSTA | ||
14:00 - 15:30 | |||
14:00 45mTalk | Talk slot 4 Infer | ||
14:45 45mTalk | Talk slot 5 Infer | ||
14:00 - 15:30 | |||
14:00 - 15:30 | |||
14:00 20mTalk | Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization LCTES | ||
14:20 20mTalk | PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Embedded Media ServersVirtual LCTES Girish Mururu Georgia Institute of Technology, vincentni , Ada Gavrilovska , Santosh Pande Georgia Institute of Technology | ||
14:40 10mTalk | (WIP) Tiling for DMA-Based Hardware AcceleratorsVirtual LCTES | ||
14:50 10mTalk | (WIP) Towards Automated Identification of Layering Violations in Embedded Applications LCTES DOI Pre-print | ||
15:00 10mTalk | (WIP) Towards Secure MicroPython on Morello LCTES Jeremy Singer University of Glasgow | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Towards Supporting Universal Static Analysis using WALA Tutorials Rahul Krishna IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Divya Sankar IBM Research, Julian Dolby IBM Research, Rangeet Pan IBM Research | ||
16:00 - 17:50 | |||
16:00 50mTalk | How to make a good talk? PLMW@PLDI Ranjit Jhala University of California at San Diego | ||
16:50 60mPanel | Panel: How to excel in graduate school PLMW@PLDI Fraser Brown CMU, Ankush Desai Amazon Web Services, Jeffrey S. Foster Tufts University, Milijana Surbatovich Carnegie Mellon University | ||
16:00 - 17:50 | |||
16:00 20mTalk | E-graph Extraction Using ZDDs EGRAPHS Eli Rosenthal Google | ||
16:20 20mTalk | Improving Term Extraction with Acyclic Constraints EGRAPHS Deyuan (Mike) He Princeton University, Haichen Dong Princeton University, Sharad Malik Princeton University, Aarti Gupta Princeton University | ||
16:40 20mTalk | Optimizing bindings in e-graphs EGRAPHS Emmanuel Anaya-Gonzalez UCSD, Cole Kurashige UCSD, Aditya Giridharan UCSD, Nadia Polikarpova University of California at San Diego | ||
16:00 - 17:20 | |||
16:00 20mTalk | Blast from the Past: Least Expected Use (LEU) Cache Replacement with Statistical History ISMM Sayak Chakraborti University of Rochester, Zhizhou (Chris) Zhang Uber Technologies, Noah Bertram Cornell University, Sandhya Dwarkadas University of Rochester, Chen Ding University of Rochester | ||
16:20 20mTalk | OMRGx: Programmable and Transparent Out-of-Core Graph Partitioning and Processing ISMM | ||
16:40 20mTalk | ZipKV: In-Memory Key-Value Store with Built-In Data Compression ISMM Linsen Ma Rensselaer Polytechnic Institute, Rui Xie Rensselaer Polytechnic Institute, Tong Zhang Rensselaer Polytechnic Institute | ||
17:00 20mTalk | Flexible and Effective Object Tiering for Heterogeneous Memory Systems ISMM Brandon Kammerdiener University of Tennessee, Jeffrey Zachariah McMichael University of Tennessee, Michael Jantz University of Tennessee, Kshitij Doshi Intel Corporation, Terry Jones Oak Ridge National Laboratory | ||
16:00 - 17:50 | |||
16:00 1h50mPoster | Poster Session and Free-Form Discussion CTSTA | ||
16:00 - 17:50 | |||
16:00 45mTalk | Talk slot 6 Infer | ||
16:45 45mTalk | Talk slot 7 Infer | ||
17:30 20mOther | Wrap up Infer Ákos Hajdu Meta | ||
16:00 - 17:50 | |||
16:00 - 17:00 | |||
16:00 20mTalk | Rep-RAID: An Integrated Approach to Optimizing Data Replication and Garbage Collection in RAID-enabled SSDs LCTES Jun Li Southwest University, Balazs Gerofi Intel Corporation, Francois Trahay Telecom SudParis, Zhigang Cai Southwest University, Jianwei Liao Southwest University | ||
16:20 20mTalk | ISVABI: In-Storage Video Analytics Engine with Block Interface LCTES Yi Zheng The Pennsylvania State University, Joshua Fixelle University of Virginia, Pingyi Huo The Pennsylvania State University, Mircea R. Stan University of Virginia, Mike Mesnier Intel Labs, Vijaykrishnan Narayanan The Pennsylvania State University | ||
16:40 20mTalk | LUNAR: A Native Table Engine for Embedded DevicesVirtual LCTES Xiaopeng Fan East China Normal University, Song Yan East China Normal University, Yuchen Huang East China Normal University, Chuliang Weng East China Normal University | ||
16:00 - 17:50 | |||
16:00 1h50mTutorial | Towards Supporting Universal Static Analysis using WALA Tutorials Rahul Krishna IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Divya Sankar IBM Research, Julian Dolby IBM Research, Rangeet Pan IBM Research | ||
18:00 - 20:00 | |||
18:00 2hSocial Event | PLDI Opening ReceptionSocial PLDI Research Papers | ||
Mon 19 JunDisplayed time zone: Eastern Time (US & Canada) change
Mon 19 Jun
Displayed time zone: Eastern Time (US & Canada) change
12:30 - 13:40 | |||
12:30 70mLunch | SIGPLAN Awards LunchSocial SIGPLAN | ||
13:40 - 15:40 | |||
13:40 20mTalk | CQS: A Formally-Verified Framework for Fair Abortable Synchronization in Kotlin Coroutines PLDI Research Papers | ||
14:00 20mTalk | PureCake: A Verified Compiler for a Lazy Functional Language PLDI Research Papers Hrutvik Kanabar University of Kent, Samuel Vivien École Normale Supérieure, PSL & Chalmers University of Technology Sweden, Oskar Abrahamsson Chalmers University of Technology, Sweden, Magnus O. Myreen Chalmers University of Technology, Michael Norrish CSIRO’s Data61; Australian National University, Johannes Åman Pohjola University of New South Wales, Australia, Riccardo Zanetti Chalmers University of Technology, Sweden Pre-print | ||
14:20 20mTalk | Iris-Wasm: Robust and Modular Verification of WebAssembly Programs PLDI Research Papers Xiaojia Rao Imperial College, Aina Linn Georges Aarhus University, Maxime Legoupil Aarhus University, Conrad Watt University of Cambridge, Jean Pichon-Pharabod Aarhus University, Philippa Gardner Imperial College London, Lars Birkedal Aarhus University | ||
14:40 20mTalk | WasmRef-Isabelle: a Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly PLDI Research Papers Conrad Watt University of Cambridge, Maja Trela University of Cambridge, Peter Lammich The University of Manchester, Florian Märkl | ||
15:00 20mTalk | Merging Inductive Relations PLDI Research Papers Jacob Prinz University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park | ||
15:20 20mTalk | Cakes that Bake Cakes: Dynamic Computation in CakeML PLDI Research Papers Thomas Sewell University of Cambridge, Magnus O. Myreen Chalmers University of Technology, Yong Kiam Tan None, Ramana Kumar None, Alexander Mihajlovic Chalmers University of Technology, Oskar Abrahamsson Chalmers University of Technology, Scott Owens University of Kent, UK | ||
16:00 - 18:00 | |||
16:00 20mTalk | Type-Checking CRDT Convergence PLDI Research Papers George Zakhour University of St.Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen DOI Pre-print | ||
16:20 20mTalk | Reliable Actors with Retry Orchestration PLDI Research Papers Olivier Tardieu IBM Research, David Grove IBM Research, Gheorghe-Teodor Bercea IBM Research, Paul Castro IBM Research, Jaroslaw Cwiklik IBM Research, Edward Epstein IBM Research | ||
16:40 20mTalk | Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation Levels PLDI Research Papers Ahmed Bouajjani IRIF, Université Paris Diderot, Constantin Enea LIX, CNRS, Ecole Polytechnique, Enrique Román-Calvo Université Paris Cité - CNRS - IRIF | ||
17:00 20mTalk | Responsive Parallelism with Synchronization PLDI Research Papers Stefan K. Muller Illinois Institute of Technology, Kyle Singer Washington University in St. Louis, USA, Devyn Terra Keeney Illinois Institute of Technology, Andrew Neth Illinois Institute of Technology, Kunal Agrawal Washington University in St. Louis, USA, I-Ting Angelina Lee Washington University in St. Louis, USA, Umut A. Acar Carnegie Mellon University | ||
17:20 20mTalk | Parallelism in a Region Inference Context PLDI Research Papers | ||
17:40 20mTalk | Performal: Formal Verification of Latency Properties for Distributed Systems PLDI Research Papers Nuda Zhang University of Michigan, Upamanyu Sharma Massachusetts Institute of Technology, Manos Kapritsos University of Michigan, USA | ||
16:00 - 18:00 | |||
16:00 20mTalk | Scallop: A Language for Neurosymbolic Programming PLDI Research Papers | ||
16:20 20mTalk | Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks PLDI Research Papers Mark Niklas Müller ETH Zurich, Marc Fischer ETH Zurich, Robin Staab ETH Zurich, Martin Vechev ETH Zurich | ||
16:40 20mTalk | Register Tiling for Unstructured Sparsity in Neural Network Inference PLDI Research Papers Lucas Wilkinson University of Toronto, Kazem Cheshmi McMaster University, Maryam Mehri Dehnavi University of Toronto | ||
17:00 20mTalk | Architecture-Preserving Provable Repair of Deep Neural Networks PLDI Research Papers Zhe Tao , Stephanie Nawas University of California, Davis, Jacqueline Mitchell University of California, Davis, Aditya V. Thakur University of California at Davis Pre-print | ||
17:20 20mTalk | Incremental Verification of Neural Networks PLDI Research Papers Shubham Ugare University of Illinois at Urbana-Champaign, Debangshu Banerjee UIUC, Sasa Misailovic University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign | ||
17:40 20mTalk | Programming Large Language Models PLDI Research Papers | ||
19:30 - 21:30 | |||
19:30 2hDinner | PLDI / ISCA Junior Student MixerSocial SRC | ||
Tue 20 JunDisplayed time zone: Eastern Time (US & Canada) change
Tue 20 Jun
Displayed time zone: Eastern Time (US & Canada) change
08:00 - 08:45 | |||
08:00 45mLunch | SIGPLAN-M BreakfastSocial SIGPLAN | ||
09:00 - 11:00 | |||
09:00 20mTalk | Obtaining Information Leakage Bounds via Approximate Model Counting PLDI Research Papers Seemanta Saha University of California Santa Barbara, Surendra Ghentiyala University of California Santa Barbara, Shihua Lu University of California Santa Barbara, Lucas Bang Harvey Mudd College, Tevfik Bultan University of California, Santa Barbara | ||
09:20 20mTalk | CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity PLDI Research Papers | ||
09:40 20mTalk | Taype: a Policy-Agnostic Language for Oblivious Computation PLDI Research Papers | ||
10:00 20mTalk | Generalized policy-based non-interference for efficient confidentiality-preservation PLDI Research Papers Shamiek Mangipudi Università della Svizzera italiana (USI), Pavel Chuprikov USI Lugano, Patrick Eugster USI Lugano; Purdue University, Malte Viering TU Darmstadt, Savvas Savvides Purdue University | ||
10:20 20mTalk | Discrete Adversarial Attack to Models of Code PLDI Research Papers Fengjuan Gao Nanjing University of Science and Technology, YUe Vang Nanjing University, K.P. Wang Visa Research | ||
10:40 20mTalk | Automated Detection of Under-constrained Circuits in Zero-Knowledge Proofs PLDI Research Papers Shankara Pailoor University of Texas at Austin, Yanju Chen University of California at Santa Barbara, Franklyn Wang Harvard University, 0xparc, Clara Rodríguez-Núñez Complutense University of Madrid, Jacob Van Geffen Veridise Inc., Jason Morton ZKonduit, Michael Chu 0xparc, Brian Gu 0xparc, Yu Feng University of California at Santa Barbara, Işil Dillig University of Texas at Austin | ||
09:00 - 11:00 | |||
09:00 20mTalk | Trace-Guided Inductive Synthesis of Recursive Functional ProgramsDistinguished Paper PLDI Research Papers | ||
09:20 20mTalk | Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation PLDI Research Papers Yongho Yoon Seoul National University, Woosuk Lee Hanyang University, Kwangkeun Yi Seoul National University | ||
09:40 20mTalk | ImageEye: Batch Image Processing using Program Synthesis PLDI Research Papers Celeste Barnaby University of Texas at Austin, Qiaochu Chen University of Texas at Austin, Roopsha Samanta Purdue University, Işil Dillig University of Texas at Austin | ||
10:00 20mTalk | One Pixel Adversarial Attacks via Sketched Programs PLDI Research Papers | ||
10:20 20mTalk | Absynthe: Abstract Interpretation-Guided Synthesis PLDI Research Papers Sankha Narayan Guria University of Maryland, Jeffrey S. Foster Tufts University, David Van Horn University of Maryland Pre-print | ||
10:40 20mTalk | Conflict-Driven Synthesis for Layout Engines PLDI Research Papers Junrui Liu University of California, Santa Barbara, Yanju Chen University of California at Santa Barbara, Eric Atkinson MIT, Yu Feng University of California at Santa Barbara, Rastislav Bodík Google Research, Brain Team | ||
12:30 - 13:40 | PLDI: LGBTQ+ LunchPLDI Research Papers | ||
12:30 70mLunch | PLDI LGBTQ+ LunchSocial PLDI Research Papers | ||
13:40 - 15:40 | |||
13:40 20mTalk | Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? PLDI Research Papers Tetsuro Yamazaki University of Tokyo, Tomoki Nakamaru University of Tokyo, Ryota Shioya University of Tokyo, Tomoharu Ugawa University of Tokyo, Shigeru Chiba The University of Tokyo | ||
14:00 20mTalk | Modular Hardware Design with Timeline Types PLDI Research Papers Rachit Nigam Cornell University, Pedro Henrique Azevedo de Amorim Cornell University, Adrian Sampson Cornell University Pre-print | ||
14:20 20mTalk | Efficient Parallel Functional Programming with Effects PLDI Research Papers Jatin Arora Carnegie Mellon University, Sam Westrick Carnegie Mellon University, Umut A. Acar Carnegie Mellon University | ||
14:40 20mTalk | Better Defunctionalization through Lambda Set Specialization PLDI Research Papers William Brandon MIT CSAIL, Benjamin Driscoll Stanford University, Wilson Berkow UC Berkeley, Frank Dai UC Berkeley, Mae Milano University of California at Berkeley | ||
15:00 20mTalk | Sound Dynamic Deadlock Prediction in Linear Time PLDI Research Papers Hünkar Can Tunç Aarhus University, Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University, Mahesh Viswanathan University of Illinois at Urbana-Champaign Pre-print | ||
15:20 20mTalk | Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis PLDI Research Papers Wenjie Ma Nanjing University, Shengyuan Yang Nanjing University, Tian Tan Nanjing University, Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yue Li Nanjing University Pre-print | ||
13:40 - 15:40 | |||
13:40 20mTalk | Lilac: a Modal Separation Logic for Conditional Probability PLDI Research Papers John Li Northeastern University, Amal Ahmed Northeastern University, USA, Steven Holtzen Northeastern University Pre-print | ||
14:00 20mTalk | Formally Verified Samplers From Probabilistic Programs With Loops and Conditioning PLDI Research Papers Alexander Bagnall Ohio University, Gordon Stewart Bedrock Systems, Anindya Banerjee IMDEA Software Institute | ||
14:20 20mTalk | Verified Density Compilation for a Probabilistic Programming Language PLDI Research Papers | ||
14:40 20mTalk | Probabilistic Programming with Stochastic Probabilities PLDI Research Papers Alexander K. Lew Massachusetts Institute of Technology, Matin Ghavami Massachusetts Institute of Technology, Martin Rinard MIT, Vikash K. Mansinghka Massachusetts Institute of Technology | ||
15:00 20mTalk | Automated Expected Value Analysis of Recursive Programs PLDI Research Papers | ||
15:20 20mTalk | Synthesizing Quantum-Circuit Optimizers PLDI Research Papers Amanda Xu University of Wisconsin-Madison, Abtin Molavi University of Wisconsin-Madison, Lauren Pick University of Wisconsin-Madison and University of California, Berkeley, Swamit Tannu University of Wisconsin-Madison, Aws Albarghouthi University of Wisconsin-Madison Pre-print | ||
17:15 - 18:15 | |||
17:15 60mMeeting | SIGPLAN Business Meeting SIGPLAN | ||
19:00 - 21:30 | PLDI: Women's DinnerPLDI Research Papers | ||
19:00 2h30mDinner | PLDI Women's DinnerSocial PLDI Research Papers | ||
Wed 21 JunDisplayed time zone: Eastern Time (US & Canada) change
Wed 21 Jun
Displayed time zone: Eastern Time (US & Canada) change
09:00 - 11:00 | |||
09:00 20mTalk | Compound Memory Models PLDI Research Papers Andrés Goens the University of Edinburgh, Soham Chakraborty TU Delft, Susmit Sarkar University of St. Andrews, Sukarn Agarwal University of Edinburgh, Nicolai Oswald NVIDIA, Vijay Nagarajan University of Edinburgh, UK | ||
09:20 20mTalk | Putting Weak Memory in Order via a Promising Intermediate Representation PLDI Research Papers Sung-Hwan Lee Seoul National University, Minki Cho Seoul National University, Roy Margalit Tel Aviv University, Israel, Chung-Kil Hur Seoul National University, Ori Lahav Tel Aviv University | ||
09:40 20mTalk | Optimal Reads-From Consistency Checking for C11-Style Memory Models PLDI Research Papers Hünkar Can Tunç Aarhus University, Parosh Aziz Abdulla Uppsala University, Sweden, Soham Chakraborty TU Delft, Shankaranarayanan Krishna IIT Bombay, India, Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University Pre-print | ||
10:00 20mTalk | VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A PLDI Research Papers Zongyuan Liu Aarhus University, Denmark, Sergei Stepanenko Aarhus University, Jean Pichon-Pharabod Aarhus University, Amin Timany Aarhus University, Aslan Askarov Aarhus University, Lars Birkedal Aarhus University | ||
10:20 20mTalk | Embedding Hindsight Reasoning in Separation Logic PLDI Research Papers | ||
10:40 20mTalk | Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic PLDI Research Papers Ike Mulder Radboud University Nijmegen, Lukasz Czajka Heliax AG, Robbert Krebbers Radboud University Nijmegen Pre-print | ||
09:00 - 11:00 | |||
09:00 20mTalk | Mostly-Automated Proof Repair for Verified LibrariesDistinguished Paper PLDI Research Papers Kiran Gopinathan National University of Singapore, Mayank Keoliya National University of Singapore, Ilya Sergey National University of Singapore DOI Pre-print | ||
09:20 20mTalk | Proving and Disproving Equivalence of Functional Programming Assignments PLDI Research Papers | ||
09:40 20mTalk | Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations PLDI Research Papers DOI Pre-print | ||
10:00 20mTalk | Psym: Efficient Symbolic Exploration of Distributed Systems PLDI Research Papers Lauren Pick University of Wisconsin-Madison and University of California, Berkeley, Ankush Desai Amazon Web Services, Aarti Gupta Princeton University | ||
10:20 20mTalk | Modular Control Plane Verification via Temporal Invariants PLDI Research Papers Tim Alberdingk Thijm Princeton University, Ryan Beckett Microsoft Research, USA, Aarti Gupta Princeton University, David Walker Princeton University | ||
10:40 20mTalk | Fair Operational Semantics PLDI Research Papers Dongjae Lee Seoul National University, Minki Cho Seoul National University, Jinwoo Kim Seoul National University, Soonwon Moon Inha University, Youngju Song MPI-SWS, Chung-Kil Hur Seoul National University | ||
13:40 - 15:40 | |||
13:40 20mTalk | Passport: Improving Automated Formal Verification Using Identifiers PLDI Research Papers Alex Sanchez-Stern University of Massachusetts, Emily First University of Massachusetts Amherst, Timothy Zhou University of Illinois Urbana-Champaign, Zhanna Kaufman University of Massachusetts, Yuriy Brun University of Massachusetts, Talia Ringer University of Illinois at Urbana-Champaign Link to publication DOI Pre-print | ||
14:00 20mTalk | Scalable Verification of GNN-based Job Schedulers PLDI Research Papers Haoze Wu Stanford University, Clark Barrett Stanford University, Mahmood Sharif Tel Aviv University, Nina Narodytska VMware Research, Gagandeep Singh University of Illinois at Urbana-Champaign Link to publication Pre-print | ||
14:20 20mTalk | A general construction for abstract interpretation of higher-order automatic differentiation PLDI Research Papers Jacob Laurel University of Illinois at Urbana-Champaign, Rem Yang University of Illinois at Urbana-Champaign, Shubham Ugare University of Illinois at Urbana-Champaign, Robert Nagel University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign Link to publication | ||
14:40 20mTalk | Program Adverbs and Tlön Embeddings PLDI Research Papers Link to publication | ||
15:00 20mTalk | Gleipnir: toward practical error analysis for Quantum programs PLDI Research Papers Runzhou Tao Columbia University, Yunong Shi University of Chicago, Jianan Yao Columbia University, USA, Frederic T. Chong University of Chicago, Ronghui Gu Columbia University Link to publication | ||
15:20 20mTalk | Model-guided synthesis of inductive lemmas for FOL with least fixpoints PLDI Research Papers Adithya Murali University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Eion Blanchard University of Illinois at Urbana-Champaign, Christof Löding RWTH Aachen University, P. Madhusudan University of Illinois at Urbana-Champaign Link to publication | ||
13:40 - 15:40 | |||
13:40 20mTalk | Extensible Metatheory Mechanization via Family PolymorphismDistinguished Paper PLDI Research Papers | ||
14:00 20mTalk | Defunctionalization with Dependent Types PLDI Research Papers DOI Pre-print | ||
14:20 20mTalk | Garbage-Collection Safety for Region-Based Type-Polymorphic Programs PLDI Research Papers Martin Elsman University of Copenhagen, Denmark | ||
14:40 20mTalk | Flux: Liquid Types for Rust PLDI Research Papers Nico Lehmann University of California, San Diego, Adam Geller Computer Science, University of British Columbia, Niki Vazou IMDEA Software Institute, Ranjit Jhala University of California at San Diego | ||
15:00 20mTalk | Leveraging Rust Types for Program Synthesis PLDI Research Papers Jonas Fiala ETH Zürich, Shachar Itzhaky Technion, Peter Müller ETH Zurich, Nadia Polikarpova University of California at San Diego, Ilya Sergey National University of Singapore DOI Pre-print | ||
15:20 20mTalk | Parameterized Algebraic Protocols PLDI Research Papers Andreia Mordido LASIGE, University of Lisbon, Janek Spaderna University of Freiburg, Germany, Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos LASIGE, University of Lisbon | ||
16:00 - 18:00 | |||
16:00 20mTalk | Search-Based Regular Expression Inference on a GPU PLDI Research Papers Pre-print | ||
16:20 20mTalk | Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics PLDI Research Papers Dan Moseley Microsoft DevDiv, Mario Nishio Microsoft Azure, Jose Perez Rodriguez Microsoft DevDiv, Olli Saarikivi Microsoft Research, Redmond, Stephen Toub Microsoft DevDiv, Margus Veanes Microsoft, Tiki Wan Microsoft Azure, Eric Xu Microsoft, USA | ||
16:40 20mTalk | Repairing Regular Expressions for Extraction PLDI Research Papers | ||
17:00 20mTalk | Recursive State Machine Guided Graph Folding for Context-Free Language Reachability PLDI Research Papers Yuxiang Lei University of New South Wales, Yulei Sui University of New South Wales, Sydney, Shin Hwei Tan Concordia University, Qirun Zhang Georgia Institute of Technology | ||
17:20 20mTalk | Interval Parsing Grammars for File Format Parsing PLDI Research Papers Jialun Zhang Pennsylvania State University, Greg Morrisett Cornell University, Gang Tan Pennsylvania State University | ||
17:40 20mTalk | flap: A Deterministic Parser with Fused Lexing PLDI Research Papers Jeremy Yallop University of Cambridge, Ningning Xie Google DeepMind / University of Toronto, Neel Krishnaswami University of Cambridge DOI Pre-print | ||