Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Mon 16 JunDisplayed time zone: Seoul change
Mon 16 Jun
Displayed time zone: Seoul change
09:00 - 10:10 | |||
09:00 20mTalk | Insum: Sparse GPU Kernels Simplified and Optimized with Indirect Einsums Sparse Saman Amarasinghe Massachusetts Institute of Technology | ||
09:20 20mTalk | Intelligent Auto-Tuning for High-Performance Sparse Tensor Algebra Sparse Jiajia Li North Carolina State University | ||
09:40 20mTalk | Loop Fusion in Matrix Multiplications with Sparse Dependence Sparse Kazem Cheshmi McMaster University | ||
10:00 10mTalk | Panel 1 Sparse Saman Amarasinghe Massachusetts Institute of Technology, Kazem Cheshmi McMaster University, Jiajia Li North Carolina State University | ||
09:00 - 10:10 | |||
09:00 70mTutorial | Unlocking Optimizations with egglog: Equality Saturation Meets Datalog Tutorials Haobin Ni University of Washington, Yihong Zhang University of Washington, Zachary Tatlock University of Washington, Oliver Flatt University of Washington | ||
09:00 - 10:10 | |||
09:00 70mTutorial | Formal Analysis and Verification in Quantum Programming Tutorials Link to publication | ||
09:00 - 10:10 | |||
09:00 70mTutorial | Building DSLs made easy with the BuildIt Framework Tutorials Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology | ||
09:00 - 10:10 | |||
09:00 10mDay opening | Opening SOAP | ||
09:10 60mKeynote | The MemCAD static analyser: shape, value and collection abstraction and application to OS verification SOAP Xavier Rival Inria; ENS; CNRS; PSL University | ||
10:30 - 12:00 | |||
10:30 20mTalk | Optimizations and abstractions for sparse machine learning Sparse Charith Mendis University of Illinois at Urbana-Champaign | ||
10:50 20mTalk | Distributed Sparse Computing with Legate Sparse Sparse Rohan Yadav Stanford University | ||
11:10 20mTalk | Optimizing Recursive Sparse Computations Sparse Amir Shaikhha University of Edinburgh | ||
11:30 20mTalk | Panel 2 Sparse Charith Mendis University of Illinois at Urbana-Champaign, Rohan Yadav Stanford University, Amir Shaikhha University of Edinburgh | ||
10:30 - 12:00 | |||
10:30 90mTutorial | Unlocking Optimizations with egglog: Equality Saturation Meets Datalog Tutorials Haobin Ni University of Washington, Yihong Zhang University of Washington, Zachary Tatlock University of Washington, Oliver Flatt University of Washington | ||
10:30 - 12:00 | |||
10:30 90mTutorial | Formal Analysis and Verification in Quantum Programming Tutorials Link to publication | ||
10:30 - 12:00 | |||
10:30 90mTutorial | Building DSLs made easy with the BuildIt Framework Tutorials Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology | ||
10:30 - 12:00 | |||
10:30 20mTalk | Scalable Language Agnostic Taint Tracking Using Explicit Data Dependencies SOAP David Baker Effendi Stellenbosch University, Xavier Pinho StackGen, Andrei Michael Dreyer Whirly Labs, Fabian Yamaguchi Whirly Labs | ||
10:50 20mTalk | Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses SOAP Kadiray Karakaya Heinz Nixdorf Institut, Paderborn University, Palaniappan Muthuraman Heinz Nixdorf Institute, Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM | ||
11:10 20mTalk | Universal High-Performance CFL-Reachability via Matrix Multiplication SOAP | ||
11:30 20mTalk | Beyond Affine Loops: A Geometric Approach to Program SynthesisRemote SOAP Erdenebayar Bayarmagnai KU Leuven, Fatemeh Mohammadi KU Leuven, Rémi Prébet Inria, CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP, UMR 5668, 69342, Lyon cedex 07, France | ||
14:00 - 15:20 | |||
14:00 20mTalk | PyData/Sparse & Finch: extending sparse computing in the Python ecosystem Sparse | ||
14:20 20mTalk | Compiling and Compressing Structured Tensors Sparse | ||
14:40 20mTalk | Sparsity-Aware Autoscheduling for Numpy with Finch and Galley Sparse Willow Ahrens Massachusetts Institute of Technology | ||
15:00 20mTalk | Panel 3 Sparse Hameer Abbasi Quansight, Emilien Bauer , Willow Ahrens Massachusetts Institute of Technology, Mateusz Sokol Quansight Labs | ||
14:00 - 15:20 | |||
14:00 80mTutorial | BINSEC: Adapting Symbolic Execution for Binary-level Security Tutorials | ||
14:00 - 15:20 | |||
14:00 80mTutorial | Perfect Decompilation of Python Bytecode with PyLingual Tutorials Kangkook Jee The University of Texas - Dallas, Josh Wiedemeier The University of Texas at Dallas, Sang Kil Cha KAIST, Jungwoo Lee KAIST, Joel Flores University of Texas at Dallas Link to publication DOI Authorizer link | ||
14:00 - 15:20 | |||
14:00 80mTutorial | Building DSLs made easy with the BuildIt Framework Tutorials Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology | ||
14:00 - 15:20 | |||
14:00 60mKeynote | Static Analysis from Code Graphs to Neural Networks SOAP Yulei Sui University of New South Wales | ||
15:00 20mTalk | Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health SOAP | ||
14:10 - 15:20 | |||
14:10 70mKeynote | Keynote 1: Prof. Soonhoi Ha (Seoul National University) LCTES | ||
15:40 - 17:00 | |||
15:40 20mTalk | Hyperreal Specifications for Continuous Sparse Data Computations Sparse | ||
16:00 20mTalk | Quantum Simulation with Sparse Tensors Sparse Meisam Tarabkhah University of Edinburgh | ||
16:20 20mTalk | Sparse Computing Drives Energy-Efficient Computation for Artificial Intelligence Sparse | ||
16:40 20mTalk | Panel 4 Sparse | ||
15:40 - 17:00 | |||
15:40 80mTutorial | Perfect Decompilation of Python Bytecode with PyLingual Tutorials Kangkook Jee The University of Texas - Dallas, Josh Wiedemeier The University of Texas at Dallas, Sang Kil Cha KAIST, Jungwoo Lee KAIST, Joel Flores University of Texas at Dallas Link to publication DOI Authorizer link | ||
15:40 - 17:00 | |||
15:40 80mTutorial | Building DSLs made easy with the BuildIt Framework Tutorials Ajay Brahmakshatriya Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology | ||
15:40 - 17:30 | |||
15:40 60mKeynote | TBD SOAP Charles Zhang Hong Kong University of Science and Technology | ||
16:40 20mTalk | Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers SOAP Dorra Ben Khalifa University of Toulouse - ENAC, Matthieu Martel Université de Perpignan Via Domitia | ||
17:00 20mTalk | Optimizing Type Migration for C-to-Rust Translation: A Data Flow Graph Approach SOAP | ||
17:20 10mDay closing | Closing and Best Presentation Award SOAP | ||
Tue 17 JunDisplayed time zone: Seoul change
Tue 17 Jun
Displayed time zone: Seoul change
09:00 - 10:10 | |||
09:15 25mTalk | Programming Languages Must Have Formal Semantics. Period. RPLS Xiaohong Chen University of Illinois at Urbana-Champaign | ||
09:40 25mTalk | Lightweight Semantics Engineering with Redex RPLS Matthew Flatt University of Utah | ||
09:00 - 10:10 | |||
09:00 70mKeynote | Keynote 2: Prof. Reinhard von Hanxleden (Kiel University) LCTES | ||
09:00 - 10:10 | |||
09:00 10mDay opening | Opening remarks PLMW @ PLDI | ||
09:10 60mTalk | Research on Different Time Horizons (and an Example with Machine-Checked Proofs) PLMW @ PLDI Adam Chlipala Massachusetts Institute of Technology | ||
09:00 - 10:10 | |||
09:00 10mDay opening | Day opening WQS | ||
09:10 50mKeynote | TBA WQS Samson Abramsky University College London | ||
09:00 - 10:25 | |||
09:00 5mDay opening | Welcome from the chairs ISMM | ||
09:05 60mKeynote | Keynote: (PIM) Memory Management ISMM John Kim KAIST | ||
10:05 20mTalk | Gray-in-Young: A Generational Garbage Collection for Processing-in-Memory ISMM Ryu Morimoto University of Tokyo, Kazuki Ichinose The University of Tokyo, Tomoharu Ugawa University of Tokyo | ||
09:00 - 10:10 | |||
09:00 70mTutorial | Verifying Cyber-Physical Systems with IsaVODEs Tutorials Jonathan Julian Huerta y Munive Czech Technical University, Simon Foster University of York, Mario Gleirscher University of Bremen DOI | ||
09:00 - 10:10 | |||
09:00 20mTalk | Cut Tracing with E-Graphs for Boolean FHE Circuit Synthesis EGRAPHS | ||
09:20 20mTalk | Optimizing Optimizations: Case Study on Detecting Specific Types of Mathematical Optimization Constraints with E-Graphs in JijModeling EGRAPHS | ||
09:40 20mTalk | Using Equality Saturation and Stochastic Mutations for Molecular Dynamics Code Optimization EGRAPHS Oren Hecht Technion, Yotam M. Y. Feldman Tel Aviv University, Barak Hirshberg Tel Aviv University, Hila Peleg Technion | ||
09:00 - 10:10 | |||
09:00 10mDay opening | Welcome ARRAY | ||
09:10 60mKeynote | Efficient array (and data) processing by leveraging structure ARRAY Amir Shaikhha University of Edinburgh | ||
10:30 - 12:00 | |||
10:30 25mTalk | SpecTec, a Single Source of Truth RPLS Sukyoung Ryu KAIST | ||
10:55 25mTalk | Trusted JavaScript Language Environments with ESMeta RPLS Jihyeok Park Korea University | ||
11:20 25mTalk | The Software Supporting the JavaScript Language Specification RPLS | ||
10:30 - 11:50 | |||
10:30 20mTalk | rtesbench: A Multi-core Benchmark Framework for Real-Time Embedded Systems LCTES DOI | ||
10:50 20mTalk | ASC-Hook: Efficient System Call Interception for ARM LCTES Yang Shen National University of Defense Technology, Min Xie National University of Defense Technology, Tao Wu Changsha University of Science and Technology, Wenzhe Zhang National University of Defense Technology, China, Ruibo Wang National University of Defense Technology, Gen Zhang National University of Defense Technology DOI | ||
11:10 20mTalk | SSFFT: Energy-Efficient Selective Scaling for Fast Fourier Transform in Embedded GPUs LCTES Dongwon Yang Korea University, Jaebeom Jeon Korea University, Minseong Gil Korea University, Junsu Kim Korea University, Seondeok Kim Korea University, Gunjae Koo Korea University, Myung Kuk Yoon Ewha Womans University, Yunho Oh Korea University DOI | ||
11:30 20mTalk | vNV-Heap: An Ownership-Based Virtually Non-volatile Heap for Embedded Systems LCTES Markus Elias Gerber Friedrich-Alexander-Universität Erlangen-Nürnberg, Luis Gerhorst Friedrich-Alexander-Universität Erlangen-Nürnberg, Ishwar Mudraje Saarland University, Kai Vogelgesang Saarland University, Thorsten Herfet Saarland University, Peter Wägemann Friedrich-Alexander University Erlangen-Nürnberg (FAU) DOI | ||
10:30 - 12:00 | |||
10:30 35mTalk | Graduate School Revisited: An Assistant Professor's Perspective PLMW @ PLDI Qirun Zhang Georgia Institute of Technology | ||
11:05 55mTalk | From Formal Verification to Correctly Rounded Math Libraries PLMW @ PLDI Santosh Nagarakatte Rutgers University | ||
10:30 - 12:00 | |||
10:30 50mKeynote | TBA_2 WQS Yunong Shi AWS Quantum Technologies | ||
11:20 20mTalk | A Semantics for Quantum Loops WQS | ||
11:40 20mTalk | From Fermions to Qubits: A ZX-Calculus Perspective WQS Haytham McDowall-Rose University of Oxford, Razin A. Shaikh University of Oxford, Lia Yeh University of Oxford | ||
10:30 - 12:00 | |||
10:30 90mTutorial | Verifying Cyber-Physical Systems with IsaVODEs Tutorials Jonathan Julian Huerta y Munive Czech Technical University, Simon Foster University of York, Mario Gleirscher University of Bremen DOI | ||
10:30 - 12:00 | |||
10:30 20mTalk | eqsat: An Equality Saturation Dialect for Non-destructive Rewriting EGRAPHS Jules Merckx Ghent University, Alexandre Lopoukhine University of Cambridge, Samuel Coward Imperial College London, UK / Intel Corporation, Jianyi Cheng University of Edinburgh, UK, Bjorn De Sutter Ghent University, Belgium , Tobias Grosser University of Cambridge Pre-print | ||
10:50 20mTalk | Hatching Theory Instantiations with Yardbird EGRAPHS Cole Vick University of Texas at Austin, Samuel Thomas The University of Texas at Austin, Texas, USA | ||
11:10 20mTalk | Automated High-Level Synthesis Design Modularization via E-Graph Anti-Unification EGRAPHS Andy Wanna Georgia Institute of Technology, Cong "Callie" Hao Georgia Institute of Technology, Theo Drane AMD | ||
10:30 - 12:00 | |||
10:30 30mTalk | Gate Fusion is Map Fusion ARRAY | ||
11:00 30mTalk | Array Programming on GPUs: Challenges and Opportunities ARRAY Xinyi Li University of Utah, Mark Baranowski University of Utah, Harvey Dam University of Utah, Ganesh Gopalakrishnan University of Utah | ||
11:30 30mTalk | Accelerating the Static Analysis of Neural Networks by Batch Representation of Abstract Values ARRAY Guillaume Berthelot French Navy, Armed Forces Ministry, Arnault Ioualalen Numalis, Matthieu Martel Université de Perpignan Via Domitia | ||
14:00 - 15:20 | |||
14:05 25mTalk | Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet RPLS Nate Foster Cornell University; Jane Street | ||
14:30 25mTalk | P4-Based Automated Reasoning (P4-BAR) using Symbolic Execution at Google RPLS Jonathan DiLorenzo Google | ||
14:55 25mTalk | Verification of WebAssembly Features RPLS | ||
14:00 - 15:20 | |||
14:00 20mTalk | JetCert: A Self-Adaptive Compilation Framework for Fast and Safe Code Execution LCTES DOI | ||
14:20 20mTalk | Grouptuner: Efficient Group-Aware Compiler Auto-tuning LCTES Bingyu Gao Peking University, Mengyu Yao Peking University, Ziming Wang Peking University, Dong Liu ZTE, Ding Li Peking University, Xiangqun Chen Peking University, Yao Guo Peking University DOI | ||
14:40 20mTalk | Multi-level Machine Learning-Guided Autotuning for Efficient Code Generation on a Deep Learning Accelerator LCTES JooHyoung Cha Korea University of Science and Technology, Munyoung Lee ETRI, Jinse Kwon ETRI, Jemin Lee ETRI, Yongin Kwon ETRI DOI | ||
15:00 20mTalk | DSP-MLIR: A Domain-Specific Language and MLIR Dialect for Digital Signal Processing LCTES Abhinav Kumar Arizona State University, Atharva Khedkar Arizona State University, Hwisoo So Yonsei University, Megan Kuo Arizona State University, Ameya Gurjar Arizona State University, Partha Biswas MathWorks, Aviral Shrivastava Arizona State University DOI | ||
14:00 - 15:20 | |||
14:00 30mTalk | Regularizing the Irregular PLMW @ PLDI Milind Kulkarni Purdue University | ||
14:30 30mTalk | Programming Languages for Distributed and Concurrent Systems: an Area Overview PLMW @ PLDI Mae Milano Princeton University | ||
15:00 30mTalk | Language Design Where Paradigms Meet PLMW @ PLDI Yizhou Zhang University of Waterloo | ||
14:00 - 15:20 | |||
14:00 20mTalk | Deriving a Kronecker-Free Functional Quantum Simulator WQS Martin Elsman University of Copenhagen | ||
14:20 20mTalk | Quantum Circuit Compilation with #SAT WQS | ||
14:40 20mTalk | Optimization and Synthesis of Quantum Circuits with Global Gates WQS Alejandro Villoria Leiden University, Henning Basold Leiden University, Alfons Laarman Leiden University | ||
15:00 20mTalk | Quantum Multiplexer Simplification for State Preparation WQS José A. de Carvalho Universidade Federal de Pernambuco, Carlos A. Batista Federal University of Pernambuco, Tiago M.L. de Veras Universidade Federal de Pernambuco, Israel F. Araujo data cybernetics ssc GMbH, Adenilton J. da Silva Universidade Federal de Pernambuco | ||
14:00 - 15:20 | |||
14:00 60mKeynote | Keynote: Industry GC Insights from OpenJDK ISMM Erik Österlund Oracle | ||
15:00 20mTalk | Arborescent Garbage Collection: A Dynamic Graph Approach to Immediate Cycle Collection ISMM Frédéric Lahaie-Bertrand Université de Montréal, Léonard Oest O'Leary Université de Montréal, Olivier Melancon DIRO, Université de Montréal, Marc Feeley Université de Montréal, Stefan Monnier Université de Montréal | ||
14:00 - 15:20 | |||
14:00 80mTutorial | Verifying Cyber-Physical Systems with IsaVODEs Tutorials Jonathan Julian Huerta y Munive Czech Technical University, Simon Foster University of York, Mario Gleirscher University of Bremen DOI | ||
14:00 - 15:20 | |||
14:00 20mTalk | Destructive E-Graph Rewrites EGRAPHS Paul Zhang University of California, Los Angeles, Yisu Remy Wang University of California, Los Angeles | ||
14:20 20mTalk | Incremental Equality Saturation EGRAPHS Rupanshu Soi Stanford University, Benjamin Driscoll Stanford University, Ke Wang Visa Research, Alex Aiken Stanford University | ||
14:40 20mTalk | Oatlog: A performant ahead-of-time compiled e-graph engine EGRAPHS Loke Gustafsson Chalmers University of Technology, Erik Magnusson Chalmers University of Technology, Alejandro Luque Cerpa Chalmers University of Technology File Attached | ||
14:00 - 15:20 | |||
14:00 30mTalk | (De/Re)-Composition of Array Computations via Multi-Dimensional Homomorphisms ARRAY Link to publication Media Attached | ||
14:30 30mTalk | An MDH-Based DSL for Array Computations ARRAY Link to publication Media Attached | ||
15:40 - 17:30 | |||
15:40 25mTalk | MiniRust: A Core Language for Specifying Rust RPLS Ralf Jung ETH Zurich | ||
16:05 25mTalk | Production Language Specification - Requirements for Multiple Usages RPLS Peter Sewell University of Cambridge | ||
16:30 60mPanel | Panel: Mechanized Specifications for Real-World Programming Languages RPLS M: Sukyoung Ryu KAIST, P: Xiaohong Chen University of Illinois at Urbana-Champaign, P: Jonathan DiLorenzo Google, P: Michael Ficarra F5, P: Ralf Jung ETH Zurich | ||
15:40 - 17:00 | |||
15:40 20mTalk | R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures LCTES Edwin Kayang Arizona State University, Mishel Jyothis Paul Arizona State University, Eric Jahns Arizona State University, Muslum Ozgur Ozmen Arizona State University, Milan Stojkov University of Novi Sad, Kevin Rudd Arizona State University, Michel Kinsy Arizona State University DOI | ||
16:00 20mTalk | SetMP: Set Associative Mapping Management for Multi-plane Optimization in SSDs LCTES Aobo Yang Southwest University, Huanhuan Tian Southwest University, Yuyang He Southwest University, Jiaojiao Wu Southwest University, Jiaxu Wu Southwest University, Zhibing Sha Southwest University, Zhigang Cai Southwest University, Jianwei Liao Southwest University DOI | ||
16:20 20mTalk | LUCI: Lightweight UI Command Interface LCTES Guna Lagudu Arizona State University, Vinayak Sharma Arizona State University, Aviral Shrivastava Arizona State University DOI | ||
16:40 20mTalk | Kubism: Disassembling and Reassembling K-Means Clustering for Mobile Heterogeneous Platforms LCTES Seondeok Kim Korea University, Sangun Choi Korea University, Jaebeom Jeon Korea University, Junsu Kim Korea University, Minseong Gil Korea University, Jaehyeok Ryu Korea University, Yunho Oh Korea University DOI | ||
15:40 - 17:45 | |||
15:40 35mTalk | Usable PL: Human-Computer Interaction for PL Research PLMW @ PLDI Sarah E. Chasins University of California at Berkeley | ||
16:15 30mTalk | Nomads and Anvil makers PLMW @ PLDI Rachit Nigam Massachusetts Institute of Technology | ||
16:45 50mPanel | PL and beyond PLMW @ PLDI P: Işıl Dillig University of Texas at Austin, P: Andrew Myers Cornell University, P: Ilya Sergey National University of Singapore, P: Rachit Nigam Massachusetts Institute of Technology, P: Pavel Panchekha University of Utah, P: David Tarditi Apple, USA | ||
17:35 10mDay closing | Concluding remarks PLMW @ PLDI | ||
15:40 - 17:00 | |||
15:40 50mKeynote | TBA_3 WQS Raphael Seidel Fraunhofer Institute for Open Communication Systems | ||
16:30 20mTalk | Noise-Aware Calibration-Based Adaptive Gate Folding for Linear Zero-Noise Extrapolation WQS Leanghok Hour Pukyong National University, Myeongseong Go Pukyong National University, Youngsun Han Pukyong National University | ||
16:50 10mTalk | Automating Quantum Hoare Logic with Automata (Work-In-Progress) WQS | ||
15:40 - 17:05 | |||
15:40 20mTalk | Fully Randomized Pointers ISMM Sai Dhawal Phaye National University of Singapore, Gregory J. Duck National University of Singapore, Roland H. C. Yap National University of Singapore, Singapore, Trevor E. Carlson National University of Singapore | ||
16:00 20mTalk | TierTrain: Proactive Memory Tiering for CPU-based DNN Training ISMM Sathvik Swaminathan Intel Labs, Sandeep Kumar Intel Labs, Aravinda Prasad Intel Labs, Sreenivas Subramoney Intel Labs | ||
16:20 20mTalk | EMD: Fair and Efficient Dynamic Memory De-bloating of Transparent Huge Pages ISMM Parth Gangar Fujitsu Research of India, Ashish Panwar Microsoft Research India, K. Gopinath Rishihood University | ||
16:40 20mTalk | Compiler-Assisted Crash Consistency for PMEM ISMM Yun Joon Soh University of California San Diego, Sihang Liu University of Waterloo, Steven Swanson University of California, San Diego, Jishen Zhao UCSD | ||
17:00 5mDay closing | Closing remarks ISMM | ||
15:40 - 17:00 | |||
15:40 20mTalk | Equality Saturation Guided by Large Language Models EGRAPHS | ||
16:00 20mTalk | Machine Learning Guided Equality Saturation EGRAPHS Nicole Heinimann Technische Universität Berlin, Thomas Koehler CNRS - ICube Lab, Michel Steuwer Technische Universität Berlin | ||
16:20 20mTalk | Omelets Need Onions: E-graphs Modulo Theories via Bottom Up E-Matching EGRAPHS Philip Zucker Draper Pre-print | ||
15:40 - 17:00 | |||
15:40 30mTalk | Kuiper: verified and efficient GPU programming ARRAY Guido Martínez Microsoft Research, Jonas Fiala ETH Zürich, Abhinav Jangda Microsoft Research, Angelica Moreira Microsoft Research, Nikhil Swamy Microsoft Research, Tyler Sorensen Microsoft Research | ||
16:10 30mTalk | Structuring Arrays with Algebraic Shapes ARRAY Jakub Bachurski University of Cambridge, Alan Mycroft University of Cambridge, UK, Dominic Orchard University of Kent; University of Cambridge | ||
Wed 18 JunDisplayed time zone: Seoul change
Wed 18 Jun
Displayed time zone: Seoul change
09:00 - 10:10 | |||
09:00 70mKeynote | Programming Language Research for Technical and Social Good: What PL Can Do for Good? PLDI Research Papers Sukyoung Ryu KAIST | ||
10:30 - 12:10 | |||
10:30 20mTalk | Random Variate Generation with Formal Guarantees PLDI Research Papers DOI | ||
10:50 20mTalk | Semantics of Integrating and Differentiating Singularities PLDI Research Papers DOI | ||
11:10 20mTalk | Probabilistic Refinement Session Types PLDI Research Papers DOI | ||
11:30 20mTalk | Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs PLDI Research Papers Maddy Bowers Massachusetts Institute of Technology, Alexander K. Lew Massachusetts Institute of Technology; Yale University, Joshua B. Tenenbaum Massachusetts Institute of Technology, Armando Solar-Lezama Massachusetts Institute of Technology, Vikash K. Mansinghka Massachusetts Institute of Technology DOI | ||
11:50 20mTalk | Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming PLDI Research Papers Cameron Moy Northeastern University, Jack Czenszak Northeastern University, John Li Northeastern University, Brianna Marshall Northeastern University, Steven Holtzen Northeastern University DOI | ||
10:30 - 12:10 | |||
10:30 20mTalk | Partial Evaluation, Whole-Program Compilation PLDI Research Papers DOI Pre-print | ||
10:50 20mTalk | Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact PLDI Research Papers Lucian Popescu INESC-ID; Instituto Superior Técnico - University of Lisbon; Politehnica University of Bucharest, Nuno P. Lopes INESC-ID; Instituto Superior Técnico - University of Lisbon Link to publication DOI | ||
11:10 20mTalk | Relaxing Alias Analysis: Exploring the Unexplored Space PLDI Research Papers DOI | ||
11:30 20mTalk | Webs and Flow-Directed Well-Typedness Preserving Program Transformations PLDI Research Papers Benjamin Quiring University of Maryland, David Van Horn University of Maryland, John Reppy University of Chicago, Olin Shivers Northeastern University DOI | ||
11:50 20mTalk | Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs PLDI Research Papers Rudi Schneider Technische Universität Berlin, Marcus Rossel Barkhausen Institut, Amir Shaikhha University of Edinburgh, Andrés Goens University of Amsterdam, Thomas Koehler CNRS - ICube Lab, Michel Steuwer Technische Universität Berlin DOI Pre-print | ||
10:30 - 12:10 | |||
10:30 20mTalk | Programming by Navigation PLDI Research Papers Justin Lubin University of California at Berkeley, Parker Ziegler University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI Pre-print | ||
10:50 20mTalk | A Concurrent Approach to String Transformation Synthesis PLDI Research Papers DOI | ||
11:10 20mTalk | Exact Loop Bound Analysis PLDI Research Papers DOI | ||
11:30 20mTalk | Multi-stage Relational Programming PLDI Research Papers Michael Ballantyne Northeastern University, Rafaello Sanna Harvard University, Jason Hemann Seton Hall University, William E. Byrd University of Alabama at Birmingham, Nada Amin Harvard University DOI | ||
11:50 20mTalk | Program Synthesis From Partial Traces PLDI Research Papers Margarida Ferreira Carnegie Mellon University; INESC-ID; Instituto Superior Técnico - University of Lisbon, Victor Nicolet Amazon, Joey Dodds Amazon, Daniel Kroening Amazon DOI | ||
14:00 - 15:20 | |||
14:00 20mTalk | Solving Floating-Point Constraints with Continuous Optimization PLDI Research Papers Qian Chen Nanjing University, Chenqi Cui Nanjing University, Fengjuan Gao Nanjing University of Science and Technology, Yu Wang Nanjing University, Ke Wang Visa Research, Linzhang Wang Nanjing University DOI | ||
14:20 20mTalk | Support Triangle Machine PLDI Research Papers DOI | ||
14:40 20mTalk | Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode PLDI Research Papers Sehyeok Park Rutgers University, Justin Kim Rutgers University, Santosh Nagarakatte Rutgers University DOI | ||
15:00 20mTalk | Bean: A Language for Backward Error Analysis PLDI Research Papers Ariel E. Kellison Cornell University, Laura Zielinski Cornell University, David Bindel Cornell University, Justin Hsu Cornell University DOI | ||
14:00 - 15:40 | |||
14:00 20mTalk | Verified Foundations for Differential Privacy PLDI Research Papers Markus de Medeiros New York University, Muhammad Naveed Amazon, Tancrède Lepoint Amazon, Temesghen Kahsai Amazon, Tristan Ravitch Amazon, Stefan Zetzsche Amazon, Anjali Joshi Amazon, Joseph Tassarotti New York University, Aws Albarghouthi Amazon, Jean-Baptiste Tristan Amazon DOI | ||
14:20 20mTalk | Automated Exploit Generation for Node.js Packages PLDI Research Papers Filipe Marques INESC-ID; Instituto Superior Técnico - University of Lisbon, Mafalda Ferreira INESC-ID; Instituto Superior Técnico - University of Lisbon, André Nascimento INESC-ID; Instituto Superior Técnico - University of Lisbon, Miguel E. Coimbra INESC-ID; Instituto Superior Técnico - University of Lisbon, Nuno Santos INESC-ID; Instituto Superior Técnico - University of Lisbon, Limin Jia Carnegie Mellon University, José Fragoso Santos INESC-ID; Instituto Superior Técnico - University of Lisbon DOI | ||
14:40 20mTalk | Robust Constant-Time Cryptography PLDI Research Papers Matthew Kolosick University of California at San Diego, Basavesh Ammanaghatta Shivakumar Virginia Tech, Sunjay Cauligi ICSI, Marco Patrignani University of Trento, Marco Vassena Utrecht University, Ranjit Jhala University of California at San Diego, Deian Stefan University of California at San Diego DOI | ||
15:00 20mTalk | Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers PLDI Research Papers Owen Conoly Massachusetts Institute of Technology, Andres Erbsen Google, Adam Chlipala Massachusetts Institute of Technology DOI | ||
15:20 20mTalk | Circuit Optimization using Arithmetic Table Lookups PLDI Research Papers Raghav Malik Purdue University, Vedant Paranjape Purdue University, Milind Kulkarni Purdue University DOI | ||
14:00 - 15:40 | |||
14:00 20mTalk | Functional Meaning for Parallel Streaming PLDI Research Papers DOI Pre-print | ||
14:20 20mTalk | MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations PLDI Research Papers Abdul Rafae Noor University of Illinois at Urbana-Champaign, Dhruv Baronia University of Illinois at Urbana-Champaign, Akash Kothari University of Illinois at Urbana-Champaign, Muchen Xu University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign DOI | ||
14:40 20mTalk | First-Class Verification Dialects for MLIR PLDI Research Papers Mathieu Fehr The University of Edinburgh, Yuyou Fan University of Utah, Hugo Pompougnac Université Grenoble Alpes; Inria; CNRS; Grenoble INP, John Regehr University of Utah, Tobias Grosser University of Cambridge DOI | ||
15:00 20mTalk | [TOPLAS] A Modular Approach to Metatheoretic Reasoning for Extensible Languages PLDI Research Papers Dawn Michaelson University of Minnesota, Gopalan Nadathur University of Minnesota, Eric Van Wyk University of Minnesota, Twin Cities | ||
15:20 20mTalk | Handling the Selection Monad PLDI Research Papers DOI | ||
16:00 - 17:20 | |||
16:00 20mTalk | Type-Constrained Code Generation with Language Models PLDI Research Papers Niels Mündler ETH Zurich, Jingxuan He University of California at Berkeley, Hao Wang University of California at Berkeley, Koushik Sen University of California at Berkeley, Dawn Song University of California at Berkeley, Martin Vechev ETH Zurich DOI Pre-print | ||
16:20 20mTalk | Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations PLDI Research Papers Xiangwei Wang North Carolina State University, Xinning Hui North Carolina State University, Chunhua Liao Lawrence Livermore National Laboratory, Xipeng Shen North Carolina State University DOI | ||
16:40 20mTalk | Scalable, Validated Code Translation of Entire Projects using Large Language Models PLDI Research Papers Hanliang Zhang University of Bristol, Cristina David University of Bristol, Meng Wang University of Bristol, Brandon Paulsen Amazon, Daniel Kroening Amazon DOI | ||
17:00 20mTalk | Guided Tensor Lifting PLDI Research Papers Yixuan Li University of Edinburgh, José Wesley De Souza Magalhães University of Edinburgh, Alexander Brauckmann University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh, Elizabeth Polgreen University of Edinburgh DOI | ||
16:00 - 17:20 | |||
16:00 20mTalk | Active Learning of Symbolic NetKAT Automata PLDI Research Papers Mark Moeller Cornell University, Tiago Ferreira University College London, Thomas Lu Cornell University, Nate Foster Cornell University; Jane Street, Alexandra Silva Cornell University DOI | ||
16:20 20mTalk | StacKAT: Infinite State Network Verification PLDI Research Papers Jules Jacobs Cornell University, Nate Foster Cornell University; Jane Street, Tobias Kappé Leiden University, Dexter Kozen Cornell University, Lily Saada Cornell University, Alexandra Silva Cornell University, Jana Wagemaker Radboud University Nijmegen DOI | ||
16:40 20mTalk | Probabilistic Kleene Algebra with Angelic Nondeterminism PLDI Research Papers DOI | ||
17:00 20mTalk | Membership Testing for Semantic Regular Expressions PLDI Research Papers Yifei Huang University of Southern California, Matin Amini University of Southern California, Alexis Le Glaunec Rice University, Konstantinos Mamouras Rice University, Mukund Raghothaman University of Southern California DOI | ||
16:00 - 17:20 | |||
16:00 20mTalk | Task-Based Tensor Computations on Modern GPUs PLDI Research Papers Rohan Yadav Stanford University, Michael Garland NVIDIA, Alex Aiken Stanford University, Michael Bauer NVIDIA DOI | ||
16:20 20mTalk | Lightweight and Locality-Aware Composition of Black-Box Subroutines PLDI Research Papers Manya Bansal Massachusetts Institute of Technology, Dillon Sharlet Google, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology DOI | ||
16:40 20mTalk | Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs PLDI Research Papers Alonso Rodriguez Universidade da Coruña, Santoshkumar T. Tongli Colorado State University, Emily Tucker Colorado State University, Louis-Noël Pouchet Colorado State University, Gabriel Rodríguez Universidade da Coruña, Juan Tourino Universidade da Coruña DOI | ||
17:00 20mTalk | Dynamic Robustness Verification against Weak Memory PLDI Research Papers Roy Margalit Tel Aviv University, Michalis Kokologiannakis ETH Zurich, Shachar Itzhaky Technion, Ori Lahav Tel Aviv University DOI | ||
Thu 19 JunDisplayed time zone: Seoul change
Thu 19 Jun
Displayed time zone: Seoul change
09:00 - 10:10 | |||
09:00 70mKeynote | Lean: Machine-Checked Mathematics and Verified Programming, Past and Future PLDI Research Papers | ||
10:30 - 12:10 | |||
10:30 20mTalk | Optimizing Ancilla-Based Quantum Circuits with SPARE PLDI Research Papers DOI | ||
10:50 20mTalk | MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation PLDI Research Papers Xiuqi Cao University of Pennsylvania, Junyu Zhou University of Pennsylvania, Yuhao Liu University of Pennsylvania, Yunong Shi AWS Quantum Technologies, Gushu Li University of Pennsylvania DOI | ||
11:10 20mTalk | Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs PLDI Research Papers DOI | ||
11:30 20mTalk | QVM: Quantum Gate Virtualization Machine PLDI Research Papers DOI | ||
11:50 20mTalk | Efficient Formal Verification of Quantum Error Correcting Programs PLDI Research Papers Qifan Huang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Li Zhou Institute of Software at Chinese Academy of Sciences, Wang Fang University of Edinburgh, Mengyu Zhao Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Mingsheng Ying University of Technology Sydney DOI Pre-print | ||
10:30 - 12:10 | |||
10:30 20mTalk | A Hybrid Approach to Semi-automated Rust Verification PLDI Research Papers Sacha-Élie Ayoun Imperial College London, Xavier Denis ETH Zurich, Petar Maksimović Nethermind; Imperial College London, Philippa Gardner Imperial College London DOI Pre-print | ||
10:50 20mTalk | RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers PLDI Research Papers Kimaya Bedarkar Max Planck Institute for Software Systems (MPI-SWS), Laila Elbeheiry MPI-SWS, Michael Sammler ETH Zurich; ISTA, Lennard Gäher MPI-SWS, Björn Brandenburg MPI-SWS, Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS DOI | ||
11:10 20mTalk | Certified Compilers à la Carte PLDI Research Papers Oghenevwogaga Ebresafe University of Waterloo, Ian Zhao University of Waterloo, Ende Jin University of Waterloo, Arthur Bright University of Waterloo, Charles Jian University of Waterloo, Yizhou Zhang University of Waterloo DOI | ||
11:30 20mTalk | Destabilizing Iris PLDI Research Papers Simon Spies MPI-SWS, Niklas Mück MPI-SWS, Haoyi Zeng Saarland University, Michael Sammler ETH Zurich; ISTA, Andrea Lattuada MPI-SWS, Peter Müller ETH Zurich, Derek Dreyer MPI-SWS DOI | ||
11:50 20mTalk | Verifying Lock-Free Traversals in Relaxed Memory Separation Logic PLDI Research Papers DOI | ||
10:30 - 12:10 | |||
10:30 20mTalk | Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence PLDI Research Papers Parker Ziegler University of California at Berkeley, Justin Lubin University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI | ||
10:50 20mTalk | An Interactive Debugger for Rust Trait Errors PLDI Research Papers DOI Pre-print | ||
11:10 20mTalk | Spineless Traversal for Layout Invalidation PLDI Research Papers Marisa Kirisame University of Utah, Tiezhi Wang Tongji University, Pavel Panchekha University of Utah DOI | ||
11:30 20mTalk | DR.FIX: Automatically Fixing Data Races at Industry Scale PLDI Research Papers Farnaz Behrang Uber Technologies, Zhizhou (Chris) Zhang Uber Technologies, Georgian-Vlad Saioc Aarhus University, Peng Liu Uber Technologies, Milind Chabbi Uber Technologies DOI | ||
11:50 20mTalk | Program Skeletons for Automated Program Translation PLDI Research Papers Bo Wang National University of Singapore, Tianyu Li National University of Singapore, Ruishi Li National University of Singapore, Umang Mathur National University of Singapore, Prateek Saxena National University of Singapore DOI Pre-print | ||
14:00 - 15:00 | |||
14:00 20mTalk | Tree Borrows PLDI Research Papers Neven Villani University of Grenoble Alpes - VERIMAG, Johannes Hostert ETH Zurich, Derek Dreyer MPI-SWS, Ralf Jung ETH Zurich Link to publication DOI | ||
14:20 20mTalk | Principal Type Inference under a Prefix: A Fresh Look at Static Overloading PLDI Research Papers DOI Pre-print | ||
14:40 20mTalk | Efficient, Portable, Census-Polymorphic Choreographic Programming PLDI Research Papers Mako P. Bates University of Vermont, Shun Kashiwa University of California at San Diego, Syed Jafri University of Vermont, Gan Shen University of California at Santa Cruz, Lindsey Kuper University of California at Santa Cruz, Joseph P. Near University of Vermont DOI Pre-print | ||
14:00 - 15:00 | |||
14:00 20mTalk | A Uniform Framework for Handling Position Constraints in String Solving PLDI Research Papers Yu-Fang Chen Academia Sinica, Vojtěch Havlena Brno University of Technology, Michal Hečko Brno University of Technology, Lukáš Holík Brno University of Technology; Aalborg University, Ondřej Lengál Brno University of Technology DOI | ||
14:20 20mTalk | Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus PLDI Research Papers Steven Schaefer University of Michigan, Nathan Varner University of Michigan, Pedro Henrique Azevedo de Amorim University of Oxford, Max S. New University of Michigan DOI Pre-print | ||
14:40 20mTalk | Verifying Solutions to Semantics-Guided Synthesis Problems PLDI Research Papers Charlie Murphy Amazon Web Services, USA, Keith J.C. Johnson University of Wisconsin-Madison, Thomas Reps University of Wisconsin-Madison, Loris D'Antoni University of California at San Diego DOI | ||
14:00 - 15:00 | |||
14:00 20mTalk | Ripple: Asynchronous Programming for Spatial Dataflow Architectures PLDI Research Papers Souradip Ghosh Carnegie Mellon University, Yufei Shi Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, Nathan Beckmann Carnegie Mellon University DOI | ||
14:20 20mTalk | Making Concurrent Hardware Verification Sequential PLDI Research Papers Thomas Bourgeat EPFL, Jiazheng Liu Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology, Arvind Massachusetts Institute of Technology DOI | ||
14:40 20mTalk | Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture PLDI Research Papers Angus Hammond University of Cambridge, Ricardo Almeida University of Glasgow, Thomas Bauereiss University of Cambridge, Brian Campbell University of Edinburgh, Ian Stark University of Edinburgh, Peter Sewell University of Cambridge DOI | ||
Fri 20 JunDisplayed time zone: Seoul change
Fri 20 Jun
Displayed time zone: Seoul change
09:00 - 10:10 | |||
09:00 70mKeynote | Neurosymbolic Program Synthesis: Bridging Perception and Reasoning in Real-World Applications PLDI Research Papers Işıl Dillig University of Texas at Austin | ||
10:30 - 12:10 | |||
10:30 20mTalk | Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic PLDI Research Papers Jaehwang Jung Rebellions Inc, Sunho Park KAIST, Janggun Lee KAIST, Jeho Yeon KAIST, Jeehoon Kang KAIST DOI | ||
10:50 20mTalk | Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals PLDI Research Papers DOI | ||
11:10 20mTalk | Iso: Request-Private Garbage Collection PLDI Research Papers Tianle Qiu Australian National University, Stephen M. Blackburn Google; Australian National University DOI | ||
11:30 20mTalk | CRGC: Fault-Recovering Actor Garbage Collection in Pekko PLDI Research Papers Dan Plyukhin University of Southern Denmark, Gul Agha University of Illinois at Urbana-Champaign, Fabrizio Montesi University of Southern Denmark DOI | ||
11:50 20mTalk | RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures PLDI Research Papers DOI | ||
10:30 - 12:10 | |||
10:30 20mTalk | Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis PLDI Research Papers Shan Huang East China Normal University, Jingjing Liang East China Normal University, Ting Su East China Normal University, Qirun Zhang Georgia Institute of Technology DOI | ||
10:50 20mTalk | CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI Research Papers Ling Zhang Shanghai Jiao Tong University, Yuting Wang Shanghai Jiao Tong University, Yalun Liang Shanghai Jiao Tong University, Zhong Shao Yale University DOI | ||
11:10 20mTalk | Link-Time Optimization of Dynamic Casts in C++ Programs PLDI Research Papers Xufan Lu INESC-ID / Instituto Superior Técnico, University of Lisbon, Nuno P. Lopes INESC-ID; Instituto Superior Técnico - University of Lisbon Link to publication DOI | ||
11:30 20mTalk | Divergence-Aware Testing of Graphics Shader Compiler Back-Ends PLDI Research Papers Dongwei Xiao Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology, Zhibo Liu Hong Kong University of Science and Technology, Yiteng Peng Hong Kong University of Science and Technology, Daoyuan Wu Hong Kong University of Science and Technology, Zhendong Su ETH Zurich DOI | ||
11:50 20mTalk | Optimization-Directed Compiler Fuzzing for Continuous Translation Validation PLDI Research Papers DOI Pre-print | ||
10:30 - 11:50 | |||
10:30 20mTalk | Usability Barriers for Liquid Types PLDI Research Papers Catarina Gamboa Carnegie Mellon University and University of Lisbon, Abigail Elena Reese Carnegie Mellon University, Alcides Fonseca LASIGE; University of Lisbon, Jonathan Aldrich Carnegie Mellon University DOI Pre-print | ||
10:50 20mTalk | Dynamic Region Ownership for Concurrency Safety PLDI Research Papers Fridtjof Stoldt Uppsala University, Brandt Bucher Microsoft, Sylvan Clebsch Microsoft Azure Research, Matthew A. Johnson Microsoft Azure Research, Matthew J. Parkinson Microsoft Azure Research, Guido van Rossum Microsoft, Eric Snow Microsoft, Tobias Wrigstad Uppsala University DOI | ||
11:10 20mTalk | Practical Type Inference with Levels PLDI Research Papers DOI | ||
11:30 20mTalk | Thrust: A Prophecy-Based Refinement Type System for Rust PLDI Research Papers Hiromi Ogawa University of Tsukuba, Taro Sekiyama National Institute of Informatics, Hiroshi Unno Tohoku University DOI | ||
14:00 - 15:20 | |||
14:00 20mTalk | Efficient Timestamping for Sampling-Based Race Detection PLDI Research Papers Minjian Zhang University of Illinois at Urbana-Champaign, Daniel Wee Soong Lim National University of Singapore, Mosaad Al Thokair Saudi Aramco, Umang Mathur National University of Singapore, Mahesh Viswanathan University of Illinois at Urbana-Champaign DOI Pre-print | ||
14:20 20mTalk | Efficient Linearizability Monitoring PLDI Research Papers Parosh Aziz Abdulla Uppsala University; Mälardalen University, Samuel Grahn Uppsala University, Bengt Jonsson Uppsala University, Shankaranarayanan Krishna IIT Bombay, Om Swostik Mishra IIT Bombay DOI | ||
14:40 20mTalk | [TOPLAS] Sound Static Data Race Verification for C: Is the Race Lost? PLDI Research Papers Karoliine Holter University of Tartu, Estonia, Simmo Saan University of Tartu, Estonia, Patrick Lam University of Waterloo, Vesal Vojdani University of Tartu | ||
15:00 20mTalk | Nola: Later-Free Ghost State for Verifying Termination in Iris PLDI Research Papers Link to publication DOI | ||
14:00 - 15:20 | |||
14:00 20mTalk | Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search PLDI Research Papers Pinhan Zhao University of Michigan, Yuepeng Wang Simon Fraser University, Xinyu Wang University of Michigan DOI Pre-print | ||
14:20 20mTalk | Pointer Analysis for Database-Backed Applications PLDI Research Papers Yufei Liang Nanjing University, Teng Zhang Nanjing University, Ganlin Li Nanjing University, Tian Tan Nanjing University, Chang Xu Nanjing University, Chun Cao Nanjing University, Xiaoxing Ma Nanjing University, Yue Li Nanjing University DOI | ||
14:40 20mTalk | Graphiti: Bridging Graph and Relational Database Queries PLDI Research Papers Yang He Simon Fraser University, Ruijie Fang University of Texas at Austin, Işıl Dillig University of Texas at Austin, Yuepeng Wang Simon Fraser University DOI | ||
15:00 20mTalk | AWDIT: An Optimal Weak Database Isolation Tester PLDI Research Papers DOI | ||