IBR East - UNSOUND 2024

VenueHilton Pasadena

Room nameIBR East

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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 15m Day 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 75m Talk		There Is Only One Time in Software (Language) Engineering! SLE K: Benoit Combemale University of Rennes, Inria, CNRS, IRISA DOI File Attached

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 30m Talk		Cooperative Specification via Composition Control SLE Christopher Esterhuyse University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam DOI Pre-print
11:30 30m Talk		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 30m Talk		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

14:00 - 15:30	Software Language Design and Implementation ISLE at IBR East Chair(s): L. Thomas van Binsbergen University of Amsterdam

14:00 30m Talk		Concrete Syntax Metapatterns SLE Luka Miljak Delft University of Technology, Casper Bach Poulsen Delft University of Technology, Rosilde Corvino TNO-ESI DOI
14:30 30m Talk		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 30m Talk		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

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 30m Talk		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 30m Talk		Design of Software Representation Languages: a Historical Perspective SLE Anthony I. (Tony) Wasserman Software Methods and Tools DOI
17:00 30m Talk		The Linguistic Theory Behind Blockly Languages SLE Friedrich Steimann Fernuniversität in Hagen, Robin Stunic Fernuniversität in Hagen DOI

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 30m Talk		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 30m Talk		Cloud Programming Languages and Infrastructure From Code: An Empirical Study SLE Georg Simhandl University of Vienna, Uwe Zdun University of Vienna DOI
10:00 30m Talk		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

11:00 - 12:30	Software Language Design and Implementation IISLE at IBR East Chair(s): Jeff Smits Delft University of Technology

11:00 30m Talk		Type Checking with Rewriting Rules SLE Dimi Racordon EPFL, LAMP DOI
11:30 30m Talk		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 30m Talk		Method Bundles (New Ideas/Vision paper) SLE Dimi Racordon EPFL, LAMP, Dave Abrahams Adobe DOI

14:00 - 15:30	Analysis and OptimizationSLE at IBR East Chair(s): Nico Jansen Software Engineering, RWTH Aachen University

14:00 30m Talk		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 30m Talk		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 30m Talk		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

16:00 - 17:30	Panel Discussion and AwardsSLE at IBR East Chair(s): Ralf Lämmel Universität Koblenz

16:00 60m Panel		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 15m Awards		Award Presentations SLE
17:15 15m Day closing		SLE Closing SLE

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

09:00 - 10:30	Keynote and IcebreakerProLaLa at IBR East

09:00 45m Keynote		A Conversation with Matthew Butterick ProLaLa James Grimmelmann Cornell University
09:45 45m Other		Attendee Bingo and Scavenger Hunt ProLaLa Emma Tosch Northeastern University, USA Pre-print

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 20m Talk		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 10m Talk		Large Language Models for Executable Tax Code Generation ProLaLa Sam Estep Carnegie Mellon University, Vasudev Vikram Carnegie Mellon University
11:45 20m Talk		Cross-Disciplinarity in Contemporary Code-Driven Legal Informatics ProLaLa Paulus Meessen
12:05 10m Talk		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

14:00 - 15:30	Tutorial and Fostering Collaboration ActivityProLaLa at IBR East

14:00 60m Tutorial		Challenges and Idiosyncrasies of Managing Legal Citations ProLaLa Charles Duan
15:00 30m Other		Fostering Collaboration ProLaLa

16:00 - 17:30	Workshop and Closing RemarksProLaLa at IBR East

16:00 60m Talk		What Programmers and Lawyers Get Wrong About Privacy Policies ProLaLa Tiffany Li , Laurin Weissinger
17:00 30m Day closing		The Future of ProLaLa ProLaLa

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:40 - 12:20	Static Analysis and Program Verification 1SPLASH OOPSLA at IBR East Chair(s): Di Wang Peking University

10:40 20m Talk		Cocoon: Static Information Flow Control in Rust SPLASH OOPSLA 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 20m Talk		Computing Precise Control Interface Specifications SPLASH OOPSLA Eric Campbell Cornell University, Hossein Hojjat Tehran Institute for Advanced Studies (TeIAS), Nate Foster Cornell University and Jane Street DOI
11:20 20m Talk		FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions SPLASH OOPSLA Zhengyao Lin Carnegie Mellon University, Joshua Gancher Northeastern University, Bryan Parno Carnegie Mellon University DOI
11:40 20m Talk		ParDiff: Practical Static Differential Analysis of Network Protocol ParsersOOPSLA 2024 Distinguished Paper Award SPLASH OOPSLA 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 20m Talk		Sound and partially-complete static analysis of data-races in GPU programs SPLASH OOPSLA Dennis Liew University of Massachusetts Boston, Tiago Cogumbreiro University of Massachusetts Boston, Julien Lange Royal Holloway, University of London DOI

13:40 - 15:20	Static Analysis and Program Verification 2SPLASH OOPSLA at IBR East Chair(s): Anders Møller Aarhus University

13:40 20m Talk		HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing SPLASH OOPSLA 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 20m Talk		MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang SPLASH OOPSLA 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 20m Talk		Newtonian Program Analysis of Probabilistic Programs SPLASH OOPSLA Di Wang Peking University, Thomas Reps University of Wisconsin-Madison DOI
14:40 20m Talk		Non-Termination Proving at Scale SPLASH OOPSLA Azalea Raad Imperial College London, Julien Vanegue Imperial College London; Bloomberg, Peter W. O'Hearn Lacework; University College London DOI
15:00 20m Talk		Quantum Control Machine: The Limits of Control Flow in Quantum Programming SPLASH OOPSLA Charles Yuan Massachusetts Institute of Technology, Agnes Villanyi MIT CSAIL, Michael Carbin Massachusetts Institute of Technology DOI

16:00 - 17:40	Static Analysis and Program Verification 3SPLASH OOPSLA at IBR East Chair(s): Frank Tip Northeastern University

16:00 20m Talk		Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach SPLASH OOPSLA 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 20m Talk		PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis SPLASH OOPSLA Zhaoyu Wang HKUST, Pingchuan Ma HKUST, Huaijin Wang , Shuai Wang Hong Kong University of Science and Technology DOI
16:40 20m Talk		Semantic-Type-Guided Bug Finding SPLASH OOPSLA 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 20m Talk		Seneca: Taint-Based Call Graph Construction for Java Object Deserialization SPLASH OOPSLA Joanna C. S. Santos University of Notre Dame, Mehdi Mirakhorli Rochester Institute of Technology, Ali Shokri Virginia Tech DOI
17:20 20m Talk		VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity ConstraintsOOPSLA 2024 Distinguished Paper Award SPLASH OOPSLA Yang He Simon Fraser University, Pinhan Zhao University of Michigan, Xinyu Wang University of Michigan, Yuepeng Wang Simon Fraser University DOI Pre-print

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:40 - 12:20	Software EngineeringSPLASH OOPSLA at IBR East Chair(s): Michael Coblenz University of California, San Diego

10:40 20m Talk		AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects SPLASH OOPSLA Wolf Honore Yale University, Longfei Qiu Yale University, Yoonseung Kim Yale University, Ji-Yong Shin Northeastern University, Jieung Kim Yonsei University, Zhong Shao Yale University DOI
11:00 20m Talk		Dependency-aware Code NaturalnessRemote SPLASH OOPSLA Chen Yang Tianjin University, Junjie Chen Tianjin University, Jiajun Jiang Tianjin University, Yuliang Huang College of Intelligence and Computing, Tianjin University DOI
11:20 20m Talk		Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability SPLASH OOPSLA Pei Xu University of Technology Sydney / UNSW Sydney, Yuxiang Lei UNSW Sydney, Yulei Sui UNSW, Jingling Xue UNSW Sydney DOI
11:40 20m Talk		Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks SPLASH OOPSLA Doehyun Baek KAIST, Jakob Getz University of Stuttgart, Yusung Sim KAIST, Daniel Lehmann Google, Germany, Ben L. Titzer Carnegie Mellon University, Sukyoung Ryu KAIST, Michael Pradel University of Stuttgart DOI
12:00 20m Talk		When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems SPLASH OOPSLA Georgios-Petros Drosos ETH Zurich, Thodoris Sotiropoulos ETH Zurich, Georgios Alexopoulos University of Athens, Dimitris Mitropoulos University of Athens, Zhendong Su ETH Zurich DOI

13:40 - 15:20	Machine Learning and Programming LanguagesSPLASH OOPSLA at IBR East Chair(s): Loris D'Antoni UCSD

13:40 20m Talk		CYCLE: Learning to Self-Refine the Code Generation SPLASH OOPSLA 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 20m Talk		Evaluating the effectiveness of Deep Learning Models for Foundational Program Analysis Tasks SPLASH OOPSLA 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 20m Talk		Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs SPLASH OOPSLA 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 20m Talk		Statically Contextualizing Large Language Models with Typed Holes SPLASH OOPSLA 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 20m Talk		WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models SPLASH OOPSLA 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

16:00 - 17:40	ConcurrencySPLASH OOPSLA at IBR East Chair(s): Alex Potanin Australian National University

16:00 20m Talk		Concurrent Data Structures Made Easy SPLASH OOPSLA 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 20m Talk		Automated Verification of Parametric Channel-Based Process Communication SPLASH OOPSLA Georgian-Vlad Saioc Aarhus University, Julien Lange Royal Holloway, University of London, Anders Møller Aarhus University DOI
16:40 20m Talk		Automated Robustness Verification of Concurrent Data Structure Libraries Against Relaxed Memory Models SPLASH OOPSLA Kartik Nagar IIT Madras, Anmol Sahoo Purdue University, Romit Roy Chowdhury Chennai Mathematical Institute, Suresh Jagannathan Purdue University DOI
17:00 20m Talk		Verified Lock-Free Session Channels with Linking SPLASH OOPSLA Thomas Somers Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen DOI
17:20 20m Talk		Scenario-based Proofs for Concurrent ObjectsRemote SPLASH OOPSLA Constantin Enea LIX, CNRS, Ecole Polytechnique, Eric Koskinen Stevens Institute of Technology DOI

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change

11:00 - 12:20	Quantum ComputingSPLASH OOPSLA at IBR East Chair(s): Liyi Li Iowa State University

11:00 20m Talk		Modular Synthesis of Efficient Quantum Uncomputation SPLASH OOPSLA Hristo Venev INSAIT, Sofia University "St. Kliment Ohridski", Timon Gehr ETH Zurich, Dimitar Dimitrov INSAIT, Sofia University, Martin Vechev ETH Zurich DOI
11:20 20m Talk		Quantum Probabilistic Model Checking for Time-Bounded Properties SPLASH OOPSLA Seungmin Jeon KAIST, Kyeongmin Cho KAIST, Chan Gu Kang Korea University, Janggun Lee KAIST, Hakjoo Oh Korea University, Jeehoon Kang KAIST DOI
11:40 20m Talk		Quarl: A Learning-Based Quantum Circuit Optimizer SPLASH OOPSLA 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 20m Talk		Synthetiq: Fast and Versatile Quantum Circuit Synthesis SPLASH OOPSLA Anouk Paradis ETH Zurich, Jasper Dekoninck ETH Zurich, Benjamin Bichsel ETH Zurich, Switzerland, Martin Vechev ETH Zurich DOI

13:50 - 15:30	Language-Specific ResearchSPLASH OOPSLA at IBR East Chair(s): Matthew Flatt University of Utah

13:50 20m Talk		Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization SPLASH OOPSLA 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 20m Talk		CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming SPLASH OOPSLA Ethan Chen University of Rochester, Jiwon Chang University of Rochester, Yuhao Zhu University of Rochester DOI
14:30 20m Talk		Design and Implementation of an Aspect-Oriented C Programming Language SPLASH OOPSLA 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 20m Talk		On the Expressive Power of Languages for Static VariabilityOOPSLA 2024 Distinguished Artifact Award SPLASH OOPSLA 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 20m Talk		QuAC: Quick Attribute-Centric Type Inference for Python SPLASH OOPSLA Jifeng Wu The University of British Columbia, Caroline Lemieux University of British Columbia DOI Pre-print

16:00 - 17:40	Testing Everything, Everywhere, All At OnceSPLASH OOPSLA at IBR East Chair(s): Alex Potanin Australian National University

16:00 20m Talk		Crabtree: Rust API Test Synthesis Guided by Coverage and Type SPLASH OOPSLA 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 20m Talk		Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detection in Large Language Models SPLASH OOPSLA 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 20m Talk		Reward Augmentation in Reinforcement Learning for Testing Distributed Systems SPLASH OOPSLA 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 20m Talk		Rustlantis: Randomized Differential Testing of the Rust Compiler SPLASH OOPSLA Qian (Andy) Wang ETH Zurich and Imperial College London, Ralf Jung ETH Zurich DOI
17:20 20m Talk		Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification SPLASH OOPSLA Chan Gu Kang Korea University, Joonghoon Lee Korea University, Hakjoo Oh Korea University DOI

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
IBR East	SLE SLE Welcome and Keynote																								SLE Software Language Integration and Composition																																				SLE Software Language Design and Implementation I																								SLE SLE Body of Knowledge (SLEBoK)

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
IBR East	SLE Empirical Studies and Experience Reports																								SLE Software Language Design and Implementation II																																				SLE Analysis and Optimization																								SLE Panel Discussion and Awards

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
IBR East	ProLaLa Keynote and Icebreaker																								ProLaLa Author Presentations with Discussants																																				ProLaLa Tutorial and Fostering Collaboration Activity																								ProLaLa Workshop and Closing Remarks

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
IBR East									SPLASH OOPSLA Static Analysis and Program Verification 1																																				SPLASH OOPSLA Static Analysis and Program Verification 2																												SPLASH OOPSLA Static Analysis and Program Verification 3

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
IBR East									SPLASH OOPSLA Software Engineering																																				SPLASH OOPSLA Machine Learning and Programming Languages																												SPLASH OOPSLA Concurrency

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
IBR East	SPLASH OOPSLA Quantum Computing																																		SPLASH OOPSLA Language-Specific Research																										SPLASH OOPSLA Testing Everything, Everywhere, All At Once

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
IBR East	SLE SLE Welcome 09:00 - 09:15			SLE There Is Only One Time in Software (Language) Engineering! 09:15 - 10:30																					SLE Cooperative Specification via Composition Control 11:00 - 11:30						SLE Aconite: Towards Generating Sirius-Based Graphical Editors from Annotat ... 11:30 - 12:00						SLE Towards an In-context LLM-based Approach for Automating the Definition ... 12:00 - 12:30																								SLE Concrete Syntax Metapatterns 14:00 - 14:30						SLE Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis 14:30 - 15:00						SLE The Design of a Self-Compiling C Transpiler Targeting POSIX Shell 15:00 - 15:30												SLE DSLs in Racket: You Want It How, Now? 16:00 - 16:30						SLE Design of Software Representation Languages: a Historical Perspective 16:30 - 17:00						SLE The Linguistic Theory Behind Blockly Languages 17:00 - 17:30

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
IBR East	SLE Trading Runtime for Energy Efficiency 09:00 - 09:30						SLE Cloud Programming Languages and Infrastructure From Code: An Empirical ... 09:30 - 10:00						SLE Statically and Dynamically Delayed Sampling for Typed Probabilistic Pro ... 10:00 - 10:30												SLE Type Checking with Rewriting Rules 11:00 - 11:30						SLE Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper) 11:30 - 12:00						SLE Method Bundles (New Ideas/Vision paper) 12:00 - 12:30																								SLE Trellis: A Domain-Specific Language for Hidden Markov Models with Spars ... 14:00 - 14:30						SLE Reducing Write Barrier Overheads for Orthogonal Persistence 14:30 - 15:00						SLE Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Reg ... 15:00 - 15:30												SLE AI Effects on Research and Education: A Programming and Software Langua ... 16:00 - 17:00												SLE Award Presentations 17:00 - 17:15			SLE SLE Closing 17:15 - 17:30

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
IBR East	ProLaLa A Conversation with Matthew Butterick 09:00 - 09:45									ProLaLa Attendee Bingo and Scavenger Hunt 09:45 - 10:30															ProLaLa Metamorphic Debugging for Accountable Software 11:00 - 11:20				ProLaLa Large Language Models for Executable Tax Code Generation 11:20 - 11:30					ProLaLa Cross-Disciplinarity in Contemporary Code-Driven Legal Informatics 11:45 - 12:05				ProLaLa CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution 12:05 - 12:15																							ProLaLa Challenges and Idiosyncrasies of Managing Legal Citations 14:00 - 15:00												ProLaLa Fostering Collaboration 15:00 - 15:30												ProLaLa What Programmers and Lawyers Get Wrong About Privacy Policies 16:00 - 17:00												ProLaLa The Future of ProLaLa 17:00 - 17:30

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
IBR East									SPLASH OOPSLA Cocoon: Static Information Flow Control in Rust 10:40 - 11:00				SPLASH OOPSLA Computing Precise Control Interface Specifications 11:00 - 11:20				SPLASH OOPSLA FlowCert: Translation Validation for Asynchronous Dataflow Programs via ... 11:20 - 11:40				SPLASH OOPSLAOOPSLA 2024 Distinguished Paper Award ParDiff: Practical Static Differential Analysis of Network Protocol Parsers 11:40 - 12:00				SPLASH OOPSLA Sound and partially-complete static analysis of data-races in GPU programs 12:00 - 12:20																				SPLASH OOPSLA HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware ... 13:40 - 14:00				SPLASH OOPSLA MEA2: a Lightweight Field-Sensitive Escape Analysis with Points-to Calc ... 14:00 - 14:20				SPLASH OOPSLA Newtonian Program Analysis of Probabilistic Programs 14:20 - 14:40				SPLASH OOPSLA Non-Termination Proving at Scale 14:40 - 15:00				SPLASH OOPSLA Quantum Control Machine: The Limits of Control Flow in Quantum Programming 15:00 - 15:20												SPLASH OOPSLA Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrate ... 16:00 - 16:20				SPLASH OOPSLA PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis 16:20 - 16:40				SPLASH OOPSLA Semantic-Type-Guided Bug Finding 16:40 - 17:00				SPLASH OOPSLA Seneca: Taint-Based Call Graph Construction for Java Object Deserialization 17:00 - 17:20				SPLASH OOPSLAOOPSLA 2024 Distinguished Paper Award VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with ... 17:20 - 17:40

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
IBR East									SPLASH OOPSLA AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed O ... 10:40 - 11:00				SPLASH OOPSLARemote Dependency-aware Code Naturalness 11:00 - 11:20				SPLASH OOPSLA Iterative-Epoch Online Cycle Elimination for Context-Free Language Reac ... 11:20 - 11:40				SPLASH OOPSLA Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly ... 11:40 - 12:00				SPLASH OOPSLA When Your Infrastructure is a Buggy Program: Understanding Faults in In ... 12:00 - 12:20																				SPLASH OOPSLA CYCLE: Learning to Self-Refine the Code Generation 13:40 - 14:00				SPLASH OOPSLA Evaluating the effectiveness of Deep Learning Models for Foundational P ... 14:00 - 14:20				SPLASH OOPSLA Knowledge Transfer from High-Resource to Low-Resource Programming Langu ... 14:20 - 14:40				SPLASH OOPSLA Statically Contextualizing Large Language Models with Typed Holes 14:40 - 15:00				SPLASH OOPSLA WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models 15:00 - 15:20												SPLASH OOPSLA Concurrent Data Structures Made Easy 16:00 - 16:20				SPLASH OOPSLA Automated Verification of Parametric Channel-Based Process Communication 16:20 - 16:40				SPLASH OOPSLA Automated Robustness Verification of Concurrent Data Structure Librarie ... 16:40 - 17:00				SPLASH OOPSLA Verified Lock-Free Session Channels with Linking 17:00 - 17:20				SPLASH OOPSLARemote Scenario-based Proofs for Concurrent Objects 17:20 - 17:40

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
IBR East	SPLASH OOPSLA Modular Synthesis of Efficient Quantum Uncomputation 11:00 - 11:20				SPLASH OOPSLA Quantum Probabilistic Model Checking for Time-Bounded Properties 11:20 - 11:40				SPLASH OOPSLA Quarl: A Learning-Based Quantum Circuit Optimizer 11:40 - 12:00				SPLASH OOPSLA Synthetiq: Fast and Versatile Quantum Circuit Synthesis 12:00 - 12:20																						SPLASH OOPSLA Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Author ... 13:50 - 14:10				SPLASH OOPSLA CoolerSpace: A Language for Physically Correct and Computationally Effi ... 14:10 - 14:30				SPLASH OOPSLA Design and Implementation of an Aspect-Oriented C Programming Language 14:30 - 14:50				SPLASH OOPSLAOOPSLA 2024 Distinguished Artifact Award On the Expressive Power of Languages for Static Variability 14:50 - 15:10				SPLASH OOPSLA QuAC: Quick Attribute-Centric Type Inference for Python 15:10 - 15:30										SPLASH OOPSLA Crabtree: Rust API Test Synthesis Guided by Coverage and Type 16:00 - 16:20				SPLASH OOPSLA Drowzee: Metamorphic Testing for Fact-conflicting Hallucination Detecti ... 16:20 - 16:40				SPLASH OOPSLA Reward Augmentation in Reinforcement Learning for Testing Distributed S ... 16:40 - 17:00				SPLASH OOPSLA Rustlantis: Randomized Differential Testing of the Rust Compiler 17:00 - 17:20				SPLASH OOPSLA Statistical Testing of Quantum Programs via Fixed-Point Amplitude Ampli ... 17:20 - 17:40

Room information: IBR East

Program Display Configuration

Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change

Mon 21 OctDisplayed time zone: Pacific Time (US & Canada) change

Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change

Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change

Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change

Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change

SLE

SLE

SLE

SLE

Mon 21 OctDisplayed time zone: Pacific Time (US & Canada) change

SLE

SLE

SLE

SLE

Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change

ProLaLa

ProLaLa

ProLaLa

ProLaLa

Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change

SPLASH OOPSLA

SPLASH OOPSLA

SPLASH OOPSLA

Sun 20 OctDisplayed time zone: Pacific Time (US & Canada) change

Mon 21 OctDisplayed time zone: Pacific Time (US & Canada) change

Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change

Wed 23 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 24 OctDisplayed time zone: Pacific Time (US & Canada) change

Fri 25 OctDisplayed time zone: Pacific Time (US & Canada) change

Information for Participants

Keynote

Icebreaker

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change

Sun 20 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 21 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 22 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 25 Oct
Displayed time zone: Pacific Time (US & Canada) change