SPLASH 2024 (series) /
SPLASH 2024 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
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 | SLE Welcome and KeynoteSLE at IBR East Chair(s): Peter D. Mosses Delft University of Technology and Swansea University | ||
09:00 15mDay opening | SLE Welcome SLE G: Ralf Lämmel Universität Koblenz, P: Juliana Alves Pereira PUC-Rio, P: Peter D. Mosses Delft University of Technology and Swansea University | ||
09:15 75mTalk | There Is Only One Time in Software (Language) Engineering! SLE DOI File Attached | ||
09:00 - 10:30 | |||
09:00 90mKeynote | Research Methods for Designing Next-Generation Programming Systems HATRA Cyrus Omar University of Michigan | ||
09:00 - 10:30 | |||
09:00 10mDay opening | Opening Remarks VMIL | ||
09:15 30mResearch paper | Accelerate RISC-V Instruction Set Simulation by Tiered JIT Compilation VMIL Yen-Fu Chen National Cheng Kung University, Meng-Hung Chen National Cheng Kung University, Ching-Chun Huang National Cheng Kung University, Chia-Heng Tu National Cheng Kung University DOI File Attached | ||
09:45 30mResearch paper | An Analysis of Compiled Code Reusability in Dynamic Compilation VMIL Andrej Pečimúth Oracle Labs; Charles University, David Leopoldseder Oracle Labs, Petr Tuma Charles University DOI Pre-print | ||
10:15 15mExperience report | Inlined Code Generation for Smalltalk VMIL Dave Mason Toronto Metropolitan University (formerly Ryerson University), Daniel Franklin Toronto Metropolitan University File Attached | ||
09:00 - 10:30 | |||
10:15 15mDay opening | Welcome to UNSOUND UNSOUND Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) | ||
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 | Software Language Integration and CompositionSLE at IBR East Chair(s): Juliana Alves Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio) | ||
11:00 30mTalk | Cooperative Specification via Composition Control SLE DOI Pre-print | ||
11:30 30mTalk | Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels SLE Nathan Richardson University of York, Dimitris Kolovos University of York, Antonio Garcia-Dominguez University of York DOI | ||
12:00 30mTalk | Towards an In-context LLM-based Approach for Automating the Definition of Model Views SLE James Pontes Miranda IMT Atlantique, LS2N (UMR CNRS 6004), Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Gerson Sunyé Nantes Université, LS2N (UMR CNRS 6004) DOI | ||
11:00 - 12:30 | |||
11:00 30mTalk | Don’t Call Us, We’ll Call You HATRA Jan Liam Verter Faculty of Mathematics and Physics, Charles University, Tomas Petricek Charles University Link to publication | ||
11:30 30mTalk | Learner-Centered Design Criteria for Classroom Proof Assistants HATRA Link to publication | ||
12:00 30mTalk | Leroy: Library Learning for Imperative Programming Languages HATRA Abhiram Bellur University of Colorado Boulder, Razan Alghamdi University of Colorado, Boulder, Kidus Workneh University of Colorado, Boulder, Joe Izraelevitz University of Colorodo Boulder Link to publication | ||
11:00 - 12:30 | |||
11:00 60mKeynote | A tour of CPython's runtime VMIL | ||
11:00 - 12:30 | |||
11:00 30mTalk | Taming Unsoundness with Gradual Abstract Interpretation UNSOUND Gaspar Ricci University of Chile, Matías Toro University of Chile, Sebastian Erdweg JGU Mainz, Éric Tanter University of Chile | ||
11:30 30mTalk | Publishable Network Contracts in Scrapscript UNSOUND Taylor Troesh Unaffiliated | ||
11:00 - 12:30 | Types, Control-flow and trace partitioningSAS at San Gabriel Chair(s): Michele Pasqua University of Verona | ||
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 Pre-print | ||
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 Pre-print | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Software Language Design and Implementation ISLE at IBR East Chair(s): L. Thomas van Binsbergen University of Amsterdam | ||
14:00 30mTalk | Concrete Syntax Metapatterns SLE Luka Miljak Delft University of Technology, Casper Bach Poulsen Delft University of Technology, Rosilde Corvino TNO-ESI DOI | ||
14:30 30mTalk | Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis SLE Idriss Riouak Department of Computer Science, Lund University, Sweden, Niklas Fors Lund University, Jesper Öqvist Cognibotics, Görel Hedin Lund University, Christoph Reichenbach Lund University DOI Pre-print | ||
15:00 30mTalk | The Design of a Self-Compiling C Transpiler Targeting POSIX Shell SLE Laurent Huberdeau Université de Montréal, Cassandre Hamel Université de Montréal, Stefan Monnier Université de Montréal, Marc Feeley Université de Montréal DOI | ||
14:00 - 15:30 | |||
14:00 30mTalk | Surveying the Rust Verification Landscape HATRA Link to publication | ||
14:30 30mTalk | Toward a Corpus Study of the Dynamic Gradual Type HATRA Link to publication | ||
14:00 - 15:30 | |||
14:00 30mResearch paper | Smarter Contract Upgrades with Orthogonal Persistence VMIL Luc Bläser DFINITY Foundation, Claudio Russo Dfinity, Gabor Greif DFINITY, Ryan Vandersmith DFINITY Foundation, Jason Ibrahim DFINITY Foundation DOI | ||
14:30 30mResearch paper | Synthesizing Efficient Super-Instruction Sets for Ethereum Virtual Machine VMIL DOI Pre-print File Attached | ||
15:00 15mShort-paper | The Fuzion Intermediate Representation VMIL Pre-print Media Attached | ||
15:15 15mShort-paper | An Effectively Ω(c) Language and Runtime VMIL Mark Marron University of Kentucky Pre-print | ||
14:00 - 15:30 | |||
14:30 30mTalk | On Distributive Subtyping with Finitary and Infinitary Unions and Intersections UNSOUND Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) | ||
15:00 30mTalk | MeDeTy: An Unsound Object Based Encoding of Propositions as TypesOnline UNSOUND Isaac Oscar Gariano Victoria University of Wellington | ||
14:00 - 15:30 | Machine learning and Neural networksSAS at San Gabriel Chair(s): Marco Campion INRIA & École Normale Supérieure | Université PSL | ||
14:00 60mTutorial | Abstract Interpretation-Based Certification of Hyperproperties for High-Stakes Machine Learning Software SAS Caterina Urban Inria - École Normale Supérieure | ||
15:00 30mFull-paper | Robustness Verification of Multi-Label Neural Network Classifiers SAS Pre-print | ||
16:00 - 17:30 | SLE Body of Knowledge (SLEBoK)SLE at IBR East Chair(s): Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota | ||
16:00 30mTalk | DSLs in Racket: You Want It How, Now? SLE Yunjeong Lee National University of Singapore, Kiran Gopinathan National University of Singapore, Ziyi Yang National University of Singapore, Matthew Flatt University of Utah, Ilya Sergey National University of Singapore DOI | ||
16:30 30mTalk | Design of Software Representation Languages: a Historical Perspective SLE Anthony I. (Tony) Wasserman Software Methods and Tools DOI | ||
17:00 30mTalk | The Linguistic Theory Behind Blockly Languages SLE DOI | ||
16:00 - 17:30 | |||
16:00 90mMeeting | Discussion of ongoing work HATRA | ||
16:00 - 17:30 | |||
16:00 30mResearch paper | On Automating Hybrid Execution of Ahead-of-Time and Just-in-Time Compiled Code VMIL Christoph Pichler Johannes Kepler University Linz, Paley Li Oracle, Roland Schatz Oracle Labs, Hanspeter Mössenböck JKU Linz DOI Pre-print | ||
16:30 30mResearch paper | Performant Bounds Checking for 64-Bit WebAssembly VMIL DOI Pre-print | ||
17:00 30mResearch paper | Reducing Feedback Pollution VMIL Michal Stepanek Czech Technical University, Sebastián Krynski Czech Technical University in Prague, Filip Riha Czech Technical University, Filip Křikava Czech Technical University in Prague, Jan Vitek Northeastern University DOI Pre-print | ||
16:00 - 17:30 | |||
16:00 30mTalk | From FP to OOP and Back, ConsistentlyOnline UNSOUND David Binder University of Tübingen File Attached | ||
16:30 30mTalk | Java Method-Local Inner Classes are Unsound UNSOUND File Attached | ||
17:00 30mTalk | The Inexact Superclass ProblemOnline UNSOUND Bruno C. d. S. Oliveira University of Hong Kong | ||
16:00 - 17:30 | Machine Learning and Neural networksSAS at San Gabriel Chair(s): Marco Campion INRIA & École Normale Supérieure | Université PSL | ||
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 Pre-print | ||
16:30 30mShort-paper | ConstraintFlow: A DSL for Specification and Verification of Neural Network Analyses (NEAT paper) SAS Avaljot Singh UIUC, Yasmin Sarita Cornell University, Charith Mendis University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research Pre-print | ||
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 | Empirical Studies and Experience ReportsSLE at IBR East Chair(s): Benoit Combemale University of Rennes, Inria, CNRS, IRISA | ||
09:00 30mTalk | Trading Runtime for Energy Efficiency SLE Simão Cunha University of Minho, Luís Silva University of Minho, João Saraiva University of Minho, João Paulo Fernandes LIACC, Universidade do Porto, Porto, Portugal DOI | ||
09:30 30mTalk | Cloud Programming Languages and Infrastructure From Code: An Empirical Study SLE DOI | ||
10:00 30mTalk | Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages SLE Gizem Caylak KTH Royal Institute of Technology, Daniel Lundén Oracle, Viktor Senderov Institut de Biologie de l'École Normale Supérieure, David Broman KTH Royal Institute of Technology DOI | ||
09:00 - 10:30 | |||
09:00 15mDay opening | Welcome & Opening LIVE Peter van Hardenberg Ink & Switch, Geoffrey Litt Ink & Switch, Joshua Horowitz University of Washington | ||
09:15 45mKeynote | The Meaning of LIVE LIVE Jonathan Edwards Independent | ||
10:00 10mTalk | 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 Media Attached | ||
09:00 - 10:30 | Morning SessionVIVEKFEST at Pacific C Chair(s): Jens Palsberg University of California, Los Angeles (UCLA) | ||
09:00 10mTalk | Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg) VIVEKFEST Raj Barik Gitar Co., Rajiv Gupta University of California at Riverside (UCR), Jens Palsberg University of California, Los Angeles (UCLA) | ||
09:10 20mResearch paper | Scalable Small Message Aggregation on Modern Interconnects VIVEKFEST | ||
09:30 20mTalk | Michael Hind (IBM Research) VIVEKFEST | ||
09:50 20mTalk | Concurrent Collections: An Overview VIVEKFEST Kathleen Knobe Rice University, Zoran Budimlic Texas A&M University, Robert Harrison , Mohammad Mahdi Javanmard Stony Brook University, NY, USA, Louis-Noël Pouchet Colorado State University | ||
10:10 20mResearch paper | Hidden assumptions in static verification of data-race free GPU programs VIVEKFEST Tiago Cogumbreiro University of Massachusetts Boston, Julien Lange Royal Holloway, University of London | ||
09:00 - 10:30 | Welcome to PLMW!PLMW at Pasadena Chair(s): Lucas Bang Harvey Mudd College, Molly Q Feldman Oberlin College | ||
09:15 15mDay opening | Welcome to SPLASH! PLMW | ||
09:30 44mOther | Meet PLMW Ice Breaker PLMW | ||
10:15 15mTalk | SIGPLAN-M Introduction PLMW Sebastian Erdweg JGU Mainz | ||
09:00 - 10:30 | |||
09:00 60mTutorial | A New Language for Expressive, Fast, Safe, and Analyzable Authorization SAS Emina Torlak Amazon Web Services, USA | ||
10:00 30mFull-paper | On the Role of Cognizance in Responsibility SAS Pre-print | ||
11:00 - 12:30 | Software Language Design and Implementation IISLE at IBR East Chair(s): Jeff Smits Delft University of Technology | ||
11:00 30mTalk | Type Checking with Rewriting Rules SLE Dimi Racordon EPFL, LAMP DOI | ||
11:30 30mTalk | Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper) SLE Sylvan Clebsch Microsoft Azure Research, Matilda Blomqvist Uppsala University, Elias Castegren Uppsala University, Matthew Johnson Azure Research, Microsoft, Matthew J. Parkinson Microsoft Azure Research DOI | ||
12:00 30mTalk | Method Bundles (New Ideas/Vision paper) SLE DOI | ||
11:00 - 12:30 | |||
11:00 20mTalk | Subsequently: Telling stories with pictures makes programs LIVE Marcel Goethals Ink&Switch | ||
11:20 10mTalk | Code flow canvas - a generic visual programming system LIVE | ||
11:30 20mTalk | Snappets: a VR animation system based on Projective Geometric Algebra LIVE Hamish Todd Girih games | ||
11:50 20mTalk | Inkling: Sketching Dynamic Systems LIVE | ||
12:10 20mTalk | Arroost: Unblocking creation with friends LIVE Lu Wilson Tentpole | ||
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) Media Attached File Attached | ||
12:00 30mTalk | Substructural Information Flow via Polymorphism IWACO Hemant Gouni Carnegie Mellon University, Pittsburgh, Pennsylvania, United States, Jonathan Aldrich Carnegie Mellon University Media Attached File Attached | ||
11:00 - 12:30 | Pre-lunch SessionVIVEKFEST at Pacific C Chair(s): Rajiv Gupta University of California at Riverside (UCR) | ||
11:00 20mResearch paper | Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism VIVEKFEST Jun Shirako Georgia Institute of Technology, Tong Zhou Georgia Institute of Technology, Akihiro Hayashi Georgia Institute of Technology | ||
11:20 20mResearch paper | Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation VIVEKFEST | ||
11:40 10mTalk | A Few Lessons and Problems For Life; Source@Vivek Sarkar VIVEKFEST V Krishna Nandivada IIT Madras | ||
11:50 20mResearch paper | Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler VIVEKFEST John Pickar , Tohma Kawasumi , Hiroki Mikami Waseda University, Japan, Keiji Kimura Waseda University; Japan, Hironori Kasahara Waseda University, Japan | ||
12:10 20mResearch paper | A Formal Model for Portable, Heterogeneous Accelerator Programming VIVEKFEST | ||
11:00 - 12:30 | |||
11:00 90mPanel | PhD Life Panel PLMW Ruanqianqian (Lisa) Huang University of California, San Diego, Poorva Garg University of California, Los Angeles, Amanda Stjerna Uppsala university, Madhurima Chakraborty University of California, Riverside | ||
11:00 - 12:30 | Verification cost and quantitative analysisSAS at San Gabriel Chair(s): Sébastien Bardin CEA LIST, University Paris-Saclay | ||
11:00 30mFull-paper | Verification of programs with ADTs using Shallow Horn Clauses SAS Pre-print | ||
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 File Attached | ||
12: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 Pre-print | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | Analysis and OptimizationSLE at IBR East Chair(s): Nico Jansen Software Engineering, RWTH Aachen University | ||
14:00 30mTalk | Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions SLE Lars Hummelgren KTH Royal Institute of Technology, Viktor Palmkvist KTH Royal Institute of Technology, Linnea Stjerna KTH Royal Institute of Technology, Xuechun Xu KTH Royal Institute of Technology, Joakim Jalden KTH Royal Institute of Technology, David Broman KTH Royal Institute of Technology DOI | ||
14:30 30mTalk | Reducing Write Barrier Overheads for Orthogonal Persistence SLE Yilin Zhang University of Tokyo, Omkar Dilip Dhawal Indian Institute of Technology Madras, V Krishna Nandivada IIT Madras, Shigeru Chiba University of Tokyo, Tomoharu Ugawa University of Tokyo DOI | ||
15:00 30mTalk | Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript SLE Yuefeng Hu The University of Tokyo, Hiromu Ishibe The University of Tokyo, Feng Dai The University of Tokyo, Tetsuro Yamazaki University of Tokyo, Shigeru Chiba University of Tokyo DOI Pre-print | ||
14:00 - 15:30 | |||
14:00 20mTalk | Run, Build and Grow Small Systems Without Leaving Your Text Editor LIVE | ||
14:20 20mTalk | TAPE: From direct to programmatic and back LIVE Ian Clester Georgia Institute of Technology | ||
14:40 10mTalk | 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) Link to publication | ||
14:50 10mTalk | Example-driven development: bridging tests and documentation LIVE Link to publication DOI | ||
15:00 20mTalk | 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 | ||
14:00 - 15:30 | |||
14:00 60mKeynote | Visualizing and Explaining Rust's Ownership Model IWACO Will Crichton Brown University File Attached | ||
15:00 30mTalk | Ordered Types for Typestate IWACO Peter Thiemann University of Freiburg, Germany | ||
14:00 - 15:30 | |||
14:00 20mResearch paper | Learning to harness in-vitro biological neural networks VIVEKFEST | ||
14:20 10mTalk | Jason Cong (UCLA) VIVEKFEST Jason Cong UCLA | ||
14:30 20mResearch paper | Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models VIVEKFEST | ||
14:50 10mTalk | Navigating the Frontier of EDDO-Based Accelerators: Programming and Code Optimization Challenges VIVEKFEST Prasanth Chatarasi IBM Research | ||
15:00 20mResearch paper | On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud VIVEKFEST Aniruddha Mysore Georgia Institute of Technology, Youssef Elmougy Georgia Institute of Technology, USA, Akihiro Hayashi Georgia Institute of Technology | ||
15:20 5mTalk | Prof. P. Sadayappan (University of Utah) VIVEKFEST Ponnuswamy Sadayappan University of Utah | ||
15:25 5mOther | Play pre-recorded videos from ex-colleagues VIVEKFEST | ||
14:00 - 15:30 | Post-PhD & MentoringPLMW at Pasadena Chair(s): Lucas Bang Harvey Mudd College, Molly Q Feldman Oberlin College | ||
14:00 45mPanel | Post-PhD Careers & Life Panel PLMW Manu Sridharan University of California at Riverside, Ben Wiedermann Harvey Mudd College, Caterina Urban Inria - École Normale Supérieure, Samuel D. Pollard Sandia National Laboratories | ||
14:45 45mOther | Speed Mentoring Sessions PLMW | ||
14:00 - 15:30 | Quantum and system level analysisSAS at San Gabriel Chair(s): Qirun Zhang Georgia Institute of Technology | ||
14:00 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 | ||
14:30 30mFull-paper | Static Analysis of Quantum Programs SAS Nicola Assolini University of Verona, Alessandra Di Pierro University of Verona, Isabella Mastroeni University of Verona Pre-print | ||
15: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 Pre-print | ||
16:00 - 17:30 | |||
16:00 60mPanel | AI Effects on Research and Education: A Programming and Software Language Perspective SLE O: Ralf Lämmel Universität Koblenz, P: Shigeru Chiba University of Tokyo, P: Felienne Hermans Vrije Universiteit Amsterdam, P: Bernhard Rumpe RWTH Aachen University, P: João Saraiva University of Minho DOI | ||
17:00 15mAwards | Award Presentations SLE | ||
17:15 15mDay closing | SLE Closing SLE | ||
16:00 - 17:30 | |||
16:00 20mTalk | Manifold: Throwing Together Software Systems LIVE Jeff Lindsay None | ||
16:20 10mTalk | EYG a predictable, and useful, programming language LIVE Peter Saxton Unaffiliated | ||
16:30 10mTalk | DocuApps: Ampleforth Documents as Applications LIVE Gilad Bracha F5 | ||
16:40 10mTalk | ScrapSheets: Async Programs in a Reactive 2D Environment LIVE Taylor Troesh Unaffiliated | ||
16:50 20mTalk | Scoped Propagators LIVE Orion Reed Unaffiliated | ||
17:10 20mDay closing | Closing & Farewell LIVE Peter van Hardenberg Ink & Switch, Geoffrey Litt Ink & Switch, Joshua Horowitz University of Washington | ||
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 File Attached | ||
16:30 30mTalk | Data-Race Safety for the Masses IWACO Holly Borla Apple, Inc, | ||
17:00 30mTalk | Linearity, Uniqueness, Ownership: An Entente Cordiale IWACO Danielle Marshall University of Glasgow | ||
16:00 - 17:30 | |||
16:00 20mResearch paper | Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting VIVEKFEST Akihiro Hayashi Georgia Institute of Technology, Shubhendra Singhal , Youssef Elmougy Georgia Institute of Technology, USA, Jiawei Yang | ||
16:20 10mTalk | Max Grossman (Cruise) VIVEKFEST Max Grossman Rice University, USA | ||
16:30 20mResearch paper | Retrieving Unknown SMT Formulas via Structural Mutations VIVEKFEST | ||
16:50 30mTalk | Vivek Sarkar (Georgia Tech) VIVEKFEST Vivek Sarkar Georgia Institute of Technology | ||
17:20 10mTalk | Closing and proceed to "Collaborators' Toast: Drinks & Memories of Vivek's Work (6-8PM)" VIVEKFEST | ||
16:00 - 17:30 | |||
16:00 60mTalk | How to Design Talks PLMW Ranjit Jhala University of California at San Diego | ||
17:01 29mOther | What's Next? PLMW | ||
16:00 - 17:30 | Radhia Cousot Award and SAS24 Business MeetingSAS at San Gabriel Chair(s): Marco Campion INRIA & École Normale Supérieure | Université PSL, Roberto Giacobazzi University of Arizona, Alessandra Gorla IMDEA Software Institute | ||
16:00 60mMeeting | Radhia Cousot Award and 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 Pre-print | ||
09:00 - 10:30 | |||
09:00 60mKeynote | The Act of Programming in Collaborative Spaces PAINT Yoshiki Ohshima Croquet Corporation, Shizuoka University | ||
10:00 30mTalk | Advanced Game Engine Wizardry for Visual Programming Environments PAINT DOI Pre-print | ||
09:00 - 10:30 | NSAD: Session 1NSAD at Pacific B Chair(s): Vincenzo Arceri University of Parma, Italy, Michele Pasqua University of Verona | ||
09:00 5m | Opening NSAD | ||
09:05 55mKeynote | Abstract Domains for Machine Learning VerificationKeynote NSAD Caterina Urban Inria - École Normale Supérieure DOI | ||
10:00 30mFull-paper | Towards a High Level Linter for Data ScienceFull Paper NSAD Greta Dolcetti Ca’ Foscari University of Venice, Agostino Cortesi Ca’ Foscari University of Venice, Caterina Urban Inria - École Normale Supérieure, Enea Zaffanella University of Parma DOI | ||
09:00 - 10:30 | |||
09:00 10mDay opening | Welcome from Todd Millstein JENSFEST Todd Millstein University of California at Los Angeles | ||
09:10 20mKeynote | Coccinelle: Program transformation in the real world JENSFEST Julia Lawall Inria | ||
09:30 25mTalk | Lost and Found in the Fog of Trust JENSFEST | ||
09:55 25mTalk | MiniJava on RISC-V: A Game of Global Compilers Domination JENSFEST Jack Forden Marquette University, Alexander Gebhard Marquette University, Maverick Berner Marquette University, Dennis Brylow Marquette University | ||
09:00 - 10:30 | Automatising Program AnalysisSAS at San Gabriel Chair(s): Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute | ||
09:00 60mKeynote | What's Still Missing in Static Analysis? A Decade-Long Journey. 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 Pre-print | ||
09:00 - 10:30 | |||
09:00 30mDay opening | GPCE24 Opening GPCE | ||
09:30 30mTalk | Automated Generation of Code Contracts - Generative AI to the Rescue? GPCE Sandra Greiner University of Southern Denmark, Noah Bühlmann University of Bern, Manuel Ohrndorf University of Bern, Christos Tsigkanos University of Athens, Greece, Oscar Nierstrasz feenk.com, Timo Kehrer University of Bern Link to publication DOI Pre-print | ||
10:00 30mTalk | An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis GPCE | ||
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 Saeid Tizpaz-Niari University of Texas at El Paso, Shiva Darian University of Colorado Boulder, Ashutosh Trivedi University of Colorado Boulder Pre-print | ||
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 Pierre Goutagny Inria and University of Lille, Aymeric Fromherz Inria, Raphaël Monat Inria and University of Lille | ||
11:00 - 12:30 | |||
11:00 30mTalk | 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 DOI Pre-print | ||
11:30 30mTalk | 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 DOI Pre-print | ||
12:00 30mTalk | Bridging Incremental Programming and Complex Software Development Environments PAINT DOI Pre-print | ||
11:00 - 12:30 | |||
11:00 30mTalk | Full-Stack Collaboration for Robust Heterogeneity-Enabled AI Systems Doctoral Symposium Yuxin Qiu University of California at Riverside | ||
11:30 30mTalk | JMVX: Improving Record-Replay for Managed Languages Doctoral Symposium David Schwartz University of Illinois at Chicago | ||
12:00 30mTalk | Unified Analysis Techniques for Programs with Outcomes Doctoral Symposium Noam Zilberstein Cornell University | ||
11:00 - 12:30 | |||
11:00 25mTalk | Towards Verification of a Denotational Semantics of Inheritance JENSFEST Peter D. Mosses Delft University of Technology and Swansea University DOI File Attached | ||
11:25 25mTalk | Correct Compilation of Concurrent C Code JENSFEST John Bender Sandia National Laboratories | ||
11:50 25mTalk | Unboxing Virgil ADTs For Fun and Profit JENSFEST | ||
11:00 - 12:30 | Tracing bugs and flawsSAS at San Gabriel Chair(s): Aditya V. Thakur University of California at Davis | ||
11:00 60mKeynote | Measuring data lineage: when program analysis meets data science SAS Francesco Logozzo Meta | ||
12:00 30mFull-paper | Lift-offline: Instruction Lifter Generators SAS Pre-print | ||
11:00 - 12:30 | |||
11:00 30mTalk | Yin-Yang: Concealing the Deep Embedding of DSLsMost Influential Paper Award GPCE Vojin Jovanovic Oracle Labs, Amir Shaikhha University of Edinburgh, Sandro Stucki Amazon, Vladimir Nikolaev , Christoph E. Koch EPFL, Martin Odersky EPFL | ||
11:30 30mTalk | Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries GPCE Arkadii Gerasimov RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Judith Michael RWTH Aachen University, Bernhard Rumpe RWTH Aachen University | ||
12:00 30mTalk | Specializing Data Access in a Distributed File System (Generative Pearl) GPCE | ||
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 30mFull-paper | A Step-Function Abstract Domain for Granular Floating-Point Error AnalysisFull Paper NSAD DOI | ||
14:30 30mFull-paper | C-2PO: A Weakly Relational Pointer Domain: “These Are Not the Memory Cells You Are Looking For”Full Paper NSAD Rebecca Ghidini TU Munich, Julian Erhard LMU Munich; TU Munich, Michael Schwarz TU Munich, Helmut Seidl TU Munich DOI | ||
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 Ca’ Foscari University of Venice, Enea Zaffanella University of Parma, Agostino Cortesi Ca’ Foscari University of Venice DOI | ||
14:00 - 15:30 | |||
14:00 30mTalk | Static-Dynamic Information Flow Control in Rust Doctoral Symposium Vincent Beardsley Ohio State University | ||
14:30 30mTalk | Step-wise Execution of Data-Centric Systems Doctoral Symposium Chi Zhang Nanjing University | ||
15:00 30mTalk | A VM-based Approach For Power Modeling Doctoral Symposium Joseph Raskind SUNY Binghamton | ||
14:00 - 15:30 | |||
14:00 20mKeynote | Jens, the Ultimate PL Renaissance man! JENSFEST Vivek Sarkar Rice University, USA | ||
14:20 25mTalk | The Essence of the Flyweight Design Pattern JENSFEST Fernando Magno Quintão Pereira Federal University of Minas Gerais, Caio Raposo Universidade Federal de Minas Gerais | ||
14:45 25mTalk | The Normalization Barrier Revisited JENSFEST | ||
15:10 20mTalk | Input Reduction with Reduction Trees JENSFEST Christian Gram Kalhauge Technical University of Denmark | ||
14:00 - 15:30 | |||
14:00 30mFull-paper | GoGuard: Efficient Static Blocking Bug Detection for Go SAS Pre-print | ||
14:30 30mShort-paper | Should We Balance? Towards Formal Verification of the Linux Kernel Scheduler (NEAT paper) SAS Pre-print File Attached | ||
14:00 - 15:30 | Session 3 on Code OptimizationsGPCE at San Marino Chair(s): Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) | ||
14:00 30mTalk | Type-Safe Code Generation With Algebraic Effects and HandlersDistinguished Research Paper Award GPCE Kanaru Isoda University of Tsukuba, Ayato Yokoyama University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba | ||
14:30 30mTalk | Hot Call-Chain Inlining for the Glasgow Haskell Compiler GPCE | ||
15:00 30mTalk | Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers GPCE Amir Shaikhha University of Edinburgh | ||
16:00 - 17:30 | |||
16:00 60mTalk | What Programmers and Lawyers Get Wrong About Privacy Policies ProLaLa | ||
17:00 30mDay closing | The Future of ProLaLa ProLaLa | ||
16:00 - 17:30 | |||
16:00 30mShort-paper | WiP: Labeled Union-Find for Constraint FactorizationShort Paper NSAD Matthieu Lemerre Université Paris-Saclay - CEA LIST, Dorian Lesbre Université Paris-Saclay - CEA LIST | ||
16:30 30mFull-paper | Abstracting EntanglementFull Paper NSAD Nicola Assolini University of Verona, Alessandra Di Pierro University of Verona, Isabella Mastroeni University of Verona DOI | ||
17:00 10m | Closing NSAD | ||
16:00 - 17:30 | |||
16:00 65mMeeting | [Closed Session] Adjudication meeting for SIGPLAN's John Vlissides award Doctoral Symposium | ||
17:05 10mBreak | Break; free time Doctoral Symposium | ||
17:15 15mAwards | First announcement of SIGPLAN's John Vlissides award; Closing Remarks Doctoral Symposium Alexander J. Summers University of British Columbia | ||
16:00 - 17:30 | |||
16:00 20mTalk | Stories of Jens Palsberg for Fun and Profit JENSFEST V Krishna Nandivada IIT Madras | ||
16:20 20mTalk | Dennis's talk JENSFEST Dennis Brylow Marquette University | ||
16:40 10mTalk | Automated Repairs for Resource Leak Warnings JENSFEST Akshay Utture Uber Technologies Inc. | ||
16:50 25mTalk | Nested Summations JENSFEST Olivier Danvy Yale-NUS College and School of Computing, Singapore DOI File Attached | ||
17:15 15mTalk | Closing Remarks from Jens JENSFEST Jens Palsberg University of California, Los Angeles (UCLA) | ||
16:00 - 17:30 | Session 4 on Typing and Its ApplicationsGPCE at San Marino Chair(s): Jeff Smits Delft University of Technology | ||
16:00 30mTalk | Separate Compilation and Partial Linking: Modules for Datalog IR GPCE | ||
16:30 30mTalk | On the Soundness of Auto-Completion Services for Dynamically Typed Languages GPCE DOI Pre-print | ||
17:00 20mTalk | Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper) GPCE | ||
17:20 10mDay closing | GPCE24 Closing GPCE | ||
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:10 - 10:40 | |||
10:10 30mMeeting | Newcomer's coffee DEI Activities Michael Coblenz University of California, San Diego | ||
10:40 - 12:20 | Static Analysis and Program Verification 1OOPSLA 2024 at IBR East Chair(s): Di Wang Peking University | ||
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 DOI | ||
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 DOI | ||
11:20 20mTalk | FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions OOPSLA 2024 Zhengyao Lin Carnegie Mellon University, Joshua Gancher Northeastern University, Bryan Parno Carnegie Mellon University DOI | ||
11:40 20mTalk | ParDiff: Practical Static Differential Analysis of Network Protocol ParsersOOPSLA 2024 Distinguished Paper Award 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 DOI | ||
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 DOI | ||
10:40 - 12:20 | |||
10:40 15mTalk | Onward! introduction Onward! Papers File Attached | ||
10:55 25mTalk | Moldable Exceptions Onward! Papers DOI Pre-print | ||
11:25 25mTalk | Reclaiming the Unexplored in Hybrid Visual Programming Onward! Papers Michael Homer Victoria University of Wellington DOI | ||
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 DOI Pre-print | ||
10:40 - 12:20 | REBASEREBASE at Pasadena Chair(s): Filip Křikava Czech Technical University in Prague, Ben L. Titzer Carnegie Mellon University | ||
10:40 60mLive Q&A | Interview with Alan Kay REBASE | ||
11:45 35mTalk | Fil-C: memory safety with fanatical C/C++ compatibility REBASE Filip Pizlo Apple | ||
10:40 - 12:20 | |||
10:40 20mTalk | A Pure Demand Operational Semantics with Applications to Program Analysis OOPSLA 2024 Scott F. Smith The Johns Hopkins University, Robert Zhang The University of Texas at Austin, The Johns Hopkins University 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 DOI Pre-print | ||
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 DOI | ||
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 DOI | ||
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 DOI Pre-print | ||
12:20 - 13:40 | |||
12:20 80mBreak | Junior faculty lunch DEI Activities | ||
12:20 - 13:40 | |||
12:20 80mLunch | Lunch Catering | ||
12:20 - 13:40 | |||
12:20 80mLunch | SIGPLAN-M lunch DEI Activities Sebastian Erdweg JGU Mainz | ||
13:40 - 15:20 | Static Analysis and Program Verification 2OOPSLA 2024 at IBR East Chair(s): Anders Møller Aarhus University | ||
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 DOI | ||
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 DOI | ||
14:20 20mTalk | Newtonian Program Analysis of Probabilistic Programs OOPSLA 2024 DOI | ||
14:40 20mTalk | Non-Termination Proving at Scale OOPSLA 2024 Azalea Raad Imperial College London, Julien Vanegue Imperial College London; Bloomberg, Peter W. O'Hearn Lacework; University College London DOI | ||
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 DOI | ||
13:40 - 15:20 | |||
13:40 40mTalk | A Case for Feminism in Programming Language Design Onward! Essays DOI | ||
14:30 40mTalk | Dialogues on Natural Code Onward! Essays DOI | ||
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 | ||
16:00 - 17:40 | Static Analysis and Program Verification 3OOPSLA 2024 at IBR East Chair(s): Frank Tip Northeastern University | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
17:20 20mTalk | VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity ConstraintsOOPSLA 2024 Distinguished Paper Award OOPSLA 2024 Yang He Simon Fraser University, Pinhan Zhao University of Michigan, Xinyu Wang University of Michigan, Yuepeng Wang Simon Fraser University DOI Pre-print | ||
16:00 - 17:40 | Performance Analysis and Optimisation 2OOPSLA 2024 at IBR West Chair(s): Matthew Flatt University of Utah | ||
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 DOI | ||
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 DOI | ||
16: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 DOI | ||
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 DOI | ||
17:20 20mTalk | Verification of Neural Networks' Global RobustnessRemote OOPSLA 2024 DOI | ||
16:00 - 17:00 | Onward! PapersOnward! Papers at Pacific Chair(s): Stephen Kell King's College London 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 DOI | ||
16:30 25mTalk | The Meerkat Vision: Language Support for Live, Scalable, Reactive Web Apps Onward! Papers DOI | ||
16:00 - 17:40 | |||
16:00 30mTalk | Verse - a new functional logic language REBASE Lennart Augustsson Epic Games | ||
16:35 60mPanel | JavaScript virtual machine evolution REBASE Manuel Serrano Inria; Université Côte d’Azur, Shu-yu Guo Google, Saam Barati Epic Games, Matthew Gaudet Mozilla | ||
16:00 - 17:40 | Formal Methods 2OOPSLA 2024 at San Gabriel Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder & Amazon | ||
16:00 20mTalk | A Constraint Solving Approach to Parikh Images of Regular Languages OOPSLA 2024 DOI | ||
16:20 20mTalk | Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing OOPSLA 2024 Wenjia Ye National University of Singapore, Yaozhu Sun University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong DOI | ||
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 DOI Pre-print | ||
17:00 20mTalk | Message-Observing Sessions OOPSLA 2024 DOI | ||
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 DOI | ||
17:00 - 17:40 | Onward! EssaysOnward! Essays at Pacific Chair(s): Stephen Kell King's College London 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 DOI | ||
17:40 - 19:40 | |||
17:40 2hDinner | Reception Catering | ||
20:00 - 22:00 | Women@SPLASH dinnerDEI Activities The dinner will be at Anaya’s Restaurant, 630 E Colorado Blvd, Pasadena, CA 91101. | ||
20:00 2hDinner | Women@SPLASH dinner DEI Activities | ||
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 DOI | ||
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 DOI | ||
11:20 20mTalk | Making Formulog Fast: An Argument for Unconventional Datalog EvaluationOOPSLA 2024 Distinguished Artifact Award OOPSLA 2024 Aaron Bembenek University of Melbourne, Michael Greenberg Stevens Institute of Technology, Stephen Chong Harvard University DOI Pre-print | ||
11:40 20mTalk | Object-Oriented Fixpoint Programming with Datalog OOPSLA 2024 DOI | ||
12:00 20mTalk | Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks OOPSLA 2024 DOI | ||
10:40 - 12:20 | |||
10:40 40mTalk | tl;dr: Chill, y’all – AI will not devour SE Onward! Essays DOI | ||
11:30 40mTalk | A New Cognitive Perspective on Simplicity in System and Product Design Onward! Essays Stefan Lesser None DOI | ||
10:40 - 12:20 | |||
10:40 20mTalk | Gender Differences in Story, Game and Visual Adventures in Hedy SPLASH-E Shirley de Wit Delft University of Technology, Felienne Hermans Vrije Universiteit Amsterdam, Marcus Specht Delft University of Technology, Efthimia Aivaloglou Delft University of Technology | ||
11:00 20mTalk | Roles of Variables in the Hedy programming language SPLASH-E Julia Vanwijnsberghe-Bolt Vrije Universiteit Amsterdam, Felienne Hermans Vrije Universiteit Amsterdam | ||
11:20 20mBreak | SPLASH-E Break SPLASH-E | ||
11:40 20mTalk | Using Computation Graphs to Explain Nondeterminism to Students SPLASH-E | ||
12:00 20mTalk | Visualizing Composed Turing Machines SPLASH-E | ||
10:40 - 12:20 | Compilers and Optimisation 1OOPSLA 2024 at San Gabriel Chair(s): Emery D. Berger University of Massachusetts Amherst | ||
10:40 20mTalk | Compilation of Shape Operators on Sparse Arrays OOPSLA 2024 Alexander J Root Stanford University, Bobby Yan Stanford University, Peiming Liu Google Inc, Christophe Gyurgyik Stanford University, Aart Bik Google, Inc., Fredrik Kjolstad Stanford University DOI Pre-print | ||
11:00 20mTalk | Compiler Support for Sparse Tensor Convolutions OOPSLA 2024 Peiming Liu Google Inc, Alexander J Root Stanford University, Anlun Xu Google, Yinying Li Google, Fredrik Kjolstad Stanford University, Aart Bik Google, Inc. DOI | ||
11:20 20mTalk | Compiling Recurrences over Dense and Sparse Arrays OOPSLA 2024 Shiv Sundram Stanford University, Muhammad Usman Tariq Stanford University, Fredrik Kjolstad Stanford University DOI | ||
11:40 20mTalk | Fully Verified Instruction Scheduling OOPSLA 2024 Ziteng Yang Georgia Institute of Technology, Jun Shirako Georgia Institute of Technology, Vivek Sarkar Georgia Institute of Technology DOI Pre-print | ||
12:00 20mTalk | Homeostasis: Design and Implementation of a Self-Stabilizing Compiler (TOPLAS) OOPSLA 2024 Link to publication | ||
12:20 - 13:40 | |||
12:20 80mLunch | Lunch Catering | ||
12:20 - 13:40 | |||
12:20 80mLunch | LGBTQ+ lunch DEI Activities | ||
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 DOI | ||
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 DOI | ||
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 DOI 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 DOI | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
15:00 20mTalk | Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials OOPSLA 2024 DOI | ||
13:40 - 15:20 | |||
13:40 40mTalk | Use Site Checking Considered Harmful Onward! Essays DOI | ||
14:30 40mTalk | (Programs), Proofs and Refutations (and Tests and Mutants)Remote Onward! Essays Alex Groce Northern Arizona University DOI | ||
13:40 - 15:20 | Interactive Syllabus Workshop and Natural LanguageSPLASH-E at Pasadena Chair(s): Rose Bohrer Worcester Polytechnic Institute | ||
13:40 60mOther | Interactive Syllabus Workshop SPLASH-E | ||
14:40 20mTalk | Programming Smart Objects: How Young Learners’ Programming Skills, Attitudes, and Perception Are Influenced SPLASH-E Mazyar Seraj Eindhoven University of Technology, Mauricio Verano Merino Vrije Universiteit Amsterdam, Ebrahim Rahimi Open University, the Netherlands, Lina Ochoa Eindhoven University of Technology DOI Pre-print | ||
15:00 20mTalk | A Word About Programming: Applying a Natural Language Vocabulary Acquisition Model to Programming Education SPLASH-E | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
17:00 20mTalk | Verified Lock-Free Session Channels with Linking OOPSLA 2024 DOI | ||
17:20 20mTalk | Scenario-based Proofs for Concurrent ObjectsRemote OOPSLA 2024 DOI | ||
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 DOI | ||
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 DOI | ||
16:40 20mTalk | Refinement Type Refutations OOPSLA 2024 Robin Webbers Vrije Universiteit Amsterdam, Klaus von Gleissenthall Vrije Universiteit Amsterdam, Ranjit Jhala UCSD DOI | ||
17:00 20mTalk | Type Inference Logics OOPSLA 2024 DOI | ||
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 DOI | ||
16:30 25mTalk | Scimitar: Functional Programs as Optimization Problems Onward! Papers DOI | ||
17:00 25mTalk | Software Engineering Methods For AI-Driven Deductive Legal Reasoning Onward! Papers Rohan Padhye Carnegie Mellon University DOI Pre-print | ||
16:00 - 17:40 | |||
16:00 20mTalk | ASSIST: Automated Feedback Generation for Syntax and Logical Errors in Programming Exercises SPLASH-E | ||
16:20 20mTalk | An Observational Study of Undergraduate Teaching Assistants' use of Subgoal Learning Integrated in an Introductory Programming Course SPLASH-E Olivier Goletti ICTEAM, UCLouvain, Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium, Felienne Hermans Vrije Universiteit Amsterdam DOI Pre-print | ||
16:40 20mTalk | Judicious: API Documentation for Novices SPLASH-E | ||
17:00 20mTalk | Mocking Temporal Logic SPLASH-E Colin Gordon Drexel University | ||
17:20 20mDay closing | Closing Remarks SPLASH-E | ||
16:00 - 17:40 | Probabilistic Programming and Analysis 1OOPSLA 2024 at San Gabriel Chair(s): Di Wang Peking University | ||
16:00 20mTalk | A modal type-theory of expected cost in higher-order probabilistic programsRemote OOPSLA 2024 Vineet Rajani University of Kent, Gilles Barthe MPI-SP; IMDEA Software Institute, Deepak Garg MPI-SWS DOI | ||
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 DOI | ||
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 DOI | ||
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é DOI | ||
17:20 20mTalk | Learning Abstraction Selection for Bayesian Program Analysis OOPSLA 2024 DOI Pre-print | ||
17:40 - 19:40 | |||
17:45 15mPoster | Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities Student Research Competition | ||
18:00 15mPoster | A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines Student Research Competition Youwei Zhong Shanghai Jiao Tong University | ||
18:15 15mPoster | Design of Fractional Permissions for a Gradual Verifier Student Research Competition | ||
18:30 15mPoster | Understanding Program Visualizations in the Wild Student Research Competition | ||
18:45 15mPoster | Automatic Local Inverse Calculation for Change of Variables Student Research Competition | ||
19:00 15mPoster | Towards a Formal Approach to the Analysis of Human-Machine Interaction Student Research Competition Leyi Cui Columbia University, New York | ||
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 | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | URM Coffee DEI Activities | ||
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 DOI | ||
11:20 20mTalk | Quantum Probabilistic Model Checking for Time-Bounded Properties OOPSLA 2024 Seungmin Jeon KAIST, Kyeongmin Cho KAIST, Chan Gu Kang Korea University, Janggun Lee KAIST, Hakjoo Oh Korea University, Jeehoon Kang KAIST DOI | ||
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 DOI | ||
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 DOI | ||
11:00 - 12:20 | Static Analysis and Program Verification 4OOPSLA 2024 at IBR West Chair(s): Anders Møller Aarhus University | ||
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 DOI 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 DOI | ||
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 DOI | ||
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 DOI | ||
11:00 - 12:20 | |||
11:00 40mTalk | Redressing the balance: a yin-yang perspective on information technologyRemote Onward! Essays Konrad Hinsen CNRS DOI | ||
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 DOI | ||
11:00 - 12:20 | Probabilistic Programming and Analysis 2OOPSLA 2024 at Pasadena Chair(s): Xin Zhang Peking University | ||
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 DOI | ||
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 DOI | ||
11:40 20mTalk | Sensitivity by ParametricityOOPSLA 2024 Distinguished Artifact Award 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 DOI | ||
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 DOI Pre-print | ||
12:20 - 13:50 | |||
12:20 90mKeynote | SIGPLAN Milner Award Talk Keynotes Armando Solar-Lezama Massachusetts Institute of Technology | ||
12:20 - 13:50 | |||
12:20 90mLunch | Awards 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 DOI | ||
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 DOI | ||
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 DOI | ||
14:50 20mTalk | On the Expressive Power of Languages for Static VariabilityOOPSLA 2024 Distinguished Artifact Award 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 Link to publication DOI Pre-print Media Attached | ||
15:10 20mTalk | QuAC: Quick Attribute-Centric Type Inference for Python OOPSLA 2024 DOI Pre-print | ||
13:50 - 15:30 | Novel Programming Concepts and ParadigmsOOPSLA 2024 at IBR West Chair(s): Tobias Wrigstad Uppsala University | ||
13:50 20mTalk | A Case for First-Class Environments OOPSLA 2024 DOI | ||
14:10 20mTalk | Deriving Dependently-Typed OOP from First PrinciplesOOPSLA 2024 Distinguished Artifact Award 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 DOI | ||
14:30 20mTalk | Multiverse Notebook: Shifting Data Scientists to Time Travelers OOPSLA 2024 DOI | ||
14:50 20mTalk | The Ultimate Conditional SyntaxOOPSLA 2024 Distinguished Paper Award OOPSLA 2024 Luyu Cheng Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology) DOI | ||
15:10 20mTalk | Unifying Static and Dynamic Intermediate Languages for Accelerator Generators OOPSLA 2024 Caleb Kim Massachusetts Institute of Technology (MIT), Pai Li Cornell University, USA, Anshuman Mohan Cornell University, Andrew Butt Cornell University, Adrian Sampson Cornell University, Rachit Nigam Massachusetts Institute of Technology DOI | ||
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 DOI Media Attached File Attached | ||
14:25 25mTalk | Active DSU: Dynamic Software Updates for Active Functions Onward! Papers DOI | ||
15:00 25mTalk | Source-level debugging of compiler-optimised code: ill-posed, but not impossible Onward! Papers DOI | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
14:50 20mTalk | Merging Gradual Typing OOPSLA 2024 Wenjia Ye National University of Singapore, Bruno C. d. S. Oliveira University of Hong Kong, Matías Toro University of Chile DOI | ||
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 | Program Synthesis and Verification 2OOPSLA 2024 at San Gabriel Chair(s): Tony Hosking Australian National University | ||
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 DOI | ||
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 DOI | ||
14:30 20mTalk | Hypra: A Deductive Program Verifier for Hyper Hoare Logic OOPSLA 2024 DOI | ||
14:50 20mTalk | SMT2Test: From SMT Formulas to Effective Test Cases OOPSLA 2024 DOI | ||
15:10 20mTalk | Validating SMT Solvers for Correctness and Performance via Grammar-based Enumeration OOPSLA 2024 DOI | ||
16:00 - 17:40 | Testing Everything, Everywhere, All At OnceOOPSLA 2024 at IBR East Chair(s): Alex Potanin Australian National University | ||
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 DOI | ||
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 DOI | ||
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 DOI | ||
17:00 20mTalk | Rustlantis: Randomized Differential Testing of the Rust Compiler OOPSLA 2024 DOI | ||
17:20 20mTalk | Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification OOPSLA 2024 DOI | ||
16:00 - 17:40 | |||
16:00 40mTalk | The Linguistics of Programming Onward! Essays Colin Gordon Drexel University DOI | ||
16:45 40mTalk | The Hidden Program State Hurts Everyone Onward! Essays DOI | ||
17:25 15mTalk | Onward! Conclusion Onward! Essays File Attached | ||
16:00 - 17:40 | |||
16:00 20mTalk | Effect handlers for C via coroutines OOPSLA 2024 Mario Alvarez-Picallo Huawei Research Centre, Teodoro Freund Huawei Research Centre, Dan Ghica Huawei, Sam Lindley The University of Edinburgh DOI | ||
16:20 20mTalk | Effects and Coeffects in Call-By-Push-Value OOPSLA 2024 Cassia Torczon University of Pennsylvania, Emmanuel Suarez Acevedo Cornell University, Shubh Agrawal University of Michigan, Joey Velez-Ginorio , Stephanie Weirich University of Pennsylvania DOI | ||
16:40 20mTalk | Lexical Effect Handlers, Directly OOPSLA 2024 Cong Ma University of Waterloo, Zhaoyi Ge University of Waterloo, Edward Lee University of Waterloo, Yizhou Zhang University of Waterloo DOI | ||
17:00 20mTalk | Higher-Order Model Checking of Effect-Handling Programs with Answer-Type ModificationRemote OOPSLA 2024 DOI | ||