Program - ISSTA/ECOOP 2024

Mon 16 - Fri 20 September 2024 Vienna, Austria

Detailed Table Column Timeline Session Timeline Detailed Timeline

Get Calendar (iCal)

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

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

Mon 16 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 16 Sep

EI 10 Fritz Paschke

8:20

Opening and Welcome

Werner Dietl, Jonathan Aldrich, Guido Salvaneschi

8:40

9:00

Optimizing the Object-Relational Interface

Opening and Welcome

[Keynote] Reasons for the Unreasonable Success of Fuzzing

Thomas (Halvar Flake) Dullien

9:20

9:40

10:00

10:20

Opening remarks

Static Basic Block Versioning

Manuel Serrano, Olivier Melançon, Marc Feeley

Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup

Madonna Huang, Caroline Lemieux

10:40

Runtime Instrumentation for Reactive Components

Duncan Paul Attard

Cross Module Quickening - The Curious Case of C Extensions

Felix Berlakovich, Stefan Brunthaler

Effective Fuzzing within CI/CD Pipelines

Arindam Sharma, Cristian Cadar, Jonathan Metzman

11:00

Compiling with Arrays

David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini

Automated Feature Testing of Verilog Parsers using Fuzzing

Quentin Corradi, John Wickerson, George A. Constantinides

The Performance Effects of Virtual-Machine Instruction Pointer Updates

M. Anton Ertl, Bernd Paysan

WebAssembly as a Fuzzing Compilation Target

Florian Bauckholt, Thorsten Holz

11:20

CAUSALDOT: Causally Consistent Transactions with Non-blocking Reads and Deterministic Ordering

Ruijie Gong, Haoze Song, Heming Cui

Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization

Florian Huemer, David Leopoldseder, Aleksandar Prokopec, Raphael Mosaner, Hanspeter Mössenböck

Visualization Task Taxonomy to Understand the Fuzzing Internals

Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei

11:40

Optimizing Layout of Recursive Datatypes with Marmoset

Vidush Singhal, Chaitanya S. Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan R. Newton, Milind Kulkarni

12:00

12:20

12:40

13:00

13:20

Local Projections of DCR Choreographies with Data and Spawn

Eduardo Geraldo, Bruno Braga, Nuno Fernandes, Diogo Ye, João Costa Seco

Behavioral up/down casting for statically typed languages

Lorenzo Bacchiani, Mario Bravetti, Marco GIUNTI, João Mota, António Ravara

[Keynote] Is "AI" useful for fuzzing?

Brendan Dolan-Gavitt

13:40

Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency

Farzaneh Derakhshan, Stephanie Balzer, Yue Yao

14:00

Compositional Verification of Swarm Protocols

Florian Furbach, Alceste Scalas, Roland Kuhn, Emilio Tuosto

Ozone: Fully Out-of-Order Choreographies

Dan Plyukhin, Marco Peressotti, Fabrizio Montesi

Information Flow Control in Cyclic Process Networks

Bas van den Heuvel, Farzaneh Derakhshan, Stephanie Balzer

Discussion: LLMs and Fuzzing for Bug Finding

14:20

Library Based Choreographies in Lean

Simon Daniel, David Richter, Mira Mezini

Formalizing, Mechanizing, and Verifying Class-based Refinement Types

Ke Sun, Di Wang, Sheng Chen, Meng Wang, Dan Hao

14:40

Pure methods for roDOT

Vlastimil Dort, Yufeng Li, Ondřej Lhoták, Pavel Parizek

15:00

15:20

Modal Crash Types for Intermittent Computing

Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, Limin Jia

Partial Redundancy Elimination in Two Iterative Data Flow Analyses

Reshma Roy, Sreekala S, Vineeth Paleri

Sparse Symbolic Loop Execution

Frank Busse, Martin Nowack, Cristian Cadar

15:40

Indirection-Bounded Call Graph Analysis

Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, Anders Møller

LOOL: Low-Overhead, Optimization-Log-Guided Compiler Fuzzing

Florian Schwarcz, Felix Berlakovich, Gergö Barany, Hanspeter Mössenböck

16:00

Less is More Revisited: Global Specification and Local Verification Approaches

Nobuko Yoshida, Ping Hou, Iona Kuhn

Dynamically Generating Callback Summaries for Enhancing Static Analysis

Steven Arzt, Marc Miltenberger, Julius Näumann

The Havoc Paradox in Generator-Based Fuzzing

Ao Li, Madonna Huang, Caroline Lemieux, Rohan Padhye

A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction

Dongjie He, Jingbo Lu, Jingling Xue

Understanding and Improving Coverage Tracking with AFL++

Vasil Sarafov, David Markvica, Felix Berlakovich, Matthias Bernad, Stefan Brunthaler

16:20

Fair Join Pattern Matching for Actors

Philipp Haller, Ayman Hussein, Hernan Melgratti, Alceste Scalas, Emilio Tuosto

Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications

Fabian Schiebel, Florian Sattler, Philipp Dominik Schubert, Sven Apel, Eric Bodden

Concluding Remarks

16:40

17:00

Tue 17 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Sep

EI 10 Fritz Paschke

EI 2 Pichelmayer

8:40

Opening remarks

9:00

The Devil's Guide to Doing your PhD – 10 tips for despair, dismay, and disappointment

Dahl-Nygaard Senior Prize Keynote - Rachid Guerraoui

Rachid Guerraoui

Keynote speech: AI-Driven Metamorphic Testing for Autonomous Systems

9:20

9:40

10:00

10:20

Introduction to the Gamify 2024 workshop

Riccardo Coppola, Luca Ardito, Maurizio Leotta, Gordon Fraser

Soft Verification for Actor Contract Systems

Bram Vandenbogaerde, Andreas Zeller, Stefan Brunthaler

Defining Name Accessibility using Scope Graphs

Aron Zwaan, Casper Bach

Metamorphic Testing of a Steer-by-Wire System: An Intercultural Students-as-Partners Collaboration Experience

Yifan Zhang, Dave Towey, Matthew pike, Rui Qiu, Axel Tan Jaya, Sze Huey, Xinyi Zhang, Yuan Wu

10:40

Bug-Hunting Games to Assist Software Development and Testing Education

Natalia Silvis-Cividjian

Integrating Mutation Techniques to Keep Specification and Source Code in Sync

Kerstin Jacob, Andreas Zeller, Stefan Brunthaler

Rose: Composable Autodiff for the Interactive Web

Sam Estep, Wode Ni, Raven Rothkopf, Joshua Sunshine

Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs

Alix Decrop, Andreas Zeller, Stefan Brunthaler

11:00

Failure Transparency in Stateful Dataflow Systems

Aleksey Veresov, Jonas Spenger, Paris Carbone, Philipp Haller

Metamorphic Testing of Image Processing Applications: A General Framework and Optimization Strategies

Chang-ai Sun, Jiayu Xing, Xiaobei Li, Xiao-Yi Zhang, An Fu

From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems

Drishti Yadav, Andreas Zeller, Stefan Brunthaler

Fair join pattern matching for actors

Philipp Haller, Ayman Hussein, Hernan Melgratti, Alceste Scalas, Emilio Tuosto

11:20

Robustness against the C/C++11 memory model

Roy Margalit, Andreas Zeller, Stefan Brunthaler

ScoutDroid: A Tool For Mobile Augmented Testing With Live Feedback

Lorenzo Laudadio, Riccardo Coppola, Marco Torchiano, Stevan Tomic

Constrictor: Immutability as a Design Concept

Elad Kinsbruner, Shachar Itzhaky, Hila Peleg

Evaluating Human Trajectory Prediction with Metamorphic Testing

Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar

Automated Testing of Networked Systems Reliability

Michal Rozsíval, Andreas Zeller, Stefan Brunthaler

11:40

Search-Based Translations for Tensor Operations

A Language-Based Version Control System for Python

Luís Carvalho, João Costa Seco

12:00

12:20

12:40

13:00

13:20

Test Smells Learning by a Gamification Approach

Anna Rita Fasolino, Porfirio Tramontana

Shaping Test Inputs in Grammar-Based Fuzzing

José Antonio Zamudio Amaya, Elisa Gonzalez Boix, Marcelo d'Amorim, Mira Mezini

ECOOP Awards

Guido Salvaneschi, Jonathan Aldrich

Using Category Partition to Detect Metamorphic Relations

Saba Pedram, Yvan Labiche

13:40

Graph Learning for Extract Class Refactoring

Luqiao Wang, Elisa Gonzalez Boix, Marcelo d'Amorim, Mira Mezini

With Biabduction towards Memory Safety across the Rust-C-FFI

Florian Sextl, Elisa Gonzalez Boix, Marcelo d'Amorim, Mira Mezini

14:00

Enlisting Students in Gamifying Software Testing Education: Results and Key Insights

Maura Cerioli, Maurizio Leotta, Marina Ribaudo

Mutation-based Lifted Repair of Software Product Lines

Aleksandar S. Dimovski

Interactive discussion: Key areas for MT’s research

Decentralized Near-Synchronous Local-First Programming Collaboration

Leon Freudenthaler, Elisa Gonzalez Boix, Marcelo d'Amorim, Mira Mezini

Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins

Nimantha Kariyakarawana, Elisa Gonzalez Boix, Marcelo d'Amorim, Mira Mezini

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation

Martin Vassor, Nobuko Yoshida

14:20

Collaboration to Repository-Level Vulnerability Detection

Xin-Cheng Wen, Elisa Gonzalez Boix, Marcelo d'Amorim, Mira Mezini

Engaging Developers in Exploratory Unit Testing through Gamification

Philipp Straubinger, Gordon Fraser

CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming

Quan Zhou, Dang Sixuan, Danfeng Zhang

Learning the Effects of Software Changes

Laura Plein, Elisa Gonzalez Boix, Marcelo d'Amorim, Mira Mezini

14:40

The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments

Petr Maj, Stefanie Muroya Lei, Konrad Siek, Luca Di Grazia, Jan Vitek

15:00

15:20

Testing Robot Challenge: a Serious Game for Testing Learning

Anna Rita Fasolino, Caterina Maria Accetto, Porfirio Tramontana

How to get your Ph.D. DONE!

InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference

Senxi Li, Tetsuro Yamazaki, Shigeru Chiba

Using Metamorphic Relations to Improve Accuracy and Robustness of Deep Neural Networks

Kun Qiu, Yu Zhou, Pak-Lok Poon

15:40

A Sound Type System for Secure Currency Flow

Luca Aceto, Daniele Gorla, Stian Lybech

16:00

A Gaming Quest to Improve Web Locators Robustness

Diego Clerissi, Maurizio Leotta, Filippo Ricca

Type Tailoring

Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, Ben Greenman

Panel discussion: MT4AI & AI4MT

Learning Gradual Typing Performance

Mohammad Wahiduzzaman Khan, Sheng Chen, Yi He

16:20

Panel: upcoming challenges for Gamification in Software Engineering

Generalizing Shape Analysis with Gradual Types

Zeina Migeed, James Reed, Jason Ansel, Jens Palsberg

16:40

17:00

Wed 18 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 Sep

EI 10 Fritz Paschke

EI 2 Pichelmayer

EI 4 Reithoffer

8:00

8:20

8:40

9:00

Overlapping Events:

Software Quality Assurance in the Era of Large Language Models

Software Quality Assurance in the Era of Large Language Models

9:20

9:40

10:00

10:20

Large Language Models for Equivalent Mutant Detection: How Far Are We?

Zhao Tian, Honglin Shu, Dong Wang, Xuejie Cao, Yasutaka Kamei, Junjie Chen

ACM SIGSOFT Distinguished Paper Award

Inductive Predicate Synthesis Modulo Programs

Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz, Arie Gurfinkel

Toward the Automated Localization of Buggy Mobile App UIs from Bug Descriptions

Antu Saha, Yang Song, Junayed Mahmud, Ying Zhou, Kevin Moran, Oscar Chaparro

Coroutines Scheduler

AI Coders Are among Us: Rethinking Programming Language Grammar towards Efficient Code Generation

Zhensu Sun, Xiaoning Du, Zhou Yang, Li Li, David Lo

ACM SIGSOFT Distinguished Paper Award

Policy Testing with MDPFuzz (Replicability Study)

Quentin Mazouni, Helge Spieker, Arnaud Gotlieb, Mathieu Acher

ACM SIGSOFT Distinguished Paper Award

10:40

Fearless Asynchronous Communications with Timed Multiparty Session Protocols

Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida

Fast and Scalable Communication Channels

An Empirical Examination of Fuzzer Mutator Performance

James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell

Reproducing Timing-Dependent GUI Flaky Tests in Android Apps via a Single Event Delay

Xiaobao Cai, Zhen Dong, Yongjiang Wang, Abhishek Tiwari, Xin Peng

When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention

Lianghong Guo, Yanlin Wang, Ensheng Shi, Wanjun Zhong, Hongyu Zhang, Jiachi Chen, Ruikai Zhang, Yuchi Ma, Zibin Zheng

ACM SIGSOFT Distinguished Paper Award

Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation

Jueon Eom, Seyeon Jeong, Taekyoung Kwon

11:00

Java Bytecode Normalization for Code Similarity Analysis

Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, Eric Bodden

Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs

Benjamin Kushigian, Samuel Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, René Just

Semantic Constraint Inference for Web Form Test Generation

Parsa Alian, Noor Nashid, Mobina Shahbandeh, Ali Mesbah

FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion

Qi Guo, Xiaohong Li, Xiaofei Xie, Shangqing Liu, Ze Tang, Ruitao Feng, Junjie Wang, Jidong Ge, Lei Bu

Enhancing ROS System Fuzzing through Callback Tracing

Yuheng Shen, Jianzhong Liu, Yiru Xu, Hao Sun, Mingzhe Wang, Nan Guan, Heyuan Shi, Yu Jiang

11:20

CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Primitives

LPR: Large Language Models-Aided Program Reduction

Mengxiao Zhang, Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Shin Hwei Tan, Chengnian Sun

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers

David Young, Ziyi Yang, Ilya Sergey, Alex Potanin

Guardian: A Runtime Framework for LLM-Based UI Exploration

Dezhi Ran, Hao Wang, Zihe Song, Mengzhou Wu, Yuan Cao, Ying Zhang, Wei Yang, Tao Xie

Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks

Yuxin Qiu, Jie Hu, Qian Zhang, Heng Yin

Sleuth: A Switchable Dual-Mode Fuzzer to Investigate Bug Impacts Following a Single PoC

Haolai Wei, Liwei Chen, Zhijie Zhang, Gang Shi, Dan Meng

11:40

Matching Plans for Frame Inference in Compositional Reasoning

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Petar Maksimović, Philippa Gardner

12:00

12:20

12:40

13:00

13:20

UPBEAT: Test Input Checks of Q# Quantum Libraries

Tianmin Hu, Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Huanting Wang, Meng Li, Zheng Wang

A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson

Barnabas Arvay, Thi Thu Ha Doan, Peter Thiemann

Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph

Xiaoyong Yan, Biao He, Wenbo Shen, Yu Ouyang, Kaihang Zhou, Xingjian Zhang, Xingyu Wang, Yukai Cao, Rui Chang

Generalized Concurrency Testing Tool for Distributed Systems

Ege Berkay Gulcan, João Neto, Burcu Kulahcioglu Ozkan

NeuFair: Neural Network Fairness Repair with Dropout

Vishnu Asutosh Dasu, Ashish Kumar, Saeid Tizpaz-Niari, Gang (Gary) Tan

Domain Adaptation for Code Model-Based Unit Test Case Generation

Jiho Shin, Sepehr Hashtroudi, Hadi Hemmati, Song Wang

13:40

Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA

Alexander Potapov, Maksim Zuev, Evgenii Moiseenko, Nikita Koval

Distinguished Tool Demo Award

Qafny: A Quantum-Program Verifier

Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement

Gwihwan Go, Chijin Zhou, Quan Zhang, Xiazijian Zou, Heyuan Shi, Yu Jiang

SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection

Xin-Cheng Wen, Cuiyun Gao, Shuzheng Gao, Yang Xiao, Michael Lyu

A Large-Scale Empirical Study on Improving the Fairness of Image Classification Models

Junjie Yang, Jiajun Jiang, Zeyu Sun, Junjie Chen

Practitioners’ Expectations on Automated Test Generation

Xiao Yu, Lei Liu, Xing Hu, Jacky Keung, Xin Xia, David Lo

JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking

Zaiyu Cheng, Tong Wu, Peter Schrammel, Norbert Tihanyi, Eddie B. de Lima Filho, Lucas C. Cordeiro

14:00

Verifying Lock-free Search Structure Templates

Nisarg Patel, Dennis Shasha, Thomas Wies

AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference

Hyungseok Kim, Soomin Kim, Jungwoo Lee, Sang Kil Cha

ACM SIGSOFT Distinguished Paper Award

CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection

Hao Wang, Zeyu Gao, Chao Zhang, Mingyang Sun, Yuchen Zhou, Han Qiu, Xi Xiao

ESBMC-Python: A Bounded Model Checker for Python Programs

Bruno Farias , Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro

Efficient DNN-Powered Software with Fair Sparse Models

Xuanqi Gao, Weipeng Jiang, Juan Zhai, Shiqing Ma, Xiaoyu Zhang, Chao Shen

UniTSyn: A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing

Yifeng He, Jiabo Huang, Yuyang Rong, Yiwen Guo, Ethan Wang, Hao Chen

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning

Stephen N. Freund, Cormac Flanagan

14:20

Panda: A Concurrent Scheduler for Compiler-Based Tools

Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang

Ma11y: A Mutation Framework for Web Accessibility Testing

Mahan Tafreshipour, Anmol Vilas Deshpande, Forough Mehralian, Iftekhar Ahmed, Sam Malek

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning

Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimović, Philippa Gardner

Graph Neural Networks for Vulnerability Detection: A Counterfactual Explanation

Zhaoyang Chu, Yao Wan, Qian Li, Yang Wu, Hongyu Zhang, Yulei Sui, Guandong Xu, Hai Jin

Synthesizing Boxes Preconditions for Deep Neural Networks

Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries

Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shreya Mathews, Ding Li, Haoyu Wang, Xiangqun Chen, Yao Guo

14:40

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations

Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit Seshia, Alvin Cheung

PolyTracker: Whole-Input Dynamic Information Flow Tracing

Evan Sultanik, Marek Surovič, Henrik Brodin, Kelly Kaoudis, Facundo Tuesca, Carson Harmon, Lisa Overall, Joseph Sweeney, Bradford Larsen

Distinguished Tool Demo Award

15:00

15:20

Bugs in Pods: Understanding Bugs in Container Runtime Systems

Jiongchi Yu, Xiaofei Xie, Cen Zhang, Sen Chen, Yuekang Li, Wenbo Shen

Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines

Bob Brockbernd, Nikita Koval, Arie van Deursen, Burcu Kulahcioglu Ozkan

Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking

Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang

Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM

SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs

Paul Fiterau-Brostean, Konstantinos (Kostis) Sagonas, Fredrik Tåquist, Bengt Jonsson

Automated Program Repair via Conversation: Fixing 162 out of 337 Bugs for $0.42 Each using ChatGPT

Chunqiu Steven Xia, Lingming Zhang

Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters

Purvish Jajal, Wenxin Jiang, Arav Tewari, Erik Kocinare, Joseph Woo, Anusha Sarraf, Yung-Hsiang Lu, George K. Thiruvathukal, James C. Davis

15:40

FRAFOL: FRAmework FOr Learning mutation testing

Pedro Tavares, Ana Paiva, Domenico Amalfitano, René Just

An Empirical Study on Kubernetes Operator Bugs

Qingxin Xu, Yu Gao, Jun Wei

Runtime Instrumentation for Reactive Components

Luca Aceto, Duncan Paul Attard, Adrian Francalanza, Anna Ingolfsdottir

Interprocedural Path Complexity Analysis

Mira Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen, Duy Lam, Lucas Bang

ThinkRepair: Self-Directed Automated Program Repair

Xin Yin, Chao Ni, Shaohua Wang, Zhenhao Li, Limin Zeng, Xiaohu Yang

Interpretability Based Neural Network Repair

Zuohui Chen, Jun Zhou, Youcheng Sun, Jingyi Wang, Qi Xuan, Xiaoniu Yang

FixCheck: A Tool for Improving Patch Correctness Analysis

Facundo Molina, Juan Manuel Copia, Alessandra Gorla

16:00

HOBBIT: Hashed Object Based InTegrity

Matthias Bernad, Stefan Brunthaler

Understanding Misconfigurations in ROS: An Empirical Study and Current Approaches

Paulo Canelas, Bradley Schmerl, Alcides Fonseca, Christopher Steven Timperley

VRDSynth: Synthesizing Programs for Multilingual Visually Rich Document Information Extraction

Thanh-Dat Nguyen, Tung Do-Viet, Hung Nguyen-Duy, Tuan-Hai Luu, Hung Le, Xuan-Bach D. Le, Patanamon Thongtanunam

HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities

Luqiao Wang, Qiangqiang Wang, Jiaqi Wang, Yutong Zhao, Minjie Wei, Zhou Quan, Di Cui, Qingshan Li

BRAFAR: Bidirectional Refactoring, Alignment, Fault Localization, and Repair for Programming Assignments

Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan

See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing

Yuanyuan Yuan, Shuai Wang, Zhendong Su

16:20

DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates

Baoquan Cui, Jiwei Yan, Jian Zhang

Pipit on the Post: proving pre- and post-conditions of reactive systems

Amos Robinson, Alex Potanin

An In-Depth Study of Runtime Verification Overheads during Software Testing

Kevin Guan, Owolabi Legunsen

ACM SIGSOFT Distinguished Paper Award

Characterizing and Detecting Program Representation Faults of Static Analysis Frameworks

Huaien Zhang, Yu Pei, Shuyun Liang, Zezhong Xing, Shin Hwei Tan

CREF: An LLM-Based Conversational Software Repair Framework for Programming Tutors

Boyang Yang, Haoye Tian, Weiguo Pian, Haoran Yu, Haitao Wang, Jacques Klein, Tegawendé F. Bissyandé, Shunfu Jin

Isolation-Based Debugging for Neural Networks

Jialuo Chen, Jingyi Wang, Youcheng Sun, Peng Cheng, Jiming Chen

FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts

Yunqi Liu, Wei Song

16:40

Closing and Invitation to ECOOP 2025

Werner Dietl, Volker Stolz

The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios

Alessio Gambi, Shreya Mathews, Benedikt Steininger, Mykhailo Poienko, David Bobek

API Misuse Detection via Probabilistic Graphical Model

Yunlong Ma, Wentong Tian, Xiang Gao, Hailong Sun, Li Li

One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair

Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, Xiaoguang Mao

ACM SIGSOFT Distinguished Paper Award

Certified Continual Learning for Neural Network Regression

Long H. Pham, Jun Sun

17:00

Thu 19 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 Sep

EI 10 Fritz Paschke

EI 2 Pichelmayer

EI 4 Reithoffer

8:20

8:40

9:00

Welcome from the Chairs

Runtime Invariant Checking in Robotic Systems and Deep Learning Models

The Overlooked Steps in Program Analysis: Designing by People for People

Can WebAssembly Be Software’s Final Substrate? (Keynote)

9:20

9:40

10:00

10:20

Advanced Debugging Techniques In Practice

Robert O'Callahan

A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We?

Zhihan Jiang, Jinyang Liu, Junjie Huang, Yichen LI, Yintong Huo, Jiazhen Gu, Zhuangbin Chen, Jieming Zhu, Michael Lyu

Lazy Sparse Conditional Constant Propagation in the Sea of Nodes

Christoph Aigner, Gergö Barany, Hanspeter Mössenböck

DAppFL: Just-in-Time Fault Localization for Decentralized Applications in Web3

Zhiying Wu, Jiajing Wu, Hui Zhang, Ziwei Li, Jiachi Chen, Zibin Zheng, Qing Xia, Gang Fan, Yi Zhen

Runtime Verified Neural Networks for Cyber-Physical Systems

Dhiren Tripuramallu, Ayush Anand, Srinivas Pinisetty, Hammond Pearce, Partha Roop

Automating Zero-Shot Patch Porting for Hard Forks

Shengyi Pan, You Wang, Zhongxin Liu, Xing Hu, Xin Xia, Shanping Li

Distance-Aware Test Input Selection for Deep Neural Networks

Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li

10:40

FastLog: An End-to-End Method to Efficiently Generate and Insert Logging Statements

Xiaoyuan Xie, Zhipeng Cai, Songqiang Chen, Jifeng Xuan

LENT-SSE: Leveraging Executed and Near Transactions for Speculative Symbolic Execution of Smart Contracts

Peilin Zheng, Bowei Su, Xiapu Luo, Ting Chen, Neng Zhang, Zibin Zheng

Benchmarking Automated Program Repair: An Extensive Study on Both Real-World and Artificial Bugs

Yicheng Ouyang, Jun Yang, Lingming Zhang

Test Selection for Deep Neural Networks using Meta-Models with Uncertainty Metrics

Demet Demir, Aysu Betin Can, Elif Surer

Mutator-Driven Object Placement using Load Barriers

Jonas Norlinder, Albert Mingkun Yang, David Black-Schaffer, Tobias Wrigstad

11:00

Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties

Gianluca Aguzzi, Giorgio Audrito, Mirko Viroli

Face It Yourselves: An LLM-Based Two-Stage Strategy to Localize Configuration Errors via Logs

Shiwen Shan, Yintong Huo, Yuxin Su, Yichen LI, Dan Li, Zibin Zheng

Following the “Thread”: Toward Finding Manipulatable Bottlenecks in Blockchain Clients

Shuohan Wu, Zihao Li, Hao Zhou, Xiapu Luo, Jianfeng Li, Haoyu Wang

Neurosymbolic Repair of Test Flakiness

Yang Chen, Reyhaneh Jabbarvand

Datactive: Data Fault Localization for Object Detection Systems

Yining Yin, Yang Feng, Shihao Weng, Yuan Yao, Jia Liu, Zhihong Zhao

11:20

Interactive Programming for Microcontrollers by Offloading Dynamic Incremental Compilation

Fumika Mochizuki, Tetsuro Yamazaki, Shigeru Chiba

In-field debugging of automotive microcontrollers for highest system availability

Gasper Skvarc Bozic, Ibai Irigoyen Ceberio, Albrecht Mayer

Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs

Zhanyao Lei, Yixiong Chen, Mingyuan Xia, Zhengwei Qi

DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications

Maoyi Xie, Ming Hu, Ziqiao Kong, Cen Zhang, Yebo Feng, Haijun Wang, Yue Xue, Hao Zhang, Ye Liu, Yang Liu

Real-Time Guarantees for SLCS Monitors in XC

Giorgio Audrito, Ferruccio Damiani, Gianluca Torta

AutoCodeRover: Autonomous Program Improvement

Yuntong Zhang, Haifeng Ruan, Zhiyu Fan, Abhik Roychoudhury

TeDA: A Testing Framework for Data Usage Auditing in Deep Learning Model Development

Xiangshan Gao, Jialuo Chen, Jingyi Wang, Jie Shi, Peng Cheng, Jiming Chen

11:40

12:00

12:20

12:40

13:00

13:20

Bug localisation in Model-Based Testing Using Model-Centric Shrinking

Susan van den Broek, Ana Oprescu, Theo C Ruys

Tacoma: Enhanced Browser Fuzzing with Fine-Grained Semantic Alignment

Jiashui Wang, Peng Qian, Xilin Huang, Xinlei Ying, Yan Chen, Shouling Ji, Jianhai Chen, Jundong Xie, Long Liu

mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices

Go Suzuki, Takuo Watanabe, Sosuke Moriguchi

Testing Gremlin-Based Graph Database Systems via Query Disassembling

Yingying Zheng, Wensheng Dou, Lei Tang, Ziyu Cui, Yu Gao, Jiansen Song, Liang Xu, Jiaxin Zhu, Wei Wang, Jun Wei, Hua Zhong, Tao Huang

R2U2: Runtime Verification Takes Off!

Kristin Yvonne Rozier

MicroRes: Versatile Resilience Profiling in Microservices via Degradation Dissemination Indexing

Tianyi Yang, Cheryl Lee, Jiacheng Shen, Yuxin Su, Cong Feng, Yongqiang Yang, Michael Lyu

Precise Compositional Buffer Overflow Detection via Heap Disjointness

Yiyuan Guo, Peisen Yao, Charles Zhang

ACM SIGSOFT Distinguished Paper Award

13:40

Imagine There’s No Source Code: Replay Diagnostic Location Information in Dynamic EDSL Meta-programming

Baltasar Trancón y Widemann, Markus Lepper

WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation

Shangtong Cao, Ningyu He, Xinyu She, Yixuan Zhang, Mu Zhang, Haoyu Wang

SQLess: Dialect-Agnostic SQL Query Simplification

Li Lin, Zongyin Hao, Chengpeng Wang, Zhuangda Wang, Rongxin Wu, Gang Fan

Feedback-Directed Partial Execution

Ishrak Hayet, Adam Scott, Marcelo d'Amorim

Finding Cuts in Static Analysis Graphs to Debloat Software

Christoph Blumschein, Fabio Niephaus, Codrut Stancu, Christian Wimmer, Jens Lincke, Robert Hirschfeld

14:00

A Reversible Debugger for MPI Applications

Mihkel Tiks, Ott-Kaarel Martens, Eero Vainikko, Stefan Kuhn

Existential Containers in Scala

Dimi Racordon, Eugene Flesselle, Matt Bovel

Wapplique: Testing WebAssembly Runtime via Execution Context-Aware Bytecode Mutation

Wenxuan Zhao, Ruiying Zeng, Yangfan Zhou

Testing Graph Database Systems with Graph-State Persistence Oracle

Shuang Liu, Junhao Lan, Xiaoning Du, Jiyuan Li, Wei Lu, Jiajun Jiang, Xiaoyong Du

Define-Use Guided Path Exploration for Better Forced Execution

Dongnan He, Dongchen Xie, Yujie Wang, Wei You, Bin Liang, Jianjun Huang, Wenchang Shi, Zhuo Zhang, Xiangyu Zhang

Scalable, Sound, and Accurate Jump Table Analysis

Huan Nguyen, Soumyakant Priyadarshan, R. Sekar

14:20

Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language

Christopher John Wright, Mikel Luján, Pavlos Petoumenos, John Goodacre

Language-Agnostic Debugging for Microcontrollers

Carlos Rojas Castillo, Matteo Marra, Elisa Gonzalez Boix

RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors

Christian Colombo, Axel Curmi, Robert Abela

SelfPiCo: Self-Guided Partial Code Execution with LLMs

Zhipeng Xue, Zhipeng Gao, Shaohua Wang, Xing Hu, Xin Xia, Shanping Li

Better Not Together: Staged Solving for Context-Free Language Reachability

Chenghang Shi, Haofeng Li, Jie Lu, Lian Li

14:40

15:00

15:20

Concolic Multiverse Debugging

Maarten Steevens, Tom Lauwaerts, Christophe Scholliers

Silent Taint-Style Vulnerability Fixes Identification

Zhongzhen Wen, Jiayuan Zhou, Minxue Pan, Shaohua Wang, Xing Hu, Tongtong Xu, Tian Zhang, Xuandong Li

Towards Realistic Results for Instrumentation-Based Profilers for JIT-Compiled Systems

Humphrey Burchell, Octave Larose, Stefan Marr

Traceback: A Fault Localization Technique for Molecular Programs

Michael C. Gerten, James I. Lathrop, Myra Cohen

Operational and Declarative Runtime Verification and their Combination

Doron Peled, Klaus Havelund

First Experiments on Automated Execution of Gherkin Test Specifications with Collaborating LLM Agents

Severin Bergsmann, Alexander Schmidt, Stefan Fischer, Rudolf Ramler

One-to-One or One-to-Many? Suggesting Extract Class Refactoring Opportunities with Intra-class Dependency Hypergraph Neural Network

Di Cui, Qiangqiang Wang, Yutong Zhao, Jiaqi Wang, Minjie Wei, Jingzhao Hu, Luqiao Wang, Qingshan Li

Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models

Mingyi Zhou, Xiang Gao, Pei Liu, John Grundy, Chunyang Chen, Xiao Chen, Li Li

15:40

Toward Declarative Auditing of Java Software for Graceful Exception Handling

Leo St. Amour, Eli Tilevich

Reversible Debugging of Erlang Programs in CauDEr

Ivan Lanese, German Vidal

FortifyPatch: Towards Tamper-Resistant Live Patching in Linux-Based Hypervisor

Zhenyu Ye, Lei Zhou, Fengwei Zhang, Wenqiang Jin, Zhenyu Ning, Yupeng Hu, Zheng Qin

C2D2: Extracting Critical Changes for Real-World Bugs with Dependency-Sensitive Delta Debugging

Xuezhi Song, Yijian Wu, Shuning Liu, Bihuan Chen, Yun Lin, Xin Peng

CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature

Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei

Decomposition of Deep Neural Networks into Modules via Mutation Analysis

16:00

Dynamic Possible Source Count Analysis for Data Leakage Prevention

Eri Ogawa, Tetsuro Yamazaki, Ryota Shioya

GreeDDy: Accelerate Parallel DDMIN

Daniel Vince, Ákos Kiss

Abstract Debugging with GobPie

Karoliine Holter, Juhan Oskar Hennoste, Simmo Saan, Patrick Lam, Vesal Vojdani

Maltracker: A Fine-Grained NPM Malware Tracker Copiloted by LLM-Enhanced Dataset

Zeliang Yu, Ming Wen, Xiaochen Guo, Hai Jin

Preserving Reactiveness: Understanding and Improving the Debugging Practice of Blocking-Call Bugs

Arooba Shahoor, Jooyong Yi, Dongsun Kim

Arfa: An Agile Regime-Based Floating-Point Optimization Approach for Rounding Errors

Jinchen Xu, Mengqi Cui, Fei Li, Zuoyan Zhang, Hongru Yang, Bei Zhou, Jie Zhao

Large Language Models Can Connect the Dots: Exploring Model Optimization Bugs with Domain Knowledge-Aware Prompts

Hao Guan, Guangdong Bai, Yepang Liu

16:20

The Cost of Profiling in the HotSpot Virtual Machine

Rene Mueller, Maria Carpen-Amarie, Matvii Aslandukov, Konstantinos Tovletoglou

Localizer - a visual debugging assistant for Python programs

Shehroz Khan, Gaadha Sudheerbabu, Dragos Truscan, Tanwir Ahmad

PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open-Source Software

Kaixuan Li, Jian Zhang, Sen Chen, Han Liu, Yang Liu, Yixiang Chen

Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx Applications

Rony G. Flatscher, Till Winkler

Use of ChatGPT as an Assistant in the End-to-End Test Script Generation for Android Apps

Boni Garcia, Maurizio Leotta, Filippo Ricca, Jim Whitehead

Automated Deep Learning Optimization via DSL-Based Source Code Transformation

Ruixin Wang, Minghai Lu, Cody Hao Yu, Yi-Hsiang Lai, Tianyi Zhang

DistillSeq: A Framework for Safety Alignment Testing in Large Language Models using Knowledge Distillation

Mingke Yang, Yuqi Chen, Yi Liu, Ling Shi

16:40

Closing by the workshop organizers

Elisa Gonzalez Boix, Christophe Scholliers

An Empirical Study of Static Analysis Tools for Secure Code Review

Wachiraphan (Ping) Charoenwet, Patanamon Thongtanunam, Thuan Pham, Christoph Treude

Closing Session

Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)

Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Păsăreanu

17:00

Overlapping Events:

Toward Declarative Auditing of Java Software for Graceful Exception Handling (Poster)

Leo St. Amour, Eli Tilevich

Accurate Compilation Replay via Remote JIT Compilation (Poster)

Andrej Pečimúth, David Leopoldseder, Petr Tuma

Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program

Rony G. Flatscher, Till Winkler

17:20

17:40

18:00

Fri 20 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 Sep

EI 10 Fritz Paschke

EI 2 Pichelmayer

EI 4 Reithoffer

8:20

8:40

9:00

Miri: Practical Undefined Behavior Detection for Rust

Benchmarks and Replicability in Software Engineering Research: Challenges and Opportunities

9:20

9:40

10:00

10:20

Inconsistencies in TeX-Produced Documents

Jovyn Tan, Manuel Rigger

Static Analysis for Software Security: Detecting Data Races in C

Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries

Hao Xiong, Qinming Dai, Rui Chang, Mingran Qiu, Renxiang Wang, Wenbo Shen, Yajin Zhou

Real World Local-First Deployments In Industry: An Experience Report

Borja Arnau de Régil Basáñez

Structured concurrency in Hylo

Lucian Radu Teodorescu

Prospector: Boosting Directed Greybox Fuzzing for Large-Scale Target Sets with Iterative Prioritization

Zhijie Zhang, Liwei Chen, Haolai Wei, Gang Shi, Dan Meng

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features

Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini

10:40

Fuzzing MLIR Compiler Infrastructure via Operation Dependency Analysis

Chenyao Suo, Junjie Chen, Shuang Liu, Jiajun Jiang, Yingquan Zhao, Jianrong Wang

Feedback-Driven Automated Whole Bug Report Reproduction for Android Apps

Dingbang Wang, Yu Zhao, Sidong Feng, Zhaoxu Zhang, William G.J. Halfond, Chunyang Chen, Xiaoxia Sun, Jiangfan Shi, Tingting Yu

FRIES: Fuzzing Rust Library Interactions via Efficient Ecosystem-Guided Target Generation

Xizhe Yin, Yang Feng, Qingkai Shi, Zixi Liu, Hongwang Liu, Baowen Xu

Total Recall? How Good Are Static Call Graphs Really?

Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini

11:00

Towards Understanding the Bugs in Solidity Compiler

Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung

NativeSummary: Summarizing Native Binary Code for Inter-language Static Analysis of Android Apps

Jikai Wang, Haoyu Wang

DDGF: Dynamic Directed Greybox Fuzzing with Path Profiling

Haoran Fang, Kaikai Zhang, Donghui Yu, Yuanyuan Zhang

Call Graph Soundness in Android Static Analysis

Jordan Samhi, René Just, Tegawendé F. Bissyandé, Michael D. Ernst, Jacques Klein

11:20

Uncovering and Mitigating the Impact of Code Obfuscation on Dataset Annotation with Antivirus Engines

Gao Cuiying, Yueming Wu, Heng Li, Wei Yuan, Haoyu Jiang, Qidan He, Yang Liu

Towards a model checker for Python: pymodcheck

Dara MacConville, Rosemary Monahan

Towards Automatic Oracle Prediction for AR Testing: Assessing Virtual Object Placement Quality under Real-World Scenes

Xiaoyi Yang, Yuxing Wang, Tahmid Rafi, Dongfang Liu, Xiaoyin Wang, Xueling Zhang

Stack-copying Delimited Continuations for Scala Native

Nguyen Pham, Martin Odersky

Logos: Log Guided Fuzzing for Protocol Implementations

Feifan Wu, Zhengxiong Luo, Yanyang Zhao, Qingpeng Du, Junze Yu, Ruikang Peng, Heyuan Shi, Yu Jiang

Synthesis of Sound and Precise Storage Cost Bounds via Unsound Resource Analysis and Max-SMT

Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio

11:40

12:00

12:20

12:40

13:00

13:20

Empirical Study of Move Smart Contract Security: Introducing MoveScan for Enhanced Analysis

Shuwei Song, Jiachi Chen, Ting Chen, Xiapu Luo, Teng Li, Wenwu Yang, Leqing Wang, Weijie Zhang, Feng Luo, Zheyuan He, Yi Lu, Pan Li

Sound Static Analysis for Microservices: Utopia? A preliminary experience with LiSA

Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White

VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing

Zhongrui Li, Jiarun Dai, Zongan Huang, Nianhao You, Yuan Zhang, Min Yang

Agreement without Coordination - Revisiting Consensus from a Local-First Perspective

Bridge and Hint: Extending Pre-trained Language Models for Long-Range Code

Yujia Chen, Cuiyun Gao, Zezhou Yang, Hongyu Zhang, Qing Liao

Segment-Based Test Case Prioritization: A Multi-objective Approach

Hieu Huynh, Nhu Pham, Tien N. Nguyen, Vu Nguyen

13:40

FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees

Yunqi Liu, Wei Song

Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper)

Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Koenigsbuch, Nicolas Schneider, Helene Waeselynck, Dennis Wilson

ACM SIGSOFT Distinguished Paper Award

CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding

Dong Li, Meng Yan, Yaosheng Zhang, Zhongxin Liu, Chao Liu, Xiaohong Zhang, Ting Chen, David Lo

Beyond Pairwise Testing: Advancing 3-wise Combinatorial Interaction Testing for Highly Configurable Systems

Chuan Luo, Shuangyu Lyu, Qiyuan Zhao, Wei Wu, Hongyu Zhang, Chunming Hu

14:00

Towards a Sound Construction of EVM Bytecode Control-flow Graphs

Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella

Undo and Redo in Concurrent Multifaceted Low-code Application Models

Hugo Lourenço, Carla Ferreira, João Costa Seco

Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow

Jiachi Chen, Chong Chen, Jiang Hu, John Grundy, Yanlin Wang, Ting Chen, Zibin Zheng

ACM SIGSOFT Distinguished Paper Award

DiaVio: LLM-Empowered Diagnosis of Safety Violations in ADS Simulation Testing

You Lu, Yifan Tian, Yuyang Bi, Bihuan Chen, Xin Peng

Oracle-Guided Program Selection from Large Language Models

Zhiyu Fan, Haifeng Ruan, Sergey Mechtaev, Abhik Roychoudhury

Synthesis-Based Enhancement for GUI Test Case Migration

Yakun Zhang, Qihao Zhu, Jiwei Yan, Chen Liu, Wenjie Zhang, Yifan Zhao, Dan Hao, Lu Zhang

14:20

Midas: Mining Profitable Exploits in On-Chain Smart Contracts via Feedback-Driven Fuzzing and Differential Analysis

Mingxi Ye, Xingwei Lin, Yuhong Nan, Jiajing Wu, Zibin Zheng

Abstract Interpretation of Java Bytecode in Sturdy

Stefan Marx, Sebastian Erdweg

CooTest: An Automated Testing Approach for V2X Communication Systems

An Guo, Xinyu Gao, Zhenyu Chen, Yuan Xiao, Jiakai Liu, Xiuting Ge, Weisong Sun, Chunrong Fang

Orthogonal Synchronization Revisited

How Effective Are They? Exploring Large Language Model Based Fuzz Driver Generation

Cen Zhang, Yaowen Zheng, Mingqiang Bai, Yeting Li, Wei Ma, Xiaofei Xie, Yuekang Li, Limin Sun, Yang Liu

Revisiting Test-Case Prioritization on Long-Running Test Suites

Runxiang Cheng, Shuai Wang, Reyhaneh Jabbarvand, Darko Marinov

14:40

15:00

15:20

Enhancing Robustness of Code Authorship Attribution through Expert Feature Knowledge

Xiaowei Guo, Cai Fu, Juan Chen, Hongle Liu, Lansheng Han, Wenjin Li

Disjoint Polymorphism with Intersection and Union Types

Baber Rehman, Bruno C. d. S. Oliveira

Discussion Round

FDI: Attack Neural Code Generation Systems through User Feedback Channel

Zhensu Sun, Xiaoning Du, Xiapu Luo, Fu Song, David Lo, Li Li

Enhancing Multi-agent System Testing with Diversity-Guided Exploration and Adaptive Critical State Exploitation

Xuyan Ma, Yawen Wang, Junjie Wang, Xiaofei Xie, Boyu Wu, Shoubin Li, Fanjiang Xu, Qing Wang

15:40

Your “Notice” Is Missing: Detecting and Fixing Violations of Modification Terms in Open Source Licenses during Forking

Kaifeng Huang, Yingfeng Xia, Bihuan Chen, Siyang He, Huazheng Zeng, Zhuotong Zhou, Jin Guo, Xin Peng

CoderUJB: An Executable and Unified Java Benchmark for Practical Programming Scenarios

Zhengran Zeng, Yidong Wang, Rui Xie, Wei Ye, Shikun Zhang

Commit Artifact Preserving Build Prediction

Guoqing Wang, Zeyu Sun, Yizhou Chen, Yifan Zhao, Qingyuan Liang, Dan Hao

16:00

Coeffects for MiniJava: Cf-Mj

Paola Giannini, Giulio Duso

DeLink: Source File Information Recovery in Binaries

Zhe Lang, Zhengzi Xu, Xiaohui Chen, Shichao Lv, Zhanwei Song, Zhiqiang Shi, Limin Sun

CLAP: Learning Transferable Binary Code Representations with Natural Language Supervision

Hao Wang, Zeyu Gao, Chao Zhang, Zihan Sha, Mingyang Sun, Yuchen Zhou, Wenyu Zhu, Wenju Sun, Han Qiu, Xi Xiao

Detecting Build Dependency Errors in Incremental Builds

Jun Lyu, Shanshan Li, He Zhang, Yang Zhang, Guoping Rong, Manuel Rigger

16:20

Dafny vs. Dala: Experience with Mechanising Language Design

James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcett, Michael Homer

16:40

17:00

Incrementalizing Polynomial Functors

Timon Böhler, David Richter, Mira Mezini

17:20

:

: