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: Bora Bora I
Venue
Windsor Convention Center and Hotels
Room name
Bora Bora I
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
Session 1
AI-SQE
/ /
FinanSE
at
Bora Bora I
09:00
5m
Day opening
FinanSE Opening
FinanSE
09:05
20m
Paper
Separation of Concerns for Privacy-Preserving LLM Adoption: A Banking Architecture Framework
FinanSE
Yu Kong
University College London (UCL)
,
Silvia Bartolucci
University College London
,
Fabio Caccioli
University College London (UCL)
,
Giuseppe Destefanis
University College London
09:25
20m
Paper
LLM-Assisted Retro-Documentation for Legacy COBOL Applications in Banking
FinanSE
Mahdi LATRECHE
,
Elouan MARSOT
BNP Paribas
,
Emma Asma DAUMAS
BNP Paribas
,
Azzedine Idir AIT SAID
Télécom Paris
,
Damien DROISY
BNP Paribas
,
Mariam Barry
BNP Paribas
09:45
20m
Paper
Operationalising DAO Sustainability KPIs: A Multi-Chain Dashboard for Governance Analytics
FinanSE
Silvio Meneguzzo
University of Turin
,
Claudio Schifanella
University of Turin
,
Valentina Gatteschi
Politecnico di Torino
,
Giuseppe Destefanis
University College London
10:05
15m
Short-paper
Model Extraction and Explanation of Review Decisions: A Case Study on Cloud Migration Planning
FinanSE
Vali Tawosi
J.P. Morgan AI Research
,
Salwa Alamir
J.P. Morgan AI Research
,
Xiaomo Liu
J.P. Morgan AI Research
10:20
10m
Other
Discussion
FinanSE
11:00 - 12:30
Session 2
AI-SQE
/ /
FinanSE
at
Bora Bora I
11:00
5m
Other
Session Opening
FinanSE
11:05
5m
Talk
Reinforcement Learning in Simulated Environments for Adaptive Troubleshooting of Large-Scale Banking Systems
FinanSE
Azzedine Idir AIT SAID
Télécom Paris
,
Mariam Barry
BNP Paribas
,
Albert Bifet
University of Waikato, Institut Polytechnique de Paris
11:10
15m
Other
Panel Discussion
FinanSE
11:25
5m
Day closing
FinanSE Closing
FinanSE
Mon 13 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
09:00 - 09:45
Keynote
Journal Ahead Workshop (JAWs)
at
Bora Bora I
09:00
45m
Keynote
Keynote Sebastian Uchitel
Journal Ahead Workshop (JAWs)
09:00 - 10:30
Break
Journal Ahead Workshop (JAWs)
at
Bora Bora I
09:45 - 10:30
AI4SE
Journal Ahead Workshop (JAWs)
at
Bora Bora I
09:45
5m
Talk
Understanding and Mitigating Library-Related Issues in LLM-Generated Code
Journal Ahead Workshop (JAWs)
Yacine Majdoub
IReSCoMath Research Lab, Faculty of Sciences, University Of Gabes, Tunisia
,
Rinad Hamid
University of Calgary, Canada
,
Eya Ben Charrada
IReSCoMath Research Lab, Faculty of Sciences, University Of Gabes, Tunisia
,
Ahmad Abdellatif
University of Calgary
,
Haifa Touati
IReSCoMath Research Lab, Faculty of Sciences, University Of Gabes, Tunisia
09:50
5m
Talk
Magnifying Inefficiency: How LLMs Amplify Performance Anti-Patterns in Mobile Development
Journal Ahead Workshop (JAWs)
Rui Rua
New York University Abu Dhabi
,
Karim Ali
NYU Abu Dhabi
09:55
5m
Talk
BRACE: Unified Benchmarking of Accuracy and Energy for Code Language Models
Journal Ahead Workshop (JAWs)
Mohammadjavad Mehditabar
Dalhousie University
,
Saurabhsingh Rajput
Dalhousie University
,
Antonio Mastropaolo
William and Mary, USA
,
Tushar Sharma
Dalhousie University
10:00
5m
Talk
Learning Model Mutations From Faults in Deep Learning
Journal Ahead Workshop (JAWs)
Zaheed Ahmed
University of Goettingen
,
Philip Makedonski
Institute of Computer Science, University of Göttingen, Lower Saxony, Germany
,
Jens Grabowski
10:05
5m
Talk
Artificial or Just Artful? Do LLMs Bend the Rules in Programming?
Journal Ahead Workshop (JAWs)
Oussama Ben Sghaier
Queen's University
,
Kévin Delcourt
Université de Montréal
,
Houari Sahraoui
DIRO, Université de Montréal
10:10
5m
Talk
Towards Automated User Story Quality Assessment with LLMs: An Empirical Study on Syntactic and Pragmatic QUS Criteria
Journal Ahead Workshop (JAWs)
Izabella Silva
Federal University of Campina Grande - ISE/VIRTUS
,
Emanuel Dantas Filho
Federal University of Campina Grande - ISE/VIRTUS
,
Ademar Sousa Neto
VIRTUS/UFCG
,
Mirko Perkusich
VIRTUS
,
Danyllo Albuquerque
VIRTUS/UFCG
,
Kyller Costa Gorgônio
Federal University of Campina Grande
,
Angelo Percusich
Federal University of Campina Grande - ISE/VIRTUS
10:15
5m
Talk
MARS: Few-Shot Android Malware Detection with RAG-Enhanced LLMs
Journal Ahead Workshop (JAWs)
Guangquan Xu
School of Cybersecurity, Tianjin University
,
Minhong Dong
School of Cybersecurity, Tianjin University
,
Qi Guo
Tianjin University
,
Hongpeng Bai
School of Cybersecurity, Tianjin University
,
Yao Zhang
Tianjin University
,
Ruitao Feng
Southern Cross University
,
Wenying He
Hebei University of Technology
,
Yude Bai
Tianjin University
,
Ji Zhang
University of Southern Queensland
10:20
5m
Talk
A Closer Look at the Malicious Pre-Trained Models on Hugging Face
Journal Ahead Workshop (JAWs)
Junwei Zhang
Zhejiang University
,
Xing Hu
Zhejiang University
,
Xin Xia
Zhejiang University
,
David Lo
Singapore Management University
,
Shanping Li
Zhejiang University
11:00 - 12:30
Agentic AI
Journal Ahead Workshop (JAWs)
at
Bora Bora I
11:00
5m
Talk
AgentHub: A Registry for Discoverable, Verifiable, and Reproducible AI Agents
Journal Ahead Workshop (JAWs)
Erik Pautsch
Loyola University Chicago
,
Tanmay Singla
Purdue University
,
Parv Kumar
Purdue University
,
Wenxin Jiang
Socket
,
Huiyun Peng
Purdue University
,
Behnaz Hassanshahi
Oracle
,
Konstantin Läufer
Loyola University Chicago
,
George K. Thiruvathukal
Loyola University Chicago
,
James C. Davis
Purdue University
11:05
5m
Talk
User Misconceptions of LLM-Based Conversational Programming Assistants
Journal Ahead Workshop (JAWs)
Gabrielle O'Brien
University of Michigan
,
Antonio Pedro Santos Alves
Pontifical Catholic University of Rio de Janeiro
,
Sebastian Baltes
Heidelberg University
,
Grischa Liebel
Reykjavik University
,
Mircea Lungu
IT University, Copenhagen
,
Marcos Kalinowski
Pontifical Catholic University of Rio de Janeiro (PUC-Rio)
11:10
5m
Talk
On the Impact of AGENTS.md Files on the Efficiency of AI Coding Agents
Journal Ahead Workshop (JAWs)
Jai Lal Lulla
Singapore Management University
,
Seyedmoein Mohsenimofidi
Heidelberg University
,
Matthias Galster
University of Canterbury
,
Jie M. Zhang
King's College London
,
Sebastian Baltes
Heidelberg University
,
Christoph Treude
Singapore Management University
11:15
5m
Talk
Demystifying the Lifecycle of Failures in Platform-Orchestrated Agentic Workflows
Journal Ahead Workshop (JAWs)
Xuyan Ma
Institute of Software Chinese Academy of Sciences
,
Xiaofei Xie
Singapore Management University
,
Yawen Wang
Institute of Software at Chinese Academy of Sciences
,
Junjie Wang
Institute of Software at Chinese Academy of Sciences
,
Boyu Wu
Institute of Software at Chinese Academy of Sciences
,
Mingyang Li
Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Qing Wang
Institute of Software at Chinese Academy of Sciences
11:20
5m
Talk
Towards a Characterization of Microservice Architectures Generated by Large Language Models
Journal Ahead Workshop (JAWs)
Renan Alves
VIRTUS/UFCG, Federal University of Campina Grande
,
Ademar Sousa Neto
VIRTUS/UFCG
,
Emanuel Dantas Filho
Federal University of Campina Grande - ISE/VIRTUS
,
Danyllo Albuquerque
VIRTUS/UFCG
,
Mirko Perkusich
VIRTUS
,
Kyller Costa Gorgônio
Federal University of Campina Grande
,
Angelo Perkusich
VIRTUS/UFCG
11:25
5m
Talk
Beyond Local Code Optimization: Multi-Agent Reasoning for Software System Optimization
Journal Ahead Workshop (JAWs)
Huiyun Peng
Purdue University
,
Parth Vinod Patil
Purdue University
,
Antonio Zhong Qiu
Purdue University
,
George K. Thiruvathukal
Loyola University Chicago
,
James C. Davis
Purdue University
11:30
5m
Talk
SciFlowgent: Agentic AI Support for Developing Scientific Workflows
Journal Ahead Workshop (JAWs)
Khairul Alam
University of Saskatchewan
,
Saikat Mondal
University of Saskatchewan
,
Banani Roy
University of Saskatchewan
11:35
5m
Talk
Automated Orchestration for LLM-Based Multi-Agent Systems: Challenges and Opportunities
Journal Ahead Workshop (JAWs)
Jiaxing Liu
,
Xing Hu
Zhejiang University
,
Xin Xia
Zhejiang University
11:40
5m
Talk
Silent Reliance or Diligent Review? Human-Agent Engagement and Interaction Patterns in GitHub
Journal Ahead Workshop (JAWs)
Ziyou Li
Delft University of Technology
,
Răzvan Mihai Popescu
Delft University of Technology
,
Maliheh Izadi
Delft University of Technology
11:45
5m
Talk
Toward Agentic Code Review: Reimagining the Process in the AI Era
Journal Ahead Workshop (JAWs)
Hüseyin Özgür Kamalı
Ankara University
,
Vahid Haratian
Bilkent Univeristy
,
Erdem Tuna
Bilkent University
,
Eray Tüzün
Bilkent University
12:30 - 14:00
Lunch Break
Journal Ahead Workshop (JAWs)
at
Bora Bora I
14:00 - 15:30
Testing and Analysis
Journal Ahead Workshop (JAWs)
at
Bora Bora I
14:00
5m
Talk
Testing the Untrusted: An Empirical Study of Custom Model Codes in Model-Sharing Platforms
Journal Ahead Workshop (JAWs)
Mohammed Latif Siddiq
University of Notre Dame
,
Beatrice Casey
University of Notre Dame
,
Joanna C. S. Santos
University of Notre Dame
14:05
5m
Talk
Towards the Systematic Testing of Regular Expression Engines
Journal Ahead Workshop (JAWs)
Berk Çakar
Purdue University
,
Dongyoon Lee
Stony Brook University
,
James C. Davis
Purdue University
14:10
5m
Talk
Rethinking Automated Testing for LLM-Based Systems
Journal Ahead Workshop (JAWs)
Domenico Amalfitano
University of Naples Federico II
,
Marco Autili
University of L'Aquila, Italy
,
Antonia Bertolino
Gran Sasso Science Institute
,
Ricardo Caldas
Gran Sasso Science Institute (GSSI)
,
Patrizio Pelliccione
Gran Sasso Science Institute, L'Aquila, Italy
14:15
5m
Talk
CONGRAD: Controllable Scenario Generation for Autonomous Driving Systems via Gradient-Guided Falsification
Journal Ahead Workshop (JAWs)
Shuncheng Tang
University of Science and Technology of China
,
Lejin Li
Kyushu University
,
Deyun Lyu
National Institute of Informatics
,
Yinxing Xue
Institute of AI for Industries, Chinese Academy of Sciences
,
Zhenya Zhang
Kyushu University
,
Paolo Arcaini
National Institute of Informatics
14:20
5m
Talk
Persuasion-guided Automated Testing for Harmful Content Degeneration in Large Language Models
Journal Ahead Workshop (JAWs)
Francesco Renato Negri
Politecnico di Milano
,
Simone Corbo
,
Livia Lestingi
DEIB, Politecnico di Milano
,
Matteo Camilli
Politecnico di Milano
14:25
5m
Talk
On-Demand Performance Regression Detection with Test Selection and Amplification
Journal Ahead Workshop (JAWs)
Antonio Trovato
University of Salerno
,
Luana Martins
University of Salerno
,
Daniele Fabiano
University of Salerno
,
Daniele Di Pompeo
University of L'Aquila
,
Michele Tucci
University of L'Aquila
,
Dario Di Nucci
University of Salerno
14:30
5m
Talk
The Intelligent Sidecar: Injecting Semantic Guidance into Smart Contract Fuzzing
Journal Ahead Workshop (JAWs)
Xin Li
The University of Tokyo
,
Yuheng Huang
The University of Tokyo
,
Andy M. Lee
Mamori
,
Lei Ma
The University of Tokyo & University of Alberta
14:35
5m
Talk
A Roadmap for Quantum Program Analysis: From Classical to Quantum Challenges
Journal Ahead Workshop (JAWs)
Shangzhou Xia
Kyushu University
,
Junjie Luo
Kyushu University
,
Qiming Li
Kyushu University
,
Xiaoyu Guo
Kyushu University
,
MINQI SHAO
Kyushu University
,
Qichen Wang
Kyushu University
,
Chunkai Chen
Kyushu University
,
Jianjun Zhao
Kyushu University
14:40
5m
Talk
APIfying COBOL Monoliths: Static Analysis with Pattern-Based Call Simplification
Journal Ahead Workshop (JAWs)
Vini Kanvar
IBM Research
,
Ashwin Dhinesh Kumar
IBM Research, USA
,
Srikanth G. Tamilselvam
IBM India Research Lab
,
Keerthi Narayan Raghunath
IBM, India
14:45
5m
Talk
Automated Proof-of-Concept Generation for Software Vulnerabilities: A Survey
Journal Ahead Workshop (JAWs)
Minglang Li
University of Electronic Science and Technology of China
,
Jiongchi Yu
Singapore Management University
,
Xinfeng Li
Nanyang Technological University
15:30 - 16:00
Break (afternoon)
Journal Ahead Workshop (JAWs)
at
Bora Bora I
16:00 - 17:30
Selected Full Presentations and Future Trends
Journal Ahead Workshop (JAWs)
at
Bora Bora I
16:00
5m
Talk
A Survey on AI-enabled Software Logging From Generation to Intelligent Analysis of Software Logs
Journal Ahead Workshop (JAWs)
Cong Wang
Zhejiang University, China
,
Yaowei Sun
Tianjin University of Science and Technology
,
xinguohua
Tianjin University
,
Jiongchi Yu
Singapore Management University
,
Guangquan Xu
School of Cybersecurity, Tianjin University
16:05
5m
Talk
Towards a Benchmark for Dependency Decision-Making
Journal Ahead Workshop (JAWs)
Tanmay Singla
Purdue University
,
Berk Çakar
Purdue University
,
Paschal Amusuo
Purdue University
,
James C. Davis
Purdue University
16:10
5m
Talk
A UX Perspective on the Role of Code Search in Mitigating Divergences in Software Design
Journal Ahead Workshop (JAWs)
Sofia Orellano Abal
University of Falmouth
,
Ketai Qiu
USI Università della Svizzera Italiana
,
Chengcheng Qu
University of Falmouth
,
Luca Di Grazia
University of St. Gallen
16:15
5m
Talk
Post-Velocity Software Engineering: When Change Throughput Outruns Assurance Capacity
Journal Ahead Workshop (JAWs)
Alessio Bucaioni
Malardalen University
16:20
5m
Talk
Artificial or Just Artful? Do LLMs Bend the Rules in Programming?
Journal Ahead Workshop (JAWs)
Oussama Ben Sghaier
Queen's University
,
Kévin Delcourt
Université de Montréal
,
Houari Sahraoui
DIRO, Université de Montréal
16:25
5m
Talk
Automated Refinement of Behaviour Abstractions with Inferred Assertions
Journal Ahead Workshop (JAWs)
Nazareno Aguirre
University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China
,
Diego Garbervetsky
Departamento de Computación, FCEyN, UBA
,
Sebastian Uchitel
Universidad de Buenos Aires / Imperial College
,
Tao Yue
Beihang University
,
Man Zhang
Beihang University, China
16:30
5m
Talk
Advances in Software Metrics Thresholds Definition - a Rigorous Statistical Approach
Journal Ahead Workshop (JAWs)
Diego Gonçalves
Federal Center for Technological Education of Minas Gerais
,
Kecia Ferreira
Federal Center for Technological Education of Minas Gerais
,
Guilherme Oliveira
Federal Center for Technological Education of Minas Gerais
16:35
5m
Talk
Characterizing Software Leadership: A Mixed-Methods Approach from Social Media to Industry
Journal Ahead Workshop (JAWs)
Murilo Coelho
Universidade Estadual do Ceará
,
Denivan Campos
University of Molise, Italy
,
Mariana Maia Bezerra
Atlântico Institute
,
Matheus Paixao
State University of Ceará
,
Allysson Allex Araújo
Federal University of Cariri
,
Sávio Freire
Federal Institute of Ceará
16:40
5m
Talk
Can You Help Me? An Uncertainty-Aware Self-Adaptive Delegation Approach
Journal Ahead Workshop (JAWs)
Matheus Chagas
State University of Ceará
,
Lucas Alves
State University of Ceara, Brazil
,
Paulo Maia
State University of Ceará
,
Andrea Zisman
The Open University
16:45
5m
Talk
QLM: CodeQL Query Synthesis with Compositional PoC Validation
Journal Ahead Workshop (JAWs)
weigang he
University of Technology Sydney
,
Xiao Cheng
Macquarie University
,
Shuangxiang Kan
UNSW
,
Wei Li
UNSW Sydney
,
Xingrui Yu
CFAR, Agency for Science, Technology and Research (A*STAR)
,
Ivor Tsang
CFAR, Agency for Science, Technology and Research (A*STAR)
,
Yulei Sui
University of New South Wales
16:50
5m
Talk
Revisiting Code Clone Genealogies: A New Taxonomy Based on Developer Actions
Journal Ahead Workshop (JAWs)
Denis Sousa
State University of Ceara, Brazil
,
Italo Uchoa
State University of Ceará
,
Thiago Lima
State University of Ceara, Brazil
,
Matheus Paixao
State University of Ceará
,
Chaiyong Rakhitwetsagul
Mahidol University, Thailand
Tue 14 Apr
Displayed time zone:
Brasilia, Distrito Federal, Brazil
change
09:00 - 10:35
TOSEM Award and Full Presentations
Journal Ahead Workshop (JAWs)
at
Bora Bora I
10:35 - 11:00
Break
Journal Ahead Workshop (JAWs)
at
Bora Bora I
11:00 - 12:30
Program Repair, Evolution, Comprehension and Security
Journal Ahead Workshop (JAWs)
at
Bora Bora I
11:00
5m
Talk
Fixing Less by Preventing More: Semantic Checklists for Robust Code Translation
Journal Ahead Workshop (JAWs)
Penghao Jiang
University of New South Wales
,
Ruijun Feng
University of New South Wales
,
Xiao Cheng
Macquarie University
,
Jiaojiao Jiang
University of New South Wales
,
Yulei Sui
University of New South Wales
11:05
5m
Talk
Executable but Not Reproducible? An Empirical Study of Code Clone Detection Tools
Journal Ahead Workshop (JAWs)
Palash Ranjan Roy
University of Saskatchewan
,
Banani Roy
University of Saskatchewan
,
Kevin Schneider
University of Saskatchewan
,
Chanchal K. Roy
University of Saskatchewan
11:10
5m
Talk
ARMS: A Vision for Actor Reputation Metric Systems in the Open-Source Software Supply Chain
Journal Ahead Workshop (JAWs)
Kelechi G. Kalu
Purdue University
,
Sofia Okorafor
Purdue University
,
Betül Durak
Microsoft Research
,
Kim Laine
Microsoft Research, Redmond
,
Radames Cruz Moreno
Microsoft Research
,
Santiago Torres-Arias
Purdue University
,
James C. Davis
Purdue University
11:15
5m
Talk
Practitioners’ Experiences and Expectations about Software Sustainability in Industry: A Semi-Structured Interview Study
Journal Ahead Workshop (JAWs)
Jennifer Gross
Uppsala University
,
Aaliyah Chang
Queen's University
,
Mariam Guizani
Queen's University, Canada
,
Sofia Ouhbi
Uppsala University
,
Tobias Wrigstad
Uppsala University
11:20
5m
Talk
Compartmentalization-Aware Automated Program Repair
Journal Ahead Workshop (JAWs)
Jia Hu
The University of Manchester
,
Youcheng Sun
Mohamed bin Zayed University of Artificial Intelligence
,
Pierre Olivier
The University of Manchester
11:25
5m
Talk
Understanding and Mitigating Library-Related Issues in LLM-Generated Code
Journal Ahead Workshop (JAWs)
Yacine Majdoub
IReSCoMath Research Lab, Faculty of Sciences, University Of Gabes, Tunisia
,
Rinad Hamid
University of Calgary, Canada
,
Eya Ben Charrada
IReSCoMath Research Lab, Faculty of Sciences, University Of Gabes, Tunisia
,
Ahmad Abdellatif
University of Calgary
,
Haifa Touati
IReSCoMath Research Lab, Faculty of Sciences, University Of Gabes, Tunisia
11:30
5m
Talk
Code Comprehension Beyond Best Practices: Exploring the Developer Cognitive Spectrum
Journal Ahead Workshop (JAWs)
Faith Culas
University of Auckland
,
Reid Holmes
University of British Columbia
,
Thomas Fritz
University of Zurich
,
Priyanka Dhopade
University of Auckland
,
Kelly Blincoe
University of Auckland
11:35
5m
Talk
Search-Based Evolutionary Data Pruning for Class-Level Code Summarization
Journal Ahead Workshop (JAWs)
Joseph Call
William & Mary
,
Daniele Bifolco
University of Sannio
,
Massimiliano Di Penta
University of Sannio, Italy
,
Antonio Mastropaolo
William and Mary, USA
11:40
5m
Talk
Are We Building on Unreliable Ground? A Case Study on Unresolvable Pairs in Learning-based Code Repair
Journal Ahead Workshop (JAWs)
Shihao Weng
Nanjing University
,
Yang Feng
Nanjing University
,
xinguohua
Tianjin University
,
Zhanglun Zhang
Nanjing University
,
Yining Yin
Nanjing University
,
Jia Liu
Nanjing University
11:45
5m
Talk
Operationalizing Research Software for Supply Chain Security
Journal Ahead Workshop (JAWs)
Kelechi G. Kalu
Purdue University
,
Soham Rattan
Purdue University
,
Taylor R. Schorlemmer
Purdue University
,
George K. Thiruvathukal
Loyola University Chicago
,
Jeff Carver
University of Alabama
,
James C. Davis
Purdue University
11:50
5m
Talk
Static and Semantic Program Slicing for Quantum Programs
Journal Ahead Workshop (JAWs)
Hakam W. Alomari
Miami University
11:55
5m
Talk
ScannerTrap: Benchmarking the Robustness of Web Vulnerability Scanners in Complex Application Environments
Journal Ahead Workshop (JAWs)
Weizhe Wang
Tianjin University
,
Yao Zhang
Tianjin University
,
Hao Liu
QAX Technology Group Inc
,
Shuai Hu
State Grid Xinjiang Electric Power Research Institute
,
Guangquan Xu
School of Cybersecurity, Tianjin University
,
Bin Wu
Tianjin University
12:30 - 14:00
Lunch Break
Journal Ahead Workshop (JAWs)
at
Bora Bora I
14:00 - 15:30
Human/Social/Empirical/Practices
Journal Ahead Workshop (JAWs)
at
Bora Bora I
14:00
5m
Talk
Is Architecting Still a Human Activity?
Journal Ahead Workshop (JAWs)
Domenico Amalfitano
University of Naples Federico II
,
Marco Autili
University of L'Aquila, Italy
,
Patrizio Pelliccione
Gran Sasso Science Institute, L'Aquila, Italy
14:05
5m
Talk
FormIDEAble: Safe and Socially-aware Autonomous Systems
Journal Ahead Workshop (JAWs)
Livia Lestingi
DEIB, Politecnico di Milano
,
Amel Bennaceur
The Open University, UK
,
Marcello M. Bersani
Politecnico di Milano
,
Carlos Gavidia-Calderon
The Alan Turing Institute
,
Anastasia Kordoni
Lancaster University (UK)
,
Mark Levine
Lancaster University
,
Bashar Nuseibeh
The Open University, UK; Lero, University of Limerick, Ireland
,
Matteo Rossi
Politecnico di Milano
14:10
5m
Talk
The Runtime Dimension of Ethics in Self-Adaptive Systems
Journal Ahead Workshop (JAWs)
Marco Autili
University of L'Aquila, Italy
,
Gianluca Filippone
Gran Sasso Science Institute, L'Aquila, Italy
,
Mashal Afzal Memon
University of L’Aquila, Italy
,
Patrizio Pelliccione
Gran Sasso Science Institute, L'Aquila, Italy
14:15
5m
Talk
Evaluating RE Practices for Explainability: Synthesizing Insights from Daimler Truck into an Explainable RE Framework Proposal
Journal Ahead Workshop (JAWs)
Umm-e Habiba
Technical University of Munich
,
Lucas Mauser
Daimler Truck AG / Technical University of Munich
,
Jonas Fritzsch
University of Stuttgart, Institute of Software Engineering
,
Justus Bogner
Vrije Universiteit Amsterdam
,
Stefan Wagner
Technical University of Munich
14:20
5m
Talk
Bridging AI Ethics and Requirements Engineering in Healthcare: Triangulating Evidence from Literature, Experts, and Online Communities
Journal Ahead Workshop (JAWs)
Yutan Huang
Monash University
,
Chetan Arora
Monash University
,
Anuradha Madugalla
Deakin University, School of IT, Australia
,
Tanjila Kanij
,
Fanyu Wang
Monash University
,
John Grundy
Monash University
14:25
5m
Talk
Future of Agile: A Multiple-Case Study of AI-Native Software Development
Journal Ahead Workshop (JAWs)
Daniel Planötscher
Free University of Bolzano
,
Xiaofeng Wang
Free University of Bozen-Bolzano
14:30
5m
Talk
Weaponizing the Commons: A Taxonomy and Detection Framework of Abuse on GitHub
Journal Ahead Workshop (JAWs)
Yuli Cheng
Xi'an Jiaotong University: Xi'an, Shaanxi, CN
,
Xiaoyu Zhang
Nanyang Technological University, Singapore
,
Jiongchi Yu
Singapore Management University
,
Shiqing Ma
University of Massachusetts at Amherst
,
Chao Shen
Xi’an Jiaotong University
,
Yang Liu
Nanyang Technological University
14:35
5m
Talk
Do Socially Close Developers Clone More? Tracing the Link Between Collaboration and Duplication
Journal Ahead Workshop (JAWs)
Palash Ranjan Roy
University of Saskatchewan
,
Zixian Zhang
School of Computer Science, University of Galway
,
Julita Vassileva
University of Saskatchewan
,
Banani Roy
University of Saskatchewan
,
Kevin Schneider
University of Saskatchewan
,
Chanchal K. Roy
University of Saskatchewan
,
Takfarinas Saber
University of Galway
14:40
5m
Talk
OpenART: Manuscript-Driven Support for Promoting Executability of Software Engineering Artifacts
Journal Ahead Workshop (JAWs)
Al Muttakin
University of Saskatchewan
,
Saikat Mondal
University of Saskatchewan
,
Chanchal K. Roy
University of Saskatchewan
14:45
5m
Talk
From Generic to Personalized: Exploring Persona-Aware Code Review Explanations
Journal Ahead Workshop (JAWs)
Shamse Tasnim Cynthia
University of Saskatchewan
,
Ratnadira Widyasari
Singapore Management University, Singapore
,
Banani Roy
University of Saskatchewan
,
Italo Santos
University of Hawai‘i at Mānoa
,
David Lo
Singapore Management University
14:50
5m
Talk
From Copy-Paste to Correct: Governing the Transfer of Software Practices
Journal Ahead Workshop (JAWs)
Ajmain Inqiad Alam
University of Saskatchewan
,
Chanchal K. Roy
University of Saskatchewan
,
Banani Roy
University of Saskatchewan
,
Kevin Schneider
University of Saskatchewan
15:30 - 16:00
Break (afternoon)
Journal Ahead Workshop (JAWs)
at
Bora Bora I
16:00 - 17:30
Selected Full Paper Presentations
Journal Ahead Workshop (JAWs)
at
Bora Bora I
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
Bora Bora I
AI-SQE + FinanSE + FinanSE
Session 1
AI-SQE + FinanSE + FinanSE
Session 2
FinanSE
FinanSE
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
Bora Bora I
Journal Ahead Workshop (JAWs)
Keynote
Journal Ahead Workshop (JAWs)
Break
09:00 - 10:30
Journal Ahead Workshop (JAWs)
AI4SE
Journal Ahead Workshop (JAWs)
Journal Ahead Workshop (JAWs)
Journal Ahead Workshop (JAWs)
Agentic AI
11:00 - 12:30
Journal Ahead Workshop (JAWs)
Lunch Break
Journal Ahead Workshop (JAWs)
Testing and Analysis
Journal Ahead Workshop (JAWs)
14:00 - 15:30
Journal Ahead Workshop (JAWs)
Break (afternoon)
Journal Ahead Workshop (JAWs)
Journal Ahead Workshop (JAWs)
Selected Full Presentations and Future Trends
16:00 - 17:30
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
Bora Bora I
Journal Ahead Workshop (JAWs)
Journal Ahead Workshop (JAWs)
TOSEM Award and Full Presentations
09:00 - 10:35
Journal Ahead Workshop (JAWs)
Break
Journal Ahead Workshop (JAWs)
Journal Ahead Workshop (JAWs)
Program Repair, Evolution, Comprehension and Security
11:00 - 12:30
Journal Ahead Workshop (JAWs)
Lunch Break
Journal Ahead Workshop (JAWs)
Human/Social/Empirical/Practices
Journal Ahead Workshop (JAWs)
14:00 - 15:30
Journal Ahead Workshop (JAWs)
Break (afternoon)
Journal Ahead Workshop (JAWs)
Journal Ahead Workshop (JAWs)
Selected Full Paper Presentations
16:00 - 17:30
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
Bora Bora I
FinanSE
FinanSE Opening
09:00 - 09:05
FinanSE
Separation of Concerns for Privacy-Preserving LLM Adoption: A Banking A ...
09:05 - 09:25
FinanSE
LLM-Assisted Retro-Documentation for Legacy COBOL Applications in Banking
09:25 - 09:45
FinanSE
Operationalising DAO Sustainability KPIs: A Multi-Chain Dashboard for G ...
09:45 - 10:05
FinanSE
Model Extraction and Explanation of Review Decisions: A Case Study on C ...
10:05 - 10:20
FinanSE
Discussion
10:20 - 10:30
FinanSE
Session Opening
11:00 - 11:05
FinanSE
Reinforcement Learning in Simulated Environments for Adaptive Troublesh ...
11:05 - 11:10
FinanSE
Panel Discussion
11:10 - 11:25
FinanSE
FinanSE Closing
11:25 - 11: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
Bora Bora I
Journal Ahead Workshop (JAWs)
Keynote Sebastian Uchitel
09:00 - 09:45
Journal Ahead Workshop (JAWs)
Understanding and Mitigating Library-Related Issues in LLM-Generated Code
09:45 - 09:50
Journal Ahead Workshop (JAWs)
Magnifying Inefficiency: How LLMs Amplify Performance Anti-Patterns in ...
09:50 - 09:55
Journal Ahead Workshop (JAWs)
BRACE: Unified Benchmarking of Accuracy and Energy for Code Language Models
09:55 - 10:00
Journal Ahead Workshop (JAWs)
Learning Model Mutations From Faults in Deep Learning
10:00 - 10:05
Journal Ahead Workshop (JAWs)
Artificial or Just Artful? Do LLMs Bend the Rules in Programming?
10:05 - 10:10
Journal Ahead Workshop (JAWs)
Towards Automated User Story Quality Assessment with LLMs: An Empirical ...
10:10 - 10:15
Journal Ahead Workshop (JAWs)
MARS: Few-Shot Android Malware Detection with RAG-Enhanced LLMs
10:15 - 10:20
Journal Ahead Workshop (JAWs)
A Closer Look at the Malicious Pre-Trained Models on Hugging Face
10:20 - 10:25
Journal Ahead Workshop (JAWs)
AgentHub: A Registry for Discoverable, Verifiable, and Reproducible AI ...
11:00 - 11:05
Journal Ahead Workshop (JAWs)
User Misconceptions of LLM-Based Conversational Programming Assistants
11:05 - 11:10
Journal Ahead Workshop (JAWs)
On the Impact of AGENTS.md Files on the Efficiency of AI Coding Agents
11:10 - 11:15
Journal Ahead Workshop (JAWs)
Demystifying the Lifecycle of Failures in Platform-Orchestrated Agentic ...
11:15 - 11:20
Journal Ahead Workshop (JAWs)
Towards a Characterization of Microservice Architectures Generated by L ...
11:20 - 11:25
Journal Ahead Workshop (JAWs)
Beyond Local Code Optimization: Multi-Agent Reasoning for Software Syst ...
11:25 - 11:30
Journal Ahead Workshop (JAWs)
SciFlowgent: Agentic AI Support for Developing Scientific Workflows
11:30 - 11:35
Journal Ahead Workshop (JAWs)
Automated Orchestration for LLM-Based Multi-Agent Systems: Challenges a ...
11:35 - 11:40
Journal Ahead Workshop (JAWs)
Silent Reliance or Diligent Review? Human-Agent Engagement and Interact ...
11:40 - 11:45
Journal Ahead Workshop (JAWs)
Toward Agentic Code Review: Reimagining the Process in the AI Era
11:45 - 11:50
Journal Ahead Workshop (JAWs)
Testing the Untrusted: An Empirical Study of Custom Model Codes in Mode ...
14:00 - 14:05
Journal Ahead Workshop (JAWs)
Towards the Systematic Testing of Regular Expression Engines
14:05 - 14:10
Journal Ahead Workshop (JAWs)
Rethinking Automated Testing for LLM-Based Systems
14:10 - 14:15
Journal Ahead Workshop (JAWs)
CONGRAD: Controllable Scenario Generation for Autonomous Driving System ...
14:15 - 14:20
Journal Ahead Workshop (JAWs)
Persuasion-guided Automated Testing for Harmful Content Degeneration in ...
14:20 - 14:25
Journal Ahead Workshop (JAWs)
On-Demand Performance Regression Detection with Test Selection and Ampl ...
14:25 - 14:30
Journal Ahead Workshop (JAWs)
The Intelligent Sidecar: Injecting Semantic Guidance into Smart Contrac ...
14:30 - 14:35
Journal Ahead Workshop (JAWs)
A Roadmap for Quantum Program Analysis: From Classical to Quantum Chall ...
14:35 - 14:40
Journal Ahead Workshop (JAWs)
APIfying COBOL Monoliths: Static Analysis with Pattern-Based Call Simpl ...
14:40 - 14:45
Journal Ahead Workshop (JAWs)
Automated Proof-of-Concept Generation for Software Vulnerabilities: A S ...
14:45 - 14:50
Journal Ahead Workshop (JAWs)
A Survey on AI-enabled Software Logging From Generation to Intelligent ...
16:00 - 16:05
Journal Ahead Workshop (JAWs)
Towards a Benchmark for Dependency Decision-Making
16:05 - 16:10
Journal Ahead Workshop (JAWs)
A UX Perspective on the Role of Code Search in Mitigating Divergences i ...
16:10 - 16:15
Journal Ahead Workshop (JAWs)
Post-Velocity Software Engineering: When Change Throughput Outruns Assu ...
16:15 - 16:20
Journal Ahead Workshop (JAWs)
Artificial or Just Artful? Do LLMs Bend the Rules in Programming?
16:20 - 16:25
Journal Ahead Workshop (JAWs)
Automated Refinement of Behaviour Abstractions with Inferred Assertions
16:25 - 16:30
Journal Ahead Workshop (JAWs)
Advances in Software Metrics Thresholds Definition - a Rigorous Statist ...
16:30 - 16:35
Journal Ahead Workshop (JAWs)
Characterizing Software Leadership: A Mixed-Methods Approach from Socia ...
16:35 - 16:40
Journal Ahead Workshop (JAWs)
Can You Help Me? An Uncertainty-Aware Self-Adaptive Delegation Approach
16:40 - 16:45
Journal Ahead Workshop (JAWs)
QLM: CodeQL Query Synthesis with Compositional PoC Validation
16:45 - 16:50
Journal Ahead Workshop (JAWs)
Revisiting Code Clone Genealogies: A New Taxonomy Based on Developer Ac ...
16:50 - 16:55
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
Bora Bora I
Journal Ahead Workshop (JAWs)
Fixing Less by Preventing More: Semantic Checklists for Robust Code Tra ...
11:00 - 11:05
Journal Ahead Workshop (JAWs)
Executable but Not Reproducible? An Empirical Study of Code Clone Detec ...
11:05 - 11:10
Journal Ahead Workshop (JAWs)
ARMS: A Vision for Actor Reputation Metric Systems in the Open-Source S ...
11:10 - 11:15
Journal Ahead Workshop (JAWs)
Practitioners’ Experiences and Expectations about Software Sustainabili ...
11:15 - 11:20
Journal Ahead Workshop (JAWs)
Compartmentalization-Aware Automated Program Repair
11:20 - 11:25
Journal Ahead Workshop (JAWs)
Understanding and Mitigating Library-Related Issues in LLM-Generated Code
11:25 - 11:30
Journal Ahead Workshop (JAWs)
Code Comprehension Beyond Best Practices: Exploring the Developer Cogni ...
11:30 - 11:35
Journal Ahead Workshop (JAWs)
Search-Based Evolutionary Data Pruning for Class-Level Code Summarization
11:35 - 11:40
Journal Ahead Workshop (JAWs)
Are We Building on Unreliable Ground? A Case Study on Unresolvable Pair ...
11:40 - 11:45
Journal Ahead Workshop (JAWs)
Operationalizing Research Software for Supply Chain Security
11:45 - 11:50
Journal Ahead Workshop (JAWs)
Static and Semantic Program Slicing for Quantum Programs
11:50 - 11:55
Journal Ahead Workshop (JAWs)
ScannerTrap: Benchmarking the Robustness of Web Vulnerability Scanners ...
11:55 - 12:00
Journal Ahead Workshop (JAWs)
Is Architecting Still a Human Activity?
14:00 - 14:05
Journal Ahead Workshop (JAWs)
FormIDEAble: Safe and Socially-aware Autonomous Systems
14:05 - 14:10
Journal Ahead Workshop (JAWs)
The Runtime Dimension of Ethics in Self-Adaptive Systems
14:10 - 14:15
Journal Ahead Workshop (JAWs)
Evaluating RE Practices for Explainability: Synthesizing Insights from ...
14:15 - 14:20
Journal Ahead Workshop (JAWs)
Bridging AI Ethics and Requirements Engineering in Healthcare: Triangul ...
14:20 - 14:25
Journal Ahead Workshop (JAWs)
Future of Agile: A Multiple-Case Study of AI-Native Software Development
14:25 - 14:30
Journal Ahead Workshop (JAWs)
Weaponizing the Commons: A Taxonomy and Detection Framework of Abuse on ...
14:30 - 14:35
Journal Ahead Workshop (JAWs)
Do Socially Close Developers Clone More? Tracing the Link Between Colla ...
14:35 - 14:40
Journal Ahead Workshop (JAWs)
OpenART: Manuscript-Driven Support for Promoting Executability of Softw ...
14:40 - 14:45
Journal Ahead Workshop (JAWs)
From Generic to Personalized: Exploring Persona-Aware Code Review Expla ...
14:45 - 14:50
Journal Ahead Workshop (JAWs)
From Copy-Paste to Correct: Governing the Transfer of Software Practices
14:50 - 14:55
x
Sat 7 Mar 07:32