VMIL 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
co-located with SPLASH 2024
VenueHilton Pasadena
Room nameIBR East
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

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
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

11:20
10m
Talk
Large Language Models for Executable Tax Code Generation
ProLaLa

11:45
20m
Talk
Cross-Disciplinarity in Contemporary Code-Driven Legal Informatics
ProLaLa

12:05
10m
Talk
CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution
ProLaLa

14:00 - 15:30
Tutorial and Fostering Collaboration ActivityProLaLa at IBR East
14:00
60m
Tutorial
Challenges and Idiosyncrasies of Managing Legal Citations
ProLaLa
15:00
30m
Other
Fostering Collaboration
ProLaLa

16:00 - 17:30
Workshop and Closing RemarksProLaLa at IBR East
16:00
60m
Day closing
The Future of ProLaLa
ProLaLa

17:00
30m
Talk
What Programmers and Lawyers Get Wrong About Privacy Policies
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
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
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
11:20
20m
Talk
FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions
SPLASH OOPSLA
Zhengyao Lin Carnegie Mellon University, Joshua Gancher Carnegie Mellon University, Bryan Parno Carnegie Mellon University
11:40
20m
Talk
ParDiff: Practical Static Differential Analysis of Network Protocol Parsers
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
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
13:40 - 15:20
Static Analysis and Program Verification 2SPLASH OOPSLA at IBR East
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
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
14:20
20m
Talk
Newtonian Program Analysis of Probabilistic Programs
SPLASH OOPSLA
Di Wang Peking University, Thomas Reps University of Wisconsin-Madison
14:40
20m
Talk
Non-Termination Proving at Scale
SPLASH OOPSLA
Azalea Raad Imperial College London, Julien Vanegue Bloomberg, USA, Peter W. O'Hearn Lacework; University College London
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
16:00 - 17:40
Static Analysis and Program Verification 3SPLASH OOPSLA at IBR East
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
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
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
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
17:20
20m
Talk
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
SPLASH OOPSLA
Yang He Simon Fraser University, Pinhan Zhao University of Michigan, Xinyu Wang University of Michigan, Yuepeng Wang Simon Fraser University
Pre-print

Thu 24 Oct

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

10:40 - 12:20
Software EngineeringSPLASH OOPSLA at IBR East
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
11:00
20m
Talk
Dependency-aware Code Naturalness
SPLASH OOPSLA
Chen Yang Tianjin University, Junjie Chen Tianjin University, Jiajun Jiang Tianjin University, Yuliang Huang College of Intelligence and Computing, Tianjin University
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
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
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
13:40 - 15:20
Machine Learning and Programming LanguagesSPLASH OOPSLA at IBR East
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
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
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
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
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
16:00 - 17:40
ConcurrencySPLASH OOPSLA at IBR East
Chair(s): Tony Hosking 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
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
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
17:00
20m
Talk
Scenario-based Proofs for Concurrent Objects
SPLASH OOPSLA
Constantin Enea LIX, CNRS, Ecole Polytechnique, Eric Koskinen Stevens Institute of Technology
17:20
20m
Talk
Verified Lock-Free Session Channels with Linking
SPLASH OOPSLA
Thomas Somers Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen

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
11:20
20m
Talk
Quantum Probabilistic Model Checking
SPLASH OOPSLA
Seungmin Jeon KAIST, Kyeongmin Cho Rebellions, Chan Gu Kang Korea University, Janggun Lee KAIST, Hakjoo Oh Korea University, Jeehoon Kang KAIST
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
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
13:50 - 15:30
Language-Specific ResearchSPLASH OOPSLA at IBR East
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
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
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
14:50
20m
Talk
On the Expressive Power of Languages for Static Variability
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
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
16:00 - 17:40
Testing Everything, Everywhere, All At OnceSPLASH OOPSLA at IBR East
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
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
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
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
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

Sun 20 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
IBR East

Mon 21 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
IBR East

Tue 22 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

Wed 23 Oct

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