FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
VenueWindsor Convention Center and Hotels
Room nameOceania IX
Floor0
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

Sun 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
09:00
30m
Day opening
Day Opening
MOBILESoft Research Track
Jordan Samhi University of Luxembourg, Luxembourg, Kevin Moran University of Central Florida
09:30
60m
Keynote
Keynote: Self-Optimizing Static Analyses for Mobile Apps
MOBILESoft Research Track
Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM
11:00 - 12:30
11:00
30m
Talk
Talk 1: TBD
MOBILESoft Research Track

11:30
15m
Research paper
Mapping the Patent Frontier of On-Device LLMs in Mobile Software Engineering
MOBILESoft Research Track
Mohamad Kassab Boston University
11:45
15m
Research paper
An Empirical Evaluation of RAG for Accessibility-Aware Android Code Generation
MOBILESoft Research Track
Ribamar Souza Federal University of Ceará, Daniel Mesquita Feijó Rabelo Federal University of Ceará, Windson Viana Federal University of Ceará
12:00
15m
Short-paper
Deliberately Introducing Accessibility Issues in SwiftUI Components for Mutation Testing
MOBILESoft Research Track
Erick Riso Universidade Federal de Pernambuco, Breno Miranda Federal University of Pernambuco, Kiev Gama Universidade Federal de Pernambuco
12:15
15m
Short-paper
A Methodology for Generating Mobile Applications Through Large Language Models
MOBILESoft Research Track
William Niemiec Federal University of Rio Grande do Sul, Anderson Rocha Tavares Federal University of Rio Grande do Sul, Érika Fernandes Cota Federal University of Rio Grande do Sul
14:00 - 15:30
14:00
30m
Keynote
Talk 2: Learning-Based Code Analysis and Security/Privacy Defenses for Mobile Applications
MOBILESoft Research Track
Haipeng Cai University at Buffalo, SUNY
14:30
15m
Research paper
Challenges in Android Data Disclosure: An Empirical Study
MOBILESoft Research Track
Mugdha Khedkar Heinz Nixdorf Institute, Paderborn University, Michael Schlichtig Heinz Nixdorf Institute at Paderborn University, Mohamed Soliman Heinz Nixdorf Institute, Paderborn University, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM
Pre-print
14:45
15m
Research paper
FeedAIde: Guiding App Users to Submit Rich Feedback Reports by Asking Context-Aware Follow-Up Questions
MOBILESoft Research Track
Ali Ebrahimi Pourasad University of Hamburg, Meyssam Saghiri University of Hamburg, Walid Maalej University of Hamburg
15:00
15m
Short-paper
InsightEdu: Mobile Discord Bot Management and Analytics for Educators
MOBILESoft Research Track
Mihail Atanasov Technical University of Munich, Jonnathan Berrezueta-Guzman Technical University of Munich
16:00 - 17:30
16:00
90m
Day closing
Award & Final Remarks
MOBILESoft Research Track
Jordan Samhi University of Luxembourg, Luxembourg, Kevin Moran University of Central Florida

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Hiring and Careers SessionCHASE Research Track / CHASE Program at Oceania IX
Chair(s): Patricia Matsubara Federal University of Mato Grosso do Sul (UFMS)
09:00
15m
Opening
CHASE Program

09:15
15m
Short-paper
Struggling to Connect: A Researcher’s Reflection on Networking in Software Engineering
CHASE Research Track
Shalini Chakraborty University of Bayreuth
09:30
15m
Full-paper
Mapping the Skills and Roles of Experimentation in Software Organizations: Evidence from 1,800 Job Postings
CHASE Research Track
Nils Stotz Leuphana University of Lüneburg, Kevin Anderson , Paul Drews Leuphana University of Lüneburg
09:45
15m
Full-paper
How Does Cognitive Capability and Personality Influence Problem-Solving in Coding Interview Puzzles?
CHASE Research Track
Dulaji Hidellaarachchi RMIT University, John Grundy Monash University, Sebastian Baltes Heidelberg University
Pre-print
10:00
15m
Full-paper
Constructive Patterns for Human-Centered Tech Hiring
CHASE Research Track
Allysson Allex Araújo Federal University of Cariri, Gabriel Vasconcelos Federal University of Cariri (UFCA), Marvin Wyrich Saarland University, Maria Teresa Baldassarre Department of Computer Science, University of Bari , Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
Pre-print
10:15
15m
Full-paper
A Quasi-Experimental Evaluation of Coaching to Mitigate the Impostor Phenomenon in Early-Career Software Engineers
CHASE Research Track
Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Joan Leite Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Allysson Allex Araújo Federal University of Cariri, Rafael Tomaz Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Jean Natividade Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
Pre-print
11:00 - 12:30
Software Engineers' Human Characteristics SessionCHASE Research Track / CHASE Journal First and Journal Fast / CHASE Program at Oceania IX
11:00
15m
Full-paper
Creative Minds at the Keyboard: Eye-Tracking Insights into How Developers Think and Code
CHASE Research Track
Mahta Amini Polytechnique Montréal, Yahya Lafhal Polytechnique Montreal, Zohreh Sharafi Polytechnique Montréal
11:15
15m
Full-paper
Experiences of Dyslexic Software Engineers - A Qualitative Study
CHASE Research Track
Marcos Vinicius Cruz Reykjavik University, Pragya Verma Reykjavik University, Grischa Liebel Reykjavik University
11:30
15m
Full-paper
Folklore in Software Engineering: A Definition and Conceptual Foundations
CHASE Research Track
Eduard Paul Enoiu Malardalen University, Jean Malm Malardalen University, Gregory Gay Chalmers University of Technology and University of Gothenburg
Pre-print
11:45
15m
Full-paper
Challenges and Strategies of Brazilian ADHD Programmers: A Replication Study
CHASE Research Track
Tatiana Cartagena School of Technology PUCRS, Natalya Marjana Goelzer School of Technology PUCRS, Gabriel Gioscia Velloso School of Technology PUCRS, Sofia Batista Sartori School of Technology PUCRS, Karina Kohl Universidade Federal do Rio Grande do Sul, Sabrina Marczak School of Technology PUCRS
12:00
15m
Full-paper
A11yArgus: Automated Detection and Empirical Analysis of Accessibility Issues in Android App
CHASE Research Track
Ana Ferreira Federal University of Alagoas, Breno Miranda Federal University of Pernambuco, Márcio Ribeiro Federal University of Alagoas, Brazil, Rohit Gheyi Federal University of Campina Grande, Ivan Machado Federal University of Bahia (UFBA), Baldoino Fonseca Federal University of Alagoas (UFAL)
12:15
15m
Talk
The Factors Influencing Well-Being in Software Engineers: A Mixed-Method Study.
CHASE Journal First and Journal Fast
Cristina Martinez Montes Chalmers University of Technology and University of Gothenburg, Birgit Penzenstadler Chalmers Tekniska Högskola and Gothenburg University and Lappenranta University of Technology, Robert Feldt Chalmers | University of Gothenburg, Blekinge Institute of Technology
14:00 - 15:30
Keynote, OSS SessionCHASE Research Track / CHASE Program at Oceania IX
Chair(s): Alexander Serebrenik Eindhoven University of Technology
14:00
45m
Keynote
The Component We Do Not Factor In: How Human Behavior and Judgment Shape Everyday Decisions, Practices, and Collaboration in Software Teams
CHASE Research Track
Tayana Conte Universidade Federal do Amazonas
14:45
15m
Full-paper
Beyond Code: Empirical Insights into How Team Dynamics Influence OSS Project Selection
CHASE Research Track
Shashiwadana Nirmani Deakin University, Hourieh Khalajzadeh Deakin University, Australia, Mojtaba Shahin RMIT University, Xiao Liu School of Information Technology, Deakin University
15:00
15m
Talk
Governance in Practice: How Open Source Projects Define and Document Roles
CHASE Research Track
Pedro Arantes RESHAPE LAB, Northern Arizona University, USA, Tayana Conte Universidade Federal do Amazonas, Marco Gerosa Northern Arizona University, Igor Steinmacher RESHAPE LAB, Northern Arizona University, USA
15:15
15m
Full-paper
Understanding npm Developers’ Practices, Challenges, and Recommendations for Secure Package Development
CHASE Research Track
Anthony Peruma University of Hawai‘i at Mānoa, Truman Choy University of Hawai‘i at Mānoa, Gerald Lee University of Hawai‘i at Mānoa, Italo Santos University of Hawai‘i at Mānoa
Pre-print
16:00 - 17:30
Lighning Talks and Voices of Industry SessionCHASE Voices of the Industry Track / CHASE Lightning Talk Track / CHASE Program at Oceania IX
Chair(s): Luiz Alexandre Costa UNIRIO - Universidade Federal do Estado do Rio de Janeiro
16:00
45m
Talk
Lightning Talks Panel
CHASE Lightning Talk Track

16:45
5m
Talk
Operationalizing LLM-Based Diagnosis for Integration Test Failures at Google
CHASE Voices of the Industry Track
16:50
5m
Talk
What Does Explainable AI Mean in Practice? How we Developed an AI Predicting Cerebral Palsy Risk in Infants
CHASE Voices of the Industry Track
16:55
5m
Talk
Quantifying Trust: A Human-in-the-Loop Framework for Scalable Open-Source License Compliance
CHASE Voices of the Industry Track
Guangjie Li National Innovation Institute of Defense Technology
17:00
5m
Talk
Addressing Test Flakiness in a Database-Reliant Industrial System: The Essential Impact of Talking to the Engineers
CHASE Voices of the Industry Track
Carolin Brandt Delft University of Technology
17:05
5m
Talk
Technical Credit in the Wild: How Teams Make Long-Term Engineering Value Visible
CHASE Voices of the Industry Track
Alessio Bucaioni Mälardalen University, Ian Gortono , Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
17:10
15m
Panel
Voices of Industry Panel
CHASE Voices of the Industry Track

Tue 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 10:30
Keynote, Human–AI Collaboration and Responsible AICHASE Research Track / CHASE Program at Oceania IX
09:00
45m
Keynote
Behavioral Code Analysis in the Wake of Agentic AI
CHASE Program
Markus Borg CodeScene
09:45
15m
Full-paper
Bridging the Socio-Emotional Gap: The Functional Dimension of Human-AI Collaboration for Software Engineering
CHASE Research Track
Lekshmi Murali Rani Chalmers University of Technology and University of Gothenburg, Sweden, Richard Berntsson Svensson Chalmers University of Technology & University of Gothenburg, Robert Feldt Chalmers | University of Gothenburg
Pre-print
10:00
15m
Full-paper
Hope or Hype? Understanding Vibe Coding through Software Practitioner Discussions
CHASE Research Track
Fairuz Nawer Meem George Mason University, Fatema Tuz Zohra George Mason University, Justin Smith Lafayette College, Brittany Johnson George Mason University
10:15
15m
Full-paper
Operationalizing AI Ethics in the Public Sector: A Cross-Context Replication in Brazil
CHASE Research Track
Edna Dias Canedo University of Brasilia (UnB), Fabiana Freitas Mendes Aalto University, Richardson Bruno da Silva Andrade Universtiy of Brasília (UnB), José Siqueira de Cerqueira Tampere University, Pekka Abrahamsson Tampere University
11:00 - 12:30
11:00
20m
Awards
Awards
CHASE Program

11:20
10m
Short-paper
The Gap Between Ethical Discourse and Organizational Practice in the Responsible Development, Deploy, and Use of AI Systems: An Exploratory Study
CHASE Research Track
Richardson Bruno da Silva Andrade Universtiy of Brasília (UnB), Edna Dias Canedo Computer Science Department - University of Brasília
11:30
10m
Short-paper
Role and Identity Work of Software Engineering Professionals in the Generative AI Era
CHASE Research Track
Jorge Melegati University of Porto
11:40
15m
Talk
Accountability in Code Review: The Role of Intrinsic Drivers and the Impact of LLMs
CHASE Journal First and Journal Fast
Adam Alami University of Southern Denmark, Victor Vadmand Jensen Aalborg University, Denmark, Neil Ernst University of Victoria
11:55
30m
Doctoral symposium paper
DECS (Chairs: Kelly Blincoe and Monalessa Barcellos)
CHASE Doctoral and Early Career Symposium (DECS)

14:00 - 15:30
Voices of Industry Panel, Agile, and Teams Session SessionCHASE Voices of the Industry Track / CHASE Research Track / CHASE Program at Oceania IX
Chair(s): Reed Milewicz Sandia National Laboratories
14:00
5m
Talk
Building an Open AIBOM Standard in the Wild
CHASE Voices of the Industry Track
Gopi Krishnan Rajbahadur Queen's University
14:05
5m
Talk
Smart Paste: How Developer Behavior Shaped the Training of an LLM
CHASE Voices of the Industry Track
14:10
5m
Talk
Human Dimensions: The Blind Spot in Software Engineering
CHASE Voices of the Industry Track
Vini Kanvar IBM India Research Lab
14:15
5m
Talk
When IoT Meets Reality: Human Constraints in Field Deployment
CHASE Voices of the Industry Track
Federico Balaguer Stream S.A.
14:20
5m
Talk
How Academic Researchers Navigate Immediate, Near Future, and Moonshot Work in Industry
CHASE Voices of the Industry Track
Ilya Zakharov JetBrains Research
14:25
5m
Panel
Voices of Industry Panel (Day 2)
CHASE Voices of the Industry Track

14:30
15m
Full-paper
From Customer Proximity to Enterprise Goals: How Agile Teams Perceive and Articulate Value
CHASE Research Track
Suvi Ihaksi LUT University, Maria Paasivaara LUT University, Finland & Aalto University, Finland, Sonja Hyrynsalmi LUT University
14:45
15m
Full-paper
Industry Insights on UX–Agile Process Integration: Challenges, Benefits, and Potential Solutions
CHASE Research Track
Fayaz Suleman University of North Carolina at Charlotte, David Wilson University of North Carolina at Charlotte
15:00
15m
Full-paper
Emotion Recognition in Agile Software Meetings: A Comparative Study of ML, DL, and Text-based LLM Approaches
CHASE Research Track
Eduardo Sardenberg Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Theo Canuto Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Paulo Mann Federal University of Rio de Janeiro (UFRJ), Matheus Utino University of São Paulo (USP), Daniel Coutinho Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Anderson Uchôa Federal University of Ceará, Juliana Alves Pereira PUC-Rio
15:15
15m
Talk
Regression Testing in Remote and Hybrid Software Teams: An Exploratory Study of Processes, Tools, and Practices
CHASE Research Track
Juliane Pascoal CESAR School, Cleyton Magalhaes Universidade Federal Rural de Pernambuco, Ronnie de Souza Santos University of Calgary
16:00 - 17:30
Education, AI and Non traditional codebases, Closing SessionCHASE Research Track / CHASE Program at Oceania IX
16:00
15m
Full-paper
“I like using GenAI as a tool, but with the feeling that I’m better than it”: Exploring How Students Negotiate Computing Identity in the Age of GenAI
CHASE Research Track
Anna Bich-Huyen Doan Norwegian University of Science and Technology, Karen Seim Midtlien Norwegian University of Science and Technology, Syed Sajid Hussain Norwegian University of Science and Technology, Morteza Moalagh Norwegian University of Science and Technology (NTNU), Department of Computer Sci-ence, Trondheim, Norway, Babak Farshchian Norwegian University of Science and Technology
16:15
15m
Full-paper
Fast and Fleeting: Evaluating ChatGPT’s Impact on Students’ Computational Thinking Skills
CHASE Research Track
May Mahmoud New York University Abu Dhabi, Eric Asare New York University Abu Dhabi, Nisa Shahid New York University Abu Dhabi, Nourhan Sakr The American University in Cairo, Sarah Nadi New York University Abu Dhabi
16:30
15m
Full-paper
Why Do We Code? A Theory on Motivations and Challenges in Software Engineering from Education to Practice
CHASE Research Track
Aaliyah Chang Queen's University, Mariam Guizani Queen's University, Canada, Brittany Johnson George Mason University
16:45
15m
Full-paper
Empathy in Software Engineering Education: Evidence, Practices, and Opportunities
CHASE Research Track
Matheus de Morais Leça University of Calgary, Kim Johnston University of Calgary, Ronnie de Souza Santos University of Calgary
17:00
10m
Short-paper
Designing Tools to Enhance Best Practices in Research Software Engineering
CHASE Research Track
Minhyuk Ko Virginia Tech, Chris Brown Virginia Tech
17:10
10m
Short-paper
Human-Centered Quantum Software Engineering: A Research Agenda
CHASE Research Track
Muneera Bano CSIRO's Data61, Rashina Hoda Monash University, Didar Zowghi CSIRO's Data61 - University of Technology Sydney, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Mohammad Reza Mousavi King's College London
17:20
5m
Closing
CHASE Program

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
11:00
15m
Talk
BFix: Automated Safe Memory-Leak Fixing for Binary Code
ICSE Research Track
Wen Zhang University of Georgia, Botang Xiao University of Georgia, Qingchen Kong University of Georgia, Boyang Yi University of Georgia, Suxin Ji University of Georgia, USA, Yage Hu University of Georgia, Songlan Wang University of Georgia, Wenwen Wang University of Georgia
11:15
15m
Talk
Learning without Forgetting: Towards Continual learning of Fault Localization Models in Industrial Software Systems
ICSE Research Track
Chun Li Nanjing University, Hui Li Samsung Electronics (China) R&D Centre, Zhong Li Nanjing University, Minxue Pan Nanjing University, Xuandong Li Nanjing University
11:30
15m
Talk
Memory-Efficient Large Language Models for Program Repair with Semantic-Guided Patch Generation
ICSE Research Track
Le-Cong Thanh The University of Melbourne, Xuan-Bach D. Le University of Melbourne, Toby Murray University of Melbourne
11:45
15m
Talk
Addressing Test Flakiness: Practical Approaches in a Database-Reliant Industrial System
ICSE SE In Practice (SEIP)
George Vegelien Delft University of Technology, Carolin Brandt Delft University of Technology, Bas Graaf Exact, Arie van Deursen TU Delft
Pre-print
12:00
15m
Talk
XTrace: A Non-Invasive Dynamic Tracing Framework for Android Applications in Production
ICSE SE In Practice (SEIP)
Qi Hu ByteDance, Jiangchao Liu ByteDance, Lin Zhang ByteDance, Edward Jiang ByteDance, Xin Yu ByteDance
12:15
15m
Talk
Delta Debugging for LLM-integrated Systems
ICSE SE In Practice (SEIP)
Hao-Nan Zhu University of California, Davis, Muhammad Numair Mansur Amazon Web Services, Martin Schäf Amazon Web Services, Zeya Chen Amazon Web Services, Tancrède Lepoint Amazon, Willem Visser Amazon Web Services
14:00 - 15:30
14:00
15m
Talk
SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair
ICSE Research Track
Seungheon Han UNIST, YoungJae Kim Ulsan National Institute of Science and Technology, Yeseung Lee UNIST, Jooyong Yi UNIST
14:15
15m
Talk
Fine-Grained Analyses for Evolution-Aware Runtime Verification
ICSE Research Track
Pengyue Jiang Cornell University, Kevin Guan Cornell University, M. Mahdi Khosravi Middle East Technical University, Moustafa Ismail Middle East Technical University, Marcelo d'Amorim North Carolina State University, Owolabi Legunsen Cornell University
14:30
15m
Talk
An Empirical Study on Static Application Security Testing (SAST) Tools for Python
ICSE Research Track
Liu Zhuohang Nankai University, Zhi Wang Nankai University, Haotong Liu Nankai University, Wanpeng Li University of Liverpool
14:45
15m
Talk
NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery
ICSE Research Track
Jikai Wang Huazhong University of Science and Technology, Ningyu He Hong Kong Polytechnic University, Tianming Liu Huazhong University of Science and Technology, Junhai Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
15:00
15m
Talk
PyXray: Practical Cross-Language Call Graph Construction through Object Layout Analysis
ICSE Research Track
Georgios Alexopoulos University of Athens, Thodoris Sotiropoulos ETH Zurich, Georgios Gousios Endor Labs, Zhendong Su ETH Zurich, Dimitris Mitropoulos University of Athens
Pre-print
15:15
15m
Talk
HapCheck: DSL-Based Static Bug Detection Framework for OpenHarmony
ICSE SE In Practice (SEIP)
Xitong Zhong Beihang University, Chang Liu Beihang University, Runlin Liu Beihang University, Zifu Xu Beihang University, Zhengyao Liu Beihang University, Juqi Zhou Beihang University, Gang Fan Huawei Hong Kong Research Centre, Mingyi Zhou Beihang University, Xiang Gao Beihang University, Li Li Beihang University
16:00 - 17:30
Testing and Analysis 6ICSE Research Track at Oceania IX
16:00
15m
Talk
SAFE: Harnessing LLM for Scenario-Driven ADS Testing from Multimodal Crash Data
ICSE Research Track
Siwei Luo Macquarie University, Yang Zhang , Yao Deng Macquarie University, Linfeng Liang Macquarie University, Xi Zheng Macquarie University
16:15
15m
Talk
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
ICSE Research Track
Haoyang Ma Hong Kong University of Science and Technology, Alastair F. Donaldson Imperial College London, Qingchao Shen Tianjin University, Yongqiang Tian Monash University, Junjie Chen Tianjin University, Shing-Chi Cheung Hong Kong University of Science and Technology
16:30
15m
Research paper
META²V2V: Revealing Behavioural Deviations under Mutual Perception in Multi-Vehicle Autonomous Driving
ICSE Research Track
Lejin Li Kyushu University, Xiao-Yi Zhang University of Science and Technology Beijing, Shuncheng Tang University of Science and Technology of China, Zhenya Zhang Kyushu University, Jianjun Zhao Kyushu University
Media Attached
16:45
15m
Talk
DeFT: Maintaining Determinism and Extracting Unit Tests for Autonomous Driving Planning
ICSE Research Track
Yuqi Huai University of California, Irvine, Yuntianyi Chen University of California, Irvine, Ziwen Wan University of California, Irvine, Alfred Chen University of California, Irvine, Joshua Garcia University of California, Irvine
17:00
15m
Talk
TARIPlay: A Test Framework for AR Applications based on Interactive Area Detection in Playback Videos
ICSE Research Track
Seyed Amir Mousavi PhD Student at University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio
17:15
15m
Talk
Validating Mixed-Integer Programming Solvers
ICSE Research Track
Xintong Zhou University of Waterloo, Zhenyang Xu University of Waterloo, Chengnian Sun University of Waterloo

Thu 16 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
Testing and Analysis 8ICSE Research Track at Oceania IX
11:00
15m
Talk
RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel
ICSE Research Track
Yuwei Liu Ant Group, Yanhao Wang Independent Researcher, Minghua Wang Ant Group, Lin Huang Ant Group, Purui Su Institute of Software/CAS China, Tao Wei Ant Group
11:15
15m
Talk
VDBFuzz: Understanding and Detecting Crash Bugs in Vector Database Management Systems
ICSE Research Track
Shenao Wang Huazhong University of Science and Technology, Zhao Liu 360 AI Security Lab, Yanjie Zhao Huazhong University of Science and Technology, Quanchen Zou 360 AI Security Lab, Haoyu Wang Huazhong University of Science and Technology
11:30
15m
Talk
GPTrace: Effective Crash Deduplication Using LLM Embeddings
ICSE Research Track
Patrick Herter Fraunhofer AISEC, Vincent Ahlrichs Fraunhofer AISEC, Ridvan Açilan Technical University of Munich, Julian Horsch Fraunhofer AISEC
Pre-print Media Attached
11:45
15m
Talk
Is My RPC Response Reliable? Detecting RPC Bugs in Blockchain Client under Context
ICSE Research Track
Zhijie Zhong School of Software Engineering, Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Mingxi Ye Sun Yat-sen University, Qing Xue Sun Yat-sen University, Jiashui Wang Zhejiang University, Long Liu , Xinlei Ying , Zibin Zheng Sun Yat-sen University
12:00
15m
Talk
EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models
ICSE Research Track
Juanen Li Tsinghua University, Peng Qian Zhejiang University, Guanyan Li University of Oxford, Rui Wang Beijing Normal University, Peixin Wang East China Normal University, Zhiqing Tang Beijing Normal University, Fuchen Ma Tsinghua University, Yuanliang Chen Tsinghua University, Lun Zhang GoPlus Security
12:15
15m
Talk
StorFuzz: Using Data Diversity to Overcome Fuzzing Plateaus
ICSE Research Track
Leon Weiß Ruhr University Bochum, Tobias Holl Ruhr University Bochum, Kevin Borgolte Ruhr University Bochum
Pre-print Media Attached
14:00 - 15:30
Testing and Analysis 11ICSE Research Track at Oceania IX
14:00
15m
Talk
Efficient Build Dependency Verification Using eBPF and Incremental Analysis
ICSE Research Track
Yuta Saito Waseda University, Kazunori Sakamoto Tokyo Online Unicersity / Waseda University / National Institute of Informatics / WillBooster Inc., Hironori Washizaki Waseda University
14:15
15m
Talk
Hybrid Fault-Driven Mutation Testing for Python
ICSE Research Track
Saba Alimadadi Simon Fraser University, Golnaz Gharachorlu University of Ottawa
Pre-print
14:30
15m
Talk
No Shot in the Dark: Efficient Context-Free Language Reachability via Context-Aware Tabulation
ICSE Research Track
Chenghang Shi SKLP, Institute of Computing Technology, CAS, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences
14:45
15m
Talk
Is Call Graph Pruning Really Effective? An Empirical Re-evaluation
ICSE Research Track
Mohammad Rafieian The University of Texas at Dallas, Vlad Birsan The University of Texas at Dallas, Kunal Katiya Coppell High School, Dylan Zhong , Shiyi Wei University of Texas at Dallas
Pre-print
15:00
15m
Talk
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
ICSE Research Track
Isabel Amaral INESC TEC, Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, José Campos Faculty of Engineering of the University of Porto, Portugal
15:15
15m
Talk
Enhancing Symbolic Execution with Self-Configuring Parameters
ICSE Research Track
Minjong Kim Sungkyunkwan University, Sooyoung Cha Sungkyunkwan University
16:00 - 17:30
AI for Software Engineering 19ICSE Research Track at Oceania IX
16:00
15m
Talk
An Eye for AI: Eye-Tracking the Micro-Interruptions of GenAI Code Suggestions
ICSE Research Track
Tarek Alakmeh University of Zurich, Sarah D'Angelo Google, Thomas Fritz University of Zurich
Pre-print Media Attached
16:15
15m
Talk
Inside Out: Uncovering How Comment Internalization Steers LLMs for Better or Worse
ICSE Research Track
Aaron Imani University of California, Irvine, Mohammad Moshirpour University of California, Irvine, Iftekhar Ahmed University of California at Irvine
Pre-print
16:30
15m
Talk
Scrub It Out! Erasing Sensitive Memorization in Code Language Models via Machine Unlearning
ICSE Research Track
Zhaoyang Chu Huazhong University of Science and Technology, Yao Wan Huazhong University of Science and Technology, Zhikun Zhang Zhejiang University, Di Wang King Abdullah University of Science and Technology, Zhou Yang University of Alberta, Alberta Machine Intelligence Institute , Hongyu Zhang Chongqing University, Pan Zhou Huazhong University of Science and Technology, Xuanhua Shi Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology, David Lo Singapore Management University
16:45
15m
Talk
What Makes Code Generation Ethically Sourced?
ICSE Research Track
Zhuolin Xu Concordia University, Chenglin Li Concordia University, Qiushi Li Concordia University, Shin Hwei Tan Concordia University
17:00
15m
Talk
Filtering before Tuning: Robust Fine-Tuning of Large Code Models under Noisy Labels
ICSE Research Track
Zhong Li Nanjing University, Yang Chen China Automobile Data of Tianjin Co., Ltd. China Automotive Technology&Research Center Co.,Ltd., Heng Yong Nanjing University, Yuanyi Lin Huawei Technologies, Jiali Zhao Huawei, Tongtong Xu Huawei, Minxue Pan Nanjing University, Tian Zhang Nanjing University, Xuandong Li Nanjing University
17:15
15m
Talk
Automating Requirements Formalization: Using LLMs and Low-Complexity Distinguishing Traces for Semantic Validation
ICSE Research Track
Daniel Mendoza Stanford University, Anastasia Mavridou KBR / NASA Ames Research Center, Andreas Katis KBR / NASA Ames Research Center, Caroline Trippel Stanford University

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
11:00
15m
Talk
Bridging the Final Gap: Fuzzing Template Generation from Protocol Reverse Engineering
ICSE Demonstrations
Wenlong Zhang Central South University, Yongjun Xie Central South University, Yuanliang Chen Tsinghua University, Fuchen Ma Tsinghua University, Dalong Shi AVIC International Digital Network Technology Co., Ltd., Dongyi Yu AVIC International Digital Network Technology Co., Ltd., Heyuan Shi Central South University
11:15
15m
Talk
The Havoc Paradox in Generator-Based Fuzzing
ICSE Journal-first Papers
Ao Li Carnegie Mellon University, Madonna Huang University of British Columbia, Vasudev Vikram Carnegie Mellon University, Caroline Lemieux University of British Columbia, Rohan Padhye Carnegie Mellon University
11:30
15m
Talk
Visualization Task Taxonomy to Understand the Fuzzing Internals
ICSE Journal-first Papers
Sriteja Kummita Paderborn University, Miao Miao The University of Texas at Dallas, Eric Bodden Heinz Nixdorf Institute at Paderborn University & Fraunhofer IEM, Shiyi Wei University of Texas at Dallas
11:45
15m
Talk
FrameShift: Resizing Fuzzer Inputs Without Breaking Them
ICSE Research Track
Harrison Green Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Fraser Brown CMU
12:00
15m
Talk
On Interaction Effects in Greybox Fuzzing
ICSE Research Track
Konstantinos Kitsios University of Zurich, Marcel Böhme MPI for Security and Privacy, Alberto Bacchelli IfI, University of Zurich
Pre-print
12:15
15m
Talk
Configuration-Sensitive Linux Kernel Fuzzing
ICSE Research Track
Yuheng Shen , Jianzhong Liu Tsinghua University, Yuhan Chen Central South Sniversity, Yifei Chu Tsinghua University, Qiang Zhang Hunan University, Guoyu Yin Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University
14:00 - 15:30
14:00
15m
Talk
Drivora: A Unified and Extensible Infrastructure for Search-based Autonomous Driving Testing
ICSE Demonstrations
Mingfei Cheng Singapore Management University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Yuan Zhou Zhejiang Sci-Tech University
14:15
15m
Talk
CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Dependency Awareness and Language-Specific Knowledge
ICSE Journal-first Papers
Yuwei Zhang Institute of Software Chinese Academy of Sciences, Qingyuan Lu Institute of Software Chinese Academy of Sciences, Kai Liu Shanghai Stock Exchange Technology Co., Ltd., Wensheng Dou Institute of Software Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Li Qian Shanghai Stock Exchange Technology Co., Ltd., Chunxi Zhang Shanghai Stock Exchange Technology Co., Ltd., Zheng Lin Shanghai Stock Exchange Technology Co., Ltd., Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
14:30
15m
Talk
How Toxic Can You Get? Search-Based Toxicity Testing for Large Language Models
ICSE Journal-first Papers
Simone Corbo Politecnico di Milano, Luca Bancale Politecnico di Milano, Valeria De Gennaro Politecnico di Milano, Livia Lestingi DEIB, Politecnico di Milano, Vincenzo Scotti Karlsruhe Institute of Technology, Matteo Camilli Politecnico di Milano
14:45
15m
Talk
Using Cooperative Co-evolutionary Search to Generate Metamorphic Test Cases for Autonomous Driving Systems
ICSE Journal-first Papers
Hossein Yousefizadeh University of Ottawa, Shenghui Gu University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ali Nasr Waterloo Research Center of Huawei
15:00
15m
Talk
Atomicity Violation Detection for Interrupt-Driven Programs via Incrementally Exploring Concurrent Paths
ICSE New Ideas and Emerging Results (NIER)
Yuanzhe Liu Xidian University, Bin Yu Xidian University, Ruixue Li Xidian University, Cheng Wen Xidian University, Xu Lu Xidian University, Chu Chen Qufu Normal University, Cong Tian Xidian University
15:15
15m
Talk
EVATest: Domain-Oriented Android GUI Testing based on Reward-Guided Retrieval-Augmented Generation
ICSE New Ideas and Emerging Results (NIER)
Bhavana Kondeti The University of Texas at San Antonio, Guanqun Yang Stevens Institute of Technology, USA, Yui Takashima The University of Texas at San Antonio, XUEQING Liu Stevens Institute of Technology, Xiaoyin Wang University of Texas at San Antonio
16:00 - 17:30
16:00
15m
Talk
Learning Program Behavioral Models from Synthesized Input-Output Pairs
ICSE Journal-first Papers
Tural Mammadov CISPA Helmholtz Center for Information Security, Dietrich Klakow Saarland University, Alexander Koller Saarland University, Andreas Zeller CISPA Helmholtz Center for Information Security
16:15
15m
Talk
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning
ICSE Journal-first Papers
Hassan Sartaj Simula Research Laboratory, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University, Julie Marie Gjøby Welfare Technologies Section, Oslo Kommune Helseetaten
16:30
15m
Talk
Large Language Model powered Test Driver Generation for High-performance Computing Library
ICSE New Ideas and Emerging Results (NIER)
Ziran He National University of Defense Technology, Changsha, China, Guofeng Zhang College of Computer, National University of Defense Technology, Meixi Liu National University of Defense Technology, Changsha, China, Zhenbang Chen College of Computer, National University of Defense Technology
16:45
15m
Talk
HarnessLLM: Rust Verification Harness Generation with Large Language Models
ICSE Research Track
Minghua Wang Ant Group, Yuwei Liu Ant Group, Lin Huang Ant Group
17:00
15m
Talk
Agentic Predicates Reasoning for Directed Fuzzing
ICSE Research Track
Jie Zhu University of Chicago, Chihao Shen University of Maryland, Ziyang Li Johns Hopkins University, Jiahao Yu Northwestern University, Yizheng Chen University of Maryland, Kexin Pei The University of Chicago
17:15
15m
Talk
Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation
ICSE Research Track
Zitong Zhou UCLA, Matteo Paltenghi University of Stuttgart, Miryung Kim UCLA and Amazon Web Services, Michael Pradel CISPA Helmholtz Center for Information Security

Sun 12 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Thu 16 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Oceania IX

Tue 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Oceania IX
CHASE Program
Awards
11:00 - 11:20

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Oceania IX

Thu 16 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Oceania IX

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Oceania IX