PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
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 1WQS at Copenhagen
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)REMOTE
WQS
Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford, Stefano Gogioso University of Oxford
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 / INRIA, 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 / INRIA
09:10
60m
Keynote
Choreographic Programming: its essence, beauty, and necessity
CP
K: Fabrizio Montesi University of Southern Denmark
Media Attached
09:00 - 10:10
Session 1Infer at Helsinki
09:15
5m
Talk
Welcome
Infer
09:20
45m
Talk
State of the Infer Platform
Infer
09:00 - 10:10
LCTES Welcome and KeynoteLCTES at Iceland
Chair(s): Yulei Sui UNSW Sydney, Aviral Shrivastava Arizona State University
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
09:00 - 10:10
1. WelcomeEGRAPHS at Reykjavik
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 Media Attached
09:40
30m
Talk
Equivalence Hypergraphs: E-Graphs for Monoidal TheoriesRemote
EGRAPHS
Aleksei Tiurin University of Birmingham, Chris Barrett University of Oxford, Dan Ghica Huawei Research and University of Birmingham
Pre-print Media Attached
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
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 Pre-print
10:40 - 12:20
Session 2WQS at Copenhagen
10:40
40m
Keynote
Quantum application development for multi-processor systems using CUDA-Q
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
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 / INRIA
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 Media Attached File Attached
11:00
20m
Talk
Choreographic Programming in Modal Type Theory
CP
Media Attached
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
Media Attached
11:40
20m
Talk
Corps: A Core Calculus of Hierarchical Choreographic Programming
CP
Andrew K. Hirsch University at Buffalo, SUNY
Pre-print Media Attached 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
OptimizationLCTES at Iceland
Chair(s): Aviral Shrivastava Arizona State University
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
10:40 - 12:20
2. ImplementationEGRAPHS at Reykjavik
10:40
25m
Talk
Slotted E-Graphs
EGRAPHS
Rudi Schneider TU Berlin, Thomas Koehler INRIA, Michel Steuwer Technische Universität Berlin
Pre-print Media Attached
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
Pre-print Media Attached
11:30
25m
Talk
Performant Dynamically Typed E-Graphs in Pure Julia
EGRAPHS
Alessandro Cheli PlantingSpace, Niklas Heim Czech Technical University
Pre-print Media Attached
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
Media Attached File Attached
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
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 Pre-print
12:20 - 13:40
12:20
80m
Lunch
Lunch
Catering

13:40 - 15:20
Session 3WQS at Copenhagen
13:40
40m
Keynote
Quantum program analysis: Verification and TestingREMOTE
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 ProgramsREMOTE
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
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
Media Attached
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 / INRIA, 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
Pre-print Media Attached
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 Media Attached
13:40 - 15:20
Embedded SystemsLCTES at Iceland
Chair(s): Jian-Jia Chen TU Dortmund University
13:40
15m
Talk
SmartVisor: User-Friendly Hypervisor for Mobile RobotsRemote
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 WiresRemote
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
13:40 - 15:20
3. ApplicationsEGRAPHS at Reykjavik
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
Media Attached
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 Media Attached
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
Media Attached
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
Media Attached
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
Session 1PLMW@PLDI at Sweden
Chair(s): Anitha Gollamudi University of Massachusetts Lowell

PLMW Day-1 Session-1

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

16:00 - 18:00
Session 4WQS at Copenhagen
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
20m
Talk
Hybrid Quantum-Classical Machine Learning with String Diagrams
WQS
Alexander Koziell-Pipe University of Oxford, Aleks Kissinger University of Oxford
17:40
20m
Talk
Classical Simulation of Quantum Circuits with Partial Interference Effects
WQS
Sinan Pehlivanoglu Indiana University, Amr Sabry Indiana University
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
Pre-print Media Attached
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
Media Attached
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
Pre-print Media Attached
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
Pre-print Media Attached
17:20
20m
Day closing
Closing
CP
Lindsey Kuper University of California, Santa Cruz, Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA, Marco Peressotti University of Southern Denmark
16:00 - 17:40
Analysis and TestingLCTES at Iceland
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
Award and Closing
LCTES

16:00 - 17:40
4. VerificationEGRAPHS at Reykjavik
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
Media Attached
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, Marc Gourjon Hamburg University of Technology and NXP Semiconductors Germany GmbH
Media Attached
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 Media Attached
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
Pre-print Media Attached
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
Session 2PLMW@PLDI at Sweden
Chair(s): Umang Mathur National University of Singapore

PLMW Day-1 Session-2

16:00
90m
Other
Open research group positions
PLMW@PLDI

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
What are we doing?Sparse at Finland
Chair(s): Fredrik Kjolstad Stanford University
09:00
10m
Talk
Welcome / Intro
Sparse
Saman Amarasinghe Massachusetts Institute of Technology
09:10
20m
Talk
Practical Considerations for Embracing Sparse Computation
Sparse
Shoaib Kamil Adobe Research
09:30
20m
Talk
When Are We Done Optimizing?
Sparse
Gilbert Bernstein University of Washington, Seattle
09:50
20m
Panel
Panel: What are we doing?
Sparse
Saman Amarasinghe Massachusetts Institute of Technology, Gilbert Bernstein University of Washington, Seattle, Shoaib Kamil Adobe Research
09:00 - 09:10
Welcome from the ChairsISMM at Iceland
Chair(s): Michael D. Bond Ohio State University, Jae W. Lee Seoul National University, Hannes Payer Google
09:00
10m
Day opening
Welcome to ISMM
ISMM
Michael D. Bond Ohio State University, Jae W. Lee Seoul National University, Hannes Payer Google
09:00 - 10:10
SOAP ISOAP at Reykjavik
Chair(s): Raphaël Monat Inria and University of Lille
09:00
50m
Keynote
Recent Advances in Floating-point (Static) Analyses
SOAP
Eva Darulova Uppsala University
09:50
20m
Talk
Static Analysis for CHERIRemote
SOAP
Irina Dudina University of Edinburgh, Ian Stark The University of Edinburgh
09:00 - 10:10
IntroductionsARRAY at Stockholm
09:00
70m
Day opening
Academic jam session
ARRAY

09:00 - 10:10
Session 1PLMW@PLDI at Sweden
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:10 - 10:10
ISMM: Keynote 1 - Dr. Andreas Rossberg (Independent)ISMM at Iceland
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
Databases and HardwareSparse at Finland
Chair(s): Saman Amarasinghe Massachusetts Institute of Technology
10:40
20m
Talk
Exploiting Sparsity and Redundancy
Sparse
11:00
20m
Talk
Recent Advances in Incremental View Maintenance
Sparse
Haozhe Zhang University of Zurich
11:20
20m
Talk
Hybrid Relational Tensor Processing
Sparse
Amir Shaikhha University of Edinburgh
11:40
20m
Talk
Mapping Sparse Applications to 
Accelerated Computing Systems
Sparse
Olivia Hsu Stanford University
12:00
20m
Panel
Panel: Databases and Hardware
Sparse
Amir Shaikhha University of Edinburgh, Olivia Hsu Stanford University, Haozhe Zhang University of Zurich, Matthias Boehm
10:40 - 12:20
Session 2PODELSKI at Helsinki
10:40
33m
Talk
Session Types for People who Love Automata
PODELSKI
Thomas Wies New York University
11:13
33m
Talk
Concurrent ∀∃-Hyperproperties
PODELSKI
Ernst-Rüdiger Olderog University of Oldenburg
11:46
33m
Talk
Optimal Quantum Programs
PODELSKI
Jens Palsberg University of California, Los Angeles (UCLA)
10:40 - 11:40
ISMM: Session 1 - Garbage CollectionISMM at Iceland
Chair(s): Steve Blackburn Google and Australian National University
10:40
20m
Talk
Memory Management on Mobile Devices
ISMM
Kunal Sareen Australian National University, Steve Blackburn Google and Australian National University, Sara S. Hamouda Google, Lokesh Gidra Google
DOI Pre-print
11:00
20m
Talk
Garbage Collection for Mostly Serialized Heaps
ISMM
Chaitanya S. 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
DOI Pre-print
11:20
20m
Talk
Evaluating Finalization-Based Object Lifetime ProfilingRemote
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
DOI
10:40 - 12:20
SOAP IISOAP at Reykjavik
Chair(s): Luca Negrini Ca’ Foscari University of Venice
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, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf
Pre-print File Attached
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 - 12:20
TheoryARRAY at Stockholm
10:40
25m
Talk
AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming
ARRAY
Robert Schenck DIKU, University of Copenhagen, Nikolaj Hey Hinnerskov DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen, Magnus Madsen Aarhus University, Martin Elsman University of Copenhagen, Denmark
File Attached
11:05
25m
Talk
An LLP (q, k) Parser Generator
ARRAY
William Due DIKU, University of Copenhagen, Troels Henriksen University of Copenhagen
File Attached
11:30
25m
Talk
Mechanical Proofs in an Array-Combinator Language
ARRAY
Nikolaj Hey Hinnerskov DIKU, University of Copenhagen, Robert Schenck DIKU, University of Copenhagen, Cosmin Oancea University of Copenhagen, Denmark
File Attached
11:55
25m
Talk
Translating Concepts of the Futhark Programming Language into an Extended Pi-Calculus
ARRAY
Chris Oliver Paulsen Department of Computer Science, Aalborg University, Lars Jensen , Julian Teule Department of Computer Science, Aalborg University, Hans Hüttel Department of Computer Science, Aalborg University
File Attached
10:40 - 12:20
Session 2PLMW@PLDI at Sweden
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
11:40 - 12:20
ISMM: Session 2 - Hardware for Memory ManagementISMM at Iceland
Chair(s): Sara S. Hamouda Google
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
DOI
12:00
20m
Talk
A Managed Memory System for Micro Controllers with NOR Flash Memory
ISMM
Akira Inoue University of Tokyo, Tomoharu Ugawa University of Tokyo, Shigeru Chiba University of Tokyo
DOI
12:20 - 13:40
12:20
80m
Lunch
Lunch
Catering

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:20
Compilation FrameworksSparse at Finland
Chair(s): Amir Shaikhha University of Edinburgh
13:40
20m
Talk
Equality Saturation and Joins
Sparse
Max Willsey UC Berkeley
14:00
20m
Talk
SpEQ: Translation of Sparse Codes using Equivalences
Sparse
Avery Laird University of Toronto
14:20
20m
Talk
Design DSLs with xDSL
Sparse
Tobias Grosser University of Cambridge, UK
14:40
20m
Talk
Compiling Control Flow in Sparse and Structured Array Programs
Sparse
Willow Ahrens Massachusetts Institute of Technology
15:00
20m
Panel
Panel: Compilation Frameworks
Sparse
Max Willsey UC Berkeley, Avery Laird University of Toronto, Tobias Grosser University of Cambridge, UK, Willow Ahrens Massachusetts Institute of Technology
13:40 - 14:40
ISMM: Keynote 2 - Dr. Euicheol Lim (SK hynix)ISMM at Iceland
Chair(s): Jae W. Lee Seoul National University
13:40
60m
Keynote
Keynote: Enabling the AI Revolution: Next-Generation Memory Solutions for AI Computing System
ISMM
Euicheol Lim SK hynix
13:40 - 15:20
SOAP IIISOAP at Reykjavik
Chair(s): Cindy Rubio-González University of California at Davis
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
13:40 - 15:30
Session 3PLMW@PLDI at Sweden
Chair(s): Alexa VanHattum Wellesley College
13:40
50m
Panel
Panel: PL and Beyond
PLMW@PLDI
P: Jens Palsberg University of California, Los Angeles (UCLA), P: Saman Amarasinghe Massachusetts Institute of Technology, P: Sukyoung Ryu KAIST, Martin C. Rinard Massachusetts Institute of Technology, Nate Foster Cornell University and Jane Street, 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
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
Applications and LanguagesSparse at Finland
Chair(s): Gilbert Bernstein University of Washington, Seattle
16:00
20m
Talk
Offloading-Efficient Sparse AI Systems
Sparse
16:20
20m
Talk
Continuous Arrays
Sparse
Jaeyeon Won Massachusetts Institute of Technology
16:40
20m
Talk
Mapping the landscape of locality optimisation: compact metadata and amortisation
Sparse
Paul H J Kelly Imperial College London
17:00
20m
Talk
Four Languages for Portability
Sparse
Fredrik Kjolstad Stanford University
17:20
20m
Panel
Panel: Applications and Languages
Sparse
Luo Mai , Jaeyeon Won Massachusetts Institute of Technology, Paul H J Kelly Imperial College London, Fredrik Kjolstad Stanford University
16:00 - 17:40
Session 4PODELSKI at Helsinki
16:00
33m
Talk
Reasoning About Hilbert’s Choice Operator in SMT
PODELSKI
Byron Cook Amazon
16:33
33m
Talk
Living inside a Theorem Proving Universe
PODELSKI
Natarajan Shankar SRI International, USA
17:06
33m
Day closing
Closing Remarks
PODELSKI
Andreas Podelski University of Freiburg
16:00 - 17:00
ISMM: Session 4 - PotpourriISMM at Iceland
Chair(s): Tony Hosking Australian National University
16:00
20m
Talk
SSRD: Shapes and Summaries for Race Detection in Concurrent Data StructuresRemote
ISMM
Xiaofan Sun University of California at Riverside, Rajiv Gupta University of California at Riverside
DOI
16:20
20m
Talk
A Heuristic for Periodic Memory Allocation with Little Fragmentation to Train Neural Networks
ISMM
Akifumi Imanishi Preferred Networks, Zijian Xu Preferred Networks
DOI
16:40
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
DOI
16:00 - 17:40
SOAP IVSOAP at Reykjavik
Chair(s): Helmut Seidl Technische Universität München
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:00 - 17:40
Array LanguagesARRAY at Stockholm
16:00
25m
Talk
Points for Free: Embedding Pointful Array Programming in Python
ARRAY
Jakub Bachurski University of Cambridge, Alan Mycroft University of Cambridge, UK
DOI
16:25
25m
Talk
Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments
ARRAY
Aaron Hsu Dyalog, Ltd., Brandon Wilson
File Attached
16:50
25m
Talk
On Structural Under and GPUs
ARRAY
Juuso Haavisto University of Oxford
File Attached
17:15
25m
Talk
The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum ComputingRemote
ARRAY
Santiago Núñez-Corrales National Center for Supercomputing Applications, University of Illinois Urbana-Champaign, Phuong Cao National Center for Supercomputing Applications, University of Illinois Urbana-Champaign, Bach Hoang National Center for Supercomputing Applications, University of Illinois Urbana-Champaign
File Attached
16:00 - 18:00
Session 4PLMW@PLDI at Sweden
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

18:00 - 20:00
Welcome Reception (open to attendees of any PLDI-associated event)PLDI Events / Catering at Copenhagen City Hall

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

18:00
2h
Other
Reception
PLDI Events
Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital, Jakob Grue Simonsen University of Copenhagen, Milind Kulkarni Purdue University

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
Chair(s): Jeremy G. Siek Indiana University, USA
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
QuantumPLDI Research Papers at Iceland / Denmark
Chair(s): Robert Rand University of Chicago
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
Chair(s): Stephen Kell University of Kent
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
Saverio Giallorenzo Alma Mater Studiorum - Università di Bologna / INRIA, Fabrizio Montesi University of Southern Denmark, Marco Peressotti University of Southern Denmark
Link to publication DOI
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
80m
Lunch
SIGPLAN-M Lunch
PLDI Events
Nadia Polikarpova University of California at San Diego
12:20 - 13:40
12:20
80m
Lunch
Lunch
Catering

12:20 - 13:40
12:20
80m
Lunch
Lunch
Catering

13:40 - 15:20
Pot Pourri 1PLDI Research Papers at Finland / Norway
Chair(s): Steve Blackburn Google and Australian National University
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:00
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:20
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
14:40
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
Chair(s): Jeehoon Kang KAIST
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 File Attached
13:40 - 15:20
Types and EffectsPLDI Research Papers at Sweden
Chair(s): Yizhou Zhang University of Waterloo
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 JuliaHub, 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
Chair(s): Klaus v. Gleissenthall Vrije Universiteit Amsterdam, Netherlands
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 Pre-print
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 FindingRemote
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
Chair(s): Zachary Tatlock University of Washington
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
Ari Rasch University of Muenster
Link to publication DOI Pre-print Media Attached
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
18:00
7m
Poster
Am I sweeping right?
SRC
Pedro Barroso NOVA LINCS & Nova School of Sciences and Tecnhology
18:07
7m
Poster
A Never-Ending Trace: Catching Goto and Recursive Divergence
SRC
Caroline Cronjäger Vrije Universiteit Amsterdam
18:15
7m
Poster
AutoSpec: Automating the Refinement of Reinforcement Learning Specifications
SRC
Tanmay Ambadkar The Pennsylvania State University, University Park, USA
File Attached
18:22
7m
Poster
Coping with shared mutable state in a typestate-oriented concurrent language
SRC
João Mota NOVA School of Science and Technology
18:30
7m
Poster
Evaluating PBT Frameworks in OCaml
SRC
Nikhil Kamath University of Maryland
18:37
7m
Poster
Exceptions in a Message Passing Interpretation of Substructural Logic
SRC
Shengchao Yang Carnegie Mellon University, USA
18:45
7m
Poster
Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Live Verification Tool
SRC
Viktor Fukala Massachusetts Institute of Technology
18:52
7m
Poster
GRust: A Programming Language for Automotive Engineering
SRC
Émilie Thomé LIP6, Ampere, ISAE SUPAERO
File Attached
19:00
7m
Poster
Mechanized semantics for ECMAScript regexes
SRC
Link to publication File Attached
19:07
7m
Poster
Monitoring Linearizability in Polynomial Time
SRC
Zheng Han Lee National University of Singapore, Singapore
19:15
7m
Poster
Neural Abstract Interpretation
SRC
Shaurya Gomber University of Illinois Urbana-Champaign
19:22
7m
Poster
Parallelism with Flow Data for Distributed Tensor
SRC
huang songlin University of Hong Kong
19:30
7m
Poster
Revealing Optimizations in High-Performance Kernel Libraries: A Program Synthesis Approach to Schedule Reconstruction
SRC
Hongzheng Chen Cornell University
19:37
7m
Poster
Synthesising Programming Languages
SRC
Yuxi Ling National University of Singapore
19:45
7m
Poster
VOLPIC: Verifying Lifted Pascal in Coq
SRC
Charles Averill University of Texas at Dallas
19:52
7m
Poster
Who checks the checkers? Steps towards reliable equivalence checking
SRC
19:30 - 21:00
19:30
90m
Dinner
PLDI women's dinner
Diversity, Equity and Inclusion
Lindsey Kuper University of California, Santa Cruz, Mae Milano Princeton University, Alexa VanHattum Wellesley College, Sarah E. Chasins University of California at Berkeley

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
Formally VerifiedPLDI Research Papers at Finland / Norway
Chair(s): Peter Müller ETH Zurich
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 Pre-print
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
Chair(s): Nadia Polikarpova University of California at San Diego
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
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 (Gary) 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 Pre-print
12:20 - 13:40
12:20
80m
Lunch
Lunch
Catering

12:20 - 13:40
12:20
80m
Lunch
Lunch
Catering

12:20 - 13:40
12:20
80m
Lunch
LGBTQIA+ lunch
Diversity, Equity and Inclusion
Mae Milano Princeton University
13:40 - 14:40
Formal Verification 2PLDI Research Papers at Finland / Norway
Chair(s): Clément Pit-Claudel EPFL
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
SIGPLAN + TOPLASPLDI Research Papers at Iceland / Denmark
Chair(s): Qirun Zhang Georgia Institute of Technology
13:40
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
14:00
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
14:20
20m
Talk
[TOPLAS] CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
PLDI Research Papers
Meghana Aparna Sistla The University of Texas at Austin, Swarat Chaudhuri University of Texas at Austin, Thomas Reps University of Wisconsin-Madison
13:40 - 14:40
Solvers for Fun and ProfitPLDI Research Papers at Sweden
Chair(s): Santosh Nagarakatte Rutgers University
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
1h40m
Other
SRC Finals
SRC

15:20 - 16:30
Industry sessionPLDI Events at Iceland / Denmark
Chair(s): Fredrik Kjolstad Stanford University

Come hear about activities going on at our platinum sponsors, Apple, AWS, and Huawei!

15:20
20m
Industry talk
Data-race safety for the masses
PLDI Events
Holly Borla Apple, Inc,
15:40
20m
Industry talk
Programming Languages at Huawei
PLDI Events
16:00
20m
Industry talk
Formal reasoning at Amazon Web Services
PLDI Events
Byron Cook Amazon
15:20 - 16:30
European Research CouncilPLDI Events at Sweden
15:20
70m
Talk
European Research Council Funding Opportunities
PLDI Events
Fabrizio Montesi University of Southern Denmark, Mikaela Poulymenopoulou European Research Council Executive Agency, Jian-Jia Chen TU Dortmund University
File Attached
17:00 - 18:00
Business MeetingPLDI Events at Reykjavik
17:00
60m
Meeting
Business Meeting
PLDI Events

19:00 - 21:00
Banquet and Awards Dinner Catering at Scandinavian Ballroom
19:00
2h
Dinner
Dinner
Catering

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
Ruyi Ji Peking University, Yuwei Zhao Peking University, Yingfei Xiong Peking University, Di Wang Peking University, Lu Zhang Peking University, Zhenjiang Hu Peking University
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 ParamorphismsRemote
PLDI Research Papers
Qiantan Hong Stanford University, Alex Aiken Stanford University
DOI
12:00
20m
Talk
Reward-Guided Synthesis of Intelligent Agents with Control StructuresRemote
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
Chair(s): Suresh Jagannathan Purdue University
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, Yang Wang The Ohio State University
DOI
11:40
20m
Talk
LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness ProofsRemote
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
Chair(s): Jens Palsberg University of California, Los Angeles (UCLA)
10:40
20m
Talk
[TOPLAS] Interactive Abstract Interpretation with Demanded Summarization
PLDI Research Papers
Benno Stein SkipLabs, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Manu Sridharan University of California at Riverside
DOI
11:00
20m
Talk
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs
PLDI Research Papers
Mafalda Ferreira INESC-ID / Instituto Superior Técnico, 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 DomainRemote
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
80m
Lunch
Lunch
Catering

12:20 - 13:40
12:20
80m
Lunch
Lunch
Catering

12:20 - 13:40
12:20
80m
Lunch
URM Lunch
Diversity, Equity and Inclusion
Andrés Goens University of Amsterdam
13:40 - 15:20
Pot Pourri 2PLDI Research Papers at Finland / Norway
Chair(s): Caleb Stanford University of California, Davis
13:40
20m
Talk
Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis
PLDI Research Papers
Peisen Yao Zhejiang 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
Chair(s): Steve Blackburn Google and Australian National University
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
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
Chair(s): Anders Møller Aarhus University
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