FormaliSE 2026
Sun 12 - Mon 13 April 2026
Rio de Janeiro, Brazil
co-located with
ICSE 2026
Toggle navigation
Attending
Venue: Windsor Convention Center and Hotels
ICSE 2026
Registration
Visa and Travel Authorization
Code of Conduct
Equity, Diversity, and Inclusion Plan for ICSE 2026
Official Travel Services
Social Events
Sustainability at ICSE 2026
Travel Support
In-Person Conference
Program
FormaliSE Program
Your Program
Sun 12 Apr
Mon 13 Apr
Tracks
FormaliSE 2026
FormaliSE Program
Research Track
Artifact Track
Organization
FormaliSE 2026 Committees
Track Committees
Research Track
Organization Committee
Research Track
Program Committee Chairs
Research Track
Program Committee Members
Research Track
Social Media Chair
Artifact Track
Artifact Evaluation Chairs
Artifact Track
Artifact Evaluation Committee Members
Contributors
People Index
Search
Series
Series
FormaliSE 2026
FormaliSE 2025
FormaliSE 2024
FormaliSE 2023
FormaliSE 2022
FormaliSE 2021
FormaliSE 2020
FormaliSE 2019
FormaliSE 2018
Sign in
Sign up
ICSE 2026
(
series
) /
FormaliSE 2026 (
series
) /
Windsor Convention Center and Hotels
/
Room information: Oceania IX
Venue
Windsor Convention Center and Hotels
Room name
Oceania IX
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-03:00) Brasilia, Distrito Federal, Brazil
.
Use conference time zone: (GMT-03:00) Brasilia, Distrito Federal, Brazil
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-06:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Cancun
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 12 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
09:00 - 10:30
Opening Session
MOBILESoft Research Track
at
Oceania IX
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
Session 1
MOBILESoft Research Track
at
Oceania IX
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
Session 2
MOBILESoft Research Track
at
Oceania IX
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
Closing Session
MOBILESoft Research Track
at
Oceania IX
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 Session
CHASE 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 Session
CHASE 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 Session
CHASE 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 Session
CHASE 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
Livio Dalloro
Google
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
Tor Sporsem
SINTEF
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 AI
CHASE 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
Awards, Human–AI Collaboration, and Responsible AI
CHASE Journal First and Journal Fast
/
CHASE Research Track
/
CHASE Doctoral and Early Career Symposium (DECS)
/
CHASE Program
at
Oceania IX
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 Session
CHASE 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
Guilherme Herzog
Google
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 Session
CHASE 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
Testing and Analysis 1
ICSE SE In Practice (SEIP)
/
ICSE Research Track
at
Oceania IX
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
Testing and Analysis 4
ICSE Research Track
/
ICSE SE In Practice (SEIP)
at
Oceania IX
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 6
ICSE 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 8
ICSE 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 11
ICSE 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 19
ICSE 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
Testing and Analysis 15
ICSE Demonstrations
/
ICSE Journal-first Papers
/
ICSE Research Track
at
Oceania IX
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
Testing and Analysis 18
ICSE New Ideas and Emerging Results (NIER)
/
ICSE Demonstrations
/
ICSE Journal-first Papers
at
Oceania IX
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
AI for Software Engineering 29
ICSE Journal-first Papers
/
ICSE Research Track
/
ICSE New Ideas and Emerging Results (NIER)
at
Oceania IX
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
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Oceania IX
MOBILESoft Research Track
Opening Session
MOBILESoft Research Track
Session 1
MOBILESoft Research Track
Session 2
MOBILESoft Research Track
Closing Session
Mon 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Oceania IX
CHASE Research Track + CHASE Program
Hiring and Careers Session
CHASE Research Track + CHASE Journal First and Journal Fast + CHASE Program
Software Engineers' Human Characteristics Session
CHASE Research Track + CHASE Program
Keynote, OSS Session
CHASE Voices of the Industry Track + CHASE Lightning Talk Track + CHASE Program
Lighning Talks and Voices of Industry Session
Tue 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Oceania IX
CHASE Research Track + CHASE Program
Keynote, Human–AI Collaboration and Responsible AI
CHASE Journal First and Journal Fast + CHASE Research Track + CHASE Doctoral and Early Career Symposium (DECS) + CHASE Program
Awards, Human–AI Collaboration, and Responsible AI
CHASE Voices of the Industry Track + CHASE Research Track + CHASE Program
Voices of Industry Panel, Agile, and Teams Session Session
CHASE Research Track + CHASE Program
Education, AI and Non traditional codebases, Closing Session
Wed 15 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Oceania IX
ICSE SE In Practice (SEIP) + ICSE Research Track
Testing and Analysis 1
ICSE Research Track + ICSE SE In Practice (SEIP)
Testing and Analysis 4
ICSE Research Track
Testing and Analysis 6
Thu 16 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Oceania IX
ICSE Research Track
Testing and Analysis 8
ICSE Research Track
Testing and Analysis 11
ICSE Research Track
AI for Software Engineering 19
Fri 17 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Oceania IX
ICSE Demonstrations + ICSE Journal-first Papers + ICSE Research Track
Testing and Analysis 15
ICSE New Ideas and Emerging Results (NIER) + ICSE Demonstrations + ICSE Journal-first Papers
Testing and Analysis 18
ICSE Journal-first Papers + ICSE Research Track + ICSE New Ideas and Emerging Results (NIER)
AI for Software Engineering 29
Sun 12 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Oceania IX
MOBILESoft Research Track
Day Opening
09:00 - 09:30
MOBILESoft Research Track
Keynote: Self-Optimizing Static Analyses for Mobile Apps
09:30 - 10:30
MOBILESoft Research Track
Talk 1: TBD
11:00 - 11:30
MOBILESoft Research Track
Mapping the Patent Frontier of On-Device LLMs in Mobile Software Engine ...
11:30 - 11:45
MOBILESoft Research Track
An Empirical Evaluation of RAG for Accessibility-Aware Android Code Gen ...
11:45 - 12:00
MOBILESoft Research Track
Deliberately Introducing Accessibility Issues in SwiftUI Components for ...
12:00 - 12:15
MOBILESoft Research Track
A Methodology for Generating Mobile Applications Through Large Language ...
12:15 - 12:30
MOBILESoft Research Track
Talk 2: Learning-Based Code Analysis and Security/Privacy Defenses for ...
14:00 - 14:30
MOBILESoft Research Track
Challenges in Android Data Disclosure: An Empirical Study
14:30 - 14:45
MOBILESoft Research Track
FeedAIde: Guiding App Users to Submit Rich Feedback Reports by Asking C ...
14:45 - 15:00
MOBILESoft Research Track
InsightEdu: Mobile Discord Bot Management and Analytics for Educators
15:00 - 15:15
MOBILESoft Research Track
Award & Final Remarks
16:00 - 17:30
Mon 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Oceania IX
CHASE Program
Opening
09:00 - 09:15
CHASE Research Track
Struggling to Connect: A Researcher’s Reflection on Networking in Softw ...
09:15 - 09:30
CHASE Research Track
Mapping the Skills and Roles of Experimentation in Software Organizatio ...
09:30 - 09:45
CHASE Research Track
How Does Cognitive Capability and Personality Influence Problem-Solving ...
09:45 - 10:00
CHASE Research Track
Constructive Patterns for Human-Centered Tech Hiring
10:00 - 10:15
CHASE Research Track
A Quasi-Experimental Evaluation of Coaching to Mitigate the Impostor Ph ...
10:15 - 10:30
CHASE Research Track
Creative Minds at the Keyboard: Eye-Tracking Insights into How Develope ...
11:00 - 11:15
CHASE Research Track
Experiences of Dyslexic Software Engineers - A Qualitative Study
11:15 - 11:30
CHASE Research Track
Folklore in Software Engineering: A Definition and Conceptual Foundations
11:30 - 11:45
CHASE Research Track
Challenges and Strategies of Brazilian ADHD Programmers: A Replication ...
11:45 - 12:00
CHASE Research Track
A11yArgus: Automated Detection and Empirical Analysis of Accessibility ...
12:00 - 12:15
CHASE Journal First and Journal Fast
The Factors Influencing Well-Being in Software Engineers: A Mixed-Metho ...
12:15 - 12:30
CHASE Research Track
The Component We Do Not Factor In: How Human Behavior and Judgment Shap ...
14:00 - 14:45
CHASE Research Track
Beyond Code: Empirical Insights into How Team Dynamics Influence OSS Pr ...
14:45 - 15:00
CHASE Research Track
Governance in Practice: How Open Source Projects Define and Document Roles
15:00 - 15:15
CHASE Research Track
Understanding npm Developers’ Practices, Challenges, and Recommendation ...
15:15 - 15:30
CHASE Lightning Talk Track
Lightning Talks Panel
16:00 - 16:45
CHASE Voices of the Industry Track
Operationalizing LLM-Based Diagnosis for Integration Test Failures at G ...
16:45 - 16:50
CHASE Voices of the Industry Track
What Does Explainable AI Mean in Practice? How we Developed an AI Predi ...
16:50 - 16:55
CHASE Voices of the Industry Track
Quantifying Trust: A Human-in-the-Loop Framework for Scalable Open-Sour ...
16:55 - 17:00
CHASE Voices of the Industry Track
Addressing Test Flakiness in a Database-Reliant Industrial System: The ...
17:00 - 17:05
CHASE Voices of the Industry Track
Technical Credit in the Wild: How Teams Make Long-Term Engineering Valu ...
17:05 - 17:10
CHASE Voices of the Industry Track
Voices of Industry Panel
17:10 - 17:25
Tue 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Oceania IX
CHASE Program
Behavioral Code Analysis in the Wake of Agentic AI
09:00 - 09:45
CHASE Research Track
Bridging the Socio-Emotional Gap: The Functional Dimension of Human-AI ...
09:45 - 10:00
CHASE Research Track
Hope or Hype? Understanding Vibe Coding through Software Practitioner D ...
10:00 - 10:15
CHASE Research Track
Operationalizing AI Ethics in the Public Sector: A Cross-Context Replic ...
10:15 - 10:30
CHASE Program
Awards
11:00 - 11:20
CHASE Research Track
The Gap Between Ethical Discourse and Organizational Practice in the Re ...
11:20 - 11:30
CHASE Research Track
Role and Identity Work of Software Engineering Professionals in the Gen ...
11:30 - 11:40
CHASE Journal First and Journal Fast
Accountability in Code Review: The Role of Intrinsic Drivers and the Im ...
11:40 - 11:55
CHASE Doctoral and Early Career Symposium (DECS)
DECS (Chairs: Kelly Blincoe and Monalessa Barcellos)
11:55 - 12:25
CHASE Voices of the Industry Track
Building an Open AIBOM Standard in the Wild
14:00 - 14:05
CHASE Voices of the Industry Track
Smart Paste: How Developer Behavior Shaped the Training of an LLM
14:05 - 14:10
CHASE Voices of the Industry Track
Human Dimensions: The Blind Spot in Software Engineering
14:10 - 14:15
CHASE Voices of the Industry Track
When IoT Meets Reality: Human Constraints in Field Deployment
14:15 - 14:20
CHASE Voices of the Industry Track
How Academic Researchers Navigate Immediate, Near Future, and Moonshot ...
14:20 - 14:25
CHASE Voices of the Industry Track
Voices of Industry Panel (Day 2)
14:25 - 14:30
CHASE Research Track
From Customer Proximity to Enterprise Goals: How Agile Teams Perceive a ...
14:30 - 14:45
CHASE Research Track
Industry Insights on UX–Agile Process Integration: Challenges, Benefits ...
14:45 - 15:00
CHASE Research Track
Emotion Recognition in Agile Software Meetings: A Comparative Study of ...
15:00 - 15:15
CHASE Research Track
Regression Testing in Remote and Hybrid Software Teams: An Exploratory ...
15:15 - 15:30
CHASE Research Track
“I like using GenAI as a tool, but with the feeling that I’m better tha ...
16:00 - 16:15
CHASE Research Track
Fast and Fleeting: Evaluating ChatGPT’s Impact on Students’ Computation ...
16:15 - 16:30
CHASE Research Track
Why Do We Code? A Theory on Motivations and Challenges in Software Engi ...
16:30 - 16:45
CHASE Research Track
Empathy in Software Engineering Education: Evidence, Practices, and Opp ...
16:45 - 17:00
CHASE Research Track
Designing Tools to Enhance Best Practices in Research Software Engineering
17:00 - 17:10
CHASE Research Track
Human-Centered Quantum Software Engineering: A Research Agenda
17:10 - 17:20
CHASE Program
Closing
17:20 - 17:25
Wed 15 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Oceania IX
ICSE Research Track
BFix: Automated Safe Memory-Leak Fixing for Binary Code
11:00 - 11:15
ICSE Research Track
Learning without Forgetting: Towards Continual learning of Fault Locali ...
11:15 - 11:30
ICSE Research Track
Memory-Efficient Large Language Models for Program Repair with Semantic ...
11:30 - 11:45
ICSE SE In Practice (SEIP)
Addressing Test Flakiness: Practical Approaches in a Database-Reliant I ...
11:45 - 12:00
ICSE SE In Practice (SEIP)
XTrace: A Non-Invasive Dynamic Tracing Framework for Android Applicatio ...
12:00 - 12:15
ICSE SE In Practice (SEIP)
Delta Debugging for LLM-integrated Systems
12:15 - 12:30
ICSE Research Track
SymRadar: PoC-Centered Bounded Verification for Vulnerability Repair
14:00 - 14:15
ICSE Research Track
Fine-Grained Analyses for Evolution-Aware Runtime Verification
14:15 - 14:30
ICSE Research Track
An Empirical Study on Static Application Security Testing (SAST) Tools ...
14:30 - 14:45
ICSE Research Track
NotDec: WebAssembly Decompilation With Inter-Procedural Type Recovery
14:45 - 15:00
ICSE Research Track
PyXray: Practical Cross-Language Call Graph Construction through Object ...
15:00 - 15:15
ICSE SE In Practice (SEIP)
HapCheck: DSL-Based Static Bug Detection Framework for OpenHarmony
15:15 - 15:30
ICSE Research Track
SAFE: Harnessing LLM for Scenario-Driven ADS Testing from Multimodal Cr ...
16:00 - 16:15
ICSE Research Track
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
16:15 - 16:30
ICSE Research Track
META²V2V: Revealing Behavioural Deviations under Mutual Perception in M ...
16:30 - 16:45
ICSE Research Track
DeFT: Maintaining Determinism and Extracting Unit Tests for Autonomous ...
16:45 - 17:00
ICSE Research Track
TARIPlay: A Test Framework for AR Applications based on Interactive Are ...
17:00 - 17:15
ICSE Research Track
Validating Mixed-Integer Programming Solvers
17:15 - 17:30
Thu 16 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Oceania IX
ICSE Research Track
RusyFuzz: Unhandled Exception Guided Fuzzing for Rust OS Kernel
11:00 - 11:15
ICSE Research Track
VDBFuzz: Understanding and Detecting Crash Bugs in Vector Database Mana ...
11:15 - 11:30
ICSE Research Track
GPTrace: Effective Crash Deduplication Using LLM Embeddings
11:30 - 11:45
ICSE Research Track
Is My RPC Response Reliable? Detecting RPC Bugs in Blockchain Client un ...
11:45 - 12:00
ICSE Research Track
EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models
12:00 - 12:15
ICSE Research Track
StorFuzz: Using Data Diversity to Overcome Fuzzing Plateaus
12:15 - 12:30
ICSE Research Track
Efficient Build Dependency Verification Using eBPF and Incremental Analysis
14:00 - 14:15
ICSE Research Track
Hybrid Fault-Driven Mutation Testing for Python
14:15 - 14:30
ICSE Research Track
No Shot in the Dark: Efficient Context-Free Language Reachability via C ...
14:30 - 14:45
ICSE Research Track
Is Call Graph Pruning Really Effective? An Empirical Re-evaluation
14:45 - 15:00
ICSE Research Track
MutDafny: A Mutation-Based Approach to Assess Dafny Specifications
15:00 - 15:15
ICSE Research Track
Enhancing Symbolic Execution with Self-Configuring Parameters
15:15 - 15:30
ICSE Research Track
An Eye for AI: Eye-Tracking the Micro-Interruptions of GenAI Code Sugge ...
16:00 - 16:15
ICSE Research Track
Inside Out: Uncovering How Comment Internalization Steers LLMs for Bett ...
16:15 - 16:30
ICSE Research Track
Scrub It Out! Erasing Sensitive Memorization in Code Language Models vi ...
16:30 - 16:45
ICSE Research Track
What Makes Code Generation Ethically Sourced?
16:45 - 17:00
ICSE Research Track
Filtering before Tuning: Robust Fine-Tuning of Large Code Models under ...
17:00 - 17:15
ICSE Research Track
Automating Requirements Formalization: Using LLMs and Low-Complexity Di ...
17:15 - 17:30
Fri 17 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Oceania IX
ICSE Demonstrations
Bridging the Final Gap: Fuzzing Template Generation from Protocol Rever ...
11:00 - 11:15
ICSE Journal-first Papers
The Havoc Paradox in Generator-Based Fuzzing
11:15 - 11:30
ICSE Journal-first Papers
Visualization Task Taxonomy to Understand the Fuzzing Internals
11:30 - 11:45
ICSE Research Track
FrameShift: Resizing Fuzzer Inputs Without Breaking Them
11:45 - 12:00
ICSE Research Track
On Interaction Effects in Greybox Fuzzing
12:00 - 12:15
ICSE Research Track
Configuration-Sensitive Linux Kernel Fuzzing
12:15 - 12:30
ICSE Demonstrations
Drivora: A Unified and Extensible Infrastructure for Search-based Auton ...
14:00 - 14:15
ICSE Journal-first Papers
CITYWALK: Enhancing LLM-Based C++ Unit Test Generation via Project-Depe ...
14:15 - 14:30
ICSE Journal-first Papers
How Toxic Can You Get? Search-Based Toxicity Testing for Large Language ...
14:30 - 14:45
ICSE Journal-first Papers
Using Cooperative Co-evolutionary Search to Generate Metamorphic Test C ...
14:45 - 15:00
ICSE New Ideas and Emerging Results (NIER)
Atomicity Violation Detection for Interrupt-Driven Programs via Increme ...
15:00 - 15:15
ICSE New Ideas and Emerging Results (NIER)
EVATest: Domain-Oriented Android GUI Testing based on Reward-Guided Ret ...
15:15 - 15:30
ICSE Journal-first Papers
Learning Program Behavioral Models from Synthesized Input-Output Pairs
16:00 - 16:15
ICSE Journal-first Papers
MeDeT: Medical Device Digital Twins Creation with Few-shot Meta-learning
16:15 - 16:30
ICSE New Ideas and Emerging Results (NIER)
Large Language Model powered Test Driver Generation for High-performanc ...
16:30 - 16:45
ICSE Research Track
HarnessLLM: Rust Verification Harness Generation with Large Language Models
16:45 - 17:00
ICSE Research Track
Agentic Predicates Reasoning for Directed Fuzzing
17:00 - 17:15
ICSE Research Track
Change And Cover: Last-Mile, Pull Request-Based Regression Test Augment ...
17:15 - 17:30
x
Sat 7 Mar 07:33