Dates
Tracks
Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change
Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | Debugging and Fault LocalizationOOPSLA at East Hall 1 Chair(s): Alastair F. Donaldson Imperial College London | ||
10:30 18mTalk | Debugging Debugging Information using Dynamic Call Trees OOPSLA DOI Pre-print | ||
10:48 18mTalk | Automated Debugging of Datalog ProgramsDistinguished Paper OOPSLA Jiashen Wei Nanjing University, Baoyuan Luo Nanjing University, Runshuo Xie Nanjing University, Yun Qi Nanjing University, Yiyu Zhang Nanjing University, Xizao Wang Nanjing University, Xintao Niu Nanjing University, Zhiqiang Zuo Nanjing University Link to publication DOI | ||
11:06 18mTalk | Accurate Residues for Floating-Point Debugging OOPSLA DOI | ||
11:24 18mTalk | Prosecutor: Bayesian Counterfactual Fault Localization OOPSLA Sara Baradaran University of Southern California, Yifei Huang University of Southern California, Wei Le Iowa State University, Mukund Raghothaman University of Southern California DOI | ||
11:42 18mTalk | Specy: Learning Specifications for Distributed Systems from Event Traces OOPSLA Mike He Princeton University, Ankush Desai Snowflake, Aishwarya Jagarapu Amazon Web Services, Doug Terry LinkedIn, Sharad Malik Princeton University, Aarti Gupta Princeton University DOI Pre-print | ||
10:30 - 12:00 | LLM Agents for Program AnalysisOOPSLA at East Hall 2 Chair(s): Yun Lin Shanghai Jiao Tong University | ||
10:30 18mTalk | Process-Centric Analysis of Agentic Software Systems OOPSLA Shuyang Liu University of Illinois at Urbana-Champaign, Yang Chen University of Illinois at Urbana-Champaign, Rahul Krishna IBM Research, Saurabh Sinha IBM Research, Jatin Ganhotra IBM, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign DOI | ||
10:48 18mTalk | MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents OOPSLA Gengyang Xu Hong Kong University of Science and Technology, Dongwei Xiao Hong Kong University of Science and Technology, Yiteng Peng Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology DOI | ||
11:06 18mTalk | Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection OOPSLA Zong Cao Imperial Global Singapore; Nanyang Technological University, Yuqiang Sun Nanyang Technological University, Zhengzi Xu Imperial Global Singapore, Kaixuan Li Nanyang Technological University, Yeqi Fu National University of Singapore, Yiran Zhang Nanyang Technological University, Ziqiao Kong Nanyang Technological University, Yang Liu Nanyang Technological University DOI | ||
11:24 18mTalk | Agent-Based Automated Remediation for Vulnerabilities in Maven Projects OOPSLA Lyuye Zhang Nankai University; Nanyang Technological University, He Ye University College London, Federica Sarro University College London, Yuqiang Sun Nanyang Technological University, Yang Liu Nanyang Technological University DOI | ||
11:42 18mTalk | LLM-Based Alarm Resolution Guided by Bayesian Program Analysis OOPSLA Yifan Zhang Peking University, Yuanfeng Shi Peking University, Haoran Lin Peking University, Yingfei Xiong Peking University, Xin Zhang Peking University DOI | ||
10:30 - 12:00 | Synthesis and SpecificationOOPSLA at Junior Ballroom 1&2 Chair(s): Jocelyn Qiaochu Chen University of Alberta | ||
10:30 18mTalk | Grammar Repair with Examples and Tree Automata OOPSLA Yunjeong Lee National University of Singapore, Gokul Rajiv National University of Singapore, Ilya Sergey National University of Singapore DOI | ||
10:48 18mTalk | Hybrid Game Control Envelope Synthesis OOPSLA Aditi Kabra Carnegie Mellon University, Jonathan Laurent KIT, Stefan Mitsch DePaul University, André Platzer KIT DOI | ||
11:06 18mTalk | P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification OOPSLA DOI | ||
11:24 18mTalk | Commit-Window Observation Contracts for Reactive Entity-Component Systems OOPSLA DOI | ||
11:42 18mTalk | Incremental Program Synthesis from Event Logs OOPSLA Jinwoo Kim University of California at San Diego, Victor Nicolet Amazon, Joey Dodds Amazon, Loris D'Antoni University of California at San Diego DOI | ||
10:30 - 12:00 | |||
10:30 18mTalk | Type Inference for Functional and Imperative Dynamic Languages OOPSLA DOI | ||
10:48 18mTalk | Interactive Data Analysis with Lively Typed Tables OOPSLA DOI Pre-print | ||
11:06 18mTalk | A Typed Intermediate Representation for Dynamic Languages (TOPLAS) OOPSLA Mickaël Laurent Charles University, Jakob Hain Purdue University, USA, Filip Křikava Czech Technical University, Sebastián Krynski Czech Technical University in Prague, Jan Vitek Charles University | ||
13:30 - 15:00 | Distributed and Replicated SystemsOOPSLA at East Hall 1 Chair(s): Mohsen Lesani University of California at Santa Cruz | ||
13:30 18mTalk | Frashokereti: Non-aborting Optimistically Replicated Objects OOPSLA Eric Man Chan University of California at Riverside, Javad Saberlatibari University of California at Riverside, Mohsen Lesani University of California at Santa Cruz DOI | ||
13:48 18mTalk | PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types OOPSLA Julian Haas Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Annette Bieniusa Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, Mira Mezini Technische Universität Darmstadt; ATHENE; hessian.AI DOI Pre-print | ||
14:06 18mTalk | Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems OOPSLA Elliott Slaughter SLAC National Accelerator Laboratory, Rupanshu Soi Stanford University, Michael Bauer NVIDIA Research, Alex Aiken Stanford University DOI | ||
14:24 18mTalk | Composing CRDTs Convergent by Construction OOPSLA Alexander Städing Dominguez University of St. Gallen, George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen DOI Pre-print | ||
14:42 18mTalk | Augur: Predicting View Serializability Violations in Relational Data Store Applications OOPSLA Chujun Geng Ohio State University, Noah Charlton Ohio State University, Spyros Blanas Ohio State University, Michael D. Bond Ohio State University, Yang Wang Ohio State University DOI | ||
13:30 - 15:00 | |||
13:30 18mTalk | Sound State Encodings in Translational Separation Logic Verifiers OOPSLA DOI | ||
13:48 18mTalk | Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic Wands OOPSLA DOI | ||
14:06 18mTalk | Sound and Complete Invariant-Based Heap Encodings OOPSLA Zafer Esen Uppsala University, Philipp Ruemmer University of Regensburg; Uppsala University, Tjark Weber Uppsala University Link to publication DOI Pre-print | ||
14:24 18mTalk | Systematic Design of Separation Logics OOPSLA Roberto Bruni University of Pisa, Lorenzo Gazzella University of Pisa, Roberta Gori University of Pisa DOI | ||
14:42 18mTalk | RGSep under Release/Acquire Consistency OOPSLA DOI | ||
13:30 - 15:00 | Set-Theoretic Types and Object EvolutionOOPSLA at Junior Ballroom 1&2 Chair(s): Jonathan Aldrich Carnegie Mellon University | ||
13:30 18mTalk | Implementing Set-Theoretic Types OOPSLA DOI File Attached | ||
13:48 18mTalk | Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching OOPSLA Andong Fan University of Toronto, Lionel Parreaux Hong Kong University of Science and Technology, Ningning Xie University of Toronto DOI | ||
14:06 18mTalk | Type-Safe Monotonic Object Evolution OOPSLA Alexandra Mirrlees-Black Australian National University, Haoyu Wu Australian National University, Gregor Richards University of Waterloo, Fabian Muehlboeck Australian National University DOI Pre-print | ||
14:24 18mTalk | Classifying Capabilities OOPSLA DOI | ||
13:30 - 15:00 | Testing Compilers and SolversOOPSLA at Junior Ballroom 3&4 Chair(s): Harrison Goldstein University at Buffalo | ||
13:30 18mTalk | BackSmith: A Systematic Approach to Testing Compiler Backends OOPSLA Hongyu Chen Nanjing University, Yu Wang Nanjing University, Jianhua Zhao Nanjing University, Ke Wang Nanjing University DOI | ||
14:06 18mTalk | Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses OOPSLA Yi Zhang Nanjing University, Yu Wang Nanjing University, Ke Wang Nanjing University, Linzhang Wang Nanjing University DOI | ||
14:24 18mTalk | Validating Optimizing SMT Solvers via Cross-Theory Approximation OOPSLA Maolin Sun Nanjing University, Fuqi Jia Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yibiao Yang Nanjing University, Yuming Zhou Nanjing University DOI | ||
15:30 - 17:00 | |||
15:30 18mTalk | Spatial and Temporal Decomposition for Faster Translation Validation OOPSLA Benjamin Mikek Georgia Institute of Technology, Chathur Bommineni Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology, Thomas Reps University of Wisconsin-Madison DOI | ||
15:48 18mTalk | Efficient Extraction for Effectful E-graphs OOPSLA Oliver Flatt University of Washington, Anjali Pal University of Washington, Yihong Zhang University of Washington, Ryan Tjoa Jane Street, Kirsten Graham University of Washington, Alex Fischman University of Washington, Chandrakana Nandi Certora; University of Washington, Eli Rosenthal Google, Zachary Tatlock University of Washington, Haobin Ni University of Washington DOI | ||
16:06 18mTalk | Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs OOPSLA Bodhisatwa Chatterjee NVIDIA, Georgia Institute of Technology, Neeraj Jadhav Georgia Institute of Technology, Santosh Pande Georgia Institute of Technology DOI | ||
16:24 18mTalk | Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution OOPSLA Charitha Saumya Intel, Muhammad Hassan Virginia Tech, Rohan Gangaraju University of Texas at Austin, Milind Kulkarni Purdue University, Kirshanthan Sundararajah Virginia Tech DOI Authorizer link Pre-print | ||
15:30 - 17:00 | Effects, Capabilities, and ImmutabilityOOPSLA at East Hall 2 Chair(s): Alex Potanin Australian National University | ||
15:30 18mTalk | Revisiting Row Polymorphism for Set-Theoretic Types OOPSLA Mickaël Laurent Charles University, Pierre Donat-Bouillud Czech Technical University, Filip Křikava Czech Technical University, Jan Vitek Charles University DOI | ||
15:48 18mTalk | Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness OOPSLA DOI | ||
16:06 18mTalk | Transitive, Abstract, and Class Polymorphic ImmutabilityDistinguished Paper OOPSLA Aosen Xiong University of Waterloo, Yudi Bai University of Waterloo, Haifeng Shi University of Waterloo, Lian Sun University of Waterloo, Mier Ta University of Waterloo, Werner Dietl University of Waterloo DOI | ||
16:24 18mTalk | Handling Exceptions and Effects with Automatic Resource Analysis OOPSLA Ethan Chu Carnegie Mellon University, Yiyang Guo Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University DOI | ||
15:30 - 17:00 | LLMs for Code GenerationOOPSLA / SIGPLAN track at Junior Ballroom 1&2 Chair(s): Grigory Fedyukovich Florida State University | ||
15:30 18mTalk | EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows OOPSLA Chenyan Liu Shanghai Jiao Tong University; National University of Singapore, Yun Lin Shanghai Jiao Tong University, Jiaxin Chang Shanghai Jiao Tong University, Jiawei Liu Shanghai Jiao Tong University, Binhang Qi National University of Singapore, Bo Jiang Bytedance Network Technology, Zhiyong Huang National University of Singapore, Jin Song Dong National University of Singapore DOI | ||
15:48 18mTalk | Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation OOPSLA Yihan Dai Peking University, Sijie Liang Peking University, Haotian Xu Peking University, Peichu Xie Independent, Sergey Mechtaev Peking University DOI | ||
16:06 18mTalk | T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics OOPSLA Yan Wang Central University of Finance and Economics, Ling Ding Central University of Finance and Economics, Jiechen Sun Independent, Tien N. Nguyen University of Texas at Dallas, Shaohua Wang Central University of Finance and Economics, Aashish Yadavally University of Central Florida, Xin Xia Zhejiang University, Yanan Zheng Yale University DOI | ||
16:24 18mTalk | InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration OOPSLA Yunkun Wang Zhejiang University, Yue Zhang Alibaba, Guochang Li Zhejiang University, Chen Zhi Zhejiang University, Binhua Li Alibaba, Fei Huang Alibaba, Yongbin Li Alibaba, Shuiguang Deng Zhejiang University DOI | ||
16:42 18mTalk | TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation SIGPLAN track Henrijs Princis University of Bristol, Arindam Sharma Imperial College London, Cristina David University of Bristol | ||
Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change
Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | Fuzzing and Test GenerationOOPSLA at East Hall 1 Chair(s): Michael Pradel CISPA Helmholtz Center for Information Security | ||
10:30 18mTalk | Hunting CUDA Bugs at Scale with cuFuzz OOPSLA Link to publication DOI Pre-print Media Attached | ||
10:48 18mTalk | RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling OOPSLA Yuchong Xie Hong Kong University of Science and Technology, Kaikai Zhang Hong Kong University of Science and Technology, Yu Liu Fudan University, Rundong Yang Fudan University, Ping Chen Fudan University, Shuai Wang Hong Kong University of Science and Technology, Dongdong She Hong Kong University of Science and Technology DOI | ||
11:06 18mTalk | Metamorphic Testing for Infrastructure-as-Code Engines OOPSLA David Spielmann University of St. Gallen, George Zakhour University of St. Gallen, Dominik Arnold University of Zurich, Matteo Biagiola USI Lugano; University of St. Gallen, Roland Meier armasuisse, Guido Salvaneschi University of St. Gallen Link to publication DOI Pre-print | ||
11:24 18mTalk | Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios OOPSLA DOI | ||
11:42 18mTalk | OBsmith: LLM-Powered JavaScript Obfuscator Testing OOPSLA Shan Jiang University of Texas at Austin, Chenguang Zhu University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin DOI File Attached | ||
10:30 - 12:00 | Proof Automation and Theorem ProvingOOPSLA at Junior Ballroom 1&2 Chair(s): Zachary Tatlock University of Washington | ||
10:30 18mTalk | Infinitary Relational Logic OOPSLA Vladimir Gladshtein National University of Singapore, Qiyuan Zhao National University of Singapore, Yuxi Ling National University of Singapore, Sean Wang Princeton University, Ilya Sergey National University of Singapore DOI | ||
10:48 18mTalk | TensorRocq: Enabling Diagrammatic Reasoning in Rocq OOPSLA Ben Caldwell University of Chicago, William Spencer University of Chicago, Aleks Kissinger University of Oxford, Robert Rand University of Chicago DOI | ||
11:06 18mTalk | A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL OOPSLA Qiyuan Xu Nanyang Technological University, Renxi Wang MBZUAI, Peixin Wang East China Normal University, Haonan Li MBZUAI, Conrad Watt Nanyang Technological University DOI | ||
10:30 - 12:00 | |||
10:30 18mTalk | Commuting Conversions and Join Points for Call-by-Push-ValueDistinguished Paper OOPSLA Jonathan Chan University of Pennsylvania, Madi Gudin Amherst College, Annabel Levy University of Maryland, Stephanie Weirich University of Pennsylvania Link to publication DOI | ||
10:48 18mTalk | Differential Execution with Lexical Tracing OOPSLA DOI | ||
11:06 18mTalk | MGQL: An Executable, Small-Step Semantics of GQL OOPSLA Aditya Thimmaiah University of Texas at Austin, Tong-Nong Lin University of Texas at Austin, Milos Gligoric University of Texas at Austin DOI Pre-print | ||
11:24 18mTalk | Towards Concise Binding Semantics of Late-Bound OOP Systems OOPSLA Joel Jakubovic Charles University DOI Pre-print | ||
11:42 18mTalk | Semantics for 2D Rasterization OOPSLA Bhargav Kulkarni University of Utah, Henry Whiting University of Utah, Pavel Panchekha University of Utah DOI Pre-print | ||
13:30 - 15:00 | Quantum ProgrammingOOPSLA at East Hall 2 Chair(s): Jens Palsberg University of California at Los Angeles | ||
13:30 18mTalk | Compiling Quantum Regular Language States OOPSLA Armando Bellante Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Reinis Irmejs Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Marta Florido-Llinàs Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, María Cea Fernández Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Marianna Crupi Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Matthew Kiser TU Munich; IQM Quantum Computers, J. Ignacio Cirac Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology DOI | ||
13:48 18mTalk | Quantum Monte Carlo Estimation via Probabilistic Programming OOPSLA Seungmin Jeon KAIST, Jaeho choi HyperAccel, Jonguk Jeon KAIST, Kanguk Lee KAIST, Kyeongmin Cho Rebellions, Sukyoung Ryu KAIST, Jeehoon Kang FuriosaAI DOI | ||
14:06 18mTalk | Synthesis of Compact and Expressive Quantum-Circuit Optimizations OOPSLA DOI Pre-print | ||
14:24 18mTalk | Granthi: Higher-Order Quantum Programming via Unitary Wiring OOPSLA DOI | ||
14:42 18mTalk | Verifying Repeat-until-Success Protocols using Automata OOPSLA Jyun-Ao Lin National Taipei University of Technology, Yu-Fang Chen Academia Sinica, Jakub Havlík Brno University of Technology, Ondřej Lengál Brno University of Technology, Fang-Yi Lo Academia Sinica, Wei-Lun Tsai National Taiwan University, You-Jie Wu National Taipei University of Technology DOI | ||
13:30 - 15:00 | Session Types and ConcurrencyOOPSLA at Junior Ballroom 1&2 Chair(s): Peter Thiemann University of Freiburg | ||
13:30 18mTalk | Speak Now: Safe Actor Programming with Multiparty Session Types OOPSLA DOI | ||
13:48 18mTalk | Mixed Choice in Asynchronous Multiparty Session Types OOPSLA Laura Bocchi University of Kent, Raymond Hu Queen Mary University of London, Adriana Laura Voinea University of Glasgow, Simon Thompson University of Kent DOI | ||
14:06 18mTalk | Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols OOPSLA DOI | ||
14:24 18mTalk | A Design Space Exploration of Async/Await OOPSLA DOI Pre-print | ||
13:30 - 15:00 | Verifying Real SystemsOOPSLA at Junior Ballroom 3&4 Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder; Amazon | ||
13:30 18mTalk | Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications OOPSLA Shenghao Yuan Zhejiang University, Yazhou Tang Zhejiang University, Tianci Cao Zhejiang University, Frédéric Besson Inria Rennes, Jean-Pierre Talpin Inria, Mingshuai Chen Zhejiang University DOI File Attached | ||
13:48 18mTalk | ZSafe: Proving the Safety of Proprietary Hardware Designs in Zero Knowledge OOPSLA Zhaoxiang Liu Kansas State University, James Parker Ossa Network, Ning Luo University of Illinois at Urbana-Champaign DOI | ||
14:06 18mTalk | Equivalence Checking of ML GPU Kernels OOPSLA Benjamin Driscoll Stanford University, Kshitij Dubey Microsoft Research, Anjiang Wei Stanford University, Neeraj Kayal Microsoft Research, Rahul Sharma Google DeepMind, Alex Aiken Stanford University DOI | ||
14:24 18mTalk | AADT: Abstract Abstract Data Types OOPSLA Julien Simonnet Université Paris-Saclay - CEA LIST, Matthieu Lemerre Université Paris-Saclay - CEA LIST, Mihaela Sighireanu Université Paris-Saclay - ENS Paris-Saclay - CNRS - LMF DOI | ||
14:42 18mTalk | RAT-CAT-SAT: Model Checking Memory Consistency Models OOPSLA DOI | ||
15:30 - 17:00 | Compiler Optimization and Code GenerationOOPSLA at East Hall 1 Chair(s): Kirshanthan Sundararajah Virginia Tech | ||
15:30 18mTalk | Class-Dictionary Specialization with Rank-2 Polymorphic Functions OOPSLA Link to publication DOI Pre-print | ||
15:48 18mTalk | Automatic Propagation of Profile Information through the Optimization Pipeline OOPSLA Elisa Frohlich Federal University of Minas Gerais, Angelica Moreira Microsoft Research, Fernando Magno Quintão Pereira Federal University of Minas Gerais DOI | ||
16:06 18mTalk | Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions OOPSLA Devansh Jain University of Illinois at Urbana-Champaign, Akash Pardeshi University of Illinois at Urbana-Champaign, Marco Frigo University of Illinois at Urbana-Champaign, Kaustubh Khulbe University of Illinois at Urbana-Champaign, Krut Patel NVIDIA, Saatvik Lochan University of Illinois at Urbana-Champaign, Jai Arora University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign DOI Pre-print | ||
16:24 18mTalk | Symbolic Basic Block Profiling for Machine Learning Kernels OOPSLA Jingyu Qiu University of Rochester, Rongcui Dong University of Rochester, Sreepathi Pai University of Rochester DOI | ||
16:42 18mTalk | Filtr: Compiling Bioinformatics Recurrences OOPSLA Bala Vinaithirthan Stanford University, Shiv Sundram Stanford University, Sneha Goenka Princeton University, Fredrik Kjolstad Stanford University DOI | ||
15:30 - 17:00 | Refinement Types and Functional ProgrammingOOPSLA at East Hall 2 Chair(s): Nadia Polikarpova University of California at San Diego | ||
15:30 18mTalk | PLEX: Normalization for Refinement Types OOPSLA Alessio Ferrarini IMDEA Software Institute; Universidad Politécnica de Madrid, Niki Vazou IMDEA Software Institute, Wouter Swierstra Utrecht University Link to publication DOI | ||
15:48 18mTalk | First-Class Refinement Types for Scala OOPSLA Link to publication DOI | ||
16:06 18mTalk | Effectively Propositional Higher-Order Functional Programming OOPSLA Nicholas V. Lewchenko University of Colorado Boulder, Kunha Kim University of Colorado Boulder, Bor-Yuh Evan Chang University of Colorado Boulder; Amazon, Gowtham Kaki University of Colorado Boulder DOI | ||
16:24 18mTalk | DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types OOPSLA Timon Böhler TU Darmstadt, Tobias Reinhard TU Darmstadt, David Richter TU Darmstadt, Mira Mezini Technische Universität Darmstadt; ATHENE; hessian.AI DOI Pre-print | ||
15:30 - 17:00 | Smart Contracts and BlockchainOOPSLA at Junior Ballroom 3&4 Chair(s): Chandrakana Nandi Certora; University of Washington | ||
15:30 18mTalk | SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models OOPSLA Shihao Xia Pennsylvania State University, Mengting He Pennsylvania State University, Shuai Shao University of Connecticut, Tingting Yu University of Connecticut, Yiying Zhang University of California at San Diego, Nobuko Yoshida University of Oxford, Linhai Song Institute of Computing Technology at Chinese Academy of Sciences DOI | ||
15:48 18mTalk | When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure OOPSLA Jie Ma Beihang University; Zhongguancun Laboratory, Ningyu He Hong Kong Polytechnic University, Jinwen Xi Zhongguancun Laboratory, Mingzhe Xing Zhongguancun Laboratory, Liangxin Liu Beihang University, luojiushenzi Beijing Institute of Technology; Zhongguancun Laboratory, Xiaopeng Fu Beijing Institute of Technology; Zhongguancun Laboratory, Chiachih Wu Amber Group, Haoyu Wang Huazhong University of Science and Technology, Ying Gao Beihang University; Zhongguancun Laboratory, Yinliang Yue Zhongguancun Laboratory DOI | ||
16:06 18mTalk | Verifying Economic Security of Smart Contracts via Unintended Return OOPSLA DOI | ||
16:24 18mTalk | Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation OOPSLA Zongrui Peng Tsinghua University, Jingzhou Fu Tsinghua University, Zhiyong Wu Tsinghua University, Jie Liang Beihang University, Xiangdong Huang Tsinghua University, Dalong Shi Aviation Industry Corporation of China, Yu Jiang Tsinghua University DOI | ||
17:00 - 18:00 | SPLASH/OOPSLA Town HallOOPSLA at East Hall Chair(s): Işıl Dillig University of Texas at Austin, Anders Møller Aarhus University | ||
17:00 60mMeeting | SPLASH/OOPSLA Town Hall and Program Chairs Report OOPSLA | ||
Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change
Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change
10:30 - 12:00 | Analysing Dependencies and AlarmsOOPSLA at East Hall 1 Chair(s): Manu Sridharan University of California at Riverside | ||
10:30 18mTalk | Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages OOPSLA Andrea Gilot Uppsala University, Tobias Wrigstad Uppsala University, Eva Darulova Uppsala University DOI Pre-print | ||
10:48 18mTalk | A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs OOPSLA Zhongyi Wang Zhejiang University, Tengjie Lin Zhejiang University, Mingshuai Chen Zhejiang University, Haokun Li Peking University, Mingqi Yang Zhejiang University, Xiao Yi Chinese University of Hong Kong, Shengchao Qin Xidian University, Yixing Luo Beijing Institute of Control Engineering, Xiaofeng Li Beijing Institute of Control Engineering, Bin Gu Beijing Institute of Control Engineering, Liqiang Lu Zhejiang University, Jianwei Yin Zhejiang University DOI | ||
11:06 18mTalk | Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation OOPSLA DOI | ||
11:24 18mTalk | CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses OOPSLA Jianhao Xu Southeast University, Kunbo Zhang State Key Laboratory for Novel Software Technology at Nanjing University, Mathias Payer EPFL, Kangjie Lu University of Minnesota, Bing Mao State Key Laboratory for Novel Software Technology at Nanjing University DOI | ||
10:30 - 12:00 | Ownership, Lifetimes and RegionsOOPSLA at Junior Ballroom 1&2 Chair(s): Jenna DiVincenzo (Wise) Purdue University | ||
10:30 18mTalk | Tracking Borrows with Regular Expressions OOPSLA Todd Nowacki Mysten Labs, Sam Blackshear Mysten Labs, John Mitchell Stanford University, Shaz Qadeer Microsoft, Ilya Sergey National University of Singapore DOI | ||
10:48 18mTalk | When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking OOPSLA Siyuan He Purdue University, Songlin Jia Purdue University, Yuyan Bao Augusta University, Tiark Rompf Purdue University DOI | ||
11:06 18mTalk | Fully-Automatic Type Inference for Borrows with Lifetimes OOPSLA William Brandon Massachusetts Institute of Technology, Benjamin Driscoll Stanford University, Frank Dai Unaffiliated, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Mae Milano Princeton University, Alex Aiken Stanford University DOI | ||
11:24 18mTalk | Scylla: Translating an Applicative Subset of C to Safe RustDistinguished Paper OOPSLA DOI | ||
13:30 - 15:00 | Property-Based Testing and Test QualityOOPSLA at East Hall 1 Chair(s): Jonathan Bell Northeastern University | ||
13:30 18mTalk | Block Tests OOPSLA Kevin Guan Cornell University, Pengyue Jiang Cornell University, Milos Gligoric University of Texas at Austin, Owolabi Legunsen Cornell University DOI | ||
13:48 18mTalk | Detecting Flaky Tests by Controlling Nondeterministic API Behavior OOPSLA Hengchen Yuan University of Texas at Austin, Jiefang Lin University of Texas at Austin, August Shi University of Texas at Austin DOI | ||
14:06 18mTalk | Random Testing via Runtime Abstract Interpretation OOPSLA DOI | ||
14:24 18mTalk | Testing Theorems, Fully Automatically OOPSLA Segev Elazar Mittelman University of Maryland, Harrison Goldstein University at Buffalo, Leonidas Lampropoulos University of Maryland DOI | ||
14:42 18mTalk | Fail Faster: Staging and Fast Randomness for High-Performance PBT OOPSLA Cynthia Richey University of Pennsylvania, Joseph W. Cutler University of Pennsylvania, Harrison Goldstein University at Buffalo, Benjamin C. Pierce University of Pennsylvania DOI | ||
13:30 - 15:00 | Security and Information FlowOOPSLA at Junior Ballroom 1&2 Chair(s): Mae Milano Princeton University | ||
13:30 18mTalk | (Dis)Proving Spectre Security with Speculation-Passing Style OOPSLA Santiago Arranz Olmos MPI-SP, Gilles Barthe MPI-SP; IMDEA Software Institute, Lionel Blatter MPI-SP, Xingyu Xie MPI-SP, Zhiyuan Zhang MPI-SP DOI | ||
13:48 18mTalk | Decompiling for Constant-Time Analysis OOPSLA Santiago Arranz Olmos MPI-SP, Gilles Barthe MPI-SP; IMDEA Software Institute, Lionel Blatter MPI-SP, Youcef Bouzid ENS Paris-Saclay, Sören van der Wall TU Braunschweig, Zhiyuan Zhang MPI-SP DOI | ||
14:06 18mTalk | Sound Enforcement of Dynamic Release Information Flow Policy OOPSLA DOI Pre-print | ||
14:24 18mTalk | A Type System for Optimizing Dynamic IFC OOPSLA Daniel Galán Pascual ETH Zurich, François Hublet ETH Zurich, Srđan Krstić ETH Zurich, Roman Fischer ETH Zurich, Colin Pfingstl ETH Zurich, David Basin ETH Zurich DOI | ||
15:30 - 17:00 | Languages for Data and InteractionOOPSLA at East Hall 1 Chair(s): Saba Alimadadi Simon Fraser University | ||
15:30 18mTalk | Timeline: Adding the Time Dimension to Spreadsheets OOPSLA DOI Pre-print | ||
15:48 18mTalk | Direct Manipulation and Natural Language Programming, Together at Last? OOPSLA Parker Ziegler University of California at Berkeley, David Minh-Duy Cao University of California at Berkeley, Justin Lubin University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI Pre-print | ||
16:06 18mTalk | Geo: A Query Rewrite Framework for Graph Pattern Mining OOPSLA Nazanin Yousefian Simon Fraser University, Kasra Jamshidi Simon Fraser University, Keval Vora Simon Fraser University, Anders Miltner Simon Fraser University DOI | ||
16:24 18mTalk | Synthesizing Graph Queries from Demonstrations OOPSLA Xiaoyu Liu Simon Fraser University, Qikang Liu Simon Fraser University, Evan Dyce Simon Fraser University, Keval Vora Simon Fraser University, Yuepeng Wang Simon Fraser University DOI | ||
16:42 18mTalk | Semi-declarative Language for Combinatorial Search OOPSLA DOI | ||
15:30 - 17:00 | Staging and MetaprogrammingOOPSLA at Junior Ballroom 1&2 Chair(s): Shigeru Chiba The University of Tokyo | ||
15:30 18mTalk | When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-InsertionDistinguished Paper OOPSLA DOI Pre-print | ||
15:48 18mTalk | Refined² Environment Classifiers OOPSLA DOI Pre-print | ||
16:06 18mTalk | Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots OOPSLA Dinghong Zhong Tufts University, Alexander Bai New York University, Mikail Khan Carnegie Mellon University, Guannan Wei Tufts University DOI Pre-print | ||
Presenting SIGPLAN Papers at SPLASH 2026
We invite authors of recent papers from ICFP, OOPSLA, POPL, and PLDI conferences who were previously unable to present their work at a SIGPLAN conference to come to Oakland and present their work in person at SPLASH 2026. These presentations will be given during the main conference days, in parallel with OOPSLA and Onward! 2026 presentations. Presenters will be required to register for the conference.
Note: Only papers never presented in person at past SIGPLAN conferences are eligible.
To apply for presenting your SIGPLAN paper, please submit an abstract and identifying details of your paper at the following site: https://sigplanpapers-splash2026.hotcrp.com/ by August 1, 2026. Submissions will be considered on a case-by-case basis depending on available space in the program.
Important Dates AoE (UTC-12h)
| Sat 1 Aug 2026 Submission deadline |
Submission Link