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 IV
Venue
Windsor Convention Center and Hotels
Room name
Oceania IV
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
Mon 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
11:00 - 12:30
Session 1-B: Quality & Security I
MSR Technical Papers
/
MSR Industry Track
/
MSR Program
at
Oceania IV
11:00
10m
Research paper
Where Do Smart Contract Security Analyzers Fall Short?
MSR Technical Papers
Tamer Abdelaziz
NYU Abu Dhabi
,
Salma Alsaghir
NYU Abu Dhabi
,
Karim Ali
NYU Abu Dhabi
DOI
Pre-print
11:10
10m
Talk
An Empirical Study of Vulnerabilities in Python Packages and Their Detection
MSR Technical Papers
Haowei Quan
Monash University
,
Junjie Wang
Tianjin University
,
Xinzhe Li
College of Intelligence and Computing, Tianjin University
,
Terry Yue Zhuo
Monash University and CSIRO's Data61
,
Xiao Chen
University of Newcastle
,
Xiaoning Du
Monash University
11:20
10m
Talk
Does Programming Language Matter? An Empirical Study of Fuzzing Bug Detection
MSR Technical Papers
Tatsuya Shirai
Nara Institute of Science and Technology
,
Olivier Nourry
The University of Osaka
,
Yutaro Kashiwa
Nara Institute of Science and Technology
,
Kenji Fujiwara
Nara Women’s University
,
Hajimu Iida
Nara Institute of Science and Technology
11:30
10m
Talk
An Empirical Study on Line-Level Software Defect Prediction
MSR Technical Papers
Enci Zhang
Beijing Jiaotong University
,
Yutong Jiang
Beijing Jiaotong University
,
Tianmeng Zhang
Beijing Jiaotong University
,
Haonan Tong
Beijing Jiaotong University
11:40
10m
Talk
Characterizing and Modeling the GitHub Security Advisories Review Pipeline
MSR Technical Papers
Claudio Segal
UFF
,
Paulo Segal
UFF
,
Carlos Eduardo de Schuller Banjar
UFRJ
,
Felipe Paixão
UFBA
,
Hudson Silva Borges
UFMS
,
Paulo Silveira Neto
Federal University Rural of Pernambuco
,
Eduardo Santana de Almeida
Federal University of Bahia
,
Joanna C. S. Santos
University of Notre Dame
,
Anton Kocheturov
Siemens Technology
,
Gaurav Kumar Srivastava
Siemens
,
Daniel Sadoc Menasche
UFRJ, Brazil
Pre-print
11:50
10m
Talk
Linux Kernel Recency Matters, CVE Severity Doesn’t, and History Fades
MSR Technical Papers
Piotr Przymus
Nicolaus Copernicus University in Toruń, Poland
,
Witold Weiner
Nicolaus Copernicus University in Toruń and Adtran Networks Sp. z o.o
,
Krzysztof Rykaczewski
Nicolaus Copernicus University in Toruń, Poland
,
Gunnar Kudrjavets
Amazon Web Services, USA
Pre-print
12:00
10m
Talk
Beyond Single Code Changes: An Empirical Study of Topic-Based Code Review Practices in Gerrit for OpenStack
MSR Technical Papers
Moataz Chouchen
Concordia University
,
Mahi Begoug
ETS Montreal
,
Ali Ouni
Ecole de Technologie Superieure (ETS)
12:10
10m
Talk
LogSieve: Task-Aware CI Log Reduction for Sustainable LLM-Based Analysis
MSR Technical Papers
Marcus Barnes
University of Toronto
,
Taher A. Ghaleb
Trent University
,
Safwat Hassan
University of Toronto
Pre-print
12:20
5m
Talk
Finding Important Stack Frames in Large Systems
MSR Industry Track
Aleksandr Khvorov
JetBrains; Constructor University Bremen
,
Yaroslav Golubev
JetBrains Research
,
Denis Sushentsev
JetBrains
12:25
5m
Talk
Stop Comparing Apples and Oranges: Matching for Better Results in Mining Software Repositories Studies
MSR Technical Papers
Sabato Nocera
University of Salerno
,
Nyyti Saarimäki
University of Luxembourg
,
Valentina Lenarduzzi
University of Southern Denmark and University of Oulu
,
Davide Taibi
University of Southern Denmark and University of Oulu
,
Sira Vegas
Universidad Politecnica de Madrid
16:00 - 17:30
Session 3-B: Demo and tool & Tutorial
MSR Data and Tool Showcase Track
/
MSR Tutorials
/
MSR Program
at
Oceania IV
16:00
90m
Talk
MOOT: a Repository of many Multi-objective Optimization Tasks
MSR Data and Tool Showcase Track
Tim Menzies
North Carolina State University
,
Tao Chen
University of Birmingham
,
Yulong Ye
University of Birmingham
,
Kishan Kumar Ganguly
NC State
,
Amirali Rayegan
NC State
,
Srinath Srinivasan
NC State
,
Andre Lustosa
North Carolina State University
16:00
90m
Talk
Mapping Decentralized Autonomous Organization Governance Across Chains: An Updated, Multi-Platform Dataset
MSR Data and Tool Showcase Track
Mashiat Amin Farin
University of Texas at Dallas
,
Samer Hassan
Institute of Knowledge Technology, Universidad Complutense de Madrid, Madrid, Spain & Berkman Klein Center at Harvard University, Cambridge MA, USA
,
Javier Arroyo
Dpt. of Computer Science, Universidad de Alcalá, Madrid, Spain & Institute of Knowledge Technology, Universidad Complutense de Madrid Madrid, Spain
16:00
90m
Talk
Assessing Task-based Chatbots: Snapshot and Curated Datasets for Dialogflow
MSR Data and Tool Showcase Track
Elena Masserini
University of Milano - Bicocca
,
Diego Clerissi
University of Milano-Bicocca
,
Daniela Micucci
University of Milano-Bicocca, Italy
,
Leonardo Mariani
University of Milano-Bicocca
16:00
90m
Talk
LILA: Decentralized Build Reproducibility Monitoring for the Functional Package Management Model
MSR Data and Tool Showcase Track
Julien Malka
LTCI, Télécom Paris, Institut Polytechnique de Paris, France
,
Arnout Engelen
Independent
16:00
90m
Talk
Mining Kubernetes Repositories: The Cloud was Not Built in a Day
MSR Data and Tool Showcase Track
Giuseppe Destefanis
University College London
,
Silvia Bartolucci
University College London
,
Daniel Feitosa
University of Groningen
16:00
90m
Talk
RustXec: A Vulnerability Reproduction Dataset for Assessing Security Risks in Open-Source Rust Applications
MSR Data and Tool Showcase Track
Zhengjie Ji
Virginia Tech
,
Xin Wang
Virginia Tech
,
Wang Lingxiang
Unaffiliated
,
Geng Li
Wake Forest University
,
Fan Yang
Wake Forest University
,
Ying Zhang
Wake Forest University
16:00
90m
Talk
OSSGameBench: A Large-Scale Dataset of Development Activities in Open-Source Video Games
MSR Data and Tool Showcase Track
Faiz Marsad
University of Calgary
,
Nimmi Weeraddana
University of Calgary
DOI
Pre-print
16:00
90m
Talk
JavaBackports: A Dataset for Benchmarking Automated Backporting in Java
MSR Data and Tool Showcase Track
Kaushal Kahapola
University of Moratuwa, Sri Lanka
,
Sharada Galappaththi
University of Moratuwa, Sri Lanka
,
Dinith Ranasinghe
University of Moratuwa, Sri Lanka
,
Ridwan Salihin Shariffdeen
SonarSource
,
Nisansa de Silva
University of Moratuwa, Sri Lanka
,
Srinath Perera
WSO2
,
Sandareka Wickramanayake
University of Moratuwa, Sri Lanka
16:00
90m
Talk
HackRep: A Large-Scale Dataset of GitHub Hackathon Projects
MSR Data and Tool Showcase Track
Sjoerd Halmans
Eindhoven University of Technology
,
Lavinia Francesca Paganini
Eindhoven University of Technology
,
Alexander Serebrenik
Eindhoven University of Technology
,
Alexander Nolte
Eindhoven University of Technology
16:00
90m
Talk
KubeObjects: A Dataset of Real-World Kubernetes Objects
MSR Data and Tool Showcase Track
Matteo Grella
University of Twente
,
Danil Aliforenko
University of Twente
,
Luca Mariot
University of Twente
16:00
90m
Talk
IssuePilot: An Agentic Framework for Personalized Issue Recommendation and Onboarding in Open-Source Projects
MSR Data and Tool Showcase Track
Shlok Pandey
IIIT Hyderabad
,
Akhila Sri Manasa Venigalla
IIIT Hyderabad
16:00
90m
Talk
DBSecQA: A Curated Dataset of Developer Discussions on Database Security from Stack Exchange
MSR Data and Tool Showcase Track
Md Rakibul Islam
Lamar University
,
Farha Kamal
Lamar University
,
MD HUMAUN KABIR
Lamar University
,
Md Murad Sharif
Lamar University
16:00
90m
Talk
PoolinGH: Fast, Efficient, and Robust GitHub Repository Mining
MSR Data and Tool Showcase Track
Maxime ANDRÉ
Namur Digital Institute, University of Namur
,
Marco Raglianti
REVEAL @ Software Institute – USI, Lugano, Switzerland
,
Souhaila Serbout
University of Zurich, Zurich, Switzerland
,
Anthony Cleve
University of Namur
,
Michele Lanza
Software Institute - USI, Lugano
Pre-print
16:00
90m
Talk
GivenWhenThen: A Dataset of BDD Test Scenarios Mined from Open Source Projects
MSR Data and Tool Showcase Track
Luciano Belo de Alcântara Júnior
UFMG
,
João Eduardo Montandon
Universidade Federal de Minas Gerais (UFMG)
16:00
90m
Talk
AnoMod: A Dataset for Anomaly Detection and Root Cause Analysis in Microservice System
MSR Data and Tool Showcase Track
Ke Ping
University of Helsinki
,
Hamza Bin Mazhar
University of Helsinki
,
Yuqing Wang
University of Helsinki, Finland
,
Ying Song
University of Helsinki
,
Mika Mäntylä
University of Helsinki and University of Oulu
16:00
90m
Talk
GLiSE: A Prompt-Driven and ML-Powered Tool for Automated Grey Literature Extraction in Software Engineering
MSR Data and Tool Showcase Track
Brahim Mahmoudi
École de technologie supérieure
,
Zacharie Chenail-Larcher
École de technologie supérieure (ÉTS)
,
Houcine Abdelkader Cherief
Ecole de Technologie Supérieure
,
Quentin Stiévenart
Université du Québec à Montréal
,
Naouel Moha
École de Technologie Supérieure (ETS)
,
Florent AVELLANEDA
Université du Québec à Montréal
16:00
90m
Talk
OmniCCG: Agnostic Code Clone Genealogy Extractor
MSR Data and Tool Showcase Track
Denis Sousa
State University of Ceara, Brazil
,
Matheus Paixao
State University of Ceará
,
Thiago Lima
State University of Ceara, Brazil
,
Adriely Silva
State University of Ceara, Brazil
,
Italo Uchoa
State University of Ceará
,
Chaiyong Ragkhitwetsagul
Mahidol University
16:00
90m
Talk
GitEvo: Code Evolution Analysis for Git Repositories
MSR Data and Tool Showcase Track
Andre Hora
UFMG
Pre-print
16:00
90m
Talk
Skyt: Prompt Contracts for Software Repeatability in LLM-Assisted Development
MSR Data and Tool Showcase Track
Heitor Roriz Filho
Massimus
,
Nasser Jazdi
University of Stuttgart
,
Vicente Lucena
Universidade Federal do Amazonas
16:00
90m
Talk
InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in the NPM Ecosystem
MSR Data and Tool Showcase Track
Tanner Wright
University of British Columbia
,
Adams Chen
University of British Columbia
,
Gema Rodríguez-Pérez
Department of Computer Science, Mathematics, Physics and Statistics, University of British Columbia, Okanagan Campus
16:50
40m
Talk
Running Large Language Models at Scale for Mining Software Repositories: Lessons Learned from HPC-Based Batch Inference
MSR Tutorials
Ruoyu Su
,
Matteo Esposito
University of Oulu
,
Davide Taibi
University of Southern Denmark and University of Oulu
,
Valentina Lenarduzzi
University of Southern Denmark and University of Oulu
Tue 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
11:00 - 12:30
Session 1-B: Maintenance, Evolution & Processes
MSR Technical Papers
/
MSR Program
at
Oceania IV
11:00
10m
Talk
Source Code Hotspots: A Diagnostic Method for Quality Issues
MSR Technical Papers
Saleha Muzammil
University of Virginia
,
Mughees Ur Rehman
Virginia Tech
,
Zoe Kotti
AUEB & DeepSea Technologies
,
Diomidis Spinellis
AUEB & TU Delft
Pre-print
11:10
10m
Talk
Evolving Kubernetes: A Technical Debt Perspective
MSR Technical Papers
Jesse Maarleveld
University of Groningen
,
Giuseppe Destefanis
University College London
,
Daniel Feitosa
University of Groningen
11:20
10m
Talk
How do third-party Python libraries use type annotations?
MSR Technical Papers
Eric Asare
New York University Abu Dhabi
,
Sarah Nadi
New York University Abu Dhabi
Pre-print
11:30
10m
Talk
Coordination at Scale in Large Distributed Development: The Case of Kubernetes
MSR Technical Papers
Sabrina Aufiero
University College London (UCL)
,
Matteo Vaccargiu
University of Cagliari
,
Silvia Bartolucci
University College London
,
Fabio Caccioli
University College London (UCL)
,
Giuseppe Destefanis
University College London
11:40
10m
Talk
Combining Example-Based and Rule-Based Program Transformations to Resolve Build Conflicts
MSR Technical Papers
Sheikh Shadab Towqir
Virginia Tech
,
Fei He
Tsinghua University
,
Todd Mytkowicz
Google
,
Na Meng
Virginia Tech
Pre-print
11:50
10m
Talk
Mining Quantum Software Patterns in Open-Source Projects
MSR Technical Papers
Neilson Carlos Leite Ramalho
Universidade de São Paulo
,
Erico Augusto Da Silva
Universidade de São Paulo
,
Higor Amario de Souza
University of São Paulo
,
Marcos Lordello Chaim
University of São Paulo
12:00
10m
Talk
Analyzing Dependency Distribution Changes Arising from Code Smell Interactions
MSR Technical Papers
Zushuai Zhang
University of Auckland
,
Elliott Wen
,
Ewan Tempero
The University of Auckland
Pre-print
12:10
10m
Talk
The Value of Effective Pull Request Description
MSR Technical Papers
Shirin Pirouzkhah
University of Zurich
,
Pavlina Wurzel Goncalves
University of Zurich
,
Alberto Bacchelli
IfI, University of Zurich
Pre-print
12:20
10m
Talk
Promises, Perils, and (Timely) Heuristics for Mining Coding Agent Activity
MSR Technical Papers
Romain Robbes
CNRS, LaBRI, University of Bordeaux
,
Théo Matricon
CNRS, LaBRI, University of Bordeaux
,
Thomas Degueule
CNRS
,
Andre Hora
UFMG
,
Stefano Zacchiroli
LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France
Pre-print
14:00 - 15:30
Session 2-B: Quality
MSR Program
/
MSR Technical Papers
at
Oceania IV
14:00
10m
Talk
How are MLOps Frameworks Used in Open Source Projects? An Empirical Characterization
MSR Technical Papers
Fiorella Zampetti
University of Sannio, Italy
,
Federico Stocchetti
University of Sannio, Italy
,
Federica Razzano
University of Sannio, Italy
,
Damian Andrew Tamburri
University of Sannio - JADS/NXP Semiconductors
,
Massimiliano Di Penta
University of Sannio, Italy
Pre-print
14:10
10m
Talk
Do We Agree on What an “Audit” Is? Toward Standardized Smart Contract Audit Reporting
MSR Technical Papers
Ilham Qasse
Reykjavik University
,
Mohammad Hamdaqa
Polytechnique Montreal
,
Gísli Hjálmtýsson
Reykjavik University
14:20
10m
Talk
AFGNN: API Misuse Detection using Graph Neural Networks and Clustering
MSR Technical Papers
Ponnampalam Pirapuraj
IIT Hyderabad
,
Tamal Mondal
Oracle
,
Sharanya Gupta
Yokogawa Digital
,
Akash Lal
Microsoft Research
,
Somak Aditya
IIT Kharagpur
,
Jyothi Vedurada
IIT Hyderabad
14:30
10m
Talk
An Empirical Analysis of Cross-OS Portability Issues in Python Projects
MSR Technical Papers
Denini Silva
Federal University of Pernambuco
,
MohamadAli Farahat
North Carolina State University
,
Marcelo d'Amorim
North Carolina State University
Pre-print
14:40
10m
Talk
Learning Compiler Fuzzing Mutators from Historical Bugs
MSR Technical Papers
Lingjun Liu
North Carolina State University
,
Feiran Qin
North Carolina State University
,
Owolabi Legunsen
Cornell University
,
Marcelo d'Amorim
North Carolina State University
14:50
40m
Meeting
Mining Challenge Finalists
MSR Program
Wed 15 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
11:00 - 12:30
Requirements and Modeling 1
ICSE SE in Society (SEIS)
/
ICSE Research Track
/
ICSE SE In Practice (SEIP)
at
Oceania IV
11:00
15m
Talk
Bayesian Multi-Level Performance Models for Multi-Factor Variability of Configurable Software Systems
ICSE Research Track
Johannes Dorn
Leipzig University
,
Stefan Mühlbauer
Leipzig University
,
Stefan Jahns
Universität Leipzig
,
Sven Apel
Saarland University
,
Norbert Siegmund
Leipzig University
11:15
15m
Talk
Light over Heavy: Automated Performance Requirements Quantification with Linguistic Inducement
ICSE Research Track
Shihai Wang
University of Electronic Science and Technology of China
,
Tao Chen
University of Birmingham
Pre-print
11:30
15m
Talk
Can SAT Solvers Keep Up With the Linux Kernel's Feature Model?
ICSE Research Track
Elias Kuiter
University of Magdeburg
,
Urs-Benedict Braun
University of Magdeburg
,
Thomas Thüm
TU Braunschweig
,
Sebastian Krieter
TU Braunschweig, Germany
,
Gunter Saake
University of Magdeburg, Germany
Pre-print
11:45
15m
Talk
What Does Explainable AI Mean in Practice? Evaluative Requirements from a Longitudinal Clinical Case Study
ICSE SE In Practice (SEIP)
Tor Sporsem
SINTEF
,
Stine Rasdal Finserås
NTNU
,
Lars Adde
St. Olavs Hospital & NTNU
,
Inga Strümke
NTNU
12:00
15m
Talk
Deriving and Validating Requirements Engineering Principles for Large-Scale Agile Development: An Industrial Longitudinal Study
ICSE SE In Practice (SEIP)
Hina Saeeda
Chalmers University Sweden
,
Mijin Kim
University of Gothenburg
,
Eric Knauss
Chalmers | University of Gothenburg
,
Jesper Thyssen
Grundfos Holding A/S Bjerringbro, Denmark
,
Jesper Ørting
Grundfos Holding A/S Bjerringbro, Denmark
,
Jesper Lysemose Korsgaard
Grundfos Holding A/S Bjerringbro, Denmark
,
Niels Jørgen Strøm
Grundfos Holding A/S Bjerringbro, Denmark
12:15
15m
Talk
Developers’ Blind Spot: Designing Systems to Enable Stakeholders’ Understanding of Ethical Qualities
ICSE SE in Society (SEIS)
Gianluca De Ninno
Gran Sasso Science Institute and University of Pisa
,
Martina De Sanctis
Gran Sasso Science Institute
,
Paola Inverardi
Gran Sasso Science Institute
,
Romina Spalazzese
Malmö University
,
Christos Tsigkanos
University of Athens, Greece
14:00 - 15:30
Human and Social Aspects 3
ICSE Journal-first Papers
at
Oceania IV
14:00
15m
Talk
Exploring Empathy in Software Engineering: Insights from a Grey Literature Analysis of Practitioners' Perspectives
ICSE Journal-first Papers
Lidiany Cerqueira
BRAVAS in Tech
,
João Pedro Silva Bastos
UEFS
,
Danilo Neves
IFS
,
Glauco Carneiro
UFS
,
Rodrigo Spinola
Virginia Commonwealth University
,
Sávio Freire
Federal Institute of Ceará
,
José Amancio
UEFS
,
Manoel Mendonça
Federal University of Bahia
14:15
15m
Talk
A comparative study on reward models for user interface adaptation with reinforcement learning
ICSE Journal-first Papers
Daniel Gaspar Figueiredo
Universitat Politècnica de València, Spain
,
Marta Fernández-Diego
Universitat Politècnica de València
,
Silvia Abrahão
Universitat Politècnica de València
,
Emilio Insfran
Universitat Politècnica de València, Spain
14:30
15m
Talk
Self-monitoring of Developers' Emotions: the Case of Agile Retrospective Meetings
ICSE Journal-first Papers
Daniela Grassi
University of Bari
,
Filippo Lanubile
University of Bari
,
Nicole Novielli
University of Bari
,
Luigi Quaranta
University of Bari, Italy
,
Alexander Serebrenik
Eindhoven University of Technology
14:45
15m
Talk
What Makes a Great Software Quality Assurance Engineer?
ICSE Journal-first Papers
Roselane Silva Farias
Institute of Computing (IC), Federal University of Bahia (UFBA), Salvador, Brazil
,
Iftekhar Ahmed
University of California at Irvine
,
Eduardo Almeida
15:00
15m
Talk
Women’s Participation in Student Software Development Teams: A Cross-Sectional Study on Role Distribution
ICSE Journal-first Papers
Claudia Maria Cutrupi
Norwegian University of Science and Technology (NTNU)
,
Letizia Jaccheri
Norwegian University of Science and Technology (NTNU)
,
Sofia Papavlasopoulou
Norwegian University of Science and Technology
Link to publication
DOI
15:15
15m
Talk
Negativity in Self-Admitted Technical Debt: How Sentiment Influences Prioritization
ICSE Journal-first Papers
Nathan Cassee
University of Victoria
,
Neil Ernst
University of Victoria
,
Nicole Novielli
University of Bari
,
Alexander Serebrenik
Eindhoven University of Technology
16:00 - 17:30
Human and Social Aspects 5
ICSE Research Track
at
Oceania IV
16:00
15m
Talk
"Maybe We Need Some More Examples:" Individual and Team Drivers of Developer GenAI Tool Use
ICSE Research Track
Courtney Miller
Carnegie Mellon University
,
Rudrajit Choudhuri
Oregon State University
,
Mara Ulloa
Northwestern University
,
Sankeerti Haniyur
Microsoft Corporation
,
Robert DeLine
Microsoft Research
,
Margaret-Anne Storey
University of Victoria
,
Emerson Murphy-Hill
Microsoft
,
Christian Bird
Microsoft Research
,
Jenna L. Butler
Microsoft Research
16:15
15m
Talk
"Game Changer" or "Overenthusiastic Drunk Acquaintance"? Generative AI Use by Blind and Low Vision Software Professionals in the Workplace
ICSE Research Track
Yoonha Cha
University of California, Irvine
,
Victoria Jackson
University of Southampton
,
Lauren Shu
University of California, Irvine
,
Stacy Branham
University of California, Irvine
,
Andre van der Hoek
University of California, Irvine
16:30
15m
Talk
Cognitive Biases in LLM-Assisted Software Development
ICSE Research Track
Xinyi Zhou
University of Southern California
,
Zeinabsadat Saghi
University of Southern California
,
Sadra Sabouri
University of Southern California
,
Rahul Pandita
GitHub, Inc.
,
Mollie McGuire
Naval Postgraduate Schoo
,
Souti Chattopadhyay
University of Southern California
16:45
15m
Talk
Are Humans and LLMs Confused by the Same Code? An Empirical Study on Fixation-Related Potentials and LLM Perplexity
ICSE Research Track
Youssef Abdelsalam
Saarland University
,
Norman Peitek
Saarland University
,
Anna-Maria Maurer
Saarland University
,
Mariya Toneva
Max Planck Institute for Software Systems
,
Sven Apel
Saarland University
17:00
15m
Talk
TaCoS: Generated Context Summaries for Task Resumption
ICSE Research Track
Alexander Lill
University of Zurich
,
Valentin Hollenstein
University of Zurich
,
Roy Rutishauser
University of Zurich
,
André N. Meyer
University of Zurich
,
Thomas Fritz
University of Zurich
17:15
15m
Talk
Evolving with AI: A Longitudinal Analysis of Developer Logs
ICSE Research Track
Agnia Sergeyuk
JetBrains Research
,
Eric Huang
University of California, Irvine
,
Dariia Karaeva
JetBrains
,
Anastasiia Serova
JetBrains
,
Yaroslav Golubev
JetBrains Research
,
Iftekhar Ahmed
University of California at Irvine
Thu 16 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
11:00 - 12:30
Requirements and Modeling 2
ICSE New Ideas and Emerging Results (NIER)
/
ICSE Research Track
/
ICSE Journal-first Papers
/
ICSE SE in Society (SEIS)
at
Oceania IV
11:00
15m
Talk
Modeling Like Peeling an Onion: Layerwise Analysis-Driven Automatic Behavioral Model Generation
ICSE Research Track
Yike Huang
East China Normal University
,
Ming Hu
Singapore Management University
,
Xiaohong Chen
East China Normal University
,
Zhi Jin
Peking University, Wuhan University
,
Shuyuan Xiao
East China Normal University
11:15
15m
Talk
Context-Adaptive Requirements Defect Prediction through Human-LLM Collaboration
ICSE New Ideas and Emerging Results (NIER)
Max Unterbusch
University of Duisburg-Essen
,
Andreas Vogelsang
paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen
11:30
15m
Talk
RECOVER: Toward Requirements Generation from Stakeholders' Conversations
ICSE Journal-first Papers
Gianmario Voria
University of Salerno
,
Francesco Casillo
Università di Salerno
,
Carmine Gravino
University of Salerno
,
Gemma Catolino
University of Salerno
,
Fabio Palomba
University of Salerno
11:45
15m
Talk
Unlocking the Silent Needs: Business-Logic-Driven Iterative Requirements Auto-completion
ICSE Research Track
Zhujun Wu
East China Normal University Shanghai, China
,
Xiaohong Chen
East China Normal University
,
Zhi Jin
Peking University, Wuhan University
,
Ming Hu
Singapore Management University
,
Dongming Jin
Peking University, China
12:00
15m
Talk
LikeThis! Empowering App Users to Submit UI Improvement Suggestions Instead of Complaints
ICSE Research Track
Jialiang Wei
University of Hamburg
,
Ali Ebrahimi Pourasad
University of Hamburg
,
Walid Maalej
University of Hamburg
12:15
15m
Talk
Agentic Generation of Structured Clinical Specifications for Digital Healthcare Services
ICSE SE in Society (SEIS)
Bruno Guindani
Politecnico di Milano
,
Matteo Camilli
Politecnico di Milano
,
Livia Lestingi
DEIB, Politecnico di Milano
,
Marcello M. Bersani
Politecnico di Milano
14:00 - 15:30
Human and Social Aspects 8
ICSE Research Track
/
ICSE Journal-first Papers
/
ICSE New Ideas and Emerging Results (NIER)
at
Oceania IV
14:00
15m
Talk
Determining Code Proficiency Levels from Python Textbooks
ICSE Journal-first Papers
Ruksit Rojpaisarnkit
Nara Institute of Science and Technology
,
Gregorio Robles
Universidad Rey Juan Carlos
,
Jesus M. Gonzalez-Barahona
Universidad Rey Juan Carlos
,
Kenichi Matsumoto
Nara Institute of Science and Technology
,
Raula Gaikovina Kula
The University of Osaka
14:15
15m
Talk
Guiding principles for mixed methods research in software engineering
ICSE Journal-first Papers
Margaret-Anne Storey
University of Victoria
,
Rashina Hoda
Monash University
,
Alessandra Maciel Paz Milani
University of Victoria
,
Maria Teresa Baldassarre
Department of Computer Science, University of Bari
14:30
15m
Talk
SEALing the Gap: A Reference Framework for LLM Inference Carbon Estimation via Multi-Benchmark Driven Embodiment
ICSE New Ideas and Emerging Results (NIER)
Priyavanshi Pathania
Accenture Labs
,
Rohit Mehra
Accenture Labs
,
Vibhu Saujanya Sharma
Accenture Labs
,
Vikrant Kaulgud
Accenture Labs, India
,
Tiffani Nevels
Accenture
,
Sanjay Podder
Accenture
,
Adam P. Burden
Accenture
14:45
15m
Talk
Views on Internal and External Validity in Empirical Software Engineering: 10 Years Later and Beyond
ICSE Research Track
Alina Mailach
Leipzig University
,
Janet Siegmund
Chemnitz University of Technology
,
Sven Apel
Saarland University
,
Norbert Siegmund
Leipzig University
15:00
15m
Talk
Weak Programmers Need Not Apply, LLMs Welcome! Survey Screening in the AI Era
ICSE Research Track
Ita Ryan
University College Cork
,
Utz Roedig
School of Computer Science and Information Technology, University College Cork
,
Klaas-Jan Stol
Lero; University College Cork; SINTEF Digital
15:15
15m
Talk
Sapling: Quantifying and Measuring the Maturity of the RISC-V Software Ecosystem
ICSE Research Track
Yuhang Liu
Institute of Computing Technology, Chinese Academy of Sciences
,
Chenchen Ji
Institute of Software, Chinese Academy of Sciences
,
Haoquan Li
Institute of Computing Technology, Chinese Academy of Sciences
,
Jiageng Yu
The Institute of Software, Chinese Academy of Sciences
,
Mingyu Chen
Institute of Computing Technology, Chinese Academy of Sciences
,
Yanjun Wu
Institute of Software, Chinese Academy of Sciences
,
Yungang Bao
State Key Lab of Processors, Institute of Computing Technology, CAS; University of Chinese Academy of Sciences
16:00 - 17:30
Human and Social Aspects 10
ICSE SE in Society (SEIS)
at
Oceania IV
16:00
15m
Talk
How Fair is Software Fairness Testing?
ICSE SE in Society (SEIS)
Ann Barcomb
Schulich School of Engineering, University of Calgary
,
Mariana Pinheiro Bento
University of Calgary
,
Giuseppe Destefanis
University College London
,
Sherlock A. Licorish
University of Otago
,
Cleyton Magalhaes
Universidade Federal Rural de Pernambuco
,
Ronnie de Souza Santos
University of Calgary
,
Mairieli Wessel
Radboud University
16:15
15m
Talk
Cyberbullying Safety Engineering by Patent: Trends, Solution Paradigms, and Societal Impacts
ICSE SE in Society (SEIS)
Mohamad Kassab
Boston University
16:30
15m
Talk
From Big Tech to Big Politics: Users' Discourse on the Politicization of Technology Companies
ICSE SE in Society (SEIS)
Amelia Kalecińska
Vrije Universiteit Amsterdam
,
Panagiotis Fotopoulos
Vrije Universiteit Amsterdam
,
Emitzá Guzmán
Vrije Universiteit Amsterdam
16:45
15m
Talk
Once Upon a Team: Investigating Bias in LLM-Driven Software Team Composition and Task Allocation
ICSE SE in Society (SEIS)
Alessandra Parziale
Gran Sasso Science Institute
,
Gianmario Voria
University of Salerno
,
Valeria Pontillo
Gran Sasso Science Institute
,
Amleto Di Salle
Gran Sasso Science Institute (GSSI)
,
Patrizio Pelliccione
Gran Sasso Science Institute, L'Aquila, Italy
,
Gemma Catolino
University of Salerno
,
Fabio Palomba
University of Salerno
17:00
15m
Talk
Negotiating Ethics in Video Game Development: Insights from Practitioners
ICSE SE in Society (SEIS)
Yeqian Li
Vrije Universiteit Amsterdam
,
Kousar Aslam
Vrije Universiteit Amsterdam
17:15
15m
Talk
Exploring Societal Biases in Generative AI using Social Science Constructs and Theories
ICSE SE in Society (SEIS)
Muneera Bano
CSIRO's Data61
,
Rashina Hoda
Monash University
,
Didar Zowghi
CSIRO's Data61 - University of Technology Sydney
Fri 17 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
11:00 - 12:30
Requirements and Modeling 3
ICSE New Ideas and Emerging Results (NIER)
/
ICSE Demonstrations
/
ICSE SE In Practice (SEIP)
/
ICSE Research Track
at
Oceania IV
11:00
15m
Talk
torte: Reproducible Feature-Model Experiments à la Carte
ICSE Demonstrations
Elias Kuiter
University of Magdeburg
11:15
15m
Talk
The Design Multiverse: A Scientific Model for Design Evolution and Co-evolution
ICSE New Ideas and Emerging Results (NIER)
Ciprian Teodorov
ENSTA | Institut Polytechnique de Paris, Lab-STICC, UMR 6285, Brest, France
,
Joeri Exelmans
University of Antwerp
,
Salvador Martínez
IMT Atlantique
,
Sylvain Guérin
IMT Atlantique, Lab-STICC (UMR 6285)
,
Hans Vangheluwe
University of Antwerp and Flanders Make
11:30
15m
Talk
Synthesizing Hardware-Specific Instructions for Efficient Code Generation of Simulink
ICSE Research Track
Zehong Yu
KLISS, BNRist, School of Software, Tsinghua University
,
Zhuo Su
Beihang University
,
Rui Wang
Capital Normal University, Beijing, China
,
Yu Jiang
Tsinghua University
11:45
15m
Talk
Bridging Code and Graphic: A Cross-Mode Framework for Large-Scale Network Scenario Construction
ICSE SE In Practice (SEIP)
Tao Liu
Harbin Institute of Technology, Shenzhen; PengCheng Laboratory;
,
Zhao Liu
,
Ning Hu
PengCheng Laboratory
,
Jingrun Liu
Harbin Institute of Technology, Shenzhen
,
Binxing Fang
Harbin Institute of Technology, Shenzhen
,
Qing Liao
Harbin Institute of Technology
12:00
15m
Talk
DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specifications: A Case Study in Optimization at Kinaxis
ICSE SE In Practice (SEIP)
Negin Ayoughi
University of Ottawa
,
David Dewar
Kinaxis
,
Shiva Nejati
University of Ottawa
,
Mehrdad Sabetzadeh
University of Ottawa
Pre-print
12:15
15m
Talk
Beyond Spec Conformance: A Logic for Validating Stakeholder Expectations
ICSE New Ideas and Emerging Results (NIER)
Vasileios Klimis
Queen Mary University of London
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 IV
MSR Program
MSR Technical Papers + MSR Industry Track + MSR Program
Session 1-B: Quality & Security I
MSR Program
MSR Data and Tool Showcase Track + MSR Tutorials + MSR Program
Session 3-B: Demo and tool & Tutorial
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 IV
MSR Program
MSR Technical Papers + MSR Program
Session 1-B: Maintenance, Evolution & Processes
MSR Program + MSR Technical Papers
Session 2-B: Quality
MSR Program
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 IV
ICSE SE in Society (SEIS) + ICSE Research Track + ICSE SE In Practice (SEIP)
Requirements and Modeling 1
ICSE Journal-first Papers
Human and Social Aspects 3
ICSE Research Track
Human and Social Aspects 5
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 IV
ICSE New Ideas and Emerging Results (NIER) + ICSE Research Track + ICSE Journal-first Papers + ICSE SE in Society (SEIS)
Requirements and Modeling 2
ICSE Research Track + ICSE Journal-first Papers + ICSE New Ideas and Emerging Results (NIER)
Human and Social Aspects 8
ICSE SE in Society (SEIS)
Human and Social Aspects 10
Fri 17 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
Room
11:00
30
12:00
30
Oceania IV
ICSE New Ideas and Emerging Results (NIER) + ICSE Demonstrations + ICSE SE In Practice (SEIP) + ICSE Research Track
Requirements and Modeling 3
Mon 13 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 IV
MSR Technical Papers
Where Do Smart Contract Security Analyzers Fall Short?
11:00 - 11:10
MSR Technical Papers
An Empirical Study of Vulnerabilities in Python Packages and Their Dete ...
11:10 - 11:20
MSR Technical Papers
Does Programming Language Matter? An Empirical Study of Fuzzing Bug Det ...
11:20 - 11:30
MSR Technical Papers
An Empirical Study on Line-Level Software Defect Prediction
11:30 - 11:40
MSR Technical Papers
Characterizing and Modeling the GitHub Security Advisories Review Pipeline
11:40 - 11:50
MSR Technical Papers
Linux Kernel Recency Matters, CVE Severity Doesn’t, and History Fades
11:50 - 12:00
MSR Technical Papers
Beyond Single Code Changes: An Empirical Study of Topic-Based Code Revi ...
12:00 - 12:10
MSR Technical Papers
LogSieve: Task-Aware CI Log Reduction for Sustainable LLM-Based Analysis
12:10 - 12:20
MSR Industry Track
Finding Important Stack Frames in Large Systems
12:20 - 12:25
MSR Technical Papers
Stop Comparing Apples and Oranges: Matching for Better Results in Minin ...
12:25 - 12:30
MSR Data and Tool Showcase Track
MOOT: a Repository of many Multi-objective Optimization Tasks
16:00 - 17:30
Mapping Decentralized Autonomous Organization Governance Across Chains: ...
16:00 - 17:30
Assessing Task-based Chatbots: Snapshot and Curated Datasets for Dialogflow
16:00 - 17:30
LILA: Decentralized Build Reproducibility Monitoring for the Functional ...
16:00 - 17:30
Mining Kubernetes Repositories: The Cloud was Not Built in a Day
16:00 - 17:30
RustXec: A Vulnerability Reproduction Dataset for Assessing Security Ri ...
16:00 - 17:30
OSSGameBench: A Large-Scale Dataset of Development Activities in Open-S ...
16:00 - 17:30
JavaBackports: A Dataset for Benchmarking Automated Backporting in Java
16:00 - 17:30
HackRep: A Large-Scale Dataset of GitHub Hackathon Projects
16:00 - 17:30
KubeObjects: A Dataset of Real-World Kubernetes Objects
16:00 - 17:30
IssuePilot: An Agentic Framework for Personalized Issue Recommendation ...
16:00 - 17:30
DBSecQA: A Curated Dataset of Developer Discussions on Database Securit ...
16:00 - 17:30
PoolinGH: Fast, Efficient, and Robust GitHub Repository Mining
16:00 - 17:30
GivenWhenThen: A Dataset of BDD Test Scenarios Mined from Open Source P ...
16:00 - 17:30
AnoMod: A Dataset for Anomaly Detection and Root Cause Analysis in Micr ...
16:00 - 17:30
GLiSE: A Prompt-Driven and ML-Powered Tool for Automated Grey Literatur ...
16:00 - 17:30
OmniCCG: Agnostic Code Clone Genealogy Extractor
16:00 - 17:30
GitEvo: Code Evolution Analysis for Git Repositories
16:00 - 17:30
Skyt: Prompt Contracts for Software Repeatability in LLM-Assisted Devel ...
16:00 - 17:30
InEx-Bug: A Human Annotated Dataset of Intrinsic and Extrinsic Bugs in ...
16:00 - 17:30
MSR Tutorials
Running Large Language Models at Scale for Mining Software Repositories ...
16:50 - 17:30
Tue 14 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
Oceania IV
MSR Technical Papers
Source Code Hotspots: A Diagnostic Method for Quality Issues
11:00 - 11:10
MSR Technical Papers
Evolving Kubernetes: A Technical Debt Perspective
11:10 - 11:20
MSR Technical Papers
How do third-party Python libraries use type annotations?
11:20 - 11:30
MSR Technical Papers
Coordination at Scale in Large Distributed Development: The Case of Kub ...
11:30 - 11:40
MSR Technical Papers
Combining Example-Based and Rule-Based Program Transformations to Resol ...
11:40 - 11:50
MSR Technical Papers
Mining Quantum Software Patterns in Open-Source Projects
11:50 - 12:00
MSR Technical Papers
Analyzing Dependency Distribution Changes Arising from Code Smell Inter ...
12:00 - 12:10
MSR Technical Papers
The Value of Effective Pull Request Description
12:10 - 12:20
MSR Technical Papers
Promises, Perils, and (Timely) Heuristics for Mining Coding Agent Activity
12:20 - 12:30
MSR Technical Papers
How are MLOps Frameworks Used in Open Source Projects? An Empirical Cha ...
14:00 - 14:10
MSR Technical Papers
Do We Agree on What an “Audit” Is? Toward Standardized Smart Contract A ...
14:10 - 14:20
MSR Technical Papers
AFGNN: API Misuse Detection using Graph Neural Networks and Clustering
14:20 - 14:30
MSR Technical Papers
An Empirical Analysis of Cross-OS Portability Issues in Python Projects
14:30 - 14:40
MSR Technical Papers
Learning Compiler Fuzzing Mutators from Historical Bugs
14:40 - 14:50
MSR Program
Mining Challenge Finalists
14:50 - 15:30
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 IV
ICSE Research Track
Bayesian Multi-Level Performance Models for Multi-Factor Variability of ...
11:00 - 11:15
ICSE Research Track
Light over Heavy: Automated Performance Requirements Quantification wit ...
11:15 - 11:30
ICSE Research Track
Can SAT Solvers Keep Up With the Linux Kernel's Feature Model?
11:30 - 11:45
ICSE SE In Practice (SEIP)
What Does Explainable AI Mean in Practice? Evaluative Requirements from ...
11:45 - 12:00
ICSE SE In Practice (SEIP)
Deriving and Validating Requirements Engineering Principles for Large-S ...
12:00 - 12:15
ICSE SE in Society (SEIS)
Developers’ Blind Spot: Designing Systems to Enable Stakeholders’ Under ...
12:15 - 12:30
ICSE Journal-first Papers
Exploring Empathy in Software Engineering: Insights from a Grey Literat ...
14:00 - 14:15
ICSE Journal-first Papers
A comparative study on reward models for user interface adaptation with ...
14:15 - 14:30
ICSE Journal-first Papers
Self-monitoring of Developers' Emotions: the Case of Agile Retrospectiv ...
14:30 - 14:45
ICSE Journal-first Papers
What Makes a Great Software Quality Assurance Engineer?
14:45 - 15:00
ICSE Journal-first Papers
Women’s Participation in Student Software Development Teams: A Cross-Se ...
15:00 - 15:15
ICSE Journal-first Papers
Negativity in Self-Admitted Technical Debt: How Sentiment Influences Pr ...
15:15 - 15:30
ICSE Research Track
"Maybe We Need Some More Examples:" Individual and Team Drivers of Deve ...
16:00 - 16:15
ICSE Research Track
"Game Changer" or "Overenthusiastic Drunk Acquaintance"? Generative AI ...
16:15 - 16:30
ICSE Research Track
Cognitive Biases in LLM-Assisted Software Development
16:30 - 16:45
ICSE Research Track
Are Humans and LLMs Confused by the Same Code? An Empirical Study on Fi ...
16:45 - 17:00
ICSE Research Track
TaCoS: Generated Context Summaries for Task Resumption
17:00 - 17:15
ICSE Research Track
Evolving with AI: A Longitudinal Analysis of Developer Logs
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 IV
ICSE Research Track
Modeling Like Peeling an Onion: Layerwise Analysis-Driven Automatic Beh ...
11:00 - 11:15
ICSE New Ideas and Emerging Results (NIER)
Context-Adaptive Requirements Defect Prediction through Human-LLM Colla ...
11:15 - 11:30
ICSE Journal-first Papers
RECOVER: Toward Requirements Generation from Stakeholders' Conversations
11:30 - 11:45
ICSE Research Track
Unlocking the Silent Needs: Business-Logic-Driven Iterative Requirement ...
11:45 - 12:00
ICSE Research Track
LikeThis! Empowering App Users to Submit UI Improvement Suggestions Ins ...
12:00 - 12:15
ICSE SE in Society (SEIS)
Agentic Generation of Structured Clinical Specifications for Digital He ...
12:15 - 12:30
ICSE Journal-first Papers
Determining Code Proficiency Levels from Python Textbooks
14:00 - 14:15
ICSE Journal-first Papers
Guiding principles for mixed methods research in software engineering
14:15 - 14:30
ICSE New Ideas and Emerging Results (NIER)
SEALing the Gap: A Reference Framework for LLM Inference Carbon Estimat ...
14:30 - 14:45
ICSE Research Track
Views on Internal and External Validity in Empirical Software Engineeri ...
14:45 - 15:00
ICSE Research Track
Weak Programmers Need Not Apply, LLMs Welcome! Survey Screening in the ...
15:00 - 15:15
ICSE Research Track
Sapling: Quantifying and Measuring the Maturity of the RISC-V Software ...
15:15 - 15:30
ICSE SE in Society (SEIS)
How Fair is Software Fairness Testing?
16:00 - 16:15
ICSE SE in Society (SEIS)
Cyberbullying Safety Engineering by Patent: Trends, Solution Paradigms, ...
16:15 - 16:30
ICSE SE in Society (SEIS)
From Big Tech to Big Politics: Users' Discourse on the Politicization o ...
16:30 - 16:45
ICSE SE in Society (SEIS)
Once Upon a Team: Investigating Bias in LLM-Driven Software Team Compos ...
16:45 - 17:00
ICSE SE in Society (SEIS)
Negotiating Ethics in Video Game Development: Insights from Practitioners
17:00 - 17:15
ICSE SE in Society (SEIS)
Exploring Societal Biases in Generative AI using Social Science Constru ...
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
Oceania IV
ICSE Demonstrations
torte: Reproducible Feature-Model Experiments à la Carte
11:00 - 11:15
ICSE New Ideas and Emerging Results (NIER)
The Design Multiverse: A Scientific Model for Design Evolution and Co-e ...
11:15 - 11:30
ICSE Research Track
Synthesizing Hardware-Specific Instructions for Efficient Code Generati ...
11:30 - 11:45
ICSE SE In Practice (SEIP)
Bridging Code and Graphic: A Cross-Mode Framework for Large-Scale Netwo ...
11:45 - 12:00
ICSE SE In Practice (SEIP)
DSL or Code? Evaluating the Quality of LLM-Generated Algebraic Specific ...
12:00 - 12:15
ICSE New Ideas and Emerging Results (NIER)
Beyond Spec Conformance: A Logic for Validating Stakeholder Expectations
12:15 - 12:30
x
Sat 7 Mar 07:36