Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 24 JunDisplayed time zone: Windhoek change
Mon 24 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 10mDay opening | Opening WQS | ||
09:10 40mKeynote | From ZX to first order logic: a survey of string diagrammatic calculi WQS Pawel Sobocinski Tallinn University of Technology | ||
09:50 20mTalk | 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 | |||
09:00 70mTutorial | 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 10mDay 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 60mKeynote | Choreographic Programming: its essence, beauty, and necessity CP | ||
09:00 - 10:10 | |||
09:00 35mTalk | Welcome Infer David Pichardie Meta | ||
09:35 35mTalk | State of the Infer Platform Infer Jules Villard Meta | ||
09:00 - 10:10 | LCTES Welcome and KeynoteLCTES at Iceland Chair(s): Yulei Sui UNSW Sydney, Aviral Shrivastava Arizona State University | ||
09:00 20mDay opening | Welcome and Opening LCTES | ||
09:20 50mKeynote | Three Colours of Fuzzing: Reflections and Open Challenges LCTES Cristian Cadar Imperial College London | ||
09:00 - 10:10 | |||
09:00 10mTalk | Welcome EGRAPHS Max Willsey UC Berkeley | ||
09:10 30mTalk | E-graphs and Automated Reasoning: Looking back to look forward EGRAPHS Philip Zucker Draper Pre-print Media Attached | ||
09:40 30mTalk | 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 Pre-print Media Attached | ||
09:00 - 10:10 | |||
09:00 70mTutorial | 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 70mTutorial | 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 | |||
10:40 40mKeynote | Quantum application development for multi-processor systems using CUDA-Q WQS Bettina Heim NVIDIA | ||
11:20 20mTalk | 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 20mTalk | Dataflow-Based Optimization for QIR Programs WQS | ||
12:00 20mTalk | 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 1h40mTutorial | 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 20mTalk | 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 20mTalk | Choreographic Programming in Modal Type Theory CP | ||
11:20 20mTalk | 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 20mTalk | Corps: A Core Calculus of Hierarchical Choreographic Programming CP Andrew K. Hirsch University at Buffalo, SUNY Pre-print File Attached | ||
12:00 20mTalk | 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 | |||
10:40 45mTalk | Finding Retain Cycles for Objective-C with Pulse Infer Dulma Churchill Meta | ||
11:30 45mTalk | Bridging the Gap For Security Analysis In Infer Infer Julien Vanegue Bloomberg, USA | ||
10:40 - 12:20 | |||
10:40 25mTalk | Slotted E-Graphs EGRAPHS Pre-print | ||
11:05 25mTalk | 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 25mTalk | Performant Dynamically Typed E-Graphs in Pure Julia EGRAPHS Pre-print | ||
11:55 25mTalk | 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 1h40mTutorial | 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 1h40mTutorial | 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 | ||
12:20 - 13:40 | |||
12:20 80mLunch | Lunch Catering | ||
13:40 - 15:20 | |||
13:40 40mKeynote | Quantum program analysis: Verification and TestingREMOTE WQS Nengkun Yu Stony Brook University, USA | ||
14:20 20mTalk | 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 20mTalk | 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 20mTalk | Verifying Quantum Circuits in GAP WQS Scott Wesley University of Waterloo, Canada | ||
13:40 - 15:20 | |||
13:40 1h40mTutorial | Concurrent Algorithms in Kotlin Coroutines Tutorials Nikita Koval JetBrains | ||
13:40 - 15:20 | |||
13:40 20mTalk | A Probabilistic Choreography Language for PRISM CP | ||
14:00 20mTalk | 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 20mTalk | 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 20mTalk | Poroutines: The Essence of Choreographic Programming? CP Dan Plyukhin University of Southern Denmark | ||
15:00 20mTalk | We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values CP Pre-print | ||
13:40 - 15:20 | |||
13:40 45mTalk | Infer Internals for Integrations and Infrastructure Infer Nikos Gorogiannis Meta | ||
14:30 45mTalk | Supercharging Infer: Enhancing Static Analysis with Dynamic Data at WhatsApp Infer Matteo Marescotti Meta | ||
13:40 - 15:20 | |||
13:40 25mTalk | 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 25mTalk | 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 25mTalk | 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 25mTalk | 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 | |||
13:40 1h40mTutorial | 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 | |||
13:40 10mDay opening | Day opening PLMW@PLDI | ||
13:50 40mSocial Event | Social Event: PL Cards PLMW@PLDI | ||
14:30 50mSocial Event | Skill Exchange PLMW@PLDI | ||
16:00 - 18:00 | |||
16:00 40mKeynote | Mitiq, a toolbox for quantum error mitigation and error suppression WQS Nathan Shammah Unitary Fund | ||
16:40 20mTalk | 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 20mTalk | 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 20mTalk | Hybrid Quantum-Classical Machine Learning with String Diagrams WQS | ||
17:40 20mTalk | Classical Simulation of Quantum Circuits with Partial Interference Effects WQS | ||
16:00 - 17:40 | |||
16:00 1h40mTutorial | Concurrent Algorithms in Kotlin Coroutines Tutorials Nikita Koval JetBrains | ||
16:00 - 17:40 | |||
16:00 20mTalk | ChoRus: Library-Level Choreographic Programming in Rust CP Shun Kashiwa University of California, Santa Cruz, Lindsey Kuper University of California, Santa Cruz Pre-print | ||
16:20 20mTalk | Klor: Choreographies for the Working Clojurian CP Lovro Lugović University of Southern Denmark, Sung-Shik Jongmans Open University of the Netherlands; CWI | ||
16:40 20mTalk | 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 20mTalk | 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 | ||
17:20 20mDay 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 | |||
16:00 45mTalk | Type-safe Nanopasses: How to write a safe and modern compiler front-end Infer Daniel Mercier AdaCore | ||
16:00 - 17:40 | |||
16:00 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | (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 25mDay closing | Award and Closing LCTES | ||
16:00 - 17:40 | |||
16:00 25mTalk | 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 25mTalk | 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 25mTalk | Bridging Syntax and Semantics of Lean Expressions in E-Graphs EGRAPHS Pre-print | ||
17:15 25mTalk | 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 | |||
16:00 1h40mTutorial | 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 | |||
16:00 90mOther | Open research group positions PLMW@PLDI | ||
Tue 25 JunDisplayed time zone: Windhoek change
Tue 25 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 10mDay opening | Opening RTFM Amal Ahmed Northeastern University, USA, Derek Dreyer MPI-SWS, Ilya Sergey National University of Singapore | ||
09:10 40mTalk | On Long-Term Research Problem Selection RTFM Peter Müller ETH Zurich | ||
09:00 - 10:10 | |||
09:00 10mTalk | Welcome / Intro Sparse Saman Amarasinghe Massachusetts Institute of Technology | ||
09:10 20mTalk | Practical Considerations for Embracing Sparse Computation Sparse Shoaib Kamil Adobe Research | ||
09:30 20mTalk | When Are We Done Optimizing? Sparse Gilbert Bernstein University of Washington, Seattle | ||
09:50 20mPanel | Panel: What are we doing? Sparse Saman Amarasinghe Massachusetts Institute of Technology, Gilbert Bernstein University of Washington, Seattle, Shoaib Kamil Adobe Research | ||
09:00 - 10:10 | |||
09:00 35mTalk | Abstract Interpretation, Software Model Checking, and Beyond - A Celebration of the Work of Andreas Podelski PODELSKI Thomas Ball Microsoft Research | ||
09:35 35mTalk | Find, Use, and Conserve Tools for Formal Methods PODELSKI Dirk Beyer LMU Munich | ||
09:00 - 09:10 | Welcome from the ChairsISMM at Iceland Chair(s): Michael D. Bond Ohio State University, USA, Jae W. Lee Seoul National University, Hannes Payer Google | ||
09:00 10mDay opening | Welcome to ISMM ISMM Michael D. Bond Ohio State University, USA, Jae W. Lee Seoul National University, Hannes Payer Google | ||
09:00 - 10:10 | |||
09:00 50mKeynote | Recent Advances in Floating-point (Static) Analyses SOAP Eva Darulova Uppsala University | ||
09:50 20mTalk | Static Analysis for CHERI SOAP | ||
09:00 - 10:10 | |||
09:00 70mDay opening | Academic jam session ARRAY | ||
09:00 - 10:10 | |||
09:00 10mTalk | Opening Remarks PLMW@PLDI Anitha Gollamudi University of Massachusetts Lowell | ||
09:10 60mTalk | Thoughts on the interplay between corporate, government, and university R&D PLMW@PLDI Byron Cook Amazon | ||
09:10 - 10:10 | |||
09:10 60mKeynote | Keynote: Memory of Past and Future – Wasm’s Evolving Model of Store ISMM Andreas Rossberg Independent | ||
10:40 - 12:20 | |||
10:40 40mTalk | On Doing Interdisciplinary Research RTFM Nate Foster Cornell University and Jane Street | ||
11:20 60mPanel | 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 20mTalk | Exploiting Sparsity and Redundancy Sparse | ||
11:00 20mTalk | Recent Advances in Incremental View Maintenance Sparse Haozhe Zhang University of Zurich | ||
11:20 20mTalk | Hybrid Relational Tensor Processing Sparse Amir Shaikhha University of Edinburgh | ||
11:40 20mTalk | Mapping Sparse Applications to
Accelerated Computing Systems Sparse Olivia Hsu Stanford University | ||
12:00 20mPanel | 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 | |||
10:40 33mTalk | Session Types for People who Love Automata PODELSKI Thomas Wies New York University | ||
11:13 33mTalk | Concurrent ∀∃-Hyperproperties PODELSKI Ernst-Rüdiger Olderog University of Oldenburg | ||
11:46 33mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | Evaluating 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 DOI | ||
10:40 - 12:20 | |||
10:40 50mKeynote | Challenges and Opportunities in Program Analysis for JavaScript SOAP Anders Møller Aarhus University | ||
11:30 20mTalk | 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 20mTalk | 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 | |||
10:40 25mTalk | 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 | ||
11:05 25mTalk | An LLP (q, k) Parser Generator ARRAY | ||
11:30 25mTalk | 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 | ||
11:55 25mTalk | 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 | ||
10:40 - 12:20 | |||
10:40 30mTalk | Letting users do the undecidable: lessons from program synthesis PLMW@PLDI Hila Peleg Technion | ||
11:10 30mTalk | A Tale of Shared Memory Concurrency in Programming Languages PLMW@PLDI Soham Chakraborty TU Delft | ||
11:40 40mTalk | How to read a PL-security paper PLMW@PLDI Aslan Askarov Aarhus University | ||
11:40 - 12:20 | |||
11:40 20mTalk | 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 20mTalk | 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 80mLunch | Lunch Catering | ||
13:40 - 15:20 | |||
13:40 40mTalk | On Running a Research Group RTFM Işıl Dillig University of Texas at Austin | ||
14:20 60mTalk | 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 | |||
13:40 20mTalk | Equality Saturation and Joins Sparse Max Willsey UC Berkeley | ||
14:00 20mTalk | SpEQ: Translation of Sparse Codes using Equivalences Sparse Avery Laird University of Toronto | ||
14:20 20mTalk | Design DSLs with xDSL Sparse Tobias Grosser University of Cambridge, UK | ||
14:40 20mTalk | Compiling Control Flow in Sparse and Structured Array Programs Sparse Willow Ahrens Massachusetts Institute of Technology | ||
15:00 20mPanel | 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 - 15:20 | |||
13:40 33mTalk | Model Checking Distributed Software Systems PODELSKI Rupak Majumdar MPI-SWS | ||
14:13 33mTalk | Liveness to Safety for Distributed Systems PODELSKI Lenore Zuck UIC | ||
14:46 33mTalk | On the Power of Temporal Prophecy PODELSKI Jochen Hoenicke Certora | ||
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 60mKeynote | Keynote: Enabling the AI Revolution: Next-Generation Memory Solutions for AI Computing System ISMM Euicheol Lim SK hynix | ||
13:40 - 15:20 | |||
13:40 50mKeynote | Lightweight Resource Leak Verification and Inference SOAP Manu Sridharan University of California at Riverside | ||
14:30 20mTalk | 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 20mTalk | 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:20 | |||
13:40 25mTalk | Apple Array Allocation ARRAY Vanessa McHale Northern Trust | ||
14:05 25mTalk | Shray: an Owner-Compute Distributed Shared-Memory System ARRAY Stefan Schrijvers Radboud University, Thomas Koopman Radboud University, Sven-Bodo Scholz Radboud University | ||
14:30 25mTalk | Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling ARRAY | ||
14:55 25mTalk | Zero-Overhead Parallel Scans for Multi-Core CPUs ARRAY Ivo Gabe de Wolff Utrecht University, David van Balen , Gabriele Keller Utrecht University, Trevor L. McDonell Utrecht University | ||
13:40 - 15:30 | |||
13:40 50mPanel | 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 30mTalk | DrFix: Automated Data Race Fixing using Program Analysis and Generative AI PLMW@PLDI Farnaz Behrang Uber | ||
15:00 30mTalk | A Tour of Program Optimization PLMW@PLDI Max Willsey UC Berkeley | ||
14:40 - 15:40 | ISMM: Session 3 - Intellectual AbstractsISMM at Iceland Chair(s): Michael D. Bond Ohio State University, USA | ||
14:40 20mTalk | The One Pass (OP) Compactor: An Intellectual Abstract ISMM DOI | ||
15:00 20mTalk | BatchIt: Optimizing Message-Passing Allocators for Producer-Consumer Workloads: An Intellectual Abstract ISMM DOI Pre-print | ||
15:20 20mTalk | Reference Counting Deeply Immutable Data Structures with Cycles: An Intellectual Abstract ISMM Matthew J. Parkinson Microsoft Azure Research, Sylvan Clebsch Microsoft Azure Research, Tobias Wrigstad Uppsala University DOI Pre-print | ||
16:00 - 17:40 | |||
16:00 40mTalk | On Writing Grants RTFM Ranjit Jhala University of California, San Diego | ||
16:40 60mPanel | 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 20mTalk | Offloading-Efficient Sparse AI Systems Sparse | ||
16:20 20mTalk | Continuous Arrays Sparse Jaeyeon Won Massachusetts Institute of Technology | ||
16:40 20mTalk | Mapping the landscape of locality optimisation: compact metadata and amortisation Sparse Paul H J Kelly Imperial College London | ||
17:00 20mTalk | Four Languages for Portability Sparse Fredrik Kjolstad Stanford University | ||
17:20 20mPanel | 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 | |||
16:00 33mTalk | Reasoning About Hilbert’s Choice Operator in SMT PODELSKI Byron Cook Amazon | ||
16:33 33mTalk | Living inside a Theorem Proving Universe PODELSKI Natarajan Shankar SRI International, USA | ||
17:06 33mDay closing | Closing Remarks PODELSKI Andreas Podelski University of Freiburg | ||
16:00 - 17:00 | |||
16:00 20mTalk | SSRD: Shapes and Summaries for Race Detection in Concurrent Data Structures ISMM Xiaofan Sun University of California at Riverside, Rajiv Gupta University of California at Riverside DOI | ||
16:20 20mTalk | A Heuristic for Periodic Memory Allocation with Little Fragmentation to Train Neural Networks ISMM DOI | ||
16:40 20mTalk | ESPN: Memory-Efficient Multi-vector Information Retrieval ISMM DOI | ||
16:00 - 17:40 | |||
16:00 20mTalk | Misconceptions About Loops in C SOAP | ||
16:20 20mTalk | A Better Approximation for Interleaved Dyck Reachability SOAP Giovanna Kobus Conrado Hong Kong University of Science and Technology, Andreas Pavlogiannis Aarhus University | ||
16:40 20mTalk | 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 5mTalk | Closing and Best Presentation Award SOAP | ||
16:00 - 17:40 | |||
16:00 25mTalk | Escaping the Pointless: Embedding Pointful Array Programming in Python ARRAY DOI | ||
16:25 25mTalk | Nano-parsing: A Data-parallel Architecture for Perverse Parsing Environments ARRAY | ||
16:50 25mTalk | On Structural Under and GPUs ARRAY Juuso Haavisto University of Oxford | ||
17:15 25mTalk | The Landscape of Formal Verification in APL: a Review with a Case Study in Quantum Computing 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 | ||
16:00 - 18:00 | |||
16:00 45mTalk | Uncertainty and my scientific journey PLMW@PLDI Aws Albarghouthi University of Wisconsin-Madison | ||
16:45 60mPanel | 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 15mTalk | Conclusion PLMW@PLDI | ||
18:00 - 20:00 | Welcome Reception (open to attendees of any PLDI-associated event)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 2hDinner | Dinner Catering | ||
Wed 26 JunDisplayed time zone: Windhoek change
Wed 26 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 70mKeynote | The Future of Fast Code: Giving Hardware What It Wants PLDI Research Papers Jonathan Ragan-Kelley Massachusetts Institute of Technology | ||
10:40 - 12:20 | |||
10:40 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | Compilation of Qubit Circuits to Optimized Qutrit Circuits PLDI Research Papers DOI | ||
11:00 20mTalk | Qubit Recycling Revisited PLDI Research Papers Hanru Jiang Beijing Institute of Mathematical Sciences and Applications DOI | ||
11:20 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||
12:20 - 13:40 | |||
12:20 80mLunch | SIGPLAN-M Lunch PLDI Events Nadia Polikarpova University of California at San Diego | ||
12:20 - 13:40 | |||
12:20 80mLunch | Lunch Catering | ||
12:20 - 13:40 | |||
12:20 80mLunch | Lunch Catering | ||
13:40 - 15:20 | |||
13:40 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | |||
13:40 20mTalk | 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 20mTalk | Associated Effects PLDI Research Papers DOI | ||
14:20 20mTalk | 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 20mTalk | Numerical Fuzz: A Type System for Rounding Error Analysis PLDI Research Papers DOI | ||
15:00 20mTalk | 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 | |||
16:00 20mTalk | 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 20mTalk | 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 20mTalk | Quest Complete: The Holy Grail of Gradual Security PLDI Research Papers DOI Pre-print | ||
17:00 20mTalk | 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 20mTalk | Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior PLDI Research Papers DOI | ||
16:20 20mTalk | 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 20mTalk | 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 20mTalk | Boosting Compiler Testing by Injecting Real-World Code PLDI Research Papers DOI | ||
16:00 - 17:20 | |||
16:00 20mTalk | 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 20mTalk | [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 20mTalk | 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 20mTalk | 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 | ||
19:30 - 21:00 | |||
19:30 45mDinner | 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 JunDisplayed time zone: Windhoek change
Thu 27 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 70mKeynote | AI-Assisted Programming Today and Tomorrow PLDI Research Papers Nadia Polikarpova University of California at San Diego | ||
10:40 - 12:20 | |||
10:40 20mTalk | 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 20mTalk | PL4XGL: A Programming Language Approach to Explainable Graph Learning PLDI Research Papers DOI | ||
11:20 20mTalk | 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 20mTalk | V-Star: Learning Visibly Pushdown Grammars from Program Inputs PLDI Research Papers DOI | ||
12:00 20mTalk | 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 80mLunch | Lunch Catering | ||
12:20 - 13:40 | |||
12:20 80mLunch | Lunch Catering | ||
12:20 - 13:40 | |||
12:20 80mLunch | LGBTQIA+ lunch Diversity, Equity and Inclusion Mae Milano Princeton University | ||
13:40 - 14:40 | |||
13:40 20mTalk | 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 20mTalk | Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties PLDI Research Papers DOI | ||
14:20 20mTalk | 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 | |||
13:40 20mTalk | [PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable Synchronization PLDI Research Papers DOI | ||
14:00 20mTalk | [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 20mTalk | [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 | |||
13:40 20mTalk | 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 20mTalk | Inductive Approach to Spacer PLDI Research Papers DOI | ||
14:20 20mTalk | SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories PLDI Research Papers DOI | ||
15:20 - 17:00 | |||
15:20 - 16:20 | |||
15:20 20mIndustry talk | Data-race safety for the masses PLDI Events Holly Borla Apple, Inc, | ||
15:40 20mIndustry talk | Programming Languages at Huawei PLDI Events Magnus Morton Huawei | ||
15:20 - 17:00 | |||
15:20 1h40mTalk | European Research Council Funding Opportunities PLDI Events Fabrizio Montesi University of Southern Denmark, Mikaela Poulymenopoulou European Research Council Executive Agency | ||
17:00 - 18:00 | |||
19:00 - 21:00 | |||
19:00 2hDinner | Dinner Catering | ||
Fri 28 JunDisplayed time zone: Windhoek change
Fri 28 Jun
Displayed time zone: Windhoek change
09:00 - 10:10 | |||
09:00 70mKeynote | Much Still to Do in Compiler Verification (A Perspective from the CakeML Project) PLDI Research Papers Magnus O. Myreen Chalmers University of Technology | ||
10:40 - 12:20 | |||
10:40 20mTalk | 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 20mTalk | [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 20mTalk | 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 20mTalk | Recursive Program Synthesis using Paramorphisms PLDI Research Papers DOI | ||
12:00 20mTalk | 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 | |||
10:40 20mTalk | [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 20mTalk | 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 20mTalk | Floating-Point TVPI Abstract Domain PLDI Research Papers DOI | ||
11:40 20mTalk | 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 20mTalk | 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 80mLunch | Lunch Catering | ||
12:20 - 13:40 | |||
12:20 80mLunch | Lunch Catering | ||
12:20 - 13:40 | |||
12:20 80mLunch | URM Lunch Diversity, Equity and Inclusion Andrés Goens University of Amsterdam | ||
13:40 - 15:20 | |||
13:40 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | |||
13:40 20mTalk | 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 20mTalk | 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 20mTalk | Modular Hardware Design of Pipelined Circuits with Hazards PLDI Research Papers Minseong Jang KAIST, Jungin Rhee KAIST, Woojin Lee KAIST, Shuangshuang Zhao KAIST, Jeehoon Kang KAIST DOI | ||
14:40 20mTalk | 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 20mTalk | 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 | |||
13:40 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 20mTalk | 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 | ||