FormaliSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
co-located with ICSE 2024
VenueCentro Cultural de Belém
Room nameSophia de Mello Breyner Andresen
Capacity217
Room InformationNo extra information available
Program

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

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Opening + Awards + Keynote / ICPC Keynotes at Sophia de Mello Breyner Andresen
Chair(s): Igor Steinmacher Northern Arizona University, Mario Linares-Vasquez Universidad de los Andes, Olga Baysal Carleton University, Kevin Moran University of Central Florida
09:00
15m
Talk
Opening SessionICPCICPC Opening Session
ICPC Opening

09:15
15m
Awards
ICPC 2024 AwardsICPC AwardsICPC
ICPC Opening

09:30
60m
Talk
Keynote 1: Program Comprehension in the Era of Large Language Models: Achievements and ChallengesICPCICPC Keynote
ICPC Keynotes
Gabriele Bavota Software Institute @ Università della Svizzera Italiana
11:00 - 12:30
11:00
10m
Talk
Towards Summarizing Code Snippets Using Pre-Trained TransformersICPCICPC Full paper
ICPC Research Track
Antonio Mastropaolo Università della Svizzera italiana, Matteo Ciniselli Università della Svizzera Italiana, Luca Pascarella ETH Zurich, Rosalia Tufano Università della Svizzera Italiana, Emad Aghajani Software Institute, USI Università della Svizzera italiana, Gabriele Bavota Software Institute @ Università della Svizzera Italiana
Pre-print
11:10
10m
Talk
Generating Java Methods: An Empirical Assessment of Four AI-Based Code AssistantsICPCICPC Full paper
ICPC Research Track
Vincenzo Corso University of Milano - Bicocca, Leonardo Mariani University of Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Oliviero Riganelli University of Milano - Bicocca
Pre-print
11:20
10m
Talk
Analyzing Prompt Influence on Automated Method Generation: An Empirical Study with CopilotICPCICPC Full paper
ICPC Research Track
Ionut Daniel Fagadau University of Milano - Bicocca, Leonardo Mariani University of Milano-Bicocca, Daniela Micucci University of Milano-Bicocca, Italy, Oliviero Riganelli University of Milano - Bicocca
Pre-print
11:30
10m
Talk
Interpretable Online Log Analysis Using Large Language Models with Prompt StrategiesICPCICPC Full paper
ICPC Research Track
Yilun Liu Huawei co. LTD, Shimin Tao University of Science and Technology of China; Huawei co. LTD, Weibin Meng Huawei co. LTD, Jingyu Wang , Wenbing Ma Huawei co. LTD, Yuhang Chen University of Science and Technology of China, Yanqing Zhao Huawei co. LTD, Hao Yang Huawei co. LTD, Yanfei Jiang Huawei co. LTD
Pre-print
11:40
10m
Talk
Do Machines and Humans Focus on Similar Code? Exploring Explainability of Large Language Models in Code SummarizationICPCICPC RENE Paper
ICPC Replications and Negative Results (RENE)
Jiliang Li Vanderbilt University, Yifan Zhang Vanderbilt University, Zachary Karas Vanderbilt University, Collin McMillan University of Notre Dame, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University
Pre-print
11:50
10m
Talk
Knowledge-Aware Code Generation with Large Language ModelsICPCICPC Full paper
ICPC Research Track
Tao Huang Shandong Normal University, Zhihong Sun Shandong Normal University, Zhi Jin Peking University, Ge Li Peking University, Chen Lyu Shandong Normal University
Pre-print
12:00
8m
Talk
Enhancing Source Code Representations for Deep Learning with Static AnalysisICPCICPC ERA Paper
ICPC Early Research Achievements (ERA)
Xueting Guan University of Melbourne, Christoph Treude Singapore Management University
Pre-print
12:08
8m
Talk
AthenaLLM: Supporting Experiments with Large Language Models in Software DevelopmentICPCICPC Tools
ICPC Tool Demonstration
Benedito Fernando Albuquerque de Oliveira Federal University of Pernambuco, Fernando Castor University of Twente and Federal University of Pernambuco
12:16
14m
Talk
AI-Assisted Program Comprehension: Panel with SpeakersICPC
ICPC Discussion

14:00 - 15:30
14:00
10m
Talk
MESIA: Understanding and Leveraging Supplementary Nature of Method-level Comments for Automatic Comment GenerationICPCICPC Full paper
ICPC Research Track
Xinglu Pan Peking University, Chenxiao Liu Peking University, Yanzhen Zou Peking University, Tao Xie Peking University, Bing Xie Peking University
Pre-print
14:10
10m
Talk
Compositional API Recommendation for Library-Oriented Code GenerationICPCICPC Full paper
ICPC Research Track
Zexiong Ma Peking University, Shengnan An Xi’an Jiaotong University, Bing Xie Peking University, Zeqi Lin Microsoft Research, China
Pre-print
14:20
10m
Talk
On the Generalizability of Deep Learning-based Code Completion Across Programming Language VersionsICPCICPC Full paper
ICPC Research Track
Matteo Ciniselli Università della Svizzera Italiana, Alberto Martin-Lopez Software Institute - USI, Lugano, Gabriele Bavota Software Institute @ Università della Svizzera Italiana
14:30
10m
Talk
ESGen: Commit Message Generation Based on Edit Sequence of Code ChangeICPCICPC Full paperVirtual-Talk
ICPC Research Track
Xiangping Chen Sun Yat-sen University, Yangzi Li SUN YAT-SEN UNIVERSITY, Zhicao Tang SUN YAT-SEN UNIVERSITY, Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Haojie Zhou School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou 510006, China, Mingdong Tang Guangdong University of Foreign Studies, Zibin Zheng Sun Yat-sen University
14:40
10m
Talk
Improving AST-Level Code Completion with Graph Retrieval and Multi-Field AttentionICPCICPC Full paperVirtual-Talk
ICPC Research Track
Yu Xia Central South University, Tian Liang Central South University, Wei-Huan Min Central South University, Li Kuang School of Computer Science and Engineering, Central South University
14:50
10m
Talk
Exploring and Improving Code Completion for Test CodeICPCICPC Full paper
ICPC Research Track
Tingwei Zhu Nanjing University, Zhongxin Liu Zhejiang University, Tongtong Xu Huawei, Ze Tang Software Institute, Nanjing University, Tian Zhang Nanjing University, Minxue Pan Nanjing University, Xin Xia Huawei Technologies
15:00
10m
Talk
Understanding the Impact of Branch Edit Features for the Automatic Prediction of Merge Conflict ResolutionsICPCICPC RENE Paper
ICPC Replications and Negative Results (RENE)
Waad riadh aldndni Virginia Tech, Francisco Servant ITIS Software, University of Malaga, Na Meng Virginia Tech
15:10
4m
Talk
Investigating the Efficacy of Large Language Models for Code Clone DetectionICPCICPC ERA Paper
ICPC Early Research Achievements (ERA)
Mohamad Khajezade University of British Columbia Okanagan, Jie JW Wu University of British Columbia (UBC), Fatemeh Hendijani Fard University of British Columbia, Gema Rodríguez-Pérez University of British Columbia (UBC), Mohamed S Shehata University of British Columbia
15:14
16m
Talk
Code + Documentation Generation: Panel with SpeakersICPC
ICPC Discussion

16:00 - 17:30
16:00
10m
Talk
CRSP: Emulating Human Cooperative Reasoning for Intelligible Story Point EstimationICPCICPC Full paper
ICPC Research Track
Rui Han , Wanjiang Han Beijing University of Posts and Telecommunications, Zhuoyan Han Beijing University of Posts and Telecommunications, Yifan Tian Beijing University of Posts and Telecommunications, Longzheng Chen Beijing University of Posts and Telecommunications, Ren Han Beijing University of Posts and Telecommunications
16:10
10m
Talk
What Do Developers Feel About Fast-Growing Programming Languages? An Exploratory StudyICPCICPC Full paper
ICPC Research Track
Jahnavi Kumar Indian Institute of Technology Tirupati, India, Sridhar Chimalakonda Indian Institute of Technology, Tirupati
16:20
10m
Talk
Understanding Regular Expression Denial of Service (ReDoS): Insights from LLM-Generated Regexes and Developer ForumsICPCICPC Full paper
ICPC Research Track
Mohammed Latif Siddiq University of Notre Dame, Jiahao Zhang , Joanna C. S. Santos University of Notre Dame
DOI Pre-print Media Attached File Attached
16:30
10m
Talk
Exploring Social Signals in Code Review: An Eye-Tracking Study of Urgency and Reputation EffectsICPCICPC Full paper
ICPC Research Track
Sara Yabesi Polytechnique Montreal, Mahta Amini Polytechnique Montreal, Jelena Ristic McGill University, Zohreh Sharafi Polytechnique Montréal
16:40
10m
Talk
On the comprehensibility of functional decomposition: An empirical studyICPCICPC RENE Paper
ICPC Replications and Negative Results (RENE)
Ewan Tempero University of Auckland, Paul Denny The University of Auckland, James Finnie-Ansley The University of Auckland, Andrew Luxton-Reilly The University of Auckland, Diana Kirk University of Auckland, Juho Leinonen Aalto University, Asma Shakil The University of Auckland, Robert Sheehan The University of Auckland, James Tizard University of Auckland, Yu-Cheng Tu The University of Auckland, Burkhard Wünsche University of Auckland
16:50
10m
Talk
Reassessing Java Code Readability Models with a Human-Centered ApproachICPCICPC RENE Paper
ICPC Replications and Negative Results (RENE)
Agnia Sergeyuk JetBrains Research, Olga Lvova JetBrains, Sergey Titov JetBrains Reserach, Anastasiia Serova JetBrains, Farid Bagirov JetBrains Research, Evgeniia Kirillova JetBrains Research, Timofey Bryksin JetBrains Research
17:00
8m
Talk
Exploring the Impact of Source Code Linearity on the Programmers' Comprehension of API Code ExamplesICPCICPC ERA PaperVirtual Talk
ICPC Early Research Achievements (ERA)
Seham Alharbi University of York, Dimitris Kolovos University of York
Pre-print
17:08
8m
Talk
Innovating Coding: Evaluating the Impact of Innovative Thinking in ProgrammingICPCICPC ERA Paper
ICPC Early Research Achievements (ERA)
Anthonia Njoku Polytechnique Montreal, Mahta Amini Polytechnique Montreal, Zohreh Sharafi Polytechnique Montréal
17:16
14m
Talk
Empirical + Human Studies: Panel with SpeakersICPC
ICPC Discussion

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Keynote + MIPICPC Keynotes / at Sophia de Mello Breyner Andresen
Chair(s): Olga Baysal Carleton University, Kevin Moran University of Central Florida, Andrew Begel Carnegie Mellon University, Leon Moonen Simula Research Laboratory and BI Norwegian Business School
09:00
60m
Talk
Keynote 2: Cultivating Research to Enhance the CI/CD of AAA Video GamesICPCICPC Keynote
ICPC Keynotes
Sarra Habchi Ubisoft Montréal
10:00
30m
Talk
ICPC MIP: Automatic documentation generation via source code summarization of method contextICPCICPC MIP
ICPC MIP Talk
Paul W. McBurney , Collin McMillan University of Notre Dame
11:00 - 12:30
11:00
10m
Talk
What the Fix? A Study of ASAT Rules DocumentationICPCICPC Full paper
ICPC Research Track
Corentin Latappy Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800, Promyze, Thomas Degueule CNRS, Jean-Rémy Falleri Bordeaux INP, Romain Robbes CNRS, LaBRI, University of Bordeaux, Xavier Blanc Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800, Cédric Teyton Promyze, Bordeaux, France
Pre-print
11:10
10m
Talk
SolaSim: Clone Detection for Solana Smart Contracts via Program RepresentationICPCICPC Full paper
ICPC Research Track
Che Wang Peking University, China, Yue Li Peking University, Jianbo Gao Peking University, Ke Wang Peking University, Jiashuo Zhang Peking University, China, Zhi Guan Peking University, Zhong Chen
11:20
10m
Talk
The Impact of Compiler Warnings on Code Quality in C++ ProjectsICPCICPC Full paper
ICPC Research Track
Albin Johansson Chalmers University of Technology, Carl Holmberg Chalmers University of Technology, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Philipp Leitner Chalmers | University of Gothenburg
11:30
10m
Talk
Vulnerabilities in AI Code Generators: Exploring Targeted Data Poisoning AttacksICPCICPC Full paper
ICPC Research Track
Domenico Cotroneo University of Naples Federico II, Cristina Improta University of Naples Federico II, Pietro Liguori University of Naples Federico II, Roberto Natella Federico II University of Naples
Pre-print
11:40
10m
Talk
A Just-in-time Software Defect Localization Method based on Code Graph RepresentationICPCICPC Full paperVirtual-Talk
ICPC Research Track
Huan Zhang Central South University, Wei-Huan Min Central South University, Zhao Wei Tencent, Li Kuang School of Computer Science and Engineering, Central South University, Hong-Hao Gao Shanghai University, Huai-Kou Miao Shanghai University
11:50
10m
Talk
SICode: Embedding-Based Subgraph Isomorphism Identification for Bug DetectionICPCICPC Full paper
ICPC Research Track
Yuanjun Gong Renmin University of China, Jianglei Nie Renmin University of China, Wei You Renmin University of China, Wenchang Shi Renmin University of China, China, Jianjun Huang Renmin University of China, Bin Liang Renmin University of China, China, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
12:00
10m
Talk
Tuning Code Smell Prediction Models: A Replication StudyICPCICPC RENE Paper
ICPC Replications and Negative Results (RENE)
Henrique Gomes Nunes Federal University of Minas Gerais (UFMG), Amanda Santana Federal University of Minas Gerais (UFMG), Eduardo Figueiredo Federal University of Minas Gerais, Brazil, Heitor Augustus Xavier Costa Federal University of Lavras
12:10
8m
Talk
Studying Vulnerable Code Entities in RICPCICPC ERA Paper
ICPC Early Research Achievements (ERA)
Zixiao Zhao University of British Columbia, Millon Madhur Das Indian Institute of Technology Kharagpur, Fatemeh Hendijani Fard University of British Columbia
12:18
12m
Talk
Bugs, Defects, and Code Quality: Panel with SpeakersICPC
ICPC Discussion

14:00 - 15:30
New Frontiers - Virtual Reality, Mobile Apps, Smart Contracts, and LLMsICPC Early Research Achievements (ERA) / ICPC Tool Demonstration / ICPC Research Track / at Sophia de Mello Breyner Andresen
Chair(s): Sonia Haiduc Florida State University
14:00
10m
Talk
The Sword of Damocles: Upgradeable Smart Contract in EthereumICPCICPC Full paperVirtual-Talk
ICPC Research Track
Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Xiaoyuan Wu Sun Yat-sen University, Quanqi Wang Sun Yat-sen University, Ziang Qian Sun Yat-sen University, Xiangping Chen Sun Yat-sen University, Mingdong Tang Guangdong University of Foreign Studies, Zibin Zheng Sun Yat-sen University
14:10
10m
Talk
Collaborative Software Exploration with Multimedia Note Taking in Virtual RealityICPCICPC Full paper
ICPC Research Track
Adrian Hoff IT University of Copenhagen, Mircea Lungu IT University, Copenhagen, Christoph Seidl IT University of Copenhagen, Michele Lanza Software Institute - USI, Lugano
Pre-print Media Attached
14:20
10m
Talk
No Source Code? No Problem! Demystifying and Detecting Mask Apps in iOSICPCICPC Full paper
ICPC Research Track
Yijun Zhao Institute of Information Engineering, Chinese Academy of Sciences, Lingjing Yu Institute of Information Engineering, Chinese Academy of Sciences, Yong Sun Institute of Information Engineering, Chinese Academy of Sciences, Qingyun Liu Institute of Information Engineering, Chinese Academy of Sciences, Bo Luo The University of Kansas
Pre-print
14:30
10m
Talk
How do Hugging Face Models Document Datasets, Bias, and Licenses? An Empirical StudyICPCICPC Full paper
ICPC Research Track
Federica Pepe University of Sannio, Vittoria Nardone University of Molise, Antonio Mastropaolo Università della Svizzera italiana, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Gerardo Canfora University of Sannio, Massimiliano Di Penta University of Sannio, Italy
Pre-print
14:40
8m
Talk
Capturing and Understanding the Drift Between Design, Implementation, and DocumentationICPCICPC ERA Paper
ICPC Early Research Achievements (ERA)
Joseph Romeo Software Institute - USI, Lugano, Switzerland, Marco Raglianti Software Institute - USI, Lugano, Csaba Nagy Software Institute - USI, Lugano, Michele Lanza Software Institute - USI, Lugano
Pre-print
14:48
8m
Talk
Immersive Software Archaeology: Collaborative Exploration and Note Taking in Virtual RealityICPCICPC Tools
ICPC Tool Demonstration
Adrian Hoff IT University of Copenhagen, Mircea F. Lungu University of Groningen, Christoph Seidl IT University of Copenhagen, Michele Lanza Software Institute - USI, Lugano
Pre-print Media Attached
14:56
34m
Talk
New Frontiers - Virtual Reality, Mobile Apps, Smart Contracts, and LLMs: Panel with SpeakersICPC
ICPC Discussion

16:00 - 17:30
Code Analysis and Mining StudiesICPC Tool Demonstration / ICPC Research Track / at Sophia de Mello Breyner Andresen
Chair(s): DongGyun Han Royal Holloway, University of London
16:00
10m
Talk
ASKDetector: An AST-Semantic and Key Features Fusion based Code Comment Mismatch DetectorICPCICPC Full paperVirtual-Talk
ICPC Research Track
Haiyang Yang School of Computer Science and Engineering, Central South University, hao chen , Zhirui Kuai School of Computer Science and Engineering, Central South University, Shuyuan Tu School of Computer Science and Engineering, Central South University, Li Kuang School of Computer Science and Engineering, Central South University
16:10
10m
Talk
TaiE: Function Identification for Monolithic FirmwareICPCICPC Full paper
ICPC Research Track
Jintao Huang Institute of Information Engineering, Chinese Academy of Science & University of Chinese Academy of Sciences, Beijing, China, Kai Yang School of Computer, Electronics and Information, Guangxi University, Gaosheng Wang Institute of Information Engineering, Chinese Academy of Sciences & University of Chinese Academy of Sciences, Beijing, China, Zhiqiang Shi Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,, Shichao Lv Institute of Information Engineering, Chinese Academy of Science, Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,
16:20
10m
Talk
Rationale Dataset and Analysis for the Commit Messages of the Linux Kernel Out-of-Memory KillerICPCICPC Full paper
ICPC Research Track
Mouna Dhaouadi University of Montreal, Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal
16:30
10m
Talk
Lightweight Syntactic API Usage Analysis with UCovICPCICPC Full paper
ICPC Research Track
Gustave Monce Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, Thomas Couturou Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, Yasmine Hamdaoui Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, Thomas Degueule CNRS, Jean-Rémy Falleri Bordeaux INP
Pre-print
16:40
10m
Talk
CAREER: Context-Aware API Recognition with Data Augmentation for API Knowledge ExtractionICPCICPC Full paperVirtual-Talk
ICPC Research Track
Zhang Zhang , Xinjun Mao National University of Defense Technology, Shangwen Wang National University of Defense Technology, Kang Yang National University of Defense Technology, Yao Lu National University of Defense Technology
16:50
8m
Talk
TerraMetrics: An Open Source Tool for Infrastructure-as-Code (IaC) Quality Metrics in TerraformICPCICPC Tools
ICPC Tool Demonstration
Mahi Begoug , Moataz Chouchen ETS, Ali Ouni ETS Montreal, University of Quebec
16:58
8m
Talk
OpenGalaxy: An interactive exploration platform for a visualized GitHub Full Domain collaboration networkICPCICPC Tools
ICPC Tool Demonstration
Xinran Zhang , Shengyu Zhao Tongji University, Yenan Tang East China Normal University, Xiaoya Xia East China Normal University, will wang
17:06
8m
Talk
Hypercrx: A browser extension for insights into GitHub projects and developersICPCICPC Tools
ICPC Tool Demonstration
Yenan Tang East China Normal University, Shengyu Zhao Tongji University, Xiaoya Xia East China Normal University, Fenglin Bi East China Normal University, will wang
17:14
16m
Talk
Code Analysis and Mining Studies: Panel with SpeakersICPC
ICPC Discussion

Wed 17 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
11:00
15m
Talk
Empirical Study of the Docker Smells Impact on the Image Size
ICSE Research Track
11:15
15m
Talk
MotorEase: Automated Detection of Motor Impairment Accessibility Issues in Mobile App UIs
ICSE Research Track
Arun Krishna Vajjala George Mason University, S M Hasan Mansur George Mason University, Justin Jose South Lakes High School, Kevin Moran University of Central Florida
11:30
15m
Talk
Energy Patterns for Web: An Exploratory Study
ICSE Software Engineering in Society
Pooja Rani University of Zurich, Jonas Zellweger University of Zurich, Switzerland, Veronika Kousadianos University of Bern, Switzerland, Luís Cruz Delft University of Technology, Timo Kehrer University of Bern, Alberto Bacchelli University of Zurich
DOI Pre-print Media Attached
11:45
15m
Talk
Data Lineage Analysis for Enterprise Applications by Manta: The Story of Java and C# Scanners
ICSE Software Engineering in Practice
Pavel Parizek Charles University, Lukáš Hermann Manta
12:00
7m
Talk
How are Multilingual Systems Constructed: Characterizing Language Use and Selection in Open-Source Multilingual Software
ICSE Journal-first Papers
Wen Li Washington State University, Austin Marino Washington State University, Haoran Yang Washington State University, Na Meng Virginia Tech, Li Li Beihang University, Haipeng Cai Washington State University
12:07
7m
Talk
An Empirical Study on the Effectiveness of Privacy Indicators. Extended Abstract
ICSE Journal-first Papers
Michele Guerra University of Molise, Simone Scalabrino University of Molise, Fausto Fasano University of Molise, Rocco Oliveto University of Molise
12:14
7m
Talk
Language Usage Analysis for EMF Metamodels on GitHub: Extended Abstract
ICSE Journal-first Papers
Önder Babur Wageningen University & Research, Eleni Constantinou University of Cyprus, Alexander Serebrenik Eindhoven University of Technology
12:21
7m
Talk
DronLomaly: Runtime Log-based Anomaly Detector for DJI Drones
ICSE Demonstrations
Wei Minn Singapore Management University, Yan Naing Tun Singapore Management University, Lwin Khin Shar Singapore Management University, Lingxiao Jiang Singapore Management University
14:00 - 15:30
Analytics & AIICSE Research Track / ICSE Journal-first Papers at Sophia de Mello Breyner Andresen
Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign
14:00
15m
Talk
DeepLSH: Deep Locality-Sensitive Hash Learning for Fast and Efficient Near-Duplicate Crash Report Detection
ICSE Research Track
Youcef REMIL INSA Lyon, INFOLOGIC, Anes Bendimerad Infologic, Romain Mathonat Infologic, Chedy raissi Ubisoft, Mehdi Kaytoue Infologic
14:15
15m
Talk
DivLog: Log Parsing with Prompt Enhanced In-Context Learning
ICSE Research Track
Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Ruichun Yang The Chinese University of Hong Kong, Shenzhen, Yintong Huo The Chinese University of Hong Kong, Chengyu Zhang ETH Zurich, Pinjia He Chinese University of Hong Kong, Shenzhen
14:30
15m
Talk
Where is it? Tracing the Vulnerability-relevant Files from Vulnerability Reports
ICSE Research Track
Jiamou Sun CSIRO's Data61, Jieshan Chen CSIRO's Data61, Zhenchang Xing CSIRO's Data61, Qinghua Lu Data61, CSIRO, Xiwei (Sherry) Xu Data61, CSIRO, Liming Zhu CSIRO’s Data61
14:45
15m
Talk
Demystifying and Detecting Misuses of Deep Learning APIs
ICSE Research Track
Moshi Wei York University, Nima Shiri Harzevili York University, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Jinqiu Yang Concordia University, Junjie Wang Institute of Software, Chinese Academy of Sciences, Song Wang York University
15:00
7m
Talk
Toward Understanding Deep Learning Framework Bugs
ICSE Journal-first Papers
Junjie Chen Tianjin University, Yihua Liang College of Intelligence and Computing, Tianjin University, Qingchao Shen Tianjin University, Jiajun Jiang Tianjin University, Shuochuan Li College of Intelligence and Computing, Tianjin University
15:07
7m
Talk
Fair Enough: Searching for Sufficient Measures of Fairness
ICSE Journal-first Papers
Suvodeep Majumder North Carolina State University, Joymallya Chakraborty Amazon.com, Gina Bai North Carolina State University, Kathryn Stolee North Carolina State University, Tim Menzies North Carolina State University
DOI Pre-print
15:14
7m
Talk
Representation Learning for Stack Overflow Posts: How Far are We?
ICSE Journal-first Papers
Junda He Singapore Management University, Xin Zhou Singapore Management University, Singapore, Bowen Xu North Carolina State University, Ting Zhang Singapore Management University, Kisub Kim Singapore Management University, Singapore, Zhou Yang Singapore Management University, Ferdian Thung Singapore Management University, Ivana Clairine Irsan Singapore Management University, David Lo Singapore Management University
15:21
7m
Talk
Journal First: Learning from Very Little Data: On the Value of Landscape Analysis for Predicting Software Project Health)
ICSE Journal-first Papers
Andre Lustosa North Carolina State University, Tim Menzies North Carolina State University
DOI Pre-print
16:00 - 17:30
Analytics 2ICSE Research Track / ICSE Journal-first Papers / ICSE Demonstrations at Sophia de Mello Breyner Andresen
Chair(s): Grace Lewis Carnegie Mellon Software Engineering Institute
16:00
15m
Talk
LogShrink: Effective Log Compression by Leveraging Commonality and Variability of Log Data
ICSE Research Track
Xiaoyun Li Sun Yat-sen University, Hongyu Zhang Chongqing University, Van-Hoang Le The University of Newcastle, Pengfei Chen Sun Yat-sen University
Pre-print
16:15
15m
Talk
Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem
ICSE Research Track
Chenghao Li Zhejiang University, Yifei Wu Zhejiang University, Wenbo Shen Zhejiang University, China, Zichen Zhao Zhejiang University, Rui Chang Zhejiang University, Chengwei Liu Nanyang Technological University, Yang Liu Nanyang Technological University, Kui Ren Zhejiang University
DOI Pre-print Media Attached
16:30
15m
Talk
Resource Usage and Optimization Opportunities in Workflows of GitHub Actions
ICSE Research Track
Islem BOUZENIA University of Stuttgart, Michael Pradel University of Stuttgart
Pre-print
16:45
15m
Talk
Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts
ICSE Research Track
Mingyuan Huang Sun Yat-Sen University, Jiachi Chen Sun Yat-sen University, Zigui Jiang Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
17:00
7m
Talk
A Grounded Theory of Cross-community SECOs: Feedback Diversity vs. Synchronization
ICSE Journal-first Papers
Armstrong Foundjem Queens University, Ellis E. Eghan University of Cape Coast, Ghana, Bram Adams Queen's University
17:07
7m
Talk
Studying the Characteristics of AIOps Projects on GitHub
ICSE Journal-first Papers
Roozbeh Aghili Polytechnique Montréal, Heng Li Polytechnique Montréal, Foutse Khomh École Polytechnique de Montréal
17:14
7m
Talk
A First Look at Dark Mode in Real-World Android App
ICSE Journal-first Papers
Suyu Ma Monash University, Chunyang Chen Technical University of Munich (TUM), Hourieh Khalajzadeh Deakin University, Australia, John Grundy Monash University
Link to publication DOI Pre-print
17:21
7m
Talk
GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
ICSE Demonstrations
Nuno Saavedra INESC-ID and IST, University of Lisbon, André Silva KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology

Thu 18 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
AI & Security 2ICSE Research Track / ICSE New Ideas and Emerging Results at Sophia de Mello Breyner Andresen
Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana
11:00
15m
Talk
Towards Causal Deep Learning for Vulnerability Detection
ICSE Research Track
Md Mahbubur Rahman Iowa State University, Ira Ceka Columbia University, Chengzhi Mao Columbia University, Saikat Chakraborty Microsoft Research, Baishakhi Ray AWS AI Labs, Wei Le Iowa State University
11:15
15m
Talk
MetaLog: Generalizable Cross-System Anomaly Detection from Logs with Meta-Learning
ICSE Research Track
Chenyangguang Zhang Tsinghua University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Guopeng Shen Linkedsee Technology (China) Limited, Pinyan Zhu Linkedsee Technology (China) Limited, Ying Li School of Software and Microelectronics, Peking University, Beijing, China
11:30
15m
Talk
Coca: Improving and Explaining Graph Neural Network-Based Vulnerability Detection Systems
ICSE Research Track
Sicong Cao Yangzhou University, Xiaobing Sun Yangzhou University, Xiaoxue Wu Yangzhou University, David Lo Singapore Management University, Lili Bo Yangzhou University, Bin Li Yangzhou University, Wei Liu Nanjing University
Media Attached File Attached
11:45
15m
Talk
Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
ICSE Research Track
Yizhou Chen Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Zhihao Gong Peking University, Dan Hao Peking University
12:00
15m
Talk
On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities
ICSE Research Track
Zhen Li Huazhong University of Science and Technology, Ning Wang Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Yating Li Huazhong University of Science and Technology, Ruqian Zhang Huazhong University of Science and Technology, Shouhuai Xu University of Colorado Colorado Springs, Chao Zhang Tsinghua University, Hai Jin Huazhong University of Science and Technology
Pre-print
12:15
7m
Talk
Large Language Model for Vulnerability Detection: Emerging Results and Future Directions
ICSE New Ideas and Emerging Results
Xin Zhou Singapore Management University, Singapore, Ting Zhang Singapore Management University, David Lo Singapore Management University
12:22
7m
Talk
Re(gEx|DoS)Eval: Evaluating Generated Regular Expressions and their Proneness to DoS Attacks
ICSE New Ideas and Emerging Results
Mohammed Latif Siddiq University of Notre Dame, Jiahao Zhang , Lindsay Roney University of Notre Dame, Joanna C. S. Santos University of Notre Dame
DOI Pre-print Media Attached
14:00 - 15:30
14:00
15m
Talk
An Empirical Study on Oculus Virtual Reality Applications: Security and Privacy Perspectives
ICSE Research Track
Hanyang Guo Hong Kong Baptist University; Sun Yat-sen University, Hong-Ning Dai Hong Kong Baptist University, Xiapu Luo The Hong Kong Polytechnic University, Zibin Zheng Sun Yat-sen University, Gengyang Xu Department of Computer Science, Hong Kong Baptist University, Fengliang He Department of Computer Science, Hong Kong Baptist University
14:15
15m
Talk
Fairness Improvement with Multiple Protected Attributes: How Far Are We?
ICSE Research Track
Zhenpeng Chen Nanyang Technological University, Jie M. Zhang King's College London, Federica Sarro University College London, Mark Harman Meta Platforms, Inc. and UCL
Pre-print
14:30
15m
Talk
An Empirical Study of Data Disruption by Ransomware Attacks
ICSE Research Track
Yiwei Hou Tsinghua University, Lihua Guo Tsinghua University, Chijin Zhou Tsinghua University, Yiwen Xu Tsinghua University, Zijing Yin Tsinghua University, Shanshan Li National University of Defense Technology, Chengnian Sun University of Waterloo, Yu Jiang Tsinghua University
14:45
15m
Talk
Stop Pulling my Rug: Exposing Rug Pull Risks in Crypto Token to Investors
ICSE Software Engineering in Practice
Yuanhang Zhou Tsinghua University, Jingxuan Sun Beijing University of Posts and Telecommunications, Fuchen Ma Tsinghua University, Yuanliang Chen Tsinghua University, Zhen Yan Tsinghua University, Yu Jiang Tsinghua University
15:00
7m
Talk
A Closer Look at the Security Risks in the Rust Ecosystem
ICSE Journal-first Papers
Xiaoye Zheng Zhejiang University, Zhiyuan Wan Zhejiang University, Yun Zhang Hangzhou City University, Rui Chang Zhejiang University, David Lo Singapore Management University
15:07
7m
Talk
An Empirical Study of Vulnerabilities in Edge Frameworks to Support Security Testing Improvement
ICSE Journal-first Papers
Jahanzaib MALIK University of Luxembourg, Fabrizio Pastore University of Luxembourg
15:14
7m
Talk
A First Look at On-device Models in iOS Apps
ICSE Journal-first Papers
Han Hu Faculty of Information Technology, Monash University, Yujin Huang Monash University, Qiuyuan Chen Tencent Technology, Terry Yue Zhuo Monash University and CSIRO's Data61, Chunyang Chen Technical University of Munich (TUM)

Fri 19 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
Testing with and for AI 1ICSE Research Track / ICSE Journal-first Papers / ICSE Demonstrations at Sophia de Mello Breyner Andresen
Chair(s): Peter Rigby Concordia University; Meta
11:00
15m
Talk
Prompting Is All Your Need: Automated Android Bug Replay with Large Language Models
ICSE Research Track
Sidong Feng Monash University, Chunyang Chen Technical University of Munich (TUM)
11:15
15m
Talk
Towards Reliable AI: Adequacy Metrics for Ensuring the Quality of System-level Testing of Autonomous Vehicles
ICSE Research Track
Neelofar Neelofar Monash University, Aldeida Aleti Monash University
11:30
15m
Talk
Learning-based Widget Matching for Migrating GUI Test Cases
ICSE Research Track
Yakun Zhang Peking University, Wenjie Zhang Peking University, Dezhi Ran Peking University, Qihao Zhu Peking University, Chengfeng Dou Peking University, Dan Hao Peking University, Tao Xie Peking University, Lu Zhang Peking University
11:45
7m
Talk
A Search-Based Testing Approach for Deep Reinforcement Learning Agents
ICSE Journal-first Papers
Amirhossein Zolfagharian University of Ottawa - School of Electrical Engineering & Computer Science (EECS), Manel Abdellatif Software and Information Technology Engineering Department, École de Technologie Supérieure, Mojtaba Bagherzadeh Cisco, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ramesh S
11:52
7m
Talk
StubCoder: Automated Generation and Repair of Stub Code for Mock Objects
ICSE Journal-first Papers
Hengcheng Zhu The Hong Kong University of Science and Technology, Lili Wei McGill University, Valerio Terragni University of Auckland, Yepang Liu Southern University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology, Jiarong Wu , Qin Sheng WeBank Co Ltd, Bing Zhang WeBank Co. Ltd., Lihong Song WeBank Co. Ltd.
Link to publication DOI Authorizer link Pre-print
11:59
7m
Talk
Testing of Deep Reinforcement Learning Agents with Surrogate Models
ICSE Journal-first Papers
Matteo Biagiola Università della Svizzera italiana, Paolo Tonella USI Lugano
12:06
7m
Talk
Model vs System Level Testing of Autonomous Driving Systems: A Replication and Extension Study
ICSE Journal-first Papers
Andrea Stocco Technical University of Munich, fortiss, Brian Pulfer University of Geneva, Paolo Tonella USI Lugano
12:13
7m
Talk
SAFE: Safety Analysis and Retraining of DNNs
ICSE Demonstrations
Mohammed Attaoui University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
Pre-print
12:20
7m
Talk
MutaBot: A Mutation Testing Approach for Chatbots
ICSE Demonstrations
Michael Ferdinando Urrico University of Milano - Bicocca, Diego Clerissi University of Milano-Bicocca, Leonardo Mariani University of Milano-Bicocca
DOI Pre-print Media Attached
14:00 - 15:30
Testing with and for AI 2ICSE Journal-first Papers / ICSE Research Track / ICSE Demonstrations at Sophia de Mello Breyner Andresen
Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
14:00
15m
Talk
Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries
ICSE Research Track
Yinlin Deng University of Illinois at Urbana-Champaign, Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Chenyuan Yang University of Illinois at Urbana-Champaign, Shizhuo Zhang University of Illinois Urbana-Champaign, Shujing Yang University of Illinois Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign
14:15
15m
Talk
Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning
ICSE Research Track
Yuanhong Lan Nanjing University, Yifei Lu Nanjing University, Zhong Li , Minxue Pan Nanjing University, Wenhua Yang Nanjing University of Aeronautics and Astronautics, Tian Zhang Nanjing University, Xuandong Li Nanjing University
14:30
7m
Talk
Black-Box Testing of Deep Neural Networks through Test Case Diversity
ICSE Journal-first Papers
Zohreh Aghababaeyan University of Ottawa Ottawa, Ontario, Canada, Manel Abdellatif Software and Information Technology Engineering Department, École de Technologie Supérieure, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ramesh S , Mojtaba Bagherzadeh Cisco
14:37
7m
Talk
scenoRITA: Generating Diverse, Fully Mutable, Test Scenarios for Autonomous Vehicle Planning
ICSE Journal-first Papers
Yuqi Huai University of California, Irvine, Sumaya Almanee University of California, Irvine, Yuntianyi Chen University of California, Irvine, Xiafa Wu University of California, Irvine, Qi Alfred Chen University of California, Irvine, Joshua Garcia University of California, Irvine
14:44
7m
Talk
InterEvo-TR: Interactive Evolutionary Test Generation with Readability Assessment
ICSE Journal-first Papers
Pedro Delgado-Pérez Universidad de Cádiz, Aurora Ramírez University of Córdoba, Kevin Jesús Valle-Gómez Universidad de Cádiz, Inmaculada Medina-Bulo Universidad de Cádiz, José Raúl Romero University of Cordoba, Spain
14:51
7m
Talk
Differential testing for machine learning: an analysis for classification algorithms beyond deep learning
ICSE Journal-first Papers
Steffen Herbold University of Passau, Steffen Tunkel None
14:58
7m
Talk
Journal First Article: "Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies"
ICSE Journal-first Papers
Milos Ojdanic University of Luxembourg, Aayush Garg Luxembourg Institute of Science and Technology, Ahmed Khanfir University of Luxembourg, Renzo Degiovanni Luxembourg Institute of Science and Technology, Mike Papadakis University of Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg
15:05
7m
Talk
Causality-driven Testing of Autonomous Driving Systems
ICSE Journal-first Papers
Luca Giamattei Università di Napoli Federico II, Antonio Guerriero Università di Napoli Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II
15:12
7m
Talk
When Less is More: On the Value of ''Co-training'' for Semi-Supervised Software Defect Predictors
ICSE Journal-first Papers
Suvodeep Majumder North Carolina State University, Joymallya Chakraborty Amazon.com, Tim Menzies North Carolina State University
Pre-print
15:19
7m
Talk
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems
ICSE Demonstrations
Lev Sorokin fortiss, Tiziano Munaro fortiss, Damir Safin fortiss, Brian Hsuan-Cheng Liao DENSO AUTOMOTIVE, Adam Molin DENSO AUTOMOTIVE
16:00 - 17:30
16:00
15m
Talk
CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing
ICSE Research Track
Swaroopa Dola University of Virginia, Rory McDaniel University of Virginia, Matthew B Dwyer University of Virginia, Mary Lou Soffa University of Virginia
16:15
15m
Talk
Knowledge Graph Driven Inference Testing for Question Answering Software
ICSE Research Track
Jun Wang Nanjing University, Yanhui Li Nanjing University, Zhifei Chen Nanjing University, Lin Chen Nanjing University, Xiaofang Zhang Soochow University, Yuming Zhou Nanjing University
16:30
15m
Talk
DeepSample: DNN sampling-based testing for operational accuracy assessment
ICSE Research Track
Antonio Guerriero Università di Napoli Federico II, Roberto Pietrantuono Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II
Pre-print
16:45
15m
Talk
MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search
ICSE Research Track
Zhaohui Wang East China Normal University, Min Zhang East China Normal University, Jingran Yang East China Normal University, ShaoBojie East China Normal University, Min Zhang East China Normal University
17:00
7m
Talk
DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles
ICSE Journal-first Papers
Meriel von Stein University of Virginia, Sebastian Elbaum University of Virginia, David Shriver Software Engineering Institute
17:07
7m
Talk
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications
ICSE Journal-first Papers
Yongqiang Tian The Hong Kong University of Science and Technology; University of Waterloo, Wuqi Zhang The Hong Kong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology, Chengnian Sun University of Waterloo, Shiqing Ma University of Massachusetts, Amherst, Yu Jiang Tsinghua University
Link to publication DOI
17:14
7m
Talk
Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search
ICSE Journal-first Papers
Sepehr Sharifi University of Ottawa, Donghwan Shin University of Sheffield, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Nathan Aschbacher Auxon Corporation

Mon 15 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sophia de Mello Breyner Andresen

Tue 16 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sophia de Mello Breyner Andresen

Wed 17 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sophia de Mello Breyner Andresen

Thu 18 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
Sophia de Mello Breyner Andresen

Fri 19 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sophia de Mello Breyner Andresen