PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 24 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
Session 1Infer at Copenhagen
09:00
35m
Talk
Welcome
Infer
09:35
35m
Talk
State of the Infer Platform
Infer
09:00 - 10:10
09:00
70m
Tutorial
Static Code Analysis with SootUp
Tutorials
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Markus Schmidt Heinz Nixdorf Institut, Paderborn University, Jonas Klauke Paderborn University, Kadiray Karakaya Heinz Nixdorf Institut, Paderborn University, Stefan Schott Heinz Nixdorf Institut, Paderborn University
Link to publication
09:00 - 10:10
Welcome and KeynoteCP at Finland
Chair(s): Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Lindsey Kuper University of California, Santa Cruz, Marco Peressotti University of Southern Denmark
09:00
10m
Day opening
Opening
CP
Lindsey Kuper University of California, Santa Cruz, Marco Peressotti University of Southern Denmark, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna
09:10
60m
Keynote
Choreographic Programming: its essence, beauty, and necessity
CP
K: Fabrizio Montesi University of Southern Denmark
09:00 - 10:10
1. WelcomeEGRAPHS at Helsinki
09:00
10m
Talk
Welcome
EGRAPHS
Max Willsey UC Berkeley
09:10
30m
Talk
E-graphs and Automated Reasoning: Looking back to look forward
EGRAPHS
Pre-print
09:40
30m
Talk
Equivalence Hypergraphs: E-Graphs for Monoidal Theories
EGRAPHS
Aleksei Tiurin University of Birmingham, Chris Barrett University of Oxford, Dan Ghica Huawei Research and University of Birmingham
09:00 - 10:10
09:00
70m
Tutorial
Quick and dirty development of static analyses with LiSA
Tutorials
Luca Negrini Ca’ Foscari University of Venice, Pietro Ferrara Università Ca' Foscari, Venezia, Italy
Link to publication
09:00 - 10:10
Session 1WQS at Reykjavik
09:00
10m
Day opening
Opening
WQS

09:10
40m
Keynote
From ZX to first order logic: a survey of string diagrammatic calculi
WQS
Pawel Sobocinski Tallinn University of Technology
09:50
20m
Talk
Fock, the rules (... or how to ZX-calculus for continuous variable quantum computation)
WQS
Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford, Stefano Gogioso University of Oxford
09:00 - 10:10
RepairDNNTutorials at Stockholm
09:00
70m
Tutorial
Algorithms and Applications for Provable Repair of Deep Neural Networks
Tutorials
Aditya V. Thakur University of California at Davis
09:00 - 10:10
LCTES Welcome and KeynoteLCTES at Sweden
09:00
20m
Day opening
Welcome and Opening
LCTES

09:20
50m
Keynote
Three Colours of Fuzzing: Reflections and Open Challenges
LCTES
Cristian Cadar Imperial College London
10:40 - 12:20
10:40
1h40m
Tutorial
Static Code Analysis with SootUp
Tutorials
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, Markus Schmidt Heinz Nixdorf Institut, Paderborn University, Jonas Klauke Paderborn University, Kadiray Karakaya Heinz Nixdorf Institut, Paderborn University, Stefan Schott Heinz Nixdorf Institut, Paderborn University
Link to publication
10:40 - 12:20
Theory & VerificationCP at Finland
Chair(s): Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna
10:40
20m
Talk
A Propositional Dynamic Logic for Choreographies
CP
Matteo Acclavio University of Sussex, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark
Pre-print File Attached
11:00
20m
Talk
Choreographic Programming in Modal Type Theory
CP
11:20
20m
Talk
Choreographies meet Communication Failures
CP
Eva Graversen University of Southern Denmark, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark
11:40
20m
Talk
Corps: A Core Calculus of Hierarchical Choreographic Programming
CP
Andrew K. Hirsch University at Buffalo, SUNY
Pre-print File Attached
12:00
20m
Talk
Masquerade: Information Flow Control for Choreographies
CP
Michael Piskozub University at Buffalo, SUNY, Ethan Cecchetti University of Wisconsin-Madison, Andrew K. Hirsch University at Buffalo, SUNY
10:40 - 12:20
2. ImplementationEGRAPHS at Helsinki
10:40
25m
Talk
Slotted E-Graphs
EGRAPHS
Rudi Schneider TU Berlin, Thomas Koehler INRIA, Michel Steuwer Technische Universität Berlin
Pre-print
11:05
25m
Talk
Towards Relational Contextual Equality Saturation
EGRAPHS
Tyler Hou University of California, Berkeley, Shadaj Laddad University of California at Berkeley, Joseph M. Hellerstein UC Berkeley
11:30
25m
Talk
Performant Dynamically Typed E-Graphs in Pure Julia
EGRAPHS
Alessandro Cheli PlantingSpace, Niklas Heim Czech Technical University
Pre-print
11:55
25m
Talk
EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
EGRAPHS
Sabrina Reis Lawrence Livermore National Laboratory, Matthew Sottile Lawrence Livermore National Laboratory
10:40 - 12:20
10:40
1h40m
Tutorial
Quick and dirty development of static analyses with LiSA
Tutorials
Luca Negrini Ca’ Foscari University of Venice, Pietro Ferrara Università Ca' Foscari, Venezia, Italy
Link to publication
10:40 - 12:20
Session 2WQS at Reykjavik
10:40
40m
Keynote
T.B.A.
WQS
11:20
20m
Talk
Supporting End-Users in Realizing Quantum Computing Applications
WQS
Damian Rovara Technical University of Munich, Nils Quetschlich Technical University of Munich, Lukas Burgholzer Technical University of Munich, Wille Robert Johannes Kepler University Linz, Austria
11:40
20m
Talk
Dataflow-Based Optimization for QIR Programs
WQS
Junjie Luo Kyushu University, Haoyuan Zhang Kyushu University, Jianjun Zhao Kyushu University
12:00
20m
Talk
Towards an open-source framework to perform quantum calibration and characterization
WQS
Andrea Pasquale Università degli Studi di Milano, Edoardo Pedicillo Università degli Studi di Milano, Stefano Carrazza Università degli Studi di Milano
10:40 - 12:20
RepairDNNTutorials at Stockholm
10:40
1h40m
Tutorial
Algorithms and Applications for Provable Repair of Deep Neural Networks
Tutorials
Aditya V. Thakur University of California at Davis
10:40 - 12:20
OptimizationLCTES at Sweden
10:40
15m
Talk
Accelerating Shared Library Execution in a DBT
LCTES
Tom Spink University of St Andrews, Björn Franke University of Edinburgh
10:55
15m
Talk
Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures
LCTES
Dorra Ben Khalifa University of Toulouse - ENAC, Matthieu Martel Université de Perpignan Via Domitia
11:10
15m
Talk
TinySeg: Model Optimizing Framework for Image Segmentation on Tiny Embedded Systems
LCTES
Byungchul Chae Kyung Hee University, Jiae Kim Kyung Hee University, Seonyeong Heo Kyung Hee University
11:25
10m
Break
Break - 10 minutes
LCTES

11:35
15m
Talk
MixPert: Optimizing Mixed-Precision Floating-Point Emulation on GPU Integer Tensor Cores
LCTES
Zejia Lin Sun Yat-sen University, Aoyuan Sun Sun Yat-sen University, Xianwei Zhang Sun Yat-sen University, Yutong Lu Sun Yat-sen University
11:50
15m
Talk
Optimistic and Scalable Global Function Merging
LCTES
12:05
15m
Talk
(Invited paper) Language-Based Deployment Optimization for Random Forest
LCTES
Jannik Malcher TU Dortmund University, Daniel Biebert TU Dortmund University, Kuan-Hsun Chen University of Twente, Sebastian Buschjäger TU Dortmund University, Christian Hakert TU Dortmund University, Jian-Jia Chen TU Dortmund University
12:20 - 13:40
13:40 - 15:20
Kotlin CoroutinesTutorials at Directors
13:40
1h40m
Tutorial
Concurrent Algorithms in Kotlin Coroutines
Tutorials
Nikita Koval JetBrains
13:40 - 15:20
Languages & VerificationCP at Finland
Chair(s): Lindsey Kuper University of California, Santa Cruz
13:40
20m
Talk
A Probabilistic Choreography Language for PRISM
CP
Marco Carbone IT University of Copenhagen, Adele Veschetti Technische Universität Darmstadt
14:00
20m
Talk
A Function-as-a-Service Choreographic Programming Language: Examples and Applications
CP
Giuseppe De Palma Department of Computer Science and Engineering - Università di Bologna, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Jacopo Mauro University of Southern Denmark, Matteo Trentin Università di Bologna, Gianluigi Zavattaro Department of Computer Science and Engineering - Università di Bologna
Pre-print
14:20
20m
Talk
Exploring Algebraic Placement in Multiparty Languages
CP
George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
14:40
20m
Talk
Poroutines: The Essence of Choreographic Programming?
CP
Dan Plyukhin University of Southern Denmark
15:00
20m
Talk
We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values
CP
Mako P. Bates University of Vermont, Joseph P. Near University of Vermont
Pre-print
13:40 - 15:20
3. ApplicationsEGRAPHS at Helsinki
13:40
25m
Talk
Powered by Less: Low Power Circuit Synthesis
EGRAPHS
Samuel Coward Imperial College London, UK / Intel Corporation, Theo Drane Intel Corporation, USA, Emiliano Morini Intel Corporation, George A. Constantinides Imperial College London, UK
14:05
25m
Talk
Algorithm-Aware Hardware Optimization using E-Graph Rewriting: how should we marry software and hardware?
EGRAPHS
Jianyi Cheng University of Cambridge, Samuel Coward Imperial College London, UK / Intel Corporation, Rafael Barbalho Intel Corporation, Theo Drane Intel Corporation, USA
Link to publication DOI
14:30
25m
Talk
Loop Saturation for Scalable High-Level Synthesis
EGRAPHS
Camille Bossut Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology, Cong "Callie" Hao Georgia Institute of Technology
14:55
25m
Talk
SpEQ: Translation of Sparse Codes using Equivalences
EGRAPHS
Avery Laird University of Toronto, Bangtian Liu University of Toronto, Nikolaj Bjørner Microsoft Research, Maryam Mehri Dehnavi University of Toronto
13:40 - 15:20
Session 1PLMW@PLDI at Iceland
Chair(s): Anitha Gollamudi University of Massachusetts Lowell
13:40
10m
Day opening
Day opening
PLMW@PLDI

13:50
40m
Social Event
Social Event: PL Cards
PLMW@PLDI

14:30
50m
Social Event
Skill Exchange
PLMW@PLDI

13:40 - 15:20
Session 3WQS at Reykjavik
13:40
40m
Keynote
Quantum program analysis: Verification and Testing
WQS
Nengkun Yu Stony Brook University, USA
14:20
20m
Talk
A Static Analysis for High-Level Quantum Programming Languages
WQS
Nicola Assolini Università degli Studi di Verona, Alessandra Di Pierro University of Verona, Italy, Isabella Mastroeni University of Verona, Italy
14:40
20m
Talk
Efficient Formal Verification of Quantum Error Correcting Programs
WQS
Qifan Huang Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Zhou MPI-SP; Institute of Software at Chinese Academy of Sciences, Wang Fang Institute of Software at Chinese Academy of Sciences and University of Chinese Academy of Sciences, Mingsheng Ying Institute of Software at Chinese Academy of Sciences; Tsinghua University
15:00
20m
Talk
Verifying Quantum Circuits in GAP
WQS
Scott Wesley University of Waterloo, Canada
13:40 - 15:20
13:40
1h40m
Tutorial
Democratizing DSL development with the BuildIt Framework
Tutorials
Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology
Link to publication
13:40 - 15:20
Embedded SystemsLCTES at Sweden
Chair(s): Jian-Jia Chen TU Dortmund University
13:40
15m
Talk
SmartVisor: User-Friendly Hypervisor for Mobile Robots
LCTES
Guanyu Chen Zhejiang University, Pan Lv Zhejiang University, Hong Li Zhejiang University, Guoqing Yang Zhejiang University
13:55
15m
Talk
Orchestrating Multiple Mixed Precision Models on a Shared Precision-Scalable NPU
LCTES
Kiung Jung Yonsei University, Seok Namkoong Yonsei University, Hongjun Um Hanyang University, Hyejun Kim Yonsei University, Youngsok Kim Yonsei University, Yongjun Park Yonsei University
14:10
15m
Talk
WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
LCTES
Phillip Raffeck Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Johannes Maier Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Peter Wägemann Friedrich-Alexander University Erlangen-Nürnberg (FAU)
14:25
10m
Break
Break - 10 minutes
LCTES

14:35
15m
Talk
Unmasking the Lurking: Malicious Behavior Detection for IoT Malware with Multi-label Classification
LCTES
Ruitao Feng SMU, Sen Li Tianjin University, Sen Chen Tianjin University, Mengmeng Ge Nanyang Technological University, Xuewei Li Tianjin University, Xiaohong Li Tianjin University
14:50
15m
Talk
TWFuzz: Fuzzing Embedded Systems with Three Wires
LCTES
Zhongwen Feng Chang' an University, Junyan Ma Chang'an University
15:05
15m
Talk
OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronization with LLVM under Linux
LCTES
Brayden McDonald North Carolina State University, Frank Mueller North Carolina State University, USA
16:00 - 17:40
Kotlin CoroutinesTutorials at Directors
16:00
1h40m
Tutorial
Concurrent Algorithms in Kotlin Coroutines
Tutorials
Nikita Koval JetBrains
16:00 - 17:40
LibrariesCP at Finland
Chair(s): Marco Peressotti University of Southern Denmark
16:00
20m
Talk
ChoRus: Library-Level Choreographic Programming in Rust
CP
Shun Kashiwa University of California, Santa Cruz, Lindsey Kuper University of California, Santa Cruz
16:20
20m
Talk
Klor: Choreographies for the Working Clojurian
CP
Lovro Lugović University of Southern Denmark, Sung-Shik Jongmans Open University of the Netherlands; CWI
16:40
20m
Talk
Suki: Choreographed Distributed Dataflow in Rust
CP
Shadaj Laddad University of California at Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein UC Berkeley
17:00
20m
Talk
Toward Verified Library-Level Choreographic Programming with Algebraic Effects
CP
Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California, Santa Cruz
17:20
20m
Day closing
Closing
CP
Lindsey Kuper University of California, Santa Cruz, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna, Marco Peressotti University of Southern Denmark
16:00 - 17:40
4. VerificationEGRAPHS at Helsinki
16:00
25m
Talk
Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
EGRAPHS
Adrian Lehmann University of Chicago, Ben Caldwell University of Chicago, John Reppy University of Chicago, USA, Robert Rand University of Chicago
16:25
25m
Talk
superVer: Verifying Probabilistic Independence of Systems of Expressions using Equality Saturation
EGRAPHS
Alexander Treff University of Lübeck, Pajam Pauls University of Lübeck, Maximilian Orlt TU Darmstadt
16:50
25m
Talk
Bridging Syntax and Semantics of Lean Expressions in E-Graphs
EGRAPHS
Marcus Rossel Technische Universität Dresden, Andrés Goens University of Amsterdam
Pre-print
17:15
25m
Talk
Disequalities in E-Graphs: An Experiment
EGRAPHS
George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
16:00 - 17:40
Session 2PLMW@PLDI at Iceland
Chair(s): Umang Mathur National University of Singapore
16:00
90m
Other
Open research group positions
PLMW@PLDI

16:00 - 17:40
Session 4WQS at Reykjavik
16:00
40m
Keynote
Mitiq, a toolbox for quantum error mitigation and error suppression
WQS
Nathan Shammah Unitary Fund
16:40
20m
Talk
Quantum Backtracking in Qrisp Applied to Sudoku Problems
WQS
Raphael Seidel Fraunhofer Institute for Open Communication Systems, Zander René , Matic Petrič , Niklas Steinmann , David Liu , Nikolay Tcholtchev Fraunhofer Institute for Open Communication Systems, Manfred Hauswirth Fraunhofer Institute for Open Communication Systems, TU Berlin
17:00
20m
Talk
Classical Shadows for Property-Based Testing of Quantum Programs
WQS
Gabriel Joseph Pontolillo King's College London, Connor Lenihan King's College London, Mohammad Reza Mousavi King's College London, George Booth King's College London
17:20
15m
Talk
Hybrid Quantum-Classical Machine Learning with String Diagrams
WQS
Alexander Koziell-Pipe University of Oxford, Aleks Kissinger University of Oxford
17:35
5m
Talk
Classical Simulation of Quantum Circuits with Partial Interference Effects
WQS
Sinan Pehlivanoglu Indiana University, Amr Sabry Indiana University
16:00 - 17:40
16:00
1h40m
Tutorial
Democratizing DSL development with the BuildIt Framework
Tutorials
Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology
Link to publication
16:00 - 17:40
Analysis and TestingLCTES at Sweden
Chair(s): Jason Xue MBZUAI
16:00
15m
Talk
EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
LCTES
Weimin Chen The Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Haoyu Wang Huazhong University of Science and Technology, Heming Cui University of Hong Kong, Shuyu Zheng Peking University, Xuanzhe Liu Peking University
16:15
15m
Talk
CodeExtract: Enhancing Binary Code Similarity Detection with Code Extraction Techniques
LCTES
Lichen Jia Institute of Computing Technology, Chinese Academy of Sciences, Chenggang Wu Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory, Zhe Wang Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun Laboratory, Peihua Zhang
16:30
15m
Talk
Foundations for a Rust-Like Borrow Checker for C
LCTES
Tiago Silva University of Porto, João Bispo Faculdade de Engenharia e Universidade do Porto, Tiago Carvalho University of Porto
16:45
15m
Talk
Enhancing Code Vulnerability Detection via Vulnerability-Preserving Data Augmentation
LCTES
Shangqing Liu Nanyang Technological University, Wei Ma Nanyang Technological University, Singapore, Jian Wang Nanyang Technological University, Xiaofei Xie Singapore Management University, Ruitao Feng SMU, Yang Liu Nanyang Technological University
17:00
15m
Talk
(WIP) A Flexible-Granularity Task Graph Representation and its Generation from C Applications
LCTES
Tiago Santos Faculty of Engineering, University of Porto, João Bispo Faculdade de Engenharia e Universidade do Porto, João M. P. Cardoso University of Porto and INESC TEC, Portugal
17:15
25m
Day closing
Closing
LCTES

Tue 25 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
Session 1RTFM at Copenhagen
Chair(s): Ilya Sergey National University of Singapore
09:00
10m
Day opening
Opening
RTFM
Amal Ahmed Northeastern University, USA, Derek Dreyer MPI-SWS, Ilya Sergey National University of Singapore
09:10
40m
Talk
On Long-Term Research Problem Selection
RTFM
Peter Müller ETH Zurich
09:00 - 10:10
Session 1PLMW@PLDI at Iceland
Chair(s): Anitha Gollamudi University of Massachusetts Lowell
09:00
10m
Talk
Opening Remarks
PLMW@PLDI
Anitha Gollamudi University of Massachusetts Lowell
09:10
60m
Talk
Thoughts on the interplay between corporate, government, and university R&D
PLMW@PLDI
Byron Cook Amazon
09:00 - 10:10
SOAP ISOAP at Reykjavik
09:00
50m
Keynote
Recent Advances in Floating-point (Static) Analyses
SOAP
Eva Darulova Uppsala University
09:50
20m
Talk
Static Analysis for CHERI
SOAP
Irina Dudina University of Edinburgh, Ian Stark The University of Edinburgh
09:00 - 09:10
Welcome from the chairsISMM at Sweden
Chair(s): Michael D. Bond Ohio State University, USA, Jae W. Lee Seoul National University, Hannes Payer Google
09:10 - 10:10
ISMM: Keynote 1 - Dr. Andreas Rossberg (Independent)ISMM at Sweden
Chair(s): Hannes Payer Google
09:10
60m
Keynote
Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store
ISMM
Andreas Rossberg Independent
10:40 - 12:20
Session 2RTFM at Copenhagen
Chair(s): Derek Dreyer MPI-SWS
10:40
40m
Talk
On Doing Interdisciplinary Research
RTFM
Nate Foster Cornell University and Jane Street
11:20
60m
Panel
Panel: Promotion and Tenure
RTFM
M: Derek Dreyer MPI-SWS, P: Amal Ahmed Northeastern University, USA, P: Justin Hsu Cornell University, P: Peter Müller ETH Zurich, P: Jeremy G. Siek Indiana University, USA
10:40 - 12:20
Session 2PODELSKI at Helsinki
10:40
33m
Talk
Reasoning About Hilbert’s Choice Operator in SMT
PODELSKI
Byron Cook Amazon
11:13
33m
Talk
Optimal Quantum Programs
PODELSKI
Jens Palsberg University of California, Los Angeles (UCLA)
11:46
33m
Talk
Concurrent ∀∃-Hyperproperties
PODELSKI
Ernst-Rüdiger Olderog University of Oldenburg
10:40 - 12:20
Session 2PLMW@PLDI at Iceland
Chair(s): Marco Vassena Utrecht University
10:40
30m
Talk
Letting users do the undecidable: lessons from program synthesis
PLMW@PLDI
Hila Peleg Technion
11:10
30m
Talk
A Tale of Shared Memory Concurrency in Programming Languages
PLMW@PLDI
11:40
40m
Talk
How to read a PL-security paper
PLMW@PLDI
Aslan Askarov Aarhus University
10:40 - 12:20
SOAP IISOAP at Reykjavik
10:40
50m
Keynote
Challenges and Opportunities in Program Analysis for JavaScript
SOAP
Anders Møller Aarhus University
11:30
20m
Talk
Dr Wenowdis: Specializing dynamic language C extensions using type information
SOAP
Maxwell Bernstein Northeastern University, Carl Friedrich Bolz-Tereick Heinrich-Heine-Universität Düsseldorf
Pre-print
11:50
20m
Talk
Interleaving Static Analysis and LLM Prompting
SOAP
Patrick Chapman University of California, Davis, Cindy Rubio-González University of California at Davis, Aditya V. Thakur University of California at Davis
10:40 - 11:40
ISMM: Session 1 - Garbage CollectionISMM at Sweden
10:40
20m
Talk
Memory Management on Mobile Devices
ISMM
Kunal Sareen Australian National University, Australia, Steve Blackburn Google and Australian National University, Sara S. Hamouda Google DeepMind, Lokesh Gidra Google
Pre-print
11:00
20m
Talk
Garbage Collection for Mostly Serialized Heaps
ISMM
Chaitanya Sunil Koparkar Indiana University, Vidush Singhal Purdue University, Aditya Gupta Purdue University, Mike Rainey Carnegie Mellon University, Michael Vollmer University of Kent, Artem Pelenitsyn Purdue University, Sam Tobin-Hochstadt Indiana University, Milind Kulkarni Purdue University, Ryan R. Newton Purdue University & Meta Platforms
Pre-print
11:20
20m
Talk
Finalization-Based Object Lifetime Profiling
ISMM
Sebastian Jordan Montaño Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL F-59000 Lille, France, Guillermo Polito Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Pablo Tesone Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium
11:40 - 12:20
ISMM: Session 2 - Hardware for Memory ManagementISMM at Sweden
11:40
20m
Talk
Supporting Trusted Virtual Machines with Hardware-based Secure Remote Memory
ISMM
Taekyung Heo NVIDIA, Seunghyo Kang KAIST, Sanghyeon Lee KAIST, Soojin Hwang KAIST, Joongun Park Georgia Tech, Jaehyuk Huh KAIST
12:00
20m
Talk
A Managed Memory System for micro controllers with NOR flash memory
ISMM
Akira Inoue The University of Tokyo, Tomoharu Ugawa University of Tokyo, Shigeru Chiba The University of Tokyo
12:20 - 13:40
13:40 - 15:20
Session 3RTFM at Copenhagen
Chair(s): Amal Ahmed Northeastern University, USA
13:40
40m
Talk
On Running a Research Group
RTFM
Işıl Dillig University of Texas at Austin
14:20
60m
Talk
Panel: Work-Life Balance, Service, and Teaching
RTFM
M: Amal Ahmed Northeastern University, USA, P: Benjamin Delaware Purdue University, P: Sam Lindley University of Edinburgh, P: Nadia Polikarpova University of California at San Diego, P: Jan Vitek Northeastern University
13:40 - 15:30
Session 3PLMW@PLDI at Iceland
Chair(s): Alexa VanHattum Wellesley College
13:40
50m
Panel
Panel: PL and Beyond
PLMW@PLDI
P: Nate Foster Cornell University and Jane Street, P: Jens Palsberg University of California, Los Angeles (UCLA), P: Saman Amarasinghe Massachusetts Institute of Technology, P: Sukyoung Ryu KAIST, M: Umang Mathur National University of Singapore
14:30
30m
Talk
DrFix: Automated Data Race Fixing using Program Analysis and Generative AI
PLMW@PLDI
15:00
30m
Talk
A Tour of Program Optimization
PLMW@PLDI
Max Willsey UC Berkeley
13:40 - 15:20
SOAP IIISOAP at Reykjavik
13:40
50m
Keynote
Lightweight Resource Leak Verification and Inference
SOAP
Manu Sridharan University of California at Riverside
14:30
20m
Talk
Interactive Source-to-Source Optimizations Validated using Static Resource Analysis
SOAP
Guillaume Bertholon Inria & Université de Strasbourg, CNRS, ICube, France, Arthur Charguéraud Inria; Université de Strasbourg; CNRS; ICube, Thomas Koehler INRIA, Begatim Bytyqi Inria & Université de Strasbourg, CNRS, ICube, France, Damien Rouhling Inria Nancy Grand-Est; France
14:50
20m
Talk
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
SOAP
Julian Erhard Technical University of Munich, Johanna Franziska Schinabeck Technische Universität München, Michael Schwarz Technische Universität München, Helmut Seidl Technische Universität München
14:00 - 15:00
ISMM: Keynote 2 - Dr. Euicheol Lim (SK hynix)ISMM at Sweden
Chair(s): Jae W. Lee Seoul National University
14:00
60m
Keynote
Keynote: Enabling the AI Revolution: Next-Generation Memory Solutions for AI Computing System
ISMM
Euicheol Lim SK hynix
15:00 - 16:00
ISMM: Session 3 - Intellectual AbstractsISMM at Sweden
15:00
20m
Talk
The One Pass (OP) Compactor (an intellectual abstract)
ISMM
Tomer Cory Technion, Erez Petrank Technion
15:20
20m
Talk
BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads
ISMM
Nathaniel Wesley Filardo Microsoft, Matthew J. Parkinson Microsoft Azure Research
Pre-print
15:40
20m
Talk
Reference Counting Deeply Immutable Data Structures with Cycles
ISMM
Matthew J. Parkinson Microsoft Azure Research, Sylvan Clebsch Microsoft Azure Research, Tobias Wrigstad Uppsala University
Pre-print
16:00 - 17:40
Session 4RTFM at Copenhagen
Chair(s): Ilya Sergey National University of Singapore
16:00
40m
Talk
On Writing Grants
RTFM
Ranjit Jhala University of California, San Diego
16:40
60m
Panel
Panel: Recruiting and Supporting Students
RTFM
M: Ilya Sergey National University of Singapore, P: Lars Birkedal Aarhus University, P: Santosh Nagarakatte Rutgers University, P: Sukyoung Ryu KAIST, P: Zachary Tatlock University of Washington
16:00 - 17:40
Session 4PODELSKI at Helsinki
16:00
33m
Talk
Session Types for People who Love Automata
PODELSKI
Thomas Wies New York University
16:33
33m
Talk
Living inside a Theorem Proving Universe
PODELSKI
Natarajan Shankar SRI International, USA
17:06
14m
Day closing
Closing Remarks
PODELSKI
Andreas Podelski University of Freiburg
16:00 - 18:00
Session 4PLMW@PLDI at Iceland
Chair(s): Umang Mathur National University of Singapore
16:00
45m
Talk
Uncertainty and my scientific journey
PLMW@PLDI
Aws Albarghouthi University of Wisconsin-Madison
16:45
60m
Panel
Panel: Career Paths in PL
PLMW@PLDI
P: Alexa VanHattum Wellesley College, P: Işıl Dillig University of Texas at Austin, P: Conrad Watt Nanyang Technological University, P: Gilles Barthe MPI-SP; IMDEA Software Institute, P: David Pichardie Meta, P: Manu Sridharan University of California at Riverside, M: Anitha Gollamudi University of Massachusetts Lowell
17:45
15m
Talk
Conclusion
PLMW@PLDI

16:00 - 17:40
SOAP IVSOAP at Reykjavik
16:00
20m
Talk
Misconceptions About Loops in C
SOAP
Martin Brain City, University of London, Mahdi Malkawi City, University of London
16:20
20m
Talk
A Better Approximation for Interleaved Dyck Reachability
SOAP
Giovanna Kobus Conrado Hong Kong University of Science and Technology, Andreas Pavlogiannis Aarhus University
16:40
20m
Talk
ValBench: Benchmarking exact value analysis
SOAP
Marc Miltenberger Fraunhofer SIT | ATHENE - National Research Center for Applied Cybersecurity, Darmstadt, Steven Arzt Fraunhofer SIT; ATHENE
17:00
5m
Talk
Closing and Best Presentation Award
SOAP
Raphaël Monat Inria and University of Lille, Cindy Rubio-González University of California at Davis
16:20 - 17:20
ISMM: Session 4 - PotpourriISMM at Sweden
16:20
20m
Talk
SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures
ISMM
Xiaofan Sun University of California, Riverside, Rajiv Gupta Univeristy of California, Riverside (UCR)
16:40
20m
Talk
A heuristic algorithm for periodic memory allocation with little fragmentation to train neural networks
ISMM
Akifumi Imanishi Preferred Networks, Zijian Xu Preferred Networks
17:00
20m
Talk
ESPN: Memory-Efficient Multi-Vector Information Retrieval
ISMM
Susav Shrestha Texas A&M University, Narasimha Reddy Texas A&M University, Zongwang Li Samsung
18:00 - 20:00
Welcome Reception Dinner (open to attendees of any PLDI-associated event)Catering at Copenhagen City Hall

Note: Dinner is open to attendees of any PLDI-associated event, not just the main PLDI conference.

Wed 26 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
09:00
70m
Keynote
The Future of Fast Code: Giving Hardware What It Wants
PLDI Research Papers
Jonathan Ragan-Kelley Massachusetts Institute of Technology
10:40 - 12:20
Probabilistic ProgrammingPLDI Research Papers at Finland / Norway
10:40
20m
Talk
Bit Blasting Probabilistic Programs
PLDI Research Papers
Poorva Garg University of California, Los Angeles, Steven Holtzen Northeastern University, Guy Van den Broeck University of California at Los Angeles, Todd Millstein University of California at Los Angeles
DOI
11:00
20m
Talk
Compiling Probabilistic Programs for Variable Elimination with Information Flow
PLDI Research Papers
Jianlin Li University of Waterloo, Eric Wang University of Waterloo, Yizhou Zhang University of Waterloo
DOI
11:20
20m
Talk
Equivalence and Similarity Refutation for Probabilistic Programs
PLDI Research Papers
Krishnendu Chatterjee IST Austria, Ehsan Kafshdar Goharshady IST Austria, Petr Novotný Masaryk University, Đorđe Žikelić Singapore Management University, Singapore
DOI
11:40
20m
Talk
GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables
PLDI Research Papers
Mathieu Huot MIT, Matin Ghavami Massachusetts Institute of Technology, Alexander K. Lew Massachusetts Institute of Technology, Ulrich Schaechtle Digital Garage, Cameron Freer Massachusetts Institute of Technology, Zane Shelby Digital Garage, Martin Rinard MIT, Feras Saad Carnegie Mellon University, Vikash K. Mansinghka Massachusetts Institute of Technology
DOI
12:00
20m
Talk
Probabilistic Programming with Programmable Variational Inference
PLDI Research Papers
McCoy Reynolds Becker MIT, Alexander K. Lew Massachusetts Institute of Technology, Xiaoyan Wang Massachusetts Institute of Technology, Matin Ghavami Massachusetts Institute of Technology, Mathieu Huot MIT, Martin Rinard MIT, Vikash K. Mansinghka Massachusetts Institute of Technology
DOI
10:40 - 12:20
10:40
20m
Talk
Compilation of Qubit Circuits to Optimized Qutrit Circuits
PLDI Research Papers
Ritvik Sharma Stanford University, Sara Achour Stanford University
DOI
11:00
20m
Talk
Qubit Recycling Revisited
PLDI Research Papers
Hanru Jiang Beijing Institute of Mathematical Sciences and Applications
DOI
11:20
20m
Talk
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
PLDI Research Papers
Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
DOI
11:40
20m
Talk
Compiling Conditional Quantum Gates without Using Helper Qubits
PLDI Research Papers
Keli Huang University of California at Los Angeles, Jens Palsberg University of California, Los Angeles (UCLA)
DOI
12:00
20m
Talk
An Algebraic Language for Specifying Quantum Networks
PLDI Research Papers
Anita Buckley USI Lugano, Pavel Chuprikov USI Lugano, Rodrigo Otoni USI Lugano, Robert Soulé Yale University, Robert Rand University of Chicago, Patrick Eugster USI Lugano; Purdue University
DOI
10:40 - 12:20
Parsing and Compiling and Transforming PLDI Research Papers at Sweden
10:40
20m
Talk
Daedalus: Safer Document Parsing
PLDI Research Papers
Iavor Diatchki Galois, Inc., Mike Dodds Galois, Inc., Harrison Goldstein University of Pennsylvania, Bill Harris Galois, David Holland Galois, Benoit Razet Galois, Inc, Cole Schlesinger Galois, Simon Winwood Galois
DOI
11:00
20m
Talk
SpEQ: Translation of Sparse Codes using Equivalences
PLDI Research Papers
Avery Laird University of Toronto, Bangtian Liu University of Toronto, Nikolaj Bjørner Microsoft Research, Maryam Mehri Dehnavi University of Toronto
DOI Pre-print
11:20
20m
Talk
[TOPLAS] Choral: Object-Oriented Choreographic Programming
PLDI Research Papers

11:40
20m
Talk
Compiling with Abstract Interpretation
PLDI Research Papers
Dorian Lesbre CEA List, Matthieu Lemerre Université Paris-Saclay - CEA LIST
DOI
12:00
20m
Talk
Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation
PLDI Research Papers
DOI
12:20 - 13:40
12:20 - 13:40
13:40 - 15:20
13:40
20m
Talk
Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
PLDI Research Papers
Peixin Wang University of Oxford, Tengshun Yang SKLCS, Institute of Software, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Hongfei Fu Shanghai Jiao Tong University, Guanyan Li University of Oxford, C.-H. Luke Ong NTU
DOI
14:20
20m
Talk
Consolidating Smart Contracts with Behavioral Contracts
PLDI Research Papers
Guannan Wei Purdue University, Danning Xie Purdue University, Wuqi Zhang The Hong Kong University of Science and Technology, Yongwei Yuan Purdue University, Zhuo Zhang Purdue University
DOI
14:40
20m
Talk
NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks
PLDI Research Papers
Ajay Brahmakshatriya Massachusetts Institute of Technology, Christopher Rinard Massachusetts Institute of Technology, Manya Ghobadi Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology
DOI
15:00
20m
Talk
KATch: A Fast Symbolic Verifier for NetKAT
PLDI Research Papers
Mark Moeller Cornell University, Jules Jacobs Cornell University, Olivier Savary Bélanger Galois, Inc., David Darais Galois, Cole Schlesinger Galois, Steffen Smolka Google, Nate Foster Cornell University and Jane Street, Alexandra Silva Cornell University
DOI
13:40 - 15:20
Formal Verification 1PLDI Research Papers at Iceland / Denmark
13:40
20m
Talk
Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language
PLDI Research Papers
Gaurav Parthasarathy ETH Zurich, Thibault Dardinier ETH Zurich, Benjamin Bonneau Verimag, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia
DOI
14:00
20m
Talk
Verified Extraction from Coq to OCaml
PLDI Research Papers
DOI
14:20
20m
Talk
Verification under Intel-x86 with Persistency
PLDI Research Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Ahmed Bouajjani IRIF, Université Paris Diderot, K Narayan Kumar Chennai Mathematical Institute, Prakash Saivasan The Institute of Mathematical Sciences, India
DOI
14:40
20m
Talk
RefinedRust: A Type System for High-Assurance Verification of Rust Programs
PLDI Research Papers
Lennard Gäher MPI-SWS, Michael Sammler MPI-SWS, Ralf Jung ETH Zurich, Robbert Krebbers Radboud University Nijmegen, Derek Dreyer MPI-SWS
DOI
15:00
20m
Talk
Hyperblock Scheduling for Verified High-Level Synthesis
PLDI Research Papers
Yann Herklotz Imperial College London, John Wickerson Imperial College London
DOI Pre-print
13:40 - 15:20
Types and EffectsPLDI Research Papers at Sweden
13:40
20m
Talk
Space-Efficient Polymorphic Gradual Typing, Mostly Parametric
PLDI Research Papers
Atsushi Igarashi Kyoto University, Shota Ozaki Kyoto University, Taro Sekiyama National Institute of Informatics, Yudai Tanabe Tokyo Institute of Technology
DOI
14:00
20m
Talk
Associated Effects
PLDI Research Papers
Matthew Lutze Aarhus University, Magnus Madsen Aarhus University
DOI
14:20
20m
Talk
Decidable Subtyping of Existential Types for Julia
PLDI Research Papers
Julia Belyakova Purdue University, Benjamin Chung Northeastern University, Ross Tate Independent Consultant, Jan Vitek Northeastern University
DOI
14:40
20m
Talk
Numerical Fuzz: A Type System for Rounding Error Analysis
PLDI Research Papers
Ariel E. Kellison Cornell University, Justin Hsu Cornell University
DOI
15:00
20m
Talk
Stream Types
PLDI Research Papers
Joseph W. Cutler University of Pennsylvania, Chris Watson University of Pennsylvania, Emeka Nkurumeh California Institute of Technology, Phillip Hilliard University of Pennsylvania, Harrison Goldstein University of Pennsylvania, Caleb Stanford University of California, Davis, Benjamin C. Pierce University of Pennsylvania
DOI
16:00 - 17:20
Security and CryptographyPLDI Research Papers at Finland / Norway
16:00
20m
Talk
A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption
PLDI Research Papers
Nikola Samardzic Massachusetts Institute of Technology, Aleksandar Krastev Massachusetts Institute of Technology, Simon Langowski Massachusetts Institute of Technology, Srinivas Devadas Massachusetts Institute of Technology, Daniel Sanchez MIT
DOI
16:20
20m
Talk
Quantitative Robustness for Vulnerability Assessment
PLDI Research Papers
Guillaume Girol CEA, List, Université Paris Saclay, Guilhem Lacombe CEA LIST and Université Paris-Saclay, Sébastien Bardin CEA LIST, University Paris-Saclay
DOI
16:40
20m
Talk
Quest Complete: The Holy Grail of Gradual Security
PLDI Research Papers
Tianyu Chen Indiana University, Jeremy G. Siek Indiana University, USA
DOI
17:00
20m
Talk
Foundational Integration Verification of a Cryptographic Server
PLDI Research Papers
Andres Erbsen Google, Jade Philipoom Google, Germany, Dustin Jamner MIT CSAIL, Ashley Lin Massachusetts Institute of Technology, Samuel Gruetter Massachusetts Institute of Technology, Clément Pit-Claudel EPFL, Adam Chlipala Massachusetts Institute of Technology
DOI
16:00 - 17:20
16:00
20m
Talk
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior
PLDI Research Papers
Theodoros Theodoridis ETH Zurich, Zhendong Su ETH Zurich
DOI
16:20
20m
Talk
Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding
PLDI Research Papers
Qiuping Yi Beijing University of Posts and Telecommunications, Yifan Yu Beijing University of Posts and Telecommunications, Guowei Yang University of Queensland
DOI
16:40
20m
Talk
Diffy: Data-Driven Bug Finding for Configurations
PLDI Research Papers
Siva Kesava Reddy Kakarla Microsoft Research, Francis Y. Yan Microsoft Research, Ryan Beckett Microsoft Research, USA
DOI
17:00
20m
Talk
Boosting Compiler Testing by Injecting Real-World Code
PLDI Research Papers
Shaohua Li ETH Zurich, Theodoros Theodoridis ETH Zurich, Zhendong Su ETH Zurich
DOI
16:00 - 17:20
Fast Linear AlgebraPLDI Research Papers at Sweden
16:00
20m
Talk
A Verified Compiler for a Functional Tensor Language
PLDI Research Papers
Amanda Liu Massachusetts Institute of Technology, Gilbert Bernstein University of Washington, Seattle, Adam Chlipala Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology
DOI
16:20
20m
Talk
[TOPLAS] (De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphism
PLDI Research Papers

DOI
16:40
20m
Talk
Compilation of Modular and General Sparse Workspaces
PLDI Research Papers
Genghan Zhang Stanford University, Olivia Hsu Stanford University, Fredrik Kjolstad Stanford University
DOI
17:00
20m
Talk
Descend: A Safe GPU Systems Programming Language
PLDI Research Papers
Bastian Köpcke University of Münster, Sergei Gorlatch University of Muenster, Michel Steuwer Technische Universität Berlin
DOI Pre-print
18:00 - 20:00
Reception and Poster SessionSRC at Capital Ballroom
19:30 - 21:30

Thu 27 Jun

Displayed time zone: Windhoek change

09:00 - 10:10
09:00
70m
Keynote
AI-Assisted Programming Today and Tomorrow
PLDI Research Papers
Nadia Polikarpova University of California at San Diego
10:40 - 12:20
10:40
20m
Talk
The Functional Essence of Imperative Binary Search Trees
PLDI Research Papers
Anton Lorenzen University of Edinburgh, Daan Leijen Microsoft Research, Wouter Swierstra Utrecht University, Netherlands, Sam Lindley University of Edinburgh
DOI Pre-print
11:00
20m
Talk
Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq
PLDI Research Papers
Simon Spies MPI-SWS, Lennard Gäher MPI-SWS, Michael Sammler MPI-SWS, Derek Dreyer MPI-SWS
DOI
11:20
20m
Talk
Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation
PLDI Research Papers
Mridul Aanjaneya Rutgers University, Santosh Nagarakatte Rutgers University
DOI Pre-print
11:40
20m
Talk
Live Verification in an Interactive Proof Assistant
PLDI Research Papers
Samuel Gruetter Massachusetts Institute of Technology, Viktor Fukala Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology
DOI
12:00
20m
Talk
Predictable Verification using Intrinsic Definitions
PLDI Research Papers
Adithya Murali University of Illinois at Urbana-Champaign, Cody Rivera University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign
DOI
10:40 - 12:20
10:40
20m
Talk
Linear Matching of JavaScript Regular Expressions
PLDI Research Papers
DOI Pre-print
11:00
20m
Talk
RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly
PLDI Research Papers
Michael Fitzgibbons Northeastern University, Zoe Paraskevopoulou Ethereum Foundation, Noble Mushtak Northeastern University, Michelle Thalakottur Northeastern University, Jose Sulaiman Manzur Northeastern University, Amal Ahmed Northeastern University, USA
DOI
11:20
20m
Talk
Bringing the WebAssembly Standard up to Speed with SpecTec
PLDI Research Papers
Dongjun Youn KAIST, Shin Wonho KAIST, Jaehyun Lee KAIST, Sukyoung Ryu KAIST, Joachim Breitner unaffiliated, Philippa Gardner Imperial College London, Sam Lindley University of Edinburgh, Matija Pretnar University of Ljubljana, Xiaojia Rao Imperial College, Conrad Watt Nanyang Technological University, Andreas Rossberg Independent
DOI
11:40
20m
Talk
Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
PLDI Research Papers
Aditya Anand Indian Institute of Technology Bombay, Solai Adithya IIT Mandi, Swapnil Rustagi IIT Mandi, Priyam Seth IIT Mandi, Vijay Sundaresan IBM Canada, Daryl Maier IBM Canada, V Krishna Nandivada IIT Madras, Manas Thakur Indian Institute of Technology Bombay
DOI Pre-print
12:00
20m
Talk
Concurrent Immediate Reference Counting
PLDI Research Papers
Jaehwang Jung KAIST, Jeonghyeon Kim KAIST, Matthew J. Parkinson Microsoft Azure Research, Jeehoon Kang KAIST
DOI
10:40 - 12:20
Grammars and Code and FormalismsPLDI Research Papers at Sweden
10:40
20m
Talk
Equivalence by Canonicalization for Synthesis-Backed Refactoring
PLDI Research Papers
Justin Lubin University of California at Berkeley, Jeremy Ferguson University of California-Berkeley, Kevin Ye University of California at Berkeley, Jacob Yim UC Berkeley, Sarah E. Chasins University of California at Berkeley
DOI Pre-print
11:00
20m
Talk
PL4XGL: A Programming Language Approach to Explainable Graph Learning
PLDI Research Papers
Minseok Jeon Korea University, Jihyeok Park Korea University, Hakjoo Oh Korea University
DOI
11:20
20m
Talk
Syntactic Code Search with Sequence-to-Tree Matching
PLDI Research Papers
Gabriel Matute UC Berkeley, Wode Ni Columbia University, Titus Barik Apple, Alvin Cheung University of California at Berkeley, Sarah E. Chasins University of California at Berkeley
DOI
11:40
20m
Talk
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
PLDI Research Papers
Xiaodong Jia Pennsylvania State University, Gang Tan Pennsylvania State University
DOI
12:00
20m
Talk
Hashing Modulo Context-Sensitive Alpha-Equivalence
PLDI Research Papers
Lasse Blaauwbroek Czech Institute for Informatics Robotics and Cybernetics, Miroslav Olšák Institut des Hautes Études Scientifiques, Herman Geuvers Radboud University Nijmegen, Netherlands
DOI
12:20 - 13:40
12:20 - 13:40
13:40 - 14:40
Formal Verification 2PLDI Research Papers at Finland / Norway
13:40
20m
Talk
Mechanised Hypersafety Proofs about Structured Data
PLDI Research Papers
Vladimir Gladshtein National University of Singapore, Qiyuan Zhao National University of Singapore, Willow Ahrens Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology, Ilya Sergey National University of Singapore
DOI Pre-print
14:00
20m
Talk
Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties
PLDI Research Papers
Thibault Dardinier ETH Zurich, Peter Müller ETH Zurich
DOI
14:20
20m
Talk
A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata
PLDI Research Papers
Zhe Zhou Purdue University, Qianchuan Ye Purdue University, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
DOI
13:40 - 14:40
Industry sessionPLDI Events at Iceland / Denmark
13:40
20m
Industry talk
Data-race safety for the masses
PLDI Events
Holly Borla Apple, Inc,
13:40 - 14:40
Solvers for Fun and ProfitPLDI Research Papers at Sweden
13:40
20m
Talk
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
PLDI Research Papers
Elvira Albert Complutense University of Madrid, Maria Garcia de la Banda Monash University, Alejandro Hernández-Cerezo Complutense University of Madrid, Alexey Ignatiev Monash University, Albert Rubio Complutense University of Madrid, Peter J. Stuckey Monash University
DOI
14:00
20m
Talk
Inductive Approach to Spacer
PLDI Research Papers
Takeshi Tsukada Chiba University, Hiroshi Unno Tohoku University
DOI
14:20
20m
Talk
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories
PLDI Research Papers
Benjamin Mikek Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology
DOI
15:20 - 17:00
15:20 - 16:40
15:20
20m
Talk
[PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
PLDI Research Papers
Nikita Koval JetBrains, Dmitry Khalanskiy JetBrains, Dan Alistarh IST Austria
DOI
15:40
20m
Talk
[PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
PLDI Research Papers
Bastien Lecoeur Imperial College London, Hasan Mohsin Imperial College London, Alastair F. Donaldson Imperial College London
DOI
16:00
20m
Talk
[OOPSLA 2023] Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
PLDI Research Papers
Shangwen Wang National University of Defense Technology, Bo Lin , Zhensu Sun Singapore Management University, Ming Wen Huazhong University of Science and Technology, Yepang Liu Southern University of Science and Technology, Yan Lei Chongqing University, Xiaoguang Mao National University of Defense Technology
DOI
16:20
20m
Talk
[TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
PLDI Research Papers

15:20 - 17:00
European Research CouncilPLDI Events at Sweden


European Research Council funding opportunities
Presenters: Mikaela Poulymenopoulou and Fabrizio Montesi

European Research Council is the premier European funding organisation for excellent frontier research that funds creative researchers of any nationality and age, to run projects based in European Union member states or associated countries. The ERC’s mission is to encourage the highest quality research in Europe through competitive funding and to support investigator-driven frontier research across all fields, based on scientific excellence. In this talk, I will give an overview of the available ERC funding schemes (Starting, Consolidator, Advanced and Synergy Grants) in Horizon Europe and will describe the evaluation process of proposals, by peer review panels. I will also talk about specific points to consider when applying for an ERC grant.

This talk will be followed by the presentation of the ERC Consolidator grantee, Prof. Fabrizio Montesi, who will talk about his ERC experience.

Bio: Mikaela Poulymenopoulou is a Scientific Officer at the European Research Council Executive Agency (ERCEA) in the Computer Science and Informatics panel (PE6) of the Physical Sciences and Engineering Unit. She works mainly on the support of the evaluation and selection processes of research proposals and the follow-up of the implementation of ERC funded projects. Before joining ERCEA in 2019, she worked as scientific officer at the Joint Research Centre of European Commission and as researcher in health informatics at the University of Piraeus in Greece.

Bio: Fabrizio Montesi is Professor (Full Professor) of Computer Science at the University of Southern Denmark, Department of Mathematics and Computer Science, where he currently serves as member of the management group and Head of Section for the section of Artificial Intelligence, Cybersecurity, and Programming Languages. Fabrizio also serves as President of the Microservices Community, maintainer of the open-source programming language Jolie (for microservices), management group member at the SDU Digital Democracy Centre, and Chair of Cloud Technology at the SDU eScience Center. He is also Founding Director at italianaSoftware, where he previously served as Co-CEO.

17:00 - 18:00
Business MeetingPLDI Events at Reykjavik
19:00 - 21:00
Banquet and Awards Dinner Catering at Scandinavian Ballroom

Fri 28 Jun

Displayed time zone: Windhoek change

10:40 - 12:20
10:40
20m
Talk
From Batch to Stream: Automatic Generation of Online Algorithms
PLDI Research Papers
Ziteng Wang University of Texas at Austin, Shankara Pailoor University of Texas at Austin, Aaryan Prakash University of Texas at Austin, Yuepeng Wang Simon Fraser University, Işıl Dillig University of Texas at Austin
DOI
11:00
20m
Talk
[TOPLAS] Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms
PLDI Research Papers

11:20
20m
Talk
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis
PLDI Research Papers
Ruyi Ji Peking University, Yuwei Zhao Peking University, Nadia Polikarpova University of California at San Diego, Yingfei Xiong Peking University, Zhenjiang Hu Peking University
DOI
11:40
20m
Talk
Recursive Program Synthesis using Paramorphisms
PLDI Research Papers
Qiantan Hong Stanford University, Alex Aiken Stanford University
DOI
12:00
20m
Talk
Reward-Guided Synthesis of Intelligent Agents with Control Structures
PLDI Research Papers
Guofeng Cui Rutgers University, Yuning Wang Rutgers University, Wenjie Qiu Rutgers University, He Zhu Rutgers University, USA
DOI
10:40 - 12:20
Concurrent and DistributedPLDI Research Papers at Iceland / Denmark
10:40
20m
Talk
A Lightweight Polyglot Code Transformation Language
PLDI Research Papers
Ameya Ketkar Gitar, Daniel Ramos Carnegie Mellon University, and INESC-ID, Lazaro Clapp Gitar, Raj Barik Gitar Co., Murali Krishna Ramanathan AWS AI Labs
DOI Pre-print
11:00
20m
Talk
SPORE: Combining Symmetry and Partial Order Reduction
PLDI Research Papers
DOI
11:20
20m
Talk
IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
PLDI Research Papers
Chujun Geng The Ohio State University, USA, Spyros Blanas Ohio State University, Michael D. Bond Ohio State University, USA, Yang Wang The Ohio State University
DOI
11:40
20m
Talk
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs
PLDI Research Papers
Longfei Qiu Yale University, Yoonseung Kim Yale University, Ji-Yong Shin Northeastern University, Jieung Kim Inha University, Wolf Honore Yale University, Zhong Shao Yale University
DOI
12:00
20m
Talk
A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation
PLDI Research Papers
Ruslan Nikolaev The Pennsylvania State University, Binoy Ravindran Virginia Tech
DOI
10:40 - 12:20
Program Analysis 1PLDI Research Papers at Sweden
10:40
20m
Talk
[TOPLAS] Interactive Abstract Interpretation with Demanded Summarization
PLDI Research Papers

11:00
20m
Talk
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
PLDI Research Papers
Mafalda Ferreira INESC-ID and Universidade de Lisboa, Miguel Monteiro INESC-ID and Universidade de Lisboa, Tiago Brito INESC-ID and Universidade de Lisboa, Miguel E. Coimbra INESC-ID and Universidade de Lisboa, Nuno Santos INESC-ID / Instituto Superior Tecnico, University of Lisbon, Limin Jia , José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal
DOI Pre-print
11:20
20m
Talk
Floating-Point TVPI Abstract Domain
PLDI Research Papers
Joao Rivera ETH Zurich, Franz Franchetti Carnegie Mellon University, USA, Markus Püschel ETH Zurich
DOI
11:40
20m
Talk
Reducing Static Analysis Unsoundness with Approximate Interpretation
PLDI Research Papers
Mathias Rud Laursen Aarhus University, Wenyuan Xu Aarhus University, Anders Møller Aarhus University
DOI
12:00
20m
Talk
Falcon: A Scalable Analytical Cache Model
PLDI Research Papers
Arjun Pitchanathan University of Edinburgh, Kunwar Grover AMD, Tobias Grosser University of Cambridge, UK
DOI
12:20 - 13:40
12:20 - 13:40
13:40 - 15:20
13:40
20m
Talk
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
PLDI Research Papers
Peisen Yao Zhejing University, Jinguo Zhou Ant Group, Xiao Xiao Ant Group, Qingkai Shi Nanjing University, Rongxin Wu School of Informatics, Xiamen University, Charles Zhang The Hong Kong University of Science and Technology
DOI
14:00
20m
Talk
A Proof Recipe for Linearizability in Relaxed Memory Separation Logic
PLDI Research Papers
Sunho Park KAIST, Jaewoo Kim KAIST, Ike Mulder Radboud University Nijmegen, Jaehwang Jung KAIST, Janggun Lee KAIST, Robbert Krebbers Radboud University Nijmegen, Jeehoon Kang KAIST
DOI
14:20
20m
Talk
Compositional Semantics for Shared-Variable Concurrency
PLDI Research Papers
Mikhail Svyatlovskiy Tel Aviv University, Shai Mermelstein Tel Aviv University, Ori Lahav Tel Aviv University
DOI
14:40
20m
Talk
Input-Relational Verification of Deep Neural Networks
PLDI Research Papers
Debangshu Banerjee University of Illinois at Urbana-Champaign, Changming Xu University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research
DOI
15:00
20m
Talk
Automated Verification of Fundamental Algebraic Laws
PLDI Research Papers
George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
DOI
13:40 - 15:20
Close to the HardwarePLDI Research Papers at Iceland / Denmark
13:40
20m
Talk
Allo: A Programming Model for Composable Accelerator Design
PLDI Research Papers
Hongzheng Chen Cornell University, Niansong Zhang Cornell University, Shaojie Xiang Cornell University, Zhichen Zeng University of Science and Technology of China, Mengjia Dai University of Science and Technology of China, Zhiru Zhang Cornell University, USA
DOI
14:00
20m
Talk
VESTA: Power Modeling with Language Runtime Events
PLDI Research Papers
Joseph Raskind SUNY Binghamton, Timur Babakol SUNY Binghamton, USA, Khaled Mahmoud SUNY Binghamton, USA, Yu David Liu SUNY Binghamton
DOI
14:20
20m
Talk
Modular Hardware Design of Pipelined Circuits with Hazards
PLDI Research Papers
DOI
14:40
20m
Talk
Jacdac: Service-Based Prototyping of Embedded Systems
PLDI Research Papers
Thomas Ball Microsoft Research, Peli de Halleux Microsoft Research, James Devine Microsoft, Steve Hodges Lancaster University, Michał Moskal Microsoft Research
DOI Pre-print
15:00
20m
Talk
Wavefront Threading Enables Effective High-Level Synthesis
PLDI Research Papers
Blake Pelton Microsoft, Adam Sapek Microsoft, Ken Eguro Microsoft, Daniel Lo Microsoft, Alessandro Forin Microsoft, Matt Humphrey Microsoft, Jinwen Xi Microsoft, David Cox Microsoft, Rajas Karandikar Microsoft, Johannes de Fine Licht NextSilicon, Evgeny Babin Microsoft, Adrian Caulfield Microsoft, Doug Burger Microsoft
DOI Pre-print
13:40 - 15:20
Program Analysis 2PLDI Research Papers at Sweden
13:40
20m
Talk
Scaling Type-Based Points-to Analysis with Saturation
PLDI Research Papers
Christian Wimmer Oracle Labs, Codrut Stancu Oracle Labs, David Kozak Brno University of Technology & Oracle Labs, Thomas Wuerthinger Oracle Labs
DOI Pre-print
14:00
20m
Talk
Program Analysis for Adaptive Data Analysis
PLDI Research Papers
Jiawen Liu , Weihao Qu Monmouth University, Marco Gaboardi Boston University, Deepak Garg MPI-SWS, Jonathan Ullman Northeastern University
DOI
14:20
20m
Talk
Robust Resource Bounds with Static Analysis and Bayesian Inference
PLDI Research Papers
Long Pham Carnegie Mellon University, Feras Saad Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University
DOI
14:40
20m
Talk
Context-Free Language Reachability via Skewed Tabulation
PLDI Research Papers
Yuxiang Lei UNSW Sydney, Camille Bossut Georgia Institute of Technology, Yulei Sui UNSW Sydney, Qirun Zhang Georgia Institute of Technology
DOI
15:00
20m
Talk
Static Analysis for Checking the Disambiguation Robustness of Regular Expressions
PLDI Research Papers
Konstantinos Mamouras Rice University, Alexis Le Glaunec Rice University, Wu Angela Li Rice University, Agnishom Chattopadhyay Rice University
DOI