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

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
AI for Software Engineering 1ICSE Research Track / ICSE SE In Practice (SEIP) at Asia I
11:00
15m
Talk
CREME: Robustness Enhancement of Code LLMs via Layer-Aware Model Editing
ICSE Research Track
Shuhan Liu Zhejiang University, Xing Hu Zhejiang University, Kerui Huang , Xiaohu Yang Zhejiang University, David Lo Singapore Management University, Xin Xia Zhejiang University
11:15
15m
Talk
Repairing LLM Executions for Secure Automatic Programming
ICSE Research Track
Ali El Husseini National University of Singapore, Yacine Izza National University of Singapore, Blaise Genest IPAL - CNRS - CNRS@CREATE, Abhik Roychoudhury National University of Singapore
11:30
15m
Talk
SecureReviewer: Enhancing Large Language Models for Secure Code Review through Secure-Aware Fine-Tuning
ICSE Research Track
Fang Liu Beihang University, Simiao Liu Beihang University, Yinghao Zhu Beihang University, Xiaoli Lian Beihang University, China, Li Zhang Beihang University
Pre-print
11:45
15m
Talk
Find My Code Twin: Improving SNIPPET SEARCH Performance Using LLMs in Practice
ICSE SE In Practice (SEIP)
Seokjun Ko Samsung Electronics Co., Eunbi Jang AI Center, Samsung Electronics, Dahyeon Choi AI Center, Samsung Electronics, daeha ryu Innovation Center, Samsung Electronics, jinyoung park Innovation Center, Samsung Electronics, changseo park Innovation Center, Samsung Electronics
12:00
15m
Talk
Fixing Security Vulnerabilities with Agentic AI in OSS-Fuzz
ICSE SE In Practice (SEIP)
Yuntong Zhang National University of Singapore, Jiawei Wang University of Southern California, Dominic Berzin National University of Singapore, Martin Mirchev SonarSource, Abhik Roychoudhury National University of Singapore
12:15
15m
Talk
EvoC2Rust: A Skeleton-guided Framework for Project-Level C-to-Rust Translation
ICSE SE In Practice (SEIP)
Chaofan Wang Shanghai Jiao Tong University, Tingrui Yu Shanghai Jiao Tong University, Chen Xie Shanghai Jiao Tong University, Jie Wang Huawei Technologies Co., Ltd, Dong Chen Huawei Technologies Co., Ltd, Wenrui Zhang Huawei Technologies Co., Ltd, Yuling Shi Shanghai Jiao Tong University, Xiaodong Gu Shanghai Jiao Tong University, Beijun Shen Shanghai Jiao Tong University
14:00 - 15:30
AI for Software Engineering 4ICSE Research Track / ICSE SE In Practice (SEIP) at Asia I
14:00
15m
Talk
TestWeaver: Execution-aware, Feedback-driven Regression Testing Generation with Large Language Models
ICSE Research Track
Cuong Chi Le The University of Texas at Dallas, Cuong Duc Van FPT Software AI Center, Tung Duy Vu VinUniversity, Minh V. T. Pham FPT Software AI Center, Hoang Nhat Phan Nanyang Technological University, Huy N. Phan FPT Software AI Center, Tien N. Nguyen University of Texas at Dallas
14:15
15m
Talk
RealityCraft: Automated Synthesis of Extended Reality Device Interaction Scripts from Natural Language Instructions
ICSE Research Track
Shuqing Li The Chinese University of Hong Kong, Yun Peng The Chinese University of Hong Kong, Yige Chen Southern University of Science and Technology, Dingyuan Xue Southern University of Science and Technology, Yepang Liu Southern University of Science and Technology, Michael Lyu The Chinese University of Hong Kong
14:30
15m
Talk
Heterogeneous Prompting and Execution Feedback for SWE Issue Test Generation and Selection
ICSE Research Track
Toufique Ahmed IBM Research, Jatin Ganhotra IBM Research, Avraham Shinnar IBM Research, Martin Hirzel IBM Research
Pre-print
14:45
15m
Talk
LLM Test Generation via Iterative Hybrid Program Analysis
ICSE Research Track
Sijia Gu The University of British Columbia, Noor Nashid University of British Columbia, Ali Mesbah University of British Columbia
15:00
15m
Talk
Scaling Security Testing by Addressing the Reachability Gap
ICSE Research Track
Gaetano Sapia Max Planck Institute for Security and Privacy (MPI-SP), Marcel Böhme MPI for Security and Privacy
15:15
15m
Talk
XBIDetective: Leveraging Vision Language Models for Identifying Cross-Browser Visual Inconsistencies
ICSE SE In Practice (SEIP)
Balreet Grewal University of Alberta, James Graham Mozilla Corporation, Jeff Muizelaar Mozilla Corporation, Jan Honza Odvarko Independent Researcher, Suhaib Mujahid Mozilla, Marco Castelluccio Mozilla, Cor-Paul Bezemer University of Alberta
16:00 - 17:30
AI for Software Engineering 7ICSE SE In Practice (SEIP) at Asia I
16:00
15m
Talk
From Rules to LLM-Enhanced Templates: A Hybrid ALPG Code Generation System
ICSE SE In Practice (SEIP)
Sanghyeok Park Sungkyunkwan University, Samsung Electronics, Sungjae Hwang Sungkyunkwan University, Simon S. Woo Sungkyunkwan University
16:15
15m
Talk
Enterprise-Scale COBOL-to-Java Translation: LLMs Augmented with Program Analysis
ICSE SE In Practice (SEIP)
Venkatesan Chakaravarthy IBM Research - India, Anamitra Roy Choudhury IBM, Dinesh Garg IBM Research, India, Vini Kanvar IBM Research, Shivmaran Pandian IBM Research - India, Aditya Raghuvanshi International Institute of Information Technology - Hyderabad, Yogish Sabharwal IBM Research - India, Amith Singhee IBM Research, India
16:30
15m
Talk
Smart Paste: Automatically Fixing Copy/Paste for Google Developers
ICSE SE In Practice (SEIP)
DOI
16:45
15m
Talk
Utilizing LLMs for Industrial Process Automation: A Case Study on Modifying RAPID Programs
ICSE SE In Practice (SEIP)
Salim Fares University of Passau, Faculty of Computer Science and Mathematics, Chair of AI Engineering, Steffen Herbold University of Passau
17:00
15m
Talk
Less Effort, More Productivity: Lessons Learned from Developing Millions of Lines of Code with Large Language Model
ICSE SE In Practice (SEIP)
Yu Duan Xidian University, Daiyang Zhang Xidian University, Zhiping Jiang Xidian University, Zhuoyu Xie Xidian University, Yiming Liu Xidian University, Yueshen Xu Xidian University, Rui Li , Di Cui Xidian University
17:15
15m
Talk
WhatsCode: Large-Scale GenAI Deployment for Developer Efficiency at WhatsApp
ICSE SE In Practice (SEIP)

Thu 16 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
AI for Software Engineering 10ICSE Research Track / ICSE Journal-first Papers at Asia I
11:00
15m
Talk
FlipFlop: A Static Analysis-based Energy Optimization Framework for GPU Kernels
ICSE Research Track
Saurabhsingh Rajput Dalhousie University, Alexander Brandt Dalhousie University, Vadim Elisseev IBM, Tushar Sharma Dalhousie University
11:15
15m
Talk
Portable Power Modeling with Transfer Learning on JVM-Based Applications
ICSE Research Track
Joseph Raskind SUNY Binghamton, Timur Babakol SUNY Binghamton, USA, Yu David Liu SUNY Binghamton
11:30
15m
Talk
End-to-End Model Generation with Large Language Models for Adaptive IoT Application Deployment
ICSE Research Track
ZHENYU WEN Zhejiang University of Technology, Jintao Feng Zhejiang University of Technology, Yao Nanjie Zhejiang University of Technology, Di Wu University of Central Florida, Cong Wang Zhejiang University, China, Mincheng Wu Zhejiang University of Technology, Jianbin Qin Shenzhen Institute of Computing Sciences, Shenzhen University, Shibo He Zhejiang University
11:45
15m
Talk
Efficient and Green Large Language Models for Software Engineering: Literature Review, Vision, and the Road Ahead
ICSE Journal-first Papers
Jieke Shi Singapore Management University, Zhou Yang University of Alberta, Alberta Machine Intelligence Institute , David Lo Singapore Management University
12:00
15m
Talk
An Empirical Study on Static Application Security Testing (SAST) Tools for Python
ICSE Research Track
Liu Zhuohang Nankai University, Zhi Wang Nankai University, Haotong Liu Nankai University, Wanpeng Li University of Liverpool
12:15
15m
Talk
Generating Energy-Efficient Code via Large-Language Models - Where are we now?
ICSE Research Track
Radu Apsan Vrije Universiteit Amsterdam, The Netherlands, Vincenzo Stoico Vrije Universiteit Amsterdam, Michel Albonico Federal University of Technology, Paraná (UTFPR), Rudra Dhar IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad, Ivano Malavolta Vrije Universiteit Amsterdam
Pre-print Media Attached
14:00 - 15:30
AI for Software Engineering 13ICSE SE In Practice (SEIP) / ICSE Research Track at Asia I
14:00
15m
Talk
Improving Code Generation via Small Language Model-as-a-judge
ICSE Research Track
Giuseppe Crupi Università della Svizzera italiana, Rosalia Tufano Università della Svizzera Italiana, Gabriele Bavota Software Institute @ Università della Svizzera Italiana
Pre-print
14:15
15m
Talk
Think Like Human Developers: Harnessing Community Knowledge for Structured Code Reasoning
ICSE Research Track
Chengran Yang Singapore Management University, Singapore, Zhensu Sun Singapore Management University, Hong Jin Kang University of Sydney, Jieke Shi Singapore Management University, David Lo Singapore Management University
14:30
15m
Talk
On LLMs’ Internal Representation of Code Correctness
ICSE Research Track
Francisco Ribeiro New York University Abu Dhabi, Claudio Spiess University of California, Davis, Prem Devanbu University of California at Davis, Sarah Nadi New York University Abu Dhabi
14:45
15m
Talk
Write Your Own Code Checker: An Automated Test-Driven Checker Development Approach with LLMs
ICSE Research Track
Jun Liu Institute of Software, Chinese Academy of Sciences, Yuanyuan Xie Institute of Software, Chinese Academy of Sciences, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jinhao Huang Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
15:00
15m
Talk
RovoDev Code Reviewer: A Large-Scale Online Evaluation of LLM-based Code Review Automation at Atlassian
ICSE SE In Practice (SEIP)
Kla Tantithamthavorn Monash University, Yaotian Zou Atlassian, Andy Wong Atlassian, Michael Gupta Atlassian, Zhe Wang Atlassian, Mike Buller Atlassian, Ryan Jiang Atlassian, Matthew Watson Atlassian, Minwoo Jeong Atlassian, Kun Chen Atlassian, Ming Wu Atlassian
15:15
15m
Talk
Spec2Control: Automating PLC/DCS Control-Logic Engineering from Natural Language Requirements with LLMs - A Multi-Plant Evaluation
ICSE SE In Practice (SEIP)
Heiko Koziolek ABB Corporate Research, Thilo Braun ABB, Virendra Ashiwal ABB Research, Sofia Linsbauer ABB Research, Marthe Ahlgreen Hansen ABB, Karoline Grotterud ABB
16:00 - 17:30
AI for Software Engineering 16ICSE Research Track at Asia I
16:00
15m
Talk
An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
ICSE Research Track
Sina Gogani Khiabani University of Illinois Chicago, Ashutosh Trivedi University of Colorado Boulder, Diptikalyan Saha IBM Research, Saeid Tizpaz-Niari University of Illinois Chicago
16:15
15m
Talk
RefAgent: A Multi-agent LLM-based Framework for Automatic Software Refactoring
ICSE Research Track
Khouloud Oueslati Polytechnique Montréal, Canada, Maxime Lamothe Polytechnique Montreal, Foutse Khomh Polytechnique Montréal
16:30
15m
Talk
ProofCoop: Collaborative Automated Formal Verification
ICSE Research Track
Zhanna Kaufman University of Massachusetts, Emily First Rutgers University, Alex Sanchez-Stern d model, Kyle Thompson University of California, San Diego, Sorin Lerner University of California at San Diego, Yuriy Brun University of Massachusetts
16:45
15m
Talk
Unified Software Engineering agent as AI Software Engineer
ICSE Research Track
Leonhard Applis National University of Singapore, Yuntong Zhang National University of Singapore, Shanchao Liang Purdue University, USA, Nan Jiang Purdue University, Lin Tan Purdue University, Abhik Roychoudhury National University of Singapore
17:00
15m
Talk
Argus: A Multi-agent Sensitive Information Leakage Detection Framework Based on Hierarchical Reference Relationships
ICSE Research Track
Bin Wang , Hui Li Xiamen University, Liyang Zhang University of Electronic Science and Technology of China, Qijia Zhuang University of Electronic Science and Technology of China, Ao Yang Peking University, Dong Zhang Tencent Security Platform Department, Xijun Luo Tencent Security Platform Department, Bing Lin China Unicom(Guangdong) Industrial Internet Co., Ltd
17:15
15m
Talk
MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming
ICSE Research Track
Zixiao Zhao , Jing Sun School of Computer Science, University of Auckland, Zhe Hou Griffith University, Wei Zhiyuan Beijing Institute of Technology, ChengHao Cai Suzhou Industrial Park Monash Research Institute of Science and Technology, Miao Qiao University of Auckland, Jin Song Dong National University of Singapore

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

11:00 - 12:30
11:00
15m
Talk
Is Hyper-Parameter Optimization Different for Software Analytics?
ICSE Journal-first Papers
Rahul Yedida LexisNexis, Tim Menzies North Carolina State University
11:15
15m
Talk
On the Effectiveness of LLM-as-a-judge for Code Generation and Summarization
ICSE Journal-first Papers
Giuseppe Crupi Università della Svizzera italiana, Rosalia Tufano Università della Svizzera Italiana, Alejandro Velasco William & Mary, Antonio Mastropaolo William and Mary, USA, Denys Poshyvanyk William & Mary, Gabriele Bavota Software Institute @ Università della Svizzera Italiana
11:30
15m
Talk
A Catalog of Data Smells for Coding Tasks
ICSE Journal-first Papers
Antonio Vitale Politecnico di Torino, University of Molise, Rocco Oliveto University of Molise, Simone Scalabrino University of Molise
11:45
15m
Talk
Towards Automating Domain-Specific Data Generation for Text-to-SQL: A Comprehensive Approach
ICSE Journal-first Papers
Salmane Chafik UM6P College of Computing, Saad Ezzini King Fahad University of Petroleum and Minerals, Ismail Berrada UM6P College of Computing
12:00
15m
Talk
Empirical and Sustainability Aspects of Software Engineering Research in the Era of Large Language Models: A Reflection
ICSE New Ideas and Emerging Results (NIER)
David Williams University College London, Maria Kechagia National and Kapodistrian University of Athens, Max Hort Simula Research Laboratory, Aldeida Aleti Monash University, Justyna Petke University College London, Federica Sarro University College London
12:15
15m
Talk
FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
ICSE Research Track
Jiachi Chen Sun Yat-sen University, Yiming Shen Sun Yat-sen University, Jiashuo Zhang Peking University, China, Zihao Li Hong Kong Polytechnic University, John Grundy Monash University, Zhenzhe Shao Sun Yat-sen University, Yanlin Wang Sun Yat-sen University, Jiashui Wang Zhejiang University, Ting Chen University of Electronic Science and Technology of China, Zibin Zheng Sun Yat-sen University
Pre-print
14:00 - 15:30
14:00
15m
Talk
CI-Bench: A Framework for Evaluating Large Language Model Tools on CI Failures
ICSE Demonstrations
Raian Latif Nabil University of California, Davis, Hao-Nan Zhu University of California, Davis, Cindy Rubio-González University of California at Davis
14:15
15m
Talk
Assessing the Latent Automated Program Repair Capabilities of Large Language Models using Round-Trip Translation
ICSE Journal-first Papers
Fernando Vallecillos Ruiz Simula Research Laboratory, Anastasiia Grishina Simula Research Laboratory, Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory
14:30
15m
Talk
XRFix: Exploring Performance Bug Repair of Extended Reality Applications with Large Language Models
ICSE Research Track
Jingwen Wu Department of Computer Science, Hong Kong Baptist University, Hanyang Guo School of Software Engineering, Sun Yat-sen University, Hong-Ning Dai Department of Computer Science, Hong Kong Baptist University, Xiapu Luo Hong Kong Polytechnic University
DOI Pre-print
14:45
15m
Talk
Synthetic Repo-level Bug Dataset for Training Automated Program Repair Models
ICSE Research Track
Minh V. T. Pham FPT Software AI Center, Huy N. Phan FPT Software AI Center, Hoang Nhat Phan Nanyang Technological University, Cuong Chi Le The University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas, Nghi D. Q. Bui Google Research
15:00
15m
Talk
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
ICSE Research Track
Yuan-An Xiao Peking University, Weixuan Wang Peking University, Dong Liu Center Research Institute, ZTE Coporation, China, Junwei Zhou Center Research Institute, ZTE Coporation, China, Shengyu Cheng ZTE Corporation, Yingfei Xiong Peking University
Pre-print
15:15
15m
Talk
Input Reduction Enhanced LLM-based Program Repair
ICSE Research Track
Boyang Yang Yanshan University, Luyao Ren Peking University, Xin Yin Zhejiang University, Jiadong Ren Yanshan University, Haoye Tian Aalto University, Shunfu Jin Yanshan University
DOI Pre-print
16:00 - 17:30
16:00
15m
Talk
AdapTrack: Constrained Decoding without Distorting LLM's Output Intent
ICSE Research Track
Yongmin Li Peking University, Jia Li Tsinghua University, Ge Li Peking University, Zhi Jin Peking University, Wuhan University
16:15
15m
Talk
Evaluating Generated Commit Messages with Large Language Models
ICSE Research Track
Qunhong Zeng Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Zexiong Ma Peking University, Bo Jiang Bytedance Network Technology, Ningyuan Sun ByteDance, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Xingyu Mou Beijing Institute of Technology, Hui Liu Beijing Institute of Technology
Pre-print
16:30
15m
Talk
Automating Just-In-Time Python Type Annotation Updating
ICSE Research Track
Zhipeng Xue Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Xing Hu Zhejiang University, Jingyuan Chen Zhejiang University, Xin Xia Zhejiang University, Shanping Li Zhejiang University
16:45
15m
Talk
Unveiling the Potential of Diffusion Large Language Models in Software Engineering Tasks: An Empirical Study
ICSE New Ideas and Emerging Results (NIER)
Jingyao Zhang Xi'an Jiaotong-Liverpool University, Li Tianlin NTU, Xiaoyu Zhang Nanyang Technological University, Singapore, Qiang Hu Tianjin University, Bin Shi Xi'an Jiaotong University
17:00
15m
Talk
Enhancing LLM Code Generation with Ensembles: A Similarity-Based Selection Approach
ICSE Research Track
Tarek Mahmud Texas State University, Bin Duan University of Queensland, Corina S. Păsăreanu Carnegie Mellon University; NASA Ames, Guowei Yang University of Queensland
17:15
15m
Talk
Code4MeV2: a Research-oriented Code-completion Platform
ICSE Demonstrations
Roham Koohestani Delft University of Technology, Parham Bateni Delft University of Technology, Aydin Ebrahimi Delft University of Technology, Behdad Etezadi Delft University of Technology, Kiarash Karimi Delft University of Technology, Maliheh Izadi Delft University of Technology

Wed 15 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Asia I

Thu 16 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Asia I

Fri 17 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Asia I