FormaliSE 2026
Sun 12 - Mon 13 April 2026 Rio de Janeiro, Brazil
co-located with ICSE 2026
VenueWindsor Convention Center and Hotels
Room nameOceania IV
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
Session 1-B: Quality & Security IMSR 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 & TutorialMSR 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
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 & ProcessesMSR 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
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
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 3ICSE 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 5ICSE 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
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
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 10ICSE 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
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

Tue 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Mon 13 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Oceania IV
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:00 - 17:30
16:50 - 17:30

Tue 14 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

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

Thu 16 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

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