Filter Program
Dates
Rooms
Tracks
Badges
Your Program
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 | Letting HPC Programmers Focus On Correctness First, Then On PerformanceInvited Talk CSC Ignacio Laguna Lawrence Livermore National Laboratory | ||
09:50 70mTalk | Lightning Talks CSC Andrew Siegel , Sreepathi Pai University of Rochester, Harshitha Menon Lawrence Livermore National Lab, Piotr Luszczek , Alyson Fox , Vivek Sarkar Rice University, USA, Andrew W. Appel Princeton University | ||
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 DOI | ||
09:30 30mTalk | Static Analysis of Data Transformations in Jupyter Notebooks (Virtual) 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 DOI | ||
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 DOI | ||
10:30 30mTalk | When Long Jumps Fall Short: Control-Flow Tracking and 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 DOI Media Attached | ||
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 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 45mTalk | How Programmers Interact with AI Assistants ASA Nadia Polikarpova University of California at San Diego | ||
09:45 45mTalk | A Cambrian Explosion for Software Development Tools ASA Emery D. Berger University of Massachusetts Amherst | ||
10:30 45mTalk | Towards Code-Aware AI Models for Code ASA Baishakhi Ray Columbia University | ||
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 | Formal Verification in Scientific ComputingInvited Talk CSC Jean-Baptiste Jeannin University of Michigan at Ann Arbor | ||
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 DOI | ||
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 | Keynote (Fredrik Kjolstad): Portable Compilation of Sparse Computation 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:45 45mTalk | Differentiable Symbolic Execution ASA Swarat Chaudhuri University of Texas at Austin | ||
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 Numbering (Virtual)Invited Talk SOAP Tucker Taft AdaCore, United States | ||
14:40 25mTalk | Extensible and Scalable Architecture for Hybrid Analysis SOAP DOI | ||
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 DOI | ||
14:00 - 15:30 | |||
14:00 45mTalk | Program Analysis at Uber Scale ASA Raj Barik Uber Technologies Inc. | ||
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 DOI | ||
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 DOI | ||
17:25 25mTalk | RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms (Virtual) SOAP Michael Wang Massachusetts Institute of Technology, Shashank Srikant MIT, Malavika Samak CSAIL, MIT, Una-May O’Reilly Massachusetts Institute of Technology DOI | ||
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 File Attached | ||
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 File Attached | ||
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 University of California at Berkeley, Borivoje Nikolic University of California, Berkeley File Attached | ||
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 Pre-print | ||
16:00 - 17:50 | |||
16:00 45mTalk | Why can’t we all just get along? Training SA and AI tools to communicate ASA Yaniv David Columbia University | ||
16:45 45mTalk | AI-based Program Analysis via Relevance and Similarity ASA Kihong Heo KAIST | ||
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
05:00 - 05:20 | Virtual PLTeaSocial at PLTea Asia Pacific Zoom Room PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote. | ||
05:00 20mSocial Event | Virtual PLTeaSocial Social | ||
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 | From Bug Detection to Mitigation and Elimination: The Role of Tools and Language Design in Memory Safety PLMW@PLDI Devin Coughlin Apple | ||
09:00 - 11:00 | |||
09: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 Pre-print File Attached | ||
10:00 20mTalk | egglog In Practice: Automatically Improving Floating-point Error EGRAPHS | ||
10:20 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 Pre-print File Attached | ||
10:40 20mTalk | Egg-smol Python: A Pythonic Library for E-graphs EGRAPHS Link to publication Pre-print | ||
09:00 - 10:20 | |||
09:00 5mDay opening | Welcome to ISMM ISMM | ||
09:05 60mTalk | Keynote: A Brave New World for Memory Management Research ISMM Martin Maas Google | ||
10:05 15mBreak | BreakSocial ISMM | ||
09:00 - 11:00 | |||
09:00 5mDay opening | Introduction CTSTA Fredrik Kjolstad Stanford University | ||
09:05 15mTalk | Software and Hardware for Sparse ML CTSTA Fredrik Kjolstad Stanford University | ||
09:20 15mTalk | Integrating Data Layout into Compilers and Code Generators CTSTA Mary Hall University of Utah | ||
09:35 15mTalk | Tackling the challenges of high-performance graph analytics at compiler level 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 | TeAAL: A Declarative Framework for Modeling Sparse Tensor Accelerators CTSTA Nandeeka Nayak University of Illinois at Urbana-Champaign | ||
10:50 10mPanel | Discussion CTSTA | ||
09:00 - 11:00 | |||
09:00 15mOther | Welcome Infer Ákos Hajdu Meta | ||
09:15 45mTalk | A new Infer entry door: the Textual IR Infer David Pichardie Meta | ||
10:00 45mTalk | Switching Ada analyses from BufferOverrun to PulseVirtual Infer Boris Yakobowski AdaCore | ||
09:00 - 11:00 | |||
09:00 60mKeynote | Performance vs. Correctness When Writing Low-Level HPC/Tensor/Array Code ARRAY Gilbert Bernstein University of Washington, Seattle | ||
10:00 30mTalk | Accurate Array Program Mapping with Neural Program Translation and Synthesis (cancelled) ARRAY Hui Shi University of California, San Diego, Sicun Gao University of California San Diego, Jishen Zhao UCSD | ||
10:30 30mTalk | Array Programming via Multi-Dimensional Homomorphisms ARRAY Ari Rasch University of Muenster, Richard Schulze University of Muenster, Sergei Gorlatch University of Muenster File Attached | ||
09:00 - 10:00 | |||
09:00 60mKeynote | Decreasing the Miss Rate and Eliminating the Performance Penalty of a Data Filter Cache LCTES David B. Whalley Florida State University DOI | ||
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 Florida State University, Scott Pomerville Michigan Technological University, David B. Whalley Florida State University, Soner Onder Michigan Technological University, Gang-Ryung Uh Florida State University DOI | ||
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 DOI | ||
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 DOI Pre-print Media Attached | ||
10:20 - 11:00 | ISMM: Session 2 - Application ScalabilityISMM at Magnolia 22 Chair(s): Steve Blackburn Google and Australian National University | ||
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 Pierer Innovation / The University of Manchester, Foivos S. Zakkak Red Hat, Inc. DOI | ||
10:40 20mTalk | Analyzing and Improving the Scalability of In-Memory Indices for Managed Search Engines ISMM DOI | ||
11:00 - 11:20 | Virtual PLTeaSocial at PLTea Zoom Room PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote. | ||
11:00 20mSocial Event | Virtual PLTeaSocial Social | ||
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 - A Probabilistic Perspective 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 File Attached | ||
11:40 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 Pre-print File Attached | ||
12:00 20mTalk | Ensuring the termination of equality saturation for terminating term rewriting systems EGRAPHS Link to publication Pre-print File Attached | ||
11:20 - 12:30 | |||
11:20 15mTalk | Accelerating Sparse Matrix Computations with Code Specialization CTSTA Maryam Mehri Dehnavi University of Toronto | ||
11:35 15mTalk | A General Distributed Framework for Contraction of a Sparse Tensor with a Tensor Network CTSTA Raghavendra Kanakagiri University of Illinois Urbana-Champaign | ||
11:50 15mTalk | Automatic Differentiation for Sparse TensorsVirtual 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 | Predictable inlining in OCaml Infer Pierre Oechsel Jane Street | ||
11:20 - 12:30 | |||
11:20 30mTalk | Faster APL with Lazy Extensions ARRAY Andrew Sengul Independent Researcher DOI File Attached | ||
11:50 30mTalk | U-Net CNN in APL: Exploring Zero-Framework, Zero-Library Machine Learning ARRAY DOI | ||
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 DOI | ||
11:50 20mTalk | Optimizing Function Layout for Mobile Applications LCTES Ellis Hoag Meta, Kyungwoo Lee Meta, Julián Mestre University of Sydney, Sergey Pupyrev Meta Platforms Inc., Facebook DOI | ||
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 DOI | ||
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 - Program Synthesis: Big Ideas in Program Synthesis PLMW@PLDI Nadia Polikarpova University of California at San Diego | ||
14:30 30mTalk | Research area overview talk III - Language design: Compiler Verification: A Look Back, A Look Forward PLMW@PLDI Amal Ahmed Northeastern University, USA File Attached | ||
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 Media Attached | ||
15:00 30mKeynote | Building an SQL Optimizer with EggInvited TalkVirtual EGRAPHS Runji Wang RisingWave Labs | ||
14:00 - 15:20 | ISMM: Session 4 - Allocations and Garbage CollectionISMM at Magnolia 22 Chair(s): Tony Hosking Australian National University | ||
14:00 20mTalk | Concurrent GCs and Modern Java Workloads: A Cache PerspectiveBest Paper Award 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 DOI | ||
14:20 20mTalk | Wait-Free Weak Reference Counting ISMM DOI | ||
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 DOI | ||
15:00 20mTalk | Picking a CHERI Allocator: Security and Performance Considerations ISMM Jacob Bramley Arm, Dejice Jacob University of Glasgow, UK, Andrei Lascu King's College London, Jeremy Singer University of Glasgow, Laurence Tratt King's College London, Andrei Lascu King's College London DOI Pre-print | ||
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 | Autoscheduling for Sparse Tensor Contraction 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 | Moving the MLIR Sparse Compilation Pipeline into ProductionVirtual CTSTA | ||
15:10 15mPanel | Discussion CTSTA | ||
15:25 5mDay closing | Closing CTSTA | ||
14:00 - 15:30 | |||
14:00 45mTalk | Lineage, a Data-Flow Analysis for ErlangVirtual Infer | ||
14:45 45mTalk | C# Taint Analysis and Augmenting Static Analysis with Large Language ModelsVirtual Infer Matthew Jin Microsoft Corporation | ||
14:00 - 15:30 | |||
14:00 30mTalk | HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms ARRAY DOI | ||
14:30 30mTalk | OptiTrust: an Interactive Optimization Framework ARRAY Thomas Koehler INRIA, Arthur Charguéraud Inria; Université de Strasbourg; CNRS; ICube, Begatim Bytyqi Inria, Damien Rouhling Inria, Yann Barsamian Ecole Européenne de Bruxelles Pre-print File Attached | ||
15:00 30mTalk | Polymorphic Types with Polynomial Sizes ARRAY DOI | ||
14:00 - 15:30 | |||
14:00 20mTalk | Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization LCTES DOI | ||
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 DOI | ||
14:40 10mTalk | (WIP) Towards Secure MicroPython on Morello LCTES Jeremy Singer University of Glasgow DOI Pre-print | ||
14:50 10mTalk | (WIP) Towards Automated Identification of Layering Violations in Embedded Applications LCTES DOI Pre-print | ||
15:00 10mTalk | (WIP) Tiling for DMA-Based Hardware AcceleratorsVirtual LCTES DOI | ||
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 Design Talks 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 | Optimizing Beta-Reduction in E-Graphs EGRAPHS Emmanuel Anaya Gonzalez UCSD, Cole Kurashige UCSD, Aditya Giridharan UCSD, Nadia Polikarpova University of California at San Diego File Attached | ||
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 File Attached | ||
16:40 20mTalk | E-graph Extraction Using ZDDs EGRAPHS Eli Rosenthal Google | ||
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 DOI | ||
16:20 20mTalk | OMRGx: Programmable and Transparent Out-of-Core Graph Partitioning and Processing ISMM DOI | ||
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 DOI | ||
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 DOI | ||
16:00 - 17:50 | |||
16:00 1h50mPoster | Poster Session and Free-Form Discussion CTSTA | ||
16:00 - 17:50 | |||
16:00 45mTalk | Learning to Boost Disjunctive Static Bug-FindersVirtual Infer Yoonseok Ko Meta | ||
16:45 45mTalk | Incremental Analysis in Infer Infer Benno Stein Meta | ||
17:30 20mOther | Wrap up Infer Ákos Hajdu Meta | ||
16:00 - 17:50 | |||
16:00 30mTalk | A MultiGPU Performance-Portable Solution for Array Programming Based on Kokkos ARRAY DOI | ||
16:30 30mTalk | Opportunities for Linear Algebraic Graph Databases ARRAY Yuttapichai Kerdcharoen Carnegie Mellon University, Upasana Sridhar Carnegie Mellon University, Tze Meng Low Carnegie Mellon University | ||
17:00 30mTalk | Towards Structured Algebraic Programming ARRAY Denis Jelovina Computing Systems Lab Huawei Zurich Research Center, Daniele Giuseppe Spampinato Computing Systems Lab Huawei Zurich Research Center, Jiawei Zhuang Huawei Technologies Co. Ltd., Albert-Jan Nicholas Yzelman Computing Systems Lab Huawei Zurich Research Center DOI | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
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
05:00 - 05:20 | Virtual PLTeaSocial at PLTea Asia Pacific Zoom Room PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote. | ||
05:00 20mSocial Event | Virtual PLTeaSocial Social | ||
11:00 - 11:20 | Virtual PLTeaSocial at PLTea Zoom Room PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote. | ||
11:00 20mSocial Event | Virtual PLTeaSocial Social | ||
11:20 - 12:30 | |||
11:20 70mKeynote | Computing in the Foundation Model EraInvited Talk FCRC Kunle Olukotun Stanford University | ||
12:30 - 13:40 | |||
12:30 70mLunch | SIGPLAN Awards LunchSocial SIGPLAN | ||
13:40 - 15:20 | PLDI: CompilationPLDI Research Papers at Cypress 2 Chair(s): Chung-Kil Hur Seoul National University | ||
13:40 20mTalk | Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations PLDI Research Papers Raphael Isemann Vrije Universiteit Amsterdam, Cristiano Giuffrida Vrije Universiteit Amsterdam, Herbert Bos Vrije Universiteit Amsterdam, Erik van der Kouwe Vrije Universiteit Amsterdam, Klaus von Gleissenthall Vrije Universiteit Amsterdam DOI | ||
14:00 20mTalk | Better Together: Unifying Datalog and Equality Saturation PLDI Research Papers Yihong Zhang University of Washington, Yisu Remy Wang University of Washington, Oliver Flatt University of Washington, David Cao University of California at San Diego, Philip Zucker Draper, Eli Rosenthal Google, Zachary Tatlock University of Washington, Max Willsey University of Washington DOI Pre-print | ||
14:20 20mTalk | HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption PLDI Research Papers Sunjae Park Seoul National University, Woosung Song Google, Seunghyeon Nam Seoul National University, Hyeongyu Kim Seoul National University, Junbum Shin CryptoLab, Juneyoung Lee AWS DOI | ||
14:40 20mTalk | Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs PLDI Research Papers Scott Kovach Stanford University, Praneeth Kolichala Stanford University, Tiancheng “Timothy” Gu Stanford University, Fredrik Kjolstad Stanford University DOI Pre-print | ||
15:00 20mTalk | Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages PLDI Research Papers Vsevolod Livinskii University of Utah, Dmitry Babokin Intel Corporation, John Regehr University of Utah DOI Pre-print | ||
13:40 - 15:20 | PLDI: Verification & Proof AssistantsPLDI Research Papers at Royal Chair(s): Adam Chlipala Massachusetts Institute of Technology | ||
13:40 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 DOI Pre-print | ||
14:00 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 DOI | ||
14:20 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 DOI | ||
14:40 20mTalk | Merging Inductive Relations PLDI Research Papers Jacob Prinz University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park DOI | ||
15:00 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 DOI | ||
15:40 - 16:00 | |||
15:40 20mSocial Event | Boba SocialSocial Social | ||
16:00 - 18:00 | PLDI: Concurrency & ParallelismPLDI Research Papers at Cypress 2 Chair(s): Calin Cascaval Google Research | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
17:20 20mTalk | Parallelism in a Region Inference Context PLDI Research Papers DOI | ||
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 DOI | ||
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
05:00 - 05:20 | Virtual PLTeaSocial at PLTea Asia Pacific Zoom Room PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote. | ||
05:00 20mSocial Event | Virtual PLTeaSocial Social | ||
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 at Santa Barbara DOI | ||
09:20 20mTalk | CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity PLDI Research Papers DOI | ||
09:40 20mTalk | Discrete Adversarial Attack to Models of Code PLDI Research Papers Fengjuan Gao Nanjing University of Science and Technology, Yu Wang Nanjing University, Ke Wang Visa Research DOI | ||
10:00 20mTalk | Generalized Policy-Based Noninterference 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 DOI | ||
10:20 20mTalk | Taype: A Policy-Agnostic Language for Oblivious Computation PLDI Research Papers DOI | ||
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şıl Dillig University of Texas at Austin DOI | ||
09:00 - 11:00 | |||
09:00 20mTalk | Trace-Guided Inductive Synthesis of Recursive Functional ProgramsDistinguished Paper PLDI Research Papers DOI | ||
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 DOI | ||
09:40 20mTalk | ImageEye: Batch Image Processing using Program Synthesis PLDI Research Papers Celeste Barnaby University of Texas at Austin, Jocelyn (Qiaochu) Chen University of Texas at Austin, Roopsha Samanta Purdue University, Işıl Dillig University of Texas at Austin DOI | ||
10:00 20mTalk | One Pixel Adversarial Attacks via Sketched Programs PLDI Research Papers DOI | ||
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 DOI 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 DOI | ||
11:00 - 11:20 | Virtual PLTeaSocial at PLTea Zoom Room PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote. | ||
11:00 20mSocial Event | Virtual PLTeaSocial Social | ||
11:20 - 12:30 | |||
11:20 70mKeynote | Taking on the World's Challenges: The Role of Computing Research and InnovationInvited Talk FCRC Margaret Martonosi Princeton University | ||
12:30 - 13:40 | PLDI: LGBTQ+ LunchPLDI Research Papers | ||
12:30 70mLunch | PLDI LGBTQ+ LunchSocial PLDI Research Papers | ||
13:40 - 15:40 | PLDI: Analysis & OptimizationsPLDI Research Papers at Cypress 2 Chair(s): Fredrik Kjolstad Stanford University | ||
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 DOI | ||
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 DOI 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 DOI | ||
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 DOI | ||
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 DOI 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 DOI Pre-print | ||
13:40 - 15:40 | PLDI: Probabilistic AnalysesPLDI Research Papers at Royal Chair(s): Gagandeep Singh University of Illinois at Urbana-Champaign | ||
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 DOI 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 DOI | ||
14:20 20mTalk | Verified Density Compilation for a Probabilistic Programming Language PLDI Research Papers DOI | ||
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 DOI | ||
15:00 20mTalk | Automated Expected Value Analysis of Recursive Programs PLDI Research Papers DOI | ||
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 DOI Pre-print | ||
15:40 - 16:00 | |||
15:40 20mSocial Event | Boba SocialSocial Social | ||
16:15 - 17:15 | |||
16:15 60mPanel | Reflecting on 50 Years of Computing Research, and Future Outlook FCRC Hagit Attiya Technion, Jack Dongarra University of Tennessee, Knoxville, Mary Hall University of Utah, Lizy John University of Texas, Austin, Huan Liu Arizona State University, Guy L. Steele Jr. Oracle Labs | ||
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
05:00 - 05:20 | Virtual PLTeaSocial at PLTea Asia Pacific Zoom Room PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote. | ||
05:00 20mSocial Event | Virtual PLTeaSocial Social | ||
09:00 - 11:00 | PLDI: Memory Models & Program LogicsPLDI Research Papers at Cypress 1 Chair(s): Matthew J. Parkinson Azure Research, Microsoft, UK | ||
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 DOI | ||
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 DOI | ||
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 DOI 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, Sergei Stepanenko Aarhus University, Jean Pichon-Pharabod Aarhus University, Amin Timany Aarhus University, Aslan Askarov Aarhus University, Lars Birkedal Aarhus University DOI | ||
10:20 20mTalk | Embedding Hindsight Reasoning in Separation Logic PLDI Research Papers DOI | ||
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 DOI Pre-print | ||
09:00 - 11:00 | PLDI: Testing & VerificationPLDI Research Papers at Royal Chair(s): Yao Li Portland State University | ||
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 DOI Pre-print | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
11:00 - 11:20 | Virtual PLTeaSocial at PLTea Zoom Room PLTea is an initiative to bring together the members of the programming languages community for informal virtual discussions. You can talk about that new hobby you picked up, or that new cool programming language you designed, or that amazing paper you wrote. | ||
11:00 20mSocial Event | Virtual PLTeaSocial Social | ||
11:20 - 12:30 | |||
11:20 70mKeynote | Constructing and Deconstructing Trust: Employing Cryptographic Recipe in the ML DomainInvited Talk FCRC Shafi Goldwasser University of California, Berkeley | ||
13:40 - 15:40 | PLDI: TOPLAS & SIGPLAN PapersPLDI Research Papers at Cypress 2 Chair(s): Gang (Gary) Tan Pennsylvania State University | ||
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 Media Attached | ||
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 DOI Pre-print | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
16:00 - 18:00 | PLDI: Parsing & Formal LanguagesPLDI Research Papers at Cypress 2 Chair(s): Eric Eide University of Utah | ||
16:00 20mTalk | Search-Based Regular Expression Inference on a GPU PLDI Research Papers DOI 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 DOI | ||
16:40 20mTalk | Repairing Regular Expressions for Extraction PLDI Research Papers DOI | ||
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 DOI | ||
17:20 20mTalk | Interval Parsing Grammars for File Format Parsing PLDI Research Papers Jialun Zhang Pennsylvania State University, Greg Morrisett Cornell University, Gang (Gary) Tan Pennsylvania State University DOI | ||
17:40 20mTalk | flap: A Deterministic Parser with Fused Lexing PLDI Research Papers Jeremy Yallop University of Cambridge, Ningning Xie University of Toronto, Neel Krishnaswami University of Cambridge DOI Pre-print | ||