SPLASH 2024 (series) /
SPLASH 2024 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change
Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 60mKeynote | Static Analysis Sparsity and Modularity SAS Kwangkeun Yi Seoul National University | ||
10:00 30m | Under-approximating Memory Abstractions SAS Pre-print | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | BinSub: The Simple Essence of Polymorphic Type Inference for Machine Code SAS Ian Smith Trail of Bits Pre-print | ||
11:30 30mFull-paper | Full Control-Flow Sensitivity for Definitional Interpreters SAS Kimball Germane Brigham Young University | ||
12:00 30mFull-paper | Trace Partitioning as an Optimization Problem SAS Charles Babu M CEA-List, Matthieu Lemerre Université Paris-Saclay - CEA LIST, Sébastien Bardin CEA LIST, University Paris-Saclay, Jean-Yves Marion LORIA | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 60mTutorial | Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software SAS Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
15:00 30mFull-paper | Robustness Verification of Multi-Label Neural Network Classifiers SAS | ||
16:00 - 17:30 | |||
16:00 30mFull-paper | Abstract Interpretation of ReLU Neural Networks with Optimizable Polynomial Relaxations SAS Philipp Kern Karlsruhe Institute of Technology (KIT), Carsten Sinz Karlsruhe Institute of Technology | ||
16:30 30mShort-paper | ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper) SAS Avaljot Singh , Yasmin Sarita Cornell University, Charith Mendis University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research | ||
Mon 21 OctDisplayed time zone: Pacific Time (US & Canada) change
Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | Welcome to PLMW!PLMW at Pacific A Chair(s): Lucas Bang Harvey Mudd College, Molly Q Feldman Oberlin College | ||
09:00 - 10:30 | |||
09:00 30mDay opening | Welcome & Opening LIVE | ||
09:30 30mKeynote | Keynote by Jonathan Edwards LIVE Jonathan Edwards Independent | ||
10:00 30mTalk | Definitions and Dimensions of Liveness LIVE Joshua Horowitz University of Washington | ||
09:00 - 10:30 | |||
09:00 5mOther | Welcome and goals of IWACO 2024 IWACO | ||
09:05 85mKeynote | Offer-safe Trade of Mutable Objects IWACO Mark Miller Agoric | ||
09:00 - 10:30 | |||
09:00 60mKeynote | Measuring data lineage SAS Francesco Logozzo Facebook | ||
10:00 30mFull-paper | Quantitative Static Timing Analysis SAS Denis Mazzucato INRIA & École Normale Supérieure, Marco Campion INRIA & École Normale Supérieure | Université PSL, Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
11:00 - 12:30 | |||
11:00 18mTalk | Arroost: Unblocking creation with friends LIVE Lu Wilson TodePond | ||
11:18 18mTalk | Code flow canvas - a generic visual programming system LIVE | ||
11:36 18mTalk | Inkling: Sketching Dynamic Systems LIVE | ||
11:54 18mTalk | Snappets: a VR animation system based on Projective Geometric Algebra LIVE Hamish Todd Girih games | ||
12:12 18mTalk | Subsequently: Telling stories with pictures makes programs LIVE Marcel Goethals Ink&Switch | ||
11:00 - 12:30 | |||
11:00 30mTalk | Capabilities, Effects, Ownership, and Behaviors IWACO Colin Gordon Drexel University | ||
11:30 30mTalk | Modular Borrowing Without Ownership or Linear Types IWACO Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) | ||
12:00 30mTalk | Substructural Information Flow via Polymorphism IWACO Hemant Gouni Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, Jonathan Aldrich Carnegie Mellon University | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | Verification of programs with ADTs using Shallow Horn Clauses SAS | ||
11:30 30mFull-paper | An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants SAS Louis Rustenholz Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute, Pedro López-García IMDEA Software Institute, José Morales IMDEA Software Institute, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute Link to publication Pre-print | ||
12:00 30mFull-paper | Static Analysis of Quantum Programs SAS Nicola Assolini Università degli Studi di Verona, Alessandra Di Pierro University of Verona, Italy, Isabella Mastroeni University of Verona, Italy | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 18mTalk | DocuApps: Ampleforth Documents as Applications LIVE Gilad Bracha F5 | ||
14:18 18mTalk | EYG a predictable, and useful, programming language LIVE Peter Saxton Unaffiliated | ||
14:36 18mTalk | Manifold: Throwing Together Software Systems LIVE Jeff Lindsay None | ||
14:54 18mTalk | Scoped Propagators LIVE Orion Reed Unaffiliated | ||
15:12 18mTalk | ScrapSheets: Async Programs in a Reactive 2D Environment LIVE Taylor Troesh Unaffiliated | ||
14:00 - 15:30 | |||
14:00 45mTalk | On Fearless Concurrency IWACO Mae Milano Princeton University | ||
14:45 45mTalk | Ordered Types for Typestate IWACO Peter Thiemann University of Freiburg, Germany | ||
14:00 - 15:30 | |||
14:00 60mTutorial | A New Language for Expressive, Fast, Safe, and Analyzable Authorization SAS Emina Torlak Amazon Web Services, USA | ||
15:00 30mFull-paper | On the Role of Cognizance in Responsibility SAS | ||
16:00 - 17:30 | |||
16:00 15mTalk | Diff-based interactive compiler debugging and testing LIVE Luyu Cheng Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) Pre-print | ||
16:15 15mTalk | Example-driven development: bridging tests and documentation LIVE Link to publication DOI | ||
16:30 15mTalk | Live Programming a Live Programming Environment: An Experience Report LIVE Elliot Evans Polytope, Philippa Markovics Nextjournal, Martin Kavalar Nextjournal, Andrea Amantini Nextjournal, Jack Rusher Nextjournal | ||
16:45 15mTalk | Run, Build and Grow Small Systems Without Leaving Your Text Editor LIVE | ||
17:00 15mTalk | TAPE: From direct to programmatic and back LIVE Ian Clester Georgia Institute of Technology | ||
17:15 15mDay closing | Closing & Farewell LIVE | ||
16:00 - 17:30 | |||
16:00 30mTalk | The first six years in the development of Polonius, an improved borrow checker IWACO Amanda Stjerna Uppsala university | ||
16:30 60mKeynote | Visualizing and Explaining Rust's Ownership Model IWACO Will Crichton Brown University | ||
16:00 - 17:30 | |||
16:00 60mMeeting | Business Meeting SAS | ||
Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change
Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 45mKeynote | A Conversation with Matthew Butterick ProLaLa James Grimmelmann Cornell University | ||
09:45 45mOther | Attendee Bingo and Scavenger Hunt ProLaLa Emma Tosch Northeastern University, USA | ||
09:00 - 10:30 | |||
09:00 45mKeynote | Invited Talk 1 PAINT | ||
09:45 45mTalk | Advanced Game Engine Wizardry for Visual Programming Environments PAINT | ||
09:00 - 10:30 | |||
09:00 60mKeynote | TBA SAS Mayur Naik University of Pennsylvania | ||
10:00 30mFull-paper | Synthesizing Abstract Transformers for Reduced-Product Domains SAS Pankaj Kumar Kalita IIT Kanpur, Thomas Reps University of Wisconsin-Madison, Subhajit Roy IIT Kanpur | ||
11:00 - 12:30 | Author Presentations with DiscussantsProLaLa at IBR East Chair(s): Sarah Lawsky Northwestern University Four presenters will share work they’ve submitted that is either already published elsewhere or in progress. Two discussants will lead a conversation about the works. Presentation of short papers will be followed by a discussion prompt corresponding to a question or topic for which the authors are specifically requesting feedback. | ||
11:00 20mTalk | Metamorphic Debugging for Accountable Software ProLaLa | ||
11:20 10mTalk | Large Language Models for Executable Tax Code Generation ProLaLa | ||
11:45 20mTalk | Cross-Disciplinarity in Contemporary Code-Driven Legal Informatics ProLaLa | ||
12:05 10mTalk | CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution ProLaLa | ||
11:00 - 12:30 | |||
11:00 45mTalk | Block-based Platform for Defining Adaptation Rules for Automotive Systems PAINT Luigi Altamirano Eindhoven University of Technology, Mauricio Verano Merino Vrije Universiteit Amsterdam, Ion Barosan TU Eindhoven | ||
11:45 45mTalk | Supporting Construction of Domain-Specific Representations in Textual Source Code PAINT Tom Beckmann Hasso Plattner Institute, Jan Reppien Hasso Plattner Institute, University of Potsdam, Jens Lincke Hasso Plattner Institute; University of Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam | ||
11:00 - 12:30 | |||
11:00 5m | Opening NSAD | ||
11:05 55mKeynote | Abstract Domains for Machine Learning Verification NSAD Caterina Urban Inria & École Normale Supérieure | Université PSL | ||
12:00 30mFull-paper | Towards a High Level Linter for Data ScienceFull Paper NSAD Greta Dolcetti Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and Statistics, Agostino Cortesi Università Ca' Foscari Venezia, Caterina Urban Inria & École Normale Supérieure | Université PSL, Enea Zaffanella University of Parma, Italy | ||
11:00 - 12:30 | |||
11:00 30mFull-paper | Lift-offline: Instruction Lifter Generators SAS | ||
11:30 30mShort-paper | Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel (NEAT paper) SAS Matan Shachnai , Harishankar Vishwanathan , Srinivas Narayana Rutgers University, Santosh Nagarakatte Rutgers University Pre-print | ||
12:00 30mShort-paper | Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper) SAS Tong Wu , Shale Xiong ARM, Edoardo Manino , Gareth Stockwell ARM, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 60mTutorial | Challenges and Idiosyncrasies of Managing Legal Citations ProLaLa | ||
15:00 30mOther | Fostering Collaboration ProLaLa | ||
14:00 - 15:30 | |||
14:00 45mKeynote | Invited Talk 2 PAINT | ||
14:45 45mTalk | Bridging Incremental Programming and Complex Software Development Environments PAINT | ||
14:00 - 15:30 | |||
14:00 30mFull-paper | A Step-Function Abstract Domain for Granular Floating-Point Error AnalysisFull Paper NSAD | ||
14:30 30mFull-paper | C-2PO: A Weakly Relational Pointer DomainFull Paper NSAD Rebecca Ghidini Technical University of Munich, Julian Erhard Technical University of Munich, Michael Schwarz Technische Universität München, Helmut Seidl Technische Universität München | ||
15:00 30mFull-paper | Stability: an Abstract Domain for the Trend of Variation of Numerical VariablesFull Paper NSAD Luca Negrini Ca’ Foscari University of Venice, Sofia Presotto Ca' Foscari University of Venice, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Enea Zaffanella University of Parma, Italy, Agostino Cortesi Università Ca' Foscari Venezia | ||
14:00 - 15:30 | |||
14:00 30mFull-paper | GoGuard: Efficient Static Blocking Bug Detection for Go SAS | ||
14:30 30mShort-paper | Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper) SAS | ||
16:00 - 17:30 | |||
16:00 60mDay closing | The Future of ProLaLa ProLaLa | ||
17:00 30mTalk | What Programmers and Lawyers Get Wrong About Privacy Policies ProLaLa | ||
16:00 - 17:30 | |||
16:00 30mShort-paper | WiP: Labeled Union-Find for Constraint FactorizationShort Paper NSAD | ||
16:30 30mFull-paper | Abstracting EntanglementFull Paper NSAD Nicola Assolini Università degli Studi di Verona, Alessandra Di Pierro University of Verona, Italy, Isabella Mastroeni University of Verona, Italy | ||
17:00 10m | Closing NSAD | ||
Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change
Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:10 | |||
09:00 70mKeynote | Everything is a Program (even if it's not) Keynotes Todd Millstein University of California, Los Angeles | ||
10:20 - 12:20 | REBASEREBASE at Pasadena Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University | ||
10:20 60mTalk | Way, Way Back To The Future REBASE Alan Kay Viewpoints Research Institute | ||
11:25 45mTalk | Fil-C: memory safety with fanatical C/C++ compatibility REBASE Filip Pizlo Apple | ||
10:40 - 12:20 | |||
10:40 20mTalk | Cocoon: Static Information Flow Control in Rust OOPSLA 2024 Ada Lamba Ohio State University, Max Taylor Ohio State University, Vincent Beardsley Ohio State University, Jacob Bambeck Ohio State University, Michael D. Bond Ohio State University, Zhiqiang Lin The Ohio State University | ||
11:00 20mTalk | Computing Precise Control Interface Specifications OOPSLA 2024 Eric Campbell Cornell University, Hossein Hojjat Tehran Institute for Advanced Studies (TeIAS), Nate Foster Cornell University and Jane Street | ||
11:20 20mTalk | FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions OOPSLA 2024 Zhengyao Lin Carnegie Mellon University, Joshua Gancher Carnegie Mellon University, Bryan Parno Carnegie Mellon University | ||
11:40 20mTalk | ParDiff: Practical Static Differential Analysis of Network Protocol Parsers OOPSLA 2024 Mingwei Zheng Purdue University, Qingkai Shi Nanjing University, Xuwei Liu Purdue University, USA, Xiangzhe Xu Purdue University, Le Yu , Congyu Liu Purdue University, Guannan Wei Inria/ENS; Tufts University, Xiangyu Zhang Purdue University | ||
12:00 20mTalk | Sound and partially-complete static analysis of data-races in GPU programs OOPSLA 2024 Dennis Liew University of Massachusetts Boston, Tiago Cogumbreiro University of Massachusetts Boston, Julien Lange Royal Holloway, University of London | ||
10:40 - 12:20 | |||
10:40 20mTalk | Law and Order for Typestate with Borrowing OOPSLA 2024 Hannes Saffrich University of Freiburg, Yuki Nishida Tohoku University, Peter Thiemann University of Freiburg, Germany | ||
11:00 20mTalk | Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation OOPSLA 2024 | ||
11:20 20mTalk | Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types OOPSLA 2024 Aleksander Boruch-Gruszecki EPFL, Adrien Ghosn Microsoft Research, Mathias Payer EPFL, Clément Pit-Claudel EPFL | ||
11:40 20mTalk | Automatically Reducing Privilege for Access Control Policies OOPSLA 2024 Loris D'Antoni University of Wisconsin-Madison, Shuo Ding Georgia Institute of Technology, Amit Goel AWS, Mathangi Ramesh Amazon Web Services, Neha Rungta Amazon Web Services, Chungha Sung Amazon Web Services, USA | ||
12:00 20mTalk | Functional Ownership through Fractional Uniqueness OOPSLA 2024 DOI | ||
10:40 - 12:20 | |||
10:40 15mTalk | Onward! introduction Onward! Papers | ||
10:55 25mTalk | Moldable Exceptions Onward! Papers Pre-print | ||
11:25 25mTalk | Reclaiming the Unexplored in Hybrid Visual Programming Onward! Papers Michael Homer Victoria University of Wellington | ||
11:55 25mTalk | Beyond Procedure Calls as Component Glue: Connectors Deserve Metaclass Status Onward! Papers Marcel Weiher Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam Pre-print | ||
10:40 - 12:20 | |||
10:40 20mTalk | A Pure Demand Operational Semantics with Applications to Program Analysis OOPSLA 2024 Link to publication DOI Pre-print | ||
11:00 20mTalk | Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics OOPSLA 2024 Keith J.C. Johnson University of Wisconsin–Madison, Rahul Krishnan University of Wisconsin-Madison, Thomas Reps University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin-Madison | ||
11:20 20mTalk | HOL4P4: mechanized small-step semantics for P4 OOPSLA 2024 Anoud Alshnakat KTH Royal Institute of Technology, Didrik Lundberg KTH Royal Institute of Technology and Saab AB, Roberto Guanciale KTH Royal Institute of Technology, Mads Dam KTH | ||
11:40 20mTalk | Semantics Lifting for Syntactic Sugar OOPSLA 2024 Zhichao Guan Peking University, Yiyuan Cao Peking University, Tailai Yu Tsinghua University, Ziheng Wang , Di Wang Peking University, Zhenjiang Hu Peking University | ||
12:00 20mTalk | Synthesizing Formal Semantics from Executable Interpreters OOPSLA 2024 Jiangyi Liu University of Wisconsin - Madison, Charlie Murphy University of Wisconsin–Madison, Anvay Grover University of Wisconsin-Madison, Keith J.C. Johnson University of Wisconsin–Madison, Thomas Reps University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin-Madison | ||
12:20 - 13:40 | |||
12:20 80mLunch | Lunch Catering | ||
13:40 - 15:20 | |||
13:40 20mTalk | HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing OOPSLA 2024 Yiyu Zhang Nanjing University, Tianyi Liu Nanjing University, Yueyang Wang Nanjing University, Yun Qi Nanjing University, Kai Ji Nanjing University, Jian Tang Nanjing University, Xiaoliang Wang Nanjing University, Xuandong Li Nanjing University, Zhiqiang Zuo Nanjing University | ||
14:00 20mTalk | MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang OOPSLA 2024 Boyao Ding University of Science and Technology of China, Qingwei Li University of Science and Technology of China, Yu Zhang University of Science and Technology of China, Fugen Tang University of Science and Technology of China, Jinbao Chen University of Science and Technology of China | ||
14:20 20mTalk | Newtonian Program Analysis of Probabilistic Programs OOPSLA 2024 | ||
14:40 20mTalk | Non-Termination Proving at Scale OOPSLA 2024 Azalea Raad Imperial College London, Julien Vanegue Bloomberg, USA, Peter W. O'Hearn Lacework; University College London | ||
15:00 20mTalk | Quantum Control Machine: The Limits of Control Flow in Quantum Programming OOPSLA 2024 Charles Yuan Massachusetts Institute of Technology, Agnes Villanyi MIT CSAIL, Michael Carbin Massachusetts Institute of Technology | ||
13:40 - 15:20 | |||
13:40 40mTalk | A Case for Feminism in Programming Language Design Onward! Essays | ||
14:30 40mTalk | Dialogues on Natural Code Onward! Essays | ||
13:40 - 15:20 | REBASEREBASE at Pasadena Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University | ||
13:40 30mTalk | Lessons Learned from Building GitHub Copilot(s) REBASE Eddie Aftandilian GitHub Next | ||
14:15 30mTalk | From AI Software Engineers to AI Knowledge Workers REBASE Erik Meijer Facebook | ||
14:50 30mTalk | Apps and their Stores: An Alternative History REBASE Gilad Bracha F5 | ||
13:40 - 15:20 | |||
13:40 20mTalk | Realistic Realizability: Specifying ABIs You Can Count On OOPSLA 2024 Andrew Wagner Northeastern University, Zachary Eisbach Northeastern University, Amal Ahmed Northeastern University, USA | ||
14:00 20mTalk | AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming OOPSLA 2024 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 | ||
14:20 20mTalk | Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers OOPSLA 2024 Linpeng Zhang University College London, Noam Zilberstein Cornell University, Benjamin Lucien Kaminski Saarland University; University College London, Alexandra Silva Cornell University | ||
14:40 20mTalk | VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts OOPSLA 2024 Yichuan Li Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology, Jeff Huang Texas A&M University | ||
15:00 20mTalk | Weighted Context-Free-Language Ordered Binary Decision Diagrams OOPSLA 2024 Meghana Aparna Sistla The University of Texas at Austin, Swarat Chaudhuri University of Texas at Austin, Thomas Reps University of Wisconsin-Madison | ||
16:00 - 17:40 | |||
16:00 20mTalk | Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach OOPSLA 2024 Haonan Li University of California at Riverside, USA, Yu Hao University of California at Riverside, USA, Yizhuo Zhai University of California at Riverside, USA, Zhiyun Qian University of California at Riverside, USA | ||
16:20 20mTalk | PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis OOPSLA 2024 Zhaoyu Wang HKUST, Pingchuan Ma HKUST, Huaijin Wang , Shuai Wang Hong Kong University of Science and Technology | ||
16:40 20mTalk | Semantic-Type-Guided Bug Finding OOPSLA 2024 Kelvin Qian Johns Hopkins University, Scott F. Smith The Johns Hopkins University, Brandon Stride Johns Hopkins University, Shiwei Weng Johns Hopkins University, Ke Wu Johns Hopkins University | ||
17:00 20mTalk | Seneca: Taint-Based Call Graph Construction for Java Object Deserialization OOPSLA 2024 Joanna C. S. Santos University of Notre Dame, Mehdi Mirakhorli Rochester Institute of Technology, Ali Shokri Virginia Tech | ||
17:20 20mTalk | VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints OOPSLA 2024 Yang He Simon Fraser University, Pinhan Zhao University of Michigan, Xinyu Wang University of Michigan, Yuepeng Wang Simon Fraser University Pre-print | ||
16:00 - 17:40 | |||
16:00 20mTalk | Jmvx: Fast Multi-threaded Multi-Version eXecution and Record-Replay for Managed Languages OOPSLA 2024 David Schwartz University of Illinois at Chicago, Ankith Kowshik University of Illinois Chicago, Luís Pina University of Illinois at Chicago | ||
16:20 20mTalk | libLISA: Instruction Discovery and Analysis on x86-64 OOPSLA 2024 Jos Craaijo Open Universiteit, Freek Verbeek Open Universiteit & Virginia Tech, Binoy Ravindran Virginia Tech | ||
16:40 20mTalk | Making Sense of Multi-Threaded Application Performance at Scale with NonSequitur OOPSLA 2024 Augustine Wong University of British Columbia, Paul Bucci University of British Columbia, Ivan Beschastnikh University of British Columbia, Alexandra (Sasha) Fedorova University of British Columbia | ||
17:00 20mTalk | TorchQL: A Programming Framework for Integrity Constraints in Machine Learning OOPSLA 2024 Aaditya Naik University of Pennsylvania, Adam Stein University of Pennsylvania, Yinjun Wu University of Pennsylvania, Mayur Naik University of Pennsylvania, Eric Wong | ||
17:20 20mTalk | Verification of Neural Networks' Global Robustness OOPSLA 2024 | ||
16:00 - 17:00 | Onward! PapersOnward! Papers at Pacific Please stay seated – an Onward! essay session will follow immediately: https://2024.splashcon.org/track/splash-2024-Onward-Essays | ||
16:00 25mTalk | A Programing Language for Data and Configuration! Onward! Papers Mark Marron University of Kentucky | ||
16:30 25mTalk | The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps Onward! Papers | ||
16:00 - 17:40 | |||
16:00 30mTalk | TBA REBASE Lennart Augustsson Epic Games | ||
16:35 60mPanel | JavaScript virtual machine evolution REBASE Manuel Serrano Inria; Université Côte d’Azur | ||
16:00 - 17:40 | |||
16:00 20mTalk | A Constraint Solving Approach to Parikh Images of Regular Languages OOPSLA 2024 | ||
16:20 20mTalk | Imperative Compositional Programming OOPSLA 2024 Wenjia Ye University of Hong Kong, Yaozhu Sun University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong | ||
16:40 20mTalk | Inductive diagrams for causal reasoning OOPSLA 2024 Jonathan Castello University of California, Santa Cruz, Patrick Redmond University of California at Santa Cruz, Lindsey Kuper University of California, Santa Cruz Pre-print | ||
17:00 20mTalk | Message-Observing Sessions OOPSLA 2024 | ||
17:20 20mTalk | Plume: Efficient and Complete Black-box Checking of Weak Isolation Levels OOPSLA 2024 Si Liu ETH Zurich, Long Gu State Key Laboratory for Novel Software Technology, Nanjing University, Hengfeng Wei State Key Laboratory for Novel Software Technology, Nanjing University, David Basin ETH Zurich | ||
17:00 - 17:40 | Onward! EssaysOnward! Essays at Pacific Please stay seated :) Follows directly after the Onward! Papers session before. | ||
17:00 40mTalk | Discovering Your Software Umwelt Onward! Essays Rebecca Wirfs-Brock Wirfs-Brock Associates, Allen Wirfs-Brock Wirfs-Brock Associates, Jordan Wirfs-Brock Whitman College | ||
Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change
Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:10 | |||
09:00 70mKeynote | AI: Winter of Our Discontent Keynotes Richard P. Gabriel Poet | ||
10:40 - 12:20 | |||
10:40 20mTalk | A Typed Multi-Level Datalog IR and its Compiler Framework OOPSLA 2024 | ||
11:00 20mTalk | Finding Cross-rule Optimization Bugs in Datalog Engines OOPSLA 2024 Chi Zhang Nanjing University, Linzhang Wang Nanjing University, Manuel Rigger National University of Singapore | ||
11:20 20mTalk | Making Formulog Fast: An Argument for Unconventional Datalog Evaluation OOPSLA 2024 Aaron Bembenek University of Melbourne, Michael Greenberg Stevens Institute of Technology, Stephen Chong Harvard University Pre-print | ||
11:40 20mTalk | Object-Oriented Fixpoint Programming with Datalog OOPSLA 2024 | ||
12:00 20mTalk | Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks OOPSLA 2024 | ||
10:40 - 12:20 | |||
10:40 40mTalk | tl;dr: Chill, y’all – AI will not devour SE Onward! Essays | ||
11:30 40mTalk | A New Cognitive Perspective on Simplicity in System and Product Design Onward! Essays Stefan Lesser None | ||
12:20 - 13:40 | |||
12:20 80mLunch | Lunch Catering | ||
13:40 - 15:20 | |||
13:40 20mTalk | CYCLE: Learning to Self-Refine the Code Generation OOPSLA 2024 Yangruibo Ding Columbia University, Marcus J. Min Columbia University, Gail Kaiser Columbia University, Baishakhi Ray Columbia University, New York; AWS AI Lab | ||
14:00 20mTalk | Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks OOPSLA 2024 Qian Chen Nanjing University, Chenyang Yu Department of Computer Science and Technology, Nanjing University, Ruyan Liu Department of Computer Science and Technology, Nanjing University, Chi Zhang Nanjing University, Yu Wang Nanjing University, Ke Wang , Ting Su East China Normal University, Linzhang Wang Nanjing University | ||
14:20 20mTalk | Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs OOPSLA 2024 Federico Cassano Northeastern University, John Gouwar Northeastern University, Francesca Lucchetti Northeastern University, Claire Schlesinger Northeastern University, Anders Freeman Wellesley College, Carolyn Jane Anderson Wellesley College, Molly Q Feldman Oberlin College, Michael Greenberg Stevens Institute of Technology, Abhinav Jangda Microsoft Research, Arjun Guha Northeastern University; Roblox Pre-print | ||
14:40 20mTalk | Statically Contextualizing Large Language Models with Typed Holes OOPSLA 2024 Andrew Blinn University of Michigan, Xiang Li University of Michigan, Ann Arbor, June Hyung Kim University of Michigan, Cyrus Omar University of Michigan | ||
15:00 20mTalk | WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models OOPSLA 2024 Chenyuan Yang University of Illinois at Urbana-Champaign, Yinlin Deng University of Illinois at Urbana-Champaign, Runyu Lu Huazhong University of Science and Technology, Jiayi Yao The Chinese University of Hong Kong, Shenzhen, Jiawei Liu University of Illinois at Urbana-Champaign, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign | ||
13:40 - 15:20 | Program Synthesis and Verification 1OOPSLA 2024 at IBR West Chair(s): Benjamin Delaware Purdue University | ||
13:40 20mTalk | Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis OOPSLA 2024 Benjamin Mariano University of Texas at Austin, Ziteng Wang University of Texas at Austin, Shankara Pailoor University of Texas at Austin, Christian Collberg University of Arizona, Işıl Dillig University of Texas at Austin | ||
14:00 20mTalk | Finding ∀∃ Hyperbugs Using Symbolic Execution OOPSLA 2024 Arthur Correnson CISPA Helmholtz Center for Information Security, Tobias Nießen TU Wien, Bernd Finkbeiner CISPA Helmholtz Center for Information Security, Georg Weissenbacher TU Wien | ||
14:20 20mTalk | Mechanizing the CMP Abstraction for Parameterized Verification OOPSLA 2024 Yongjian Li Key Laboratory of System Software (Chinese Academy of Sciences) and State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, China, Bohua Zhan Institute of Software, Chinese Academy of Sciences, Jun Pang University of Luxembourg | ||
14:40 20mTalk | Model Checking Distributed Protocols in Must OOPSLA 2024 Constantin Enea LIX, CNRS, Ecole Polytechnique, Dimitra Giannakopoulou Amazon Web Services, Michalis Kokologiannakis ETH Zurich, Rupak Majumdar MPI-SWS | ||
15:00 20mTalk | Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials OOPSLA 2024 | ||
13:40 - 15:20 | |||
13:40 40mTalk | Use Site Checking Considered Harmful Onward! Essays | ||
14:30 40mTalk | (Programs), Proofs and Refutations (and Tests and Mutants) Onward! Essays Alex Groce Northern Arizona University | ||
16:00 - 17:40 | |||
16:00 20mTalk | Concurrent Data Structures Made Easy OOPSLA 2024 Callista Le Yale-NUS College, Kiran Gopinathan National University of Singapore, Lee Koon Wen Ahrefs, Seth Gilbert National University of Singapore, Ilya Sergey National University of Singapore | ||
16:20 20mTalk | Automated Verification of Parametric Channel-Based Process Communication OOPSLA 2024 Georgian-Vlad Saioc Aarhus University, Julien Lange Royal Holloway, University of London, Anders Møller Aarhus University | ||
16:40 20mTalk | Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models OOPSLA 2024 Kartik Nagar IIT Madras, Anmol Sahoo Purdue University, Romit Roy Chowdhury Chennai Mathematical Institute, Suresh Jagannathan Purdue University | ||
17:00 20mTalk | Scenario-based Proofs for Concurrent Objects OOPSLA 2024 | ||
17:20 20mTalk | Verified Lock-Free Session Channels with Linking OOPSLA 2024 | ||
16:00 - 17:40 | Types and Gradual Typing 1OOPSLA 2024 at IBR West Chair(s): Fabian Muehlboeck Australian National University | ||
16:00 20mTalk | Intensional Functions OOPSLA 2024 Zachary Palmer Swarthmore College, Nathaniel Wesley Filardo Microsoft, Ke Wu Johns Hopkins University | ||
16:20 20mTalk | Qualifying System F-sub OOPSLA 2024 Edward Lee University of Waterloo, Yaoyu Zhao University of Waterloo, Ondřej Lhoták University of Waterloo, James You University of Waterloo, Kavin Satheeskumar University of Waterloo, Jonathan Immanuel Brachthäuser University of Tübingen | ||
16:40 20mTalk | Refinement Type Refutations OOPSLA 2024 Robin Webbers Vrije Universiteit Amsterdam, Klaus von Gleissenthall Vrije Universiteit Amsterdam, Ranjit Jhala UCSD | ||
17:00 20mTalk | Type Inference Logics OOPSLA 2024 | ||
17:20 20mTalk | Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs (SIGPLAN) OOPSLA 2024 Guannan Wei Inria/ENS; Tufts University, Oliver Bračevac EPFL, LAMP, Songlin Jia Purdue University, USA, Yuyan Bao Augusta University, Tiark Rompf Purdue University Link to publication | ||
16:00 - 17:40 | |||
16:00 25mTalk | Abstract Debuggers: Exploring Program Behaviors Using Static Analysis Results Onward! Papers Karoliine Holter University of Tartu, Estonia, Juhan Oskar Hennoste University of Tartu, Patrick Lam University of Waterloo, Simmo Saan University of Tartu, Estonia, Vesal Vojdani University of Tartu | ||
16:30 25mTalk | Scimitar: Functional Programs as Optimization Problems Onward! Papers | ||
17:00 25mTalk | Software Engineering Methods For AI-Driven Deductive Legal Reasoning Onward! Papers Rohan Padhye Carnegie Mellon University Pre-print | ||
16:00 - 17:40 | |||
16:00 20mTalk | A modal type-theory of expected cost in higher-order probabilistic programs OOPSLA 2024 Vineet Rajani University of Kent, Gilles Barthe MPI-SP; IMDEA Software Institute, Deepak Garg MPI-SWS | ||
16:20 20mTalk | Distributions for Compositionally Differentiating Parametric Discontinuities OOPSLA 2024 Jesse Michel Massachusetts Institute of Technology, Kevin Mu University of Washington, Xuanda Yang University of California San Diego, Sai Praveen Bangaru MIT, Elias Rojas Collins MIT, Gilbert Bernstein University of Washington, Seattle, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology, Tzu-Mao Li Massachusetts Institute of Technology; University of California at San Diego | ||
16:40 20mTalk | Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions OOPSLA 2024 Lutz Klinkenberg RWTH Aachen University, Christian Blumenthal RWTH Aachen University, Mingshuai Chen Zhejiang University, Darion Haase RWTH Aachen University, Joost-Pieter Katoen RWTH Aachen University | ||
17:00 20mTalk | Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs OOPSLA 2024 Martin Avanzini Inria, Gilles Barthe MPI-SP; IMDEA Software Institute, Benjamin Gregoire INRIA, Georg Moser University of Innsbruck, Gabriele Vanoni IRIF, Université Paris Cité | ||
17:20 20mTalk | Learning Abstraction Selection for Bayesian Program Analysis OOPSLA 2024 DOI Pre-print | ||
17:40 - 19:40 | |||
17:40 2hDinner | Dinner Catering | ||
Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change
Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 90mKeynote | Trillions of Formally Verified Authorizations a day! Keynotes Neha Rungta Amazon Web Services | ||
11:00 - 12:20 | |||
11:00 20mTalk | Modular Synthesis of Efficient Quantum Uncomputation OOPSLA 2024 Hristo Venev INSAIT, Sofia University "St. Kliment Ohridski", Timon Gehr ETH Zurich, Dimitar Dimitrov INSAIT, Sofia University, Martin Vechev ETH Zurich | ||
11:20 20mTalk | Quantum Probabilistic Model Checking OOPSLA 2024 Seungmin Jeon KAIST, Kyeongmin Cho Rebellions, Chan Gu Kang Korea University, Janggun Lee KAIST, Hakjoo Oh Korea University, Jeehoon Kang KAIST | ||
11:40 20mTalk | Quarl: A Learning-Based Quantum Circuit Optimizer OOPSLA 2024 Zikun Li Carnegie Mellon University, Jinjun Peng Columbia University, Yixuan Mei Carnegie Mellon University, Sina Lin Microsoft, Yi Wu Tsinghua University, Oded Padon VMware Research, Zhihao Jia Carnegie Mellon University | ||
12:00 20mTalk | Synthetiq: Fast and Versatile Quantum Circuit Synthesis OOPSLA 2024 Anouk Paradis ETH Zurich, Jasper Dekoninck ETH Zurich, Benjamin Bichsel ETH Zurich, Switzerland, Martin Vechev ETH Zurich | ||
11:00 - 12:20 | |||
11:00 20mTalk | A Learning-Based Approach to Static Program Slicing OOPSLA 2024 Aashish Yadavally University of Texas at Dallas, Yi Li University of Texas at Dallas, Shaohua Wang Central University of Finance and Economics, Tien N. Nguyen University of Texas at Dallas Pre-print | ||
11:20 20mTalk | Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers OOPSLA 2024 Haofeng Li Institute of Computing Technology at Chinese Academy of Sciences, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Jie Lu SKLP, Institute of Computing Technology, CAS, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jingling Xue UNSW Sydney | ||
11:40 20mTalk | The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently OOPSLA 2024 Shashin Halalingaiah UT Austin, IIT Madras, Vijay Sundaresan IBM Canada, Daryl Maier IBM Canada, V Krishna Nandivada IIT Madras | ||
12:00 20mTalk | UniSparse: An Intermediate Language for General Sparse Format Customization OOPSLA 2024 Jie Liu Cornell University, Zhongyuan Zhao Qualcomm, Zijian Ding UCLA, Benjamin Brock Parallel Computing Lab (PCL), Intel, Hongbo Rong Intel Labs, Zhiru Zhang Cornell University, USA | ||
11:00 - 12:20 | |||
11:00 40mTalk | Redressing the balance: a yin-yang perspective on information technologyRemote Onward! Essays Konrad Hinsen CNRS | ||
11:40 40mTalk | Programming Languages for the Future of Design ComputationRemote Onward! Essays Robert Aish Bartlett School of Architecture, UCL, Al Fisher Buro Happold, Dominic Orchard University of Kent; University of Cambridge, Jay Torry University of Cambridge Pre-print | ||
11:00 - 12:20 | |||
11:00 20mTalk | Programmable MCMC with Soundly Composed Guide Programs OOPSLA 2024 Long Pham Carnegie Mellon University, Di Wang Peking University, Feras Saad Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University | ||
11:20 20mTalk | Quantitative Bounds on Resource Usage of Probabilistic Programs OOPSLA 2024 Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Tobias Meggendorfer Lancaster University, UK (Leipzig Campus), Đorđe Žikelić Singapore Management University, Singapore | ||
11:40 20mTalk | Sensitivity by Parametricity OOPSLA 2024 Elisabet Lobo-Vesga DPella AB, Carlos Tomé Cortiñas Chalmers University of Technology, Alejandro Russo Chalmers University of Technology, Sweden / University of Gothenburg, Sweden / DPella AB, Sweden, Marco Gaboardi Boston University | ||
12:00 20mTalk | Tachis: Higher-Order Separation Logic with Credits for Expected Costs OOPSLA 2024 Philipp G. Haselwarter Aarhus University, Kwing Hei Li Aarhus University, Markus de Medeiros New York University, Simon Oddershede Gregersen New York University, Alejandro Aguirre Aarhus University, Joseph Tassarotti New York University, Lars Birkedal Aarhus University | ||
11:00 - 12:20 | |||
11:00 20mTalk | A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code OOPSLA 2024 Julien Simonnet CEA LIST, Matthieu Lemerre Université Paris-Saclay - CEA LIST, Mihaela Sighireanu University Paris-Saclay, ENS Paris-Saclay, CNRS, LMF | ||
11:20 20mTalk | Modeling Dynamic (De)Allocations of Local Memory for Translation Validation OOPSLA 2024 | ||
11:40 20mTalk | Extending the C/C++ Memory Model with Inline Assembly OOPSLA 2024 Paulo Emílio de Vilhena Imperial College London, Ori Lahav Tel Aviv University, Viktor Vafeiadis MPI-SWS, Azalea Raad Imperial College London | ||
12:00 20mTalk | Iris-MSWasm: elucidating and mechanising the security invariants of Memory-Safe WebAssembly OOPSLA 2024 Maxime Legoupil Aarhus University, June Rousseau Aarhus University, Aina Linn Georges Max Planck Institute for Software Systems (MPI-SWS), Jean Pichon-Pharabod Aarhus University, Lars Birkedal Aarhus University | ||
12:20 - 13:50 | |||
12:20 90mLunch | Lunch Catering | ||
13:50 - 15:30 | |||
13:50 20mTalk | Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization OOPSLA 2024 Joseph W. Cutler University of Pennsylvania, Craig Disselkoen Amazon Web Services, Aaron Eline Amazon Web Services, Shaobo He Amazon Web Services, Kyle Headley Unaffiliated, Michael Hicks Amazon Web Services and the University of Maryland, Kesha Hietala Amazon Web Services, Lef Ioannidis University of Pennsylvania, John Kastner Amazon Web Services, Anwar Mamat University of Maryland, Darin McAdams Amazon Web Services, Matt McCutchen Unaffiliated, Neha Rungta Amazon Web Services, Emina Torlak Amazon Web Services, USA, Andrew Wells Amazon Web Services | ||
14:10 20mTalk | CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming OOPSLA 2024 Ethan Chen University of Rochester, Jiwon Chang University of Rochester, Yuhao Zhu University of Rochester | ||
14:30 20mTalk | Design and Implementation of an Aspect-Oriented C Programming Language OOPSLA 2024 Zhe Chen Nanjing University of Aeronautics and Astronautics, Yunlong Zhu Nanjing University of Aeronautics and Astronautics, Zhemin Wang Nanjing University of Aeronautics and Astronautics | ||
14:50 20mTalk | On the Expressive Power of Languages for Static Variability OOPSLA 2024 Paul Maximilian Bittner Paderborn University, Alexander Schultheiß Paderborn University, Benjamin Moosherr University of Ulm, Jeffrey Young IOHK, Leopoldo Teixeira Federal University of Pernambuco, Eric Walkingshaw Unaffiliated, Parisa Ataei Oregon State University, Thomas Thüm Paderborn University | ||
15:10 20mTalk | QuAC: Quick Attribute-Centric Type Inference for Python OOPSLA 2024 | ||
13:50 - 15:30 | |||
13:50 20mTalk | A Case for First-Class Environments OOPSLA 2024 | ||
14:10 20mTalk | Deriving Dependently-Typed OOP from First Principles OOPSLA 2024 David Binder University of Tübingen, Ingo Skupin University of Tübingen, Tim Süberkrüb Aleph Alpha, Klaus Ostermann University of Tübingen | ||
14:30 20mTalk | Multiverse Notebook: Shifting Data Scientists to Time Travelers OOPSLA 2024 Shigeyuki Sato The University of Electro-Communications, Tomoki Nakamaru The University of Tokyo, Japan DOI | ||
14:50 20mTalk | The Ultimate Conditional Syntax OOPSLA 2024 Luyu Cheng Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) | ||
15:10 20mTalk | Unifying Static and Dynamic Intermediate Languages for Accelerator Generators OOPSLA 2024 Caleb Kim Cornell University, Pai Li Cornell University, USA, Anshuman Mohan Cornell University, Andrew Butt Cornell University, Adrian Sampson Cornell University, Rachit Nigam Cornell University | ||
13:50 - 15:30 | |||
13:50 25mTalk | Talking to Objects in Natural Language: Toward Semantic Tools for Exploratory ProgrammingRemote Onward! Papers Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam | ||
14:25 25mTalk | Active DSU: Dynamic Software Updates for Active Functions Onward! Papers | ||
15:00 25mTalk | Source-level debugging of compiler-optimised code: ill-posed, but not impossible Onward! Papers | ||
13:50 - 15:30 | Types and Gradual Typing 2OOPSLA 2024 at Pasadena Chair(s): Fabian Muehlboeck Australian National University | ||
13:50 20mTalk | Degrees of Separation: A Flexible Type System for Safe Concurrency OOPSLA 2024 | ||
14:10 20mTalk | Full Iso-recursive Types OOPSLA 2024 Litao Zhou University of Hong Kong, Qianyong Wan The University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong | ||
14:30 20mTalk | Gradually Typed Languages Should Be Vigilant! OOPSLA 2024 Olek Gierczak Northeastern University, Lucy Menon Northeastern University, Christos Dimoulas Northwestern University, Amal Ahmed Northeastern University, USA | ||
14:50 20mTalk | Merging Gradual Typing OOPSLA 2024 Wenjia Ye University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Matías Toro University of Chile | ||
15:10 20mTalk | Persimmon: Nested Family Polymorphism with Extensible Variant Types OOPSLA 2024 Anastasiya Kravchuk-Kirilyuk Harvard University, Gary Feng University of Waterloo, Jonas Iskander Harvard University, Yizhou Zhang University of Waterloo, Nada Amin Harvard University DOI | ||
13:50 - 15:30 | |||
13:50 20mTalk | Automating Unrealizability Logic: Hoare-style Proof Synthesis for Infinite Sets of Programs OOPSLA 2024 Shaan Nagy University of Wisconsin-Madison, Jinwoo Kim Seoul National University, Thomas Reps University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin-Madison | ||
14:10 20mTalk | Compositionality and Observational Refinement for Linearizability with Crashes OOPSLA 2024 Arthur Oliveira Vale Yale University, Zhongye Wang Shanghai Jiao Tong University, Yixuan Chen Yale University, Peixin You Yale University, Zhong Shao Yale University | ||
14:30 20mTalk | Hypra: A Deductive Program Verifier for Hyper Hoare Logic OOPSLA 2024 | ||
14:50 20mTalk | SMT2Test: From SMT Formulas to Effective Test Cases OOPSLA 2024 | ||
15:10 20mTalk | Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration OOPSLA 2024 | ||
16:00 - 17:40 | |||
16:00 20mTalk | Crabtree: Rust API Test Synthesis Guided by Coverage and Type OOPSLA 2024 Yoshiki Takashima Carnegie Mellon University, Chanhee Cho Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Limin Jia , Corina S. Păsăreanu Carnegie Mellon University; NASA Ames | ||
16:20 20mTalk | Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models OOPSLA 2024 Ningke Li Huazhong University of Science and Technology, Yuekang Li UNSW, Yi Liu Nanyang Technological University, Ling Shi Nanyang Technological University, Kailong Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
16:40 20mTalk | Reward Augmentation in Reinforcement Learning for Testing Distributed Systems OOPSLA 2024 Andrea Borgarelli Max Planck Institute for Software Systems, Constantin Enea LIX, CNRS, Ecole Polytechnique, Rupak Majumdar MPI-SWS, Srinidhi Nagendra CNRS, Université Paris Cité, IRIF, Chennai Mathematical Institute | ||
17:00 20mTalk | Rustlantis: Randomized Differential Testing of the Rust Compiler OOPSLA 2024 | ||
17:20 20mTalk | Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification OOPSLA 2024 | ||
16:00 - 17:40 | |||
16:00 40mTalk | The Linguistics of Programming Onward! Essays Colin Gordon Drexel University | ||
16:45 40mTalk | The Hidden Program State Hurts Everyone Onward! Essays | ||
17:25 15mTalk | Onward! Conclusion Onward! Essays | ||