ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 17 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
ICSE2024 Opening & Keynote 1 - Rupak MajumdarICSE Keynotes / Social Events at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto
09:00
45m
Talk
ICSE2024 Opening
Social Events
Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Abhik Roychoudhury National University of Singapore, Margaret-Anne Storey University of Victoria
09:45
45m
Keynote
Challenges and Opportunities in Model Checking Large-scale Distributed Systems
ICSE Keynotes
K: Rupak Majumdar MPI-SWS
11:00 - 12:30
AI & Security 1Research Track / Journal-first Papers at Grande Auditório
Chair(s): Tevfik Bultan University of California at Santa Barbara
11:00
15m
Talk
Towards More Practical Automation of Vulnerability Assessment
Research Track
Shengyi Pan Zhejiang University, Lingfeng Bao Zhejiang University, Jiayuan Zhou Huawei, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Shanping Li Zhejiang University
11:15
15m
Talk
VGX: Large-Scale Sample Generation for Boosting Learning-Based Software Vulnerability Analyses
Research Track
Yu Nong Washington State University, Richard Fang Washington State University, Guangbei Yi Washington State University, Kunsong Zhao The Hong Kong Polytechnic University, Xiapu Luo The Hong Kong Polytechnic University, Feng Chen University of Texas at Dallas, Haipeng Cai Washington State University
11:30
15m
Talk
MalCertain: Enhancing Deep Neural Network Based Android Malware Detection by Tackling Prediction Uncertainty
Research Track
haodong li Beijing University of Posts and Telecommunications, Guosheng Xu Beijing University of Posts and Telecommunications, Liu Wang Beijing University of Posts and Telecommunications, Xusheng Xiao Arizona State University, Xiapu Luo The Hong Kong Polytechnic University, Guoai Xu Harbin Institute of Technology, Shenzhen, Haoyu Wang Huazhong University of Science and Technology
11:45
15m
Talk
Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks
Research Track
Zhongxin Liu Zhejiang University, Zhijie Tang Zhejiang University, Junwei Zhang Zhejiang University, Xin Xia Huawei Technologies, Xiaohu Yang Zhejiang University
12:00
15m
Talk
Investigating White-Box Attacks for On-Device Models
Research Track
Mingyi Zhou Monash University, Xiang Gao Beihang University, Jing Wu Monash University, Kui Liu Huawei, Hailong Sun Beihang University, Li Li Beihang University
12:15
7m
Talk
VulExplainer: A Transformer-Based Hierarchical Distillation for Explaining Vulnerability Types
Journal-first Papers
Michael Fu Monash University, Van Nguyen Monash University, Kla Tantithamthavorn Monash University, Trung Le Monash University, Australia, Dinh Phung Monash University, Australia
Link to publication DOI
12:22
7m
Talk
SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-enabled Cyber-Physical Systems
Journal-first Papers
Jiayang Song University of Alberta, Xuan Xie University of Alberta, Lei Ma The University of Tokyo & University of Alberta
DOI
11:00 - 12:30
Evolution & AIResearch Track at Amália Rodrigues
Chair(s): Oscar Chaparro William & Mary
11:00
15m
Talk
Prism: Decomposing Program Semantics for Code Clone Detection through Compilation
Research Track
Haoran Li Nankai university, wangsiqian Nankai university, Weihong Quan Nankai university, Xiaoli Gong Nankai University, Huayou Su NUDT, Jin Zhang Hunan Normal University
11:15
15m
Talk
Evaluating Code Summarization Techniques: A New Metric and an Empirical Characterization
Research Track
Antonio Mastropaolo Università della Svizzera italiana, Matteo Ciniselli Università della Svizzera Italiana, Massimiliano Di Penta University of Sannio, Italy, Gabriele Bavota Software Institute @ Università della Svizzera Italiana
11:30
15m
Talk
Are Prompt Engineering and TODO Comments Friends or Foes? An Evaluation on GitHub Copilot
Research Track
David OBrien Iowa State University, Sumon Biswas Carnegie Mellon University, Sayem Mohammad Imtiaz Iowa State University, Rabe Abdalkareem Omar Al-Mukhtar University, Emad Shihab Concordia University, Hridesh Rajan Iowa State University
11:45
15m
Talk
Automatic Semantic Augmentation of Language Model Prompts (for Code Summarization)
Research Track
Toufique Ahmed University of California at Davis, Kunal Suresh Pai UC Davis, Prem Devanbu University of California at Davis, Earl T. Barr University College London
DOI Pre-print
12:00
15m
Talk
DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions
Research Track
Zhiwei Xu Tsinghua University, Shaohua Qiang Tsinghua University, Dinghong Song Tsinghua University, Min Zhou Tsinghua University, Hai Wan Tsinghua University, Xibin Zhao Tsinghua University, Ping Luo Tsinghua University, Hongyu Zhang Chongqing University
12:15
15m
Talk
Machine Learning is All You Need: A Simple Token-based Approach for Effective Code Clone Detection
Research Track
Siyue Feng Huazhong University of Science and Technology, Wenqi Suo Huazhong University of Science and Technology, Yueming Wu Nanyang Technological University, Deqing Zou Huazhong University of Science and Technology, Yang Liu Nanyang Technological University, Hai Jin Huazhong University of Science and Technology
11:00 - 12:30
11:00
15m
Talk
A First Look at the Inheritance-Induced Redundant Test Execution
Research Track
Dong Jae Kim Concordia University, Jinqiu Yang Concordia University, Tse-Hsun (Peter) Chen Concordia University
11:15
15m
Talk
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation
Research Track
Michele Pasqua University of Verona, Mariano Ceccato University of Verona, Paolo Tonella USI Lugano
Pre-print
11:30
15m
Talk
Gamifying a Software Testing Course with Continuous Integration
Software Engineering Education and Training
Philipp Straubinger University of Passau, Gordon Fraser University of Passau
Pre-print
11:45
15m
Talk
Enhancing Testing at Meta with Rich-State Simulated Populations
Software Engineering in Practice
Kinga Bojarczuk Meta, Mark Harman Meta Platforms, Inc. and UCL, Nadia Alshahwan Meta Platforms, Arianna Blasi Meta Platforms, Inc., Andrea Ciancone Meta, Natalija Gucevska Meta, Michal Krolikowski Meta, Rubmary Rojas Meta, Dragos Martac Meta, Simon Schellaert Meta, Kate Ustiuzhanina Meta, Inna Harper Meta, Yue Jia Meta, Will Lewis Meta
12:00
15m
Talk
The Impact Of Bug Localization Based on Crash Report Mining: A Developers' Perspective
Software Engineering in Practice
Marcos Medeiros Federal University of Rio Grande do Norte, Uirá Kulesza Federal University of Rio Grande do Norte, Roberta Coelho , Rodrigo Bonifácio Computer Science Department - University of Brasília, Christoph Treude Singapore Management University, Eiji Adachi Barbosa Federal University of Rio Grande do Norte (UFRN)
Pre-print
12:15
7m
Talk
Stress Testing Control Loops in Cyber-Physical Systems
Journal-first Papers
Claudio Mandrioli University of Luxembourg, Seung Yeob Shin University of Luxembourg, Martina Maggio Saarland University, Germany / Lund University, Sweden, Domenico Bianculli University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
Pre-print
11:00 - 12:30
11:00
15m
Talk
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
Research Track
Kadiray Karakaya Heinz Nixdorf Institut, Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
11:15
15m
Talk
A Framework For Inferring Properties of User-Defined Functions
Research Track
Xinyu Liu Georgia Institute of Technology, Joy Arulraj Georgia Institute of Technology, Alessandro Orso Georgia Institute of Technology
11:30
15m
Talk
Building Collaborative Learning: Exploring Social Annotation in Introductory Programming
Software Engineering Education and Training
Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Felix Dobslaw Mid Sweden University
11:45
15m
Talk
Teaching Software Development for Real-World Problems using a Microservice-Based Collaborative Problem-Solving Approach
Software Engineering Education and Training
Yi Meng LAU Singapore Management University, Christian Michael KOH Singapore Management University, Lingxiao Jiang Singapore Management University
12:00
7m
Talk
Detecting Outdated Code Element References in Software Repository Documentation
Journal-first Papers
Wen Siang Tan The University of Adelaide, Markus Wagner Monash University, Australia, Christoph Treude Singapore Management University
12:07
7m
Talk
Augmenting Diffs With Runtime Information
Journal-first Papers
Khashayar Etemadi KTH Royal Institute of Technology, Aman Sharma KTH Royal Institute of Technology, Fernanda Madeiral Vrije Universiteit Amsterdam, Martin Monperrus KTH Royal Institute of Technology
Link to publication Pre-print
12:14
7m
Talk
TPV: A Tool for Validating Temporal Properties in UML Class Diagrams
Demonstrations
Mustafa Al Lail Texas A&M International University, Antonio Rosales Viesca Texas A&M International University, Hector Cardenas Texas A&M International University, Mohammad Zarour Hashemite University, Alfredo Perez University of Nebraska at Omaha
11:00 - 12:30
11:00
15m
Talk
Breaking the Flow: A Study of Interruptions During Software Engineering ActivitiesACM SIGSOFT Distinguished Paper Award
Research Track
Yimeng Ma Duke University, Yu Huang Vanderbilt University, Kevin Leach Vanderbilt University
Pre-print
11:15
15m
Talk
Supporting Web-based API Searches in the IDE Using Signatures
Research Track
Nick Bradley University of British Columbia, Thomas Fritz University of Zurich, Reid Holmes University of British Columbia
11:30
15m
Talk
Adopting an Agile Approach for Reflective Learning and Teaching
Software Engineering Education and Training
Eleanor Leist University of East Anglia, Jaejoon Lee University of East Anglia
11:45
15m
Talk
Experiences with Summer Camp Communication via Discord
Software Engineering Education and Training
Makayla Moster Clemson University, Ella Kokinda Clemson Univeristy, D. Matthew Boyer Clemson University, Paige Rodeghero Clemson University
12:00
15m
Talk
With Great Humor Comes Great Developer Engagement
Software Engineering in Society
Deepika Tiwari KTH Royal Institute of Technology, Tim Toady Programming Republic of Perl, Martin Monperrus KTH Royal Institute of Technology, Benoit Baudry KTH
12:15
7m
Talk
Using Accessibility Awareness Interventions to Improve Computing Education
Software Engineering Education and Training
Yang Liu Rochester Institute of Technology, Domenic Mangano RIT, Krishna Neupane Rochester Institute of Technology, Samuel Malachowsky Rochester Institute of Technology, Daniel Krutz Rochester Institute of Technology
11:00 - 12:30
Generative AI studiesResearch Track / Software Engineering Education and Training at Luis de Freitas Branco
Chair(s): Walid Maalej University of Hamburg
11:00
15m
Talk
ChatGPT Incorrectness Detection in Software Reviews
Research Track
Minaoar Hossain Tanzil University of Calgary, Canada, Junaed Younus Khan University of Calgary, Gias Uddin York University, Canada
DOI Pre-print
11:15
15m
Talk
ChatGPT-Resistant Screening Instrument for Identifying Non-Programmers
Research Track
Raphael Serafini Ruhr University Bochum, Clemens Otto Ruhr University Bochum, Stefan Albert Horstmann Ruhr University Bochum, Alena Naiakshina Ruhr University Bochum
11:30
15m
Talk
Development in times of hype: How freelancers explore Generative AI?
Research Track
Mateusz Dolata University of Zurich, Norbert Lange Entschleunigung Lange, Gerhard Schwabe University of Zurich
DOI Pre-print File Attached
11:45
15m
Talk
How Far Are We? The Triumphs and Trials of Generative AI in Learning Software Engineering
Research Track
Rudrajit Choudhuri Oregon State University, Dylan Liu Oregon State University, Igor Steinmacher Northern Arizona University, Marco Gerosa Northern Arizona University, Anita Sarma Oregon State University
Pre-print
12:00
15m
Research paper
Uncovering the Causes of Emotions in Software Developer Communication Using Zero-shot LLMs
Research Track
Mia Mohammad Imran Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA, Kostadin Damevski Virginia Commonwealth University
Pre-print
12:15
15m
Talk
Assessing AI Detectors in Identifying AI-Generated Code: Implications for Education
Software Engineering Education and Training
Wei Hung Pan School of Information Technology, Monash University Malaysia, Ming Jie Chok School of Information Technology, Monash University Malaysia, Jonathan Leong Shan Wong School of Information Technology, Monash University Malaysia, Yung Xin Shin School of Information Technology, Monash University Malaysia, Yeong Shian Poon School of Information Technology, Monash University Malaysia, Zhou Yang Singapore Management University, Chun Yong Chong Monash University Malaysia, David Lo Singapore Management University, Mei Kuan Lim Monash University Malaysia
11:00 - 12:30
Language Models and Generated Code 1Research Track / New Ideas and Emerging Results at Maria Helena Vieira da Silva
Chair(s): Yiling Lou Fudan University
11:00
15m
Talk
Modularizing while Training: a New Paradigm for Modularizing DNN ModelsACM SIGSOFT Distinguished Paper Award
Research Track
Binhang Qi Beihang University, Hailong Sun Beihang University, Hongyu Zhang Chongqing University, Ruobing Zhao Beihang University, Xiang Gao Beihang University
Pre-print
11:15
15m
Research paper
KnowLog: Knowledge Enhanced Pre-trained Language Model for Log Understanding
Research Track
Lipeng Ma Fudan University, Weidong Yang Fudan University, Bo Xu Donghua University, Sihang Jiang Fudan University, Ben Fei Fudan University, Jiaqing Liang Fudan University, Mingjie Zhou Fudan University, Yanghua Xiao Fudan University
11:30
15m
Talk
FAIR: Flow Type-Aware Pre-Training of Compiler Intermediate RepresentationsACM SIGSOFT Distinguished Paper Award
Research Track
Changan Niu Software Institute, Nanjing University, Chuanyi Li Nanjing University, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688, David Lo Singapore Management University, Bin Luo Nanjing University
Pre-print
11:45
15m
Talk
Unveiling Memorization in Code Models
Research Track
Zhou Yang Singapore Management University, Zhipeng Zhao Singapore Management University, Chenyu Wang Singapore Management University, Jieke Shi Singapore Management University, Dongsun Kim Kyungpook National University, DongGyun Han Royal Holloway, University of London, David Lo Singapore Management University
12:00
15m
Talk
Code Search is All You Need? Improving Code Suggestions with Code SearchACM SIGSOFT Distinguished Paper Award
Research Track
Junkai Chen Zhejiang University, Xing Hu Zhejiang University, Zhenhao Li Concordia University, Cuiyun Gao Harbin Institute of Technology, Xin Xia Huawei Technologies, David Lo Singapore Management University
12:15
7m
Talk
Expert Monitoring: Human-Centered Concept Drift Detection in Machine Learning Operations
New Ideas and Emerging Results
Joran Leest Vrije Universiteit Amsterdam, Claudia Raibulet Vrije Universiteit Amsterdam, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam
Pre-print
11:00 - 12:30
Program Repair 1Research Track / Journal-first Papers / Industry Challenge Track at Pequeno Auditório
Chair(s): Sergey Mechtaev University College London
11:00
15m
Talk
Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errors
Research Track
Yun Peng The Chinese University of Hong Kong, Shuzheng Gao The Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Yintong Huo The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
11:15
15m
Talk
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks
Research Track
Jianan Ma Hangzhou Dianzi University, China; Zhejiang University, Hangzhou, China, Pengfei Yang Institute of Software at Chinese Academy of Sciences, China, Jingyi Wang Zhejiang University, Youcheng Sun The University of Manchester, Cheng-Chao Huang Nanjing Institute of Software Technology, ISCAS, Zhen Wang Hangzhou Dianzi University, China
11:30
15m
Talk
Automated Program Repair, What Is It Good For? Not Absolutely Nothing!
Research Track
Hadeel Eladawy University of Massachusetts, Claire Le Goues Carnegie Mellon University, Yuriy Brun University of Massachusetts
DOI Pre-print Media Attached
11:45
15m
Talk
When Large Language Models Confront Repository-Level Automatic Program Repair: How Well They Done?
Industry Challenge Track
YuXiao Chen Institute of Software, Chinese Academy of Sciences, Jingzheng Wu Institute of Software, The Chinese Academy of Sciences, Xiang Ling Institute of Software, Chinese Academy of Sciences, Changjiang Li Penn State, ZHIQING RUI Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tianyue Luo Institute of Software, Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences
12:00
7m
Talk
Katana: Dual Slicing Based Context for Learning Bug Fixes
Journal-first Papers
Mifta Sintaha University of British Columbia, Noor Nashid University of British Columbia, Ali Mesbah University of British Columbia (UBC)
Link to publication Pre-print
12:07
7m
Talk
Poracle: Testing Patches Under Preservation Conditions to Combat the Overfitting Problem of Program Repair
Journal-first Papers
Elkhan Ismayilzada UNIST, Md Mazba Ur Rahman UNIST, Dongsun Kim Kyungpook National University, Jooyong Yi UNIST
12:14
7m
Talk
APR4Vul: An empirical study of automatic program repair techniques on real-world Java vulnerabilities
Journal-first Papers
Quang-Cuong Bui Hamburg University of Technology, Ranindya Paramitha University of Trento, Duc-Ly Vu University of Information Technology, Ho Chi Minh City, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam, Riccardo Scandariato Hamburg University of Technology
DOI Pre-print
11:00 - 12:30
11:00
15m
Talk
Empirical Study of the Docker Smells Impact on the Image Size
Research Track
11:15
15m
Talk
MotorEase: Automated Detection of Motor Impairment Accessibility Issues in Mobile App UIs
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
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
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
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
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
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
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
Security 1Research Track / Journal-first Papers at Grande Auditório
Chair(s): Letizia Jaccheri Norwegian University of Science and Technology (NTNU)
14:00
15m
Talk
Marco: A Stochastic Asynchronous Concolic Explorer
Research Track
Jie Hu University of California Riverside, Yue Duan Singapore Management University, Heng Yin UC Riverside
Pre-print
14:15
15m
Talk
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Research Track
Stefanos Chaliasos Imperial College London, Marcos Antonios Charalambous Imperial College London, Liyi Zhou Imperial College London, Rafaila Galanopoulou University of Athens, Arthur Gervais Imperial College London, Dimitris Mitropoulos University of Athens, Ben Livshits Imperial College London
14:30
15m
Talk
DocFlow: Extracting Taint Specifications from Software Documentation
Research Track
Marcos Tileria Royal Holloway, University of London, Jorge Blasco Universidad Politécnica de Madrid, Santanu Dash University of Surrey
14:45
15m
Talk
Toward Improved Deep Learning-based Vulnerability Detection
Research Track
Adriana Sejfia University of Edinburgh, Satyaki Das University of Southern California, Saad Shafiq University of Southern California, Nenad Medvidović University of Southern California
Pre-print
15:00
15m
Talk
Attention! Your Copied Data is Under Monitoring: A Systematic Study of Clipboard Usage in Android AppsACM SIGSOFT Distinguished Paper Award
Research Track
Yongliang Chen City University of Hong Kong, Ruoqin Tang City University of Hong Kong, Chaoshun Zuo Ohio State University, Xiaokuan Zhang George Mason University, Lei Xue Sun Yat-Sen University, Xiapu Luo The Hong Kong Polytechnic University, Qingchuan Zhao City University of Hong Kong
15:15
7m
Talk
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study
Journal-first Papers
Monika di Angelo TU Wien, Thomas Durieux TU Delft, João F. Ferreira INESC-ID and IST, University of Lisbon, Gernot Salzer TU Wien
Link to publication DOI Pre-print File Attached
14:00 - 15:30
14:00
15m
Talk
Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning
Research Track
Mingyang Geng National University of Defense Technology, Shangwen Wang National University of Defense Technology, Dezun Dong NUDT, Haotian Wang National University of Defense Technolog, Ge Li Peking University, Zhi Jin Peking University, Xiaoguang Mao National University of Defense Technology, Liao Xiangke National University of Defense Technology
DOI Pre-print
14:15
15m
Talk
Block-based Programming for Two-Armed Robots: A Comparative Study
Research Track
Felipe Fronchetti Virginia Commonwealth University, Nico Ritschel University of British Columbia, Logan Schorr Virginia Commonwealth University, Chandler Barfield Virginia Commonwealth University, Gabriella Chang Virginia Commonwealth University, Rodrigo Spinola Virginia Commonwealth University, Reid Holmes University of British Columbia, David C. Shepherd Louisiana State University
DOI Pre-print Media Attached
14:30
15m
Talk
Exploiting Library Vulnerability via Migration Based Automating Test Generation
Research Track
Zirui Chen , Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Yi Gao Zhejiang University, Tongtong Xu Huawei, David Lo Singapore Management University, Xiaohu Yang Zhejiang University
14:45
15m
Talk
ReposVul: A Repository-Level High-Quality Vulnerability Dataset
Industry Challenge Track
Xinchen Wang Harbin Institute of Technology, Ruida Hu Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Xin-Cheng Wen Harbin Institute of Technology, Yujia Chen Harbin Institute of Technology, Shenzhen, Qing Liao Harbin Institute of Technology
Pre-print File Attached
15:00
7m
Talk
JOG: Java JIT Peephole Optimizations and Tests from Patterns
Demonstrations
Zhiqiang Zang The University of Texas at Austin, Aditya Thimmaiah The University of Texas at Austin, Milos Gligoric The University of Texas at Austin
DOI Pre-print
15:07
7m
Talk
Predicting the Change Impact of Resolving Defects by Leveraging the Topics of Issue Reports in Open Source Software Systems
Journal-first Papers
Maram Assi Queen's University, Safwat Hassan University of Toronto, Canada, Stefanos Georgiou Queen's University, Ying Zou Queen's University, Kingston, Ontario
15:14
7m
Talk
Assessing the Exposure of Software Changes
Journal-first Papers
Mehran Meidani University of Waterloo, Maxime Lamothe Polytechnique Montreal, Shane McIntosh University of Waterloo
Link to publication Pre-print
15:21
7m
Talk
Responding to change over time: A longitudinal case study on changes in coordination mechanisms in large‑scale agile
Journal-first Papers
Marthe Berntzen University of Oslo, Viktoria Stray University of Oslo, Nils Brede Moe , Rashina Hoda Monash University
14:00 - 15:30
14:00
15m
Talk
Ripples of a Mutation — An Empirical Study of Propagation Effects in Mutation Testing
Research Track
Hang Du University of California at Irvine, Vijay Krishna Palepu Microsoft, James Jones University of California at Irvine
DOI
14:15
15m
Talk
Fast Deterministic Black-box Context-free Grammar Inference
Research Track
Mohammad Rifat Arefin The University of Texas at Arlington, Suraj Shetiya University of Texas at Arlington, Zili Wang Iowa State University, Christoph Csallner University of Texas at Arlington
Pre-print Media Attached
14:30
15m
Talk
Bridging Theory to Practice in Software Testing Teaching through Team-based Learning (TBL) and Open Source Software (OSS) Contribution
Software Engineering Education and Training
Elaine Venson University of Brasilia, Reem Alfayez King Saud University
14:45
15m
Talk
Productive Coverage: Improving the Actionability of Code Coverage
Software Engineering in Practice
Marko Ivanković Google; Universität Passau, Goran Petrović Google Inc, Yana Kulizhskaya Google Inc, Mateusz Lewko Google Inc, Luka Kalinovčić No affiliation, René Just University of Washington, Gordon Fraser University of Passau
15:00
15m
Talk
Taming Timeout Flakiness: An Empirical Study of SAP HANA
Software Engineering in Practice
Alexander Berndt University of Mannheim, Sebastian Baltes University of Bayreuth, Thomas Bach SAP
Pre-print
15:15
7m
Talk
Testing Abstractions for Cyber-Physical Control Systems
Journal-first Papers
Claudio Mandrioli University of Luxembourg, Max Nyberg Carlsson Lund University, Martina Maggio Saarland University, Germany / Lund University, Sweden
Pre-print
15:22
7m
Talk
FaultFuzz: A Coverage Guided Fault Injection Tool for Distributed Systems
Demonstrations
Wenhan Feng Institute of Software, Chinese Academy of Sciences, Qiugen Pei Joint Laboratory on Cyberspace Security China Southern Power Grid, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Dong Wang Institute of software, Chinese academy of sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Zheheng Liang Joint Laboratory on Cyberspace Security of China Southern Power Grid, Zhenyue Long Joint Laboratory on Cyberspace Security China Southern Power Grid
Pre-print
14:00 - 15:30
Analysis and Debugging 1Research Track / Journal-first Papers at Fernando Pessoa
Chair(s): Kihong Heo KAIST
14:00
15m
Talk
CrashTranslator: Automatically Reproducing Mobile Application Crashes Directly from Stack Trace
Research Track
Yuchao Huang , Junjie Wang Institute of Software, Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Yawen Wang Institute of Software, Chinese Academy of Sciences, Song Wang York University, Chunyang Chen Technical University of Munich (TUM), Yuanzhe Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software, Chinese Academy of Sciences
14:15
15m
Talk
Reorder Pointer Flow in Sound Concurrency Bug Prediction
Research Track
Yuqi Guo Institute of Software, Chinese Academy of Sciences, Beijing, China, Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yan Cai Institute of Software at Chinese Academy of Sciences, Liang He TCA, Institute of Software, Chinese Academy of Sciences, China, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
14:30
15m
Talk
Object Graph Programming
Research Track
Aditya Thimmaiah The University of Texas at Austin, Leonidas Lampropoulos University of Maryland, College Park, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric The University of Texas at Austin
14:45
15m
Paper
Semantic Analysis of Macro Usage for Portability
Research Track
Brent Pappas University of Central Florida, Paul Gazzillo University of Central Florida
Link to publication DOI Pre-print Media Attached File Attached
15:00
7m
Talk
PREVENT: An Unsupervised Approach to Predict Software Failures in Production
Journal-first Papers
Giovanni Denaro University of Milano - Bicocca, Rahim Heydarov USI Università della Svizzera Italiana, Ali Mohebbi USI Lugano, Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology
15:07
7m
Talk
On the Effectiveness of Log Representation for Log-based Anomaly Detection
Journal-first Papers
Xingfang Wu Polytechnique Montréal, Heng Li Polytechnique Montréal, Foutse Khomh École Polytechnique de Montréal
15:14
7m
Talk
On the Caching Schemes to Speed Up Program Reduction
Journal-first Papers
Yongqiang Tian The Hong Kong University of Science and Technology; University of Waterloo, Xueyan Zhang University of Waterloo;, Yiwen Dong University of Waterloo, Zhenyang Xu University of Waterloo, Mengxiao Zhang , Yu Jiang Tsinghua University, Shing-Chi Cheung Hong Kong University of Science and Technology, Chengnian Sun University of Waterloo
Link to publication DOI
15:21
7m
Talk
DeLag: Using Multi-Objective Optimization to Enhance the Detection of Latency Degradation Patterns in Service-based Systems
Journal-first Papers
Luca Traini University of L'Aquila, Vittorio Cortellessa University of L'Aquila, Luca Traini University of L'Aquila
Link to publication DOI
14:00 - 15:30
14:00
15m
Talk
Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation ExperimentACM SIGSOFT Distinguished Paper Award
Research Track
Hammad Ahmad University of Michigan, Madeline Endres University of Michgain, Kaia Newman Carnegie Mellon University, Priscila Santiesteban University of Michigan, Emma Shedden University of Michigan, Westley Weimer University of Michigan
14:15
15m
Talk
Training App Developers in a Software Studio: The Business Nano Challenge Experience
Software Engineering Education and Training
Tania Mara Dors Pontifícia Universidade Católica do Paraná, Ana Paula Schran de Almeida Pontifícia Universidade Católica do Paraná, Lohine Mussi Pontifícia Universidade Católica do Paraná, Fabio Vinicius Binder Pontifícia Universidade Católica do Paraná, Sheila Reinehr Pontifícia Universidade Católica do Paraná (PUCPR), Andreia Malucelli Pontifícia Universidade Católica do Paraná
14:30
15m
Talk
Breaking Barriers: Investigating the Sense of Belonging Among Women and Non-Binary Students in Software Engineering
Software Engineering Education and Training
Lina Boman University of Gothenburg, Jonatan Andersson University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg
14:45
15m
Talk
Micro-inequities and immigration backgrounds in the software industry
Software Engineering in Society
Valentin Markulj , Kousar Aslam VU Amsterdam, Emitzá Guzmán Vrije Universiteit Amsterdam
15:00
15m
Talk
Alexa, is the skill always safe? Uncover Lenient Skill Vetting Process and Protect User Privacy at Run Time
Software Engineering in Society
Tu Le University of California, Irvine, Dongfang Zhao Indiana University Bloomington, Zihao Wang Indiana University Bloomington, XiaoFeng Wang Indiana University Bloomington, Yuan Tian
Media Attached
15:15
7m
Talk
CodeGRITS: A Research Toolkit for Developer Behavior and Eye Tracking in IDE
Demonstrations
Ningzhi Tang University of Notre Dame, Junwen An , Meng Chen , Aakash Bansal University of Notre Dame, Yu Huang Vanderbilt University, Collin McMillan University of Notre Dame, Toby Jia-Jun Li University of Notre Dame
14:00 - 15:30
LLM, NN and other AI technologies 1Journal-first Papers / Research Track / New Ideas and Emerging Results at Luis de Freitas Branco
Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology
14:00
15m
Talk
EGFE: End-to-end Grouping of Fragmented Elements in UI Designs with Multimodal Learning
Research Track
Liuqing Chen Zhejiang University, Yunnong Chen Zhejiang University, Shuhong Xiao , Yaxuan Song Zhejiang University, Lingyun Sun Zhejiang University, Yankun Zhen Alibaba Group, Tingting Zhou Alibaba Group, Yanfang Chang Alibaba Group
Link to publication Pre-print Media Attached File Attached
14:15
15m
Talk
A Comprehensive Study of Learning-based Android Malware Detectors under Challenging Environments
Research Track
Gao Cuiying Huazhong University of Science and Technology, Gaozhun Huang Huazhong University of Science and Technology, Heng Li Huazhong University of Science and Technology, Bang Wu Huazhong University of Science and Technology, Yueming Wu Nanyang Technological University, Wei Yuan Huazhong University of Science and Technology
14:30
15m
Talk
Toward Automatically Completing GitHub Workflows
Research Track
Antonio Mastropaolo Università della Svizzera italiana, Fiorella Zampetti University of Sannio, Italy, Gabriele Bavota Software Institute @ Università della Svizzera Italiana, Massimiliano Di Penta University of Sannio, Italy
Pre-print
14:45
15m
Talk
UniLog: Automatic Logging via LLM and In-Context Learning
Research Track
Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Ziang Cui Southeast University, Yuan Zhao Peking University, Xu Zhang Microsoft Research, Shilin He Microsoft Research, Pinjia He Chinese University of Hong Kong, Shenzhen, Liqun Li Microsoft Research, Yu Kang Microsoft Research, Qingwei Lin Microsoft, Yingnong Dang Microsoft Azure, Saravan Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research
15:00
7m
Talk
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
Journal-first Papers
Steve Kommrusch Leela AI, Martin Monperrus KTH Royal Institute of Technology, Louis-Noël Pouchet Colorado State University
15:07
7m
Talk
NLP-based Automated Compliance Checking of Data Processing Agreements against GDPR
Journal-first Papers
Orlando Amaral University of Luxembourg, Muhammad Ilyas Azeem University of Luxembourg, Sallam Abualhaija University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
15:14
7m
Talk
Exploring ChatGPT for Toxicity Detection in GitHub
New Ideas and Emerging Results
Shyamal Mishra Drexel University, Preetha Chatterjee Drexel University, USA
14:00 - 15:30
Dependability and Formal methods 1Software Engineering in Practice / Demonstrations / Research Track at Maria Helena Vieira da Silva
Chair(s): Domenico Bianculli University of Luxembourg
14:00
15m
Talk
REDriver: Runtime Enforcement for Autonomous Vehicles
Research Track
Yang Sun Singapore Management University, Chris Poskitt Singapore Management University, Xiaodong Zhang , Jun Sun Singapore Management University
Pre-print
14:15
15m
Talk
Scalable Relational Analysis via Relational Bound Propagation
Research Track
Clay Stevens Iowa State University, Hamid Bagheri University of Nebraska-Lincoln
DOI Pre-print
14:30
15m
Talk
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Research Track
Ariel Gorenstein Tel Aviv University, Shahar Maoz Tel Aviv University, Jan Oliver Ringert Bauhaus-University Weimar
14:45
15m
Talk
On the Difficulty of Identifying Incident-Inducing Changes
Software Engineering in Practice
Eileen Kapel ING & Delft University of Technology, Luís Cruz Delft University of Technology, Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Arie van Deursen Delft University of Technology
15:00
15m
Talk
Autonomous Monitors for Detecting Failures Early and Reporting Interpretable Alerts in Cloud Operations
Software Engineering in Practice
Adha Hrusto Lund University, Sweden, Per Runeson Lund University, Magnus C Ohlsson System Verification
15:15
7m
Talk
nvshare: Practical GPU Sharing without Memory Size Constraints
Demonstrations
Georgios Alexopoulos University of Athens, Dimitris Mitropoulos University of Athens
Pre-print
15:22
7m
Talk
Daedalux: An Extensible Platform for Variability-Aware Model Checking
Demonstrations
Sami Lazreg Visteon Electronics and Universite Cote d Azur, Maxime Cordy University of Luxembourg, Luxembourg, Simon Thrane Hansen SnT, University of Luxembourg, Axel Legay Université Catholique de Louvain, Belgium
14:00 - 15:30
14:00
15m
Talk
Practical Program Repair via Preference-based Ensemble Strategy
Research Track
Wenkang Zhong State Key Laboratory for Novel Software and Technology, Nanjing University, 22 Hankou Road, Nanjing, China, Chuanyi Li Nanjing University, Kui Liu Huawei, Tongtong Xu Huawei, Jidong Ge Nanjing University, Tegawendé F. Bissyandé University of Luxembourg, Bin Luo Nanjing University, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688
14:15
15m
Talk
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
Research Track
Martin Tappler TU Graz; Silicon Austria Labs, Andrea Pferscher Institute of Software Technology, Graz University of Technology , Bernhard Aichernig Graz University of Technology, Bettina Könighofer Graz University of Technology
14:30
15m
Talk
BinAug: Enhancing Binary Similarity Analysis with Low-Cost Input Repairing
Research Track
WONG Wai Kin Hong Kong University of Science and Technology, Huaijin Wang Hong Kong University of Science and Technology, Li Zongjie Hong Kong University of Science and Technology, Shuai Wang The Hong Kong University of Science and Technology
14:45
15m
Talk
Constraint Based Program Repair for Persistent Memory Bugs
Research Track
Zunchen Huang University of Southern California, Chao Wang University of Southern California
15:00
15m
Talk
User-Centric Deployment of Automated Program Repair at Bloomberg
Software Engineering in Practice
David Williams University College London, James Callan UCL, Serkan Kirbas Bloomberg LP, Sergey Mechtaev University College London, Justyna Petke University College London, Thomas Prideaux-Ghee Bloomberg LP, Federica Sarro University College London
15:15
7m
Talk
AIBugHunter: A Practical Tool for Predicting, Classifying and Repairing Software Vulnerabilities
Journal-first Papers
Michael Fu Monash University, Kla Tantithamthavorn Monash University, Trung Le Monash University, Australia, Yuki Kume Monash University, Van Nguyen Monash University, Dinh Phung Monash University, Australia, John Grundy Monash University
Link to publication DOI Pre-print
14:00 - 15:30
Analytics & AIResearch Track / 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
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
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
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
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
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
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?
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)
Journal-first Papers
Andre Lustosa North Carolina State University, Tim Menzies North Carolina State University
DOI Pre-print
16:00 - 17:30
Security 2Research Track / Software Engineering in Practice / Journal-first Papers / New Ideas and Emerging Results at Grande Auditório
Chair(s): Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology
16:00
15m
Talk
PonziGuard: Detecting Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph (CRBG)
Research Track
Ruichao Liang Wuhan University, Jing Chen Wuhan University, Kun He Wuhan University, Yueming Wu Nanyang Technological University, Gelei Deng Nanyang Technological University, Ruiying Du Wuhan University, Cong Wu The University of Hong Kong
16:15
15m
Talk
FuzzSlice: Pruning False Positives in Static Analysis Warnings through Function-Level Fuzzing
Research Track
Aniruddhan Murali University of Waterloo, Noble Saji Mathews University of Waterloo, Canada, Mahmoud Alfadel University of Waterloo, Mei Nagappan University of Waterloo, Meng Xu University of Waterloo
DOI Pre-print
16:30
15m
Talk
LibvDiff: Library Version Difference Guided OSS Version Identification in Binaries
Research Track
Chaopeng Dong University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, shouguo yang Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China, Yang Xiao Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yongpan Wang University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Hong Li Institute of Information Engineering at Chinese Academy of Sciences, Zhi Li Institute of Information Engineering, Chinese Academy of Sciences, China, Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,
16:45
15m
Talk
PrivacyCAT: Privacy-Aware Code Analysis at Scale
Software Engineering in Practice
17:00
7m
Talk
Software in the Manufacturing Industry: Emerging Security Challenge Areas for IIoT Platforms
Software Engineering in Practice
Yannick Landeck fortiss GmbH, Dian Balta fortiss GmbH, Martin Wimmer Siemens AG, Christian Knierim Siemens AG
DOI
17:07
7m
Talk
Detecting and Characterizing Propagation of Security Weaknesses in Puppet-based Infrastructure Management
Journal-first Papers
Akond Rahman Auburn University, Chris Parnin Microsoft
Link to publication DOI Pre-print
17:14
7m
Talk
Synthesis of Allowlists for Runtime Protection against SQLi
New Ideas and Emerging Results
Kostyantyn Vorobyov Oracle Labs, François Gauthier Oracle Labs, Paddy Krishnan Oracle Labs, Australia
16:00 - 17:30
Program binaries - evolvabilityResearch Track / Software Engineering in Practice / Demonstrations at Amália Rodrigues
Chair(s): Auri Vincenzi Federal University of São Carlos
16:00
15m
Talk
Cross-Inlining Binary Function Similarity Detection
Research Track
Ang Jia Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Xi Xu Xi'an Jiaotong University, Wuxia Jin Xi'an Jiaotong University, Haijun Wang Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University
DOI Pre-print
16:15
15m
Talk
BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching
Research Track
Ling Jiang Southern University of Science and Technology, Junwen An Southern University of Science and Technology, Huihui Huang Southern University of Science and Technology, Qiyi Tang Tencent Security Keen Lab, Sen Nie Tencent Security Keen Lab, Shi Wu Tencent Security Keen Lab, Yuqun Zhang Southern University of Science and Technology
16:30
15m
Talk
PPT4J: Patch Presence Test for Java Binaries
Research Track
Zhiyuan Pan Zhejiang University, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Xian Zhan Southern University of Science and Technology, David Lo Singapore Management University, Xiaohu Yang Zhejiang University
16:45
15m
Talk
Code Impact Beyond Disciplinary Boundaries: Constructing A Multidisciplinary Dependency Graph and Analyzing Cross-Boundary Impact
Software Engineering in Practice
Gengyi Sun University of Waterloo, Mehran Meidani University of Waterloo, Sarra Habchi Ubisoft Montréal, Mathieu Nayrolles Ubisoft Montreal, Shane McIntosh University of Waterloo
Pre-print
17:00
7m
Talk
The Devil Is in the Command Line: Associating the Compiler Flags With the Binary and Build Metadata
Software Engineering in Practice
Gunnar Kudrjavets Amazon Web Services, USA, Aditya Kumar Google, Jeff Thomas Meta Platforms, Inc., Ayushi Rastogi University of Groningen, The Netherlands
DOI Pre-print
17:07
7m
Talk
Verifying and Displaying Move Smart Contract Source Code for the Sui Blockchain
Demonstrations
Rijnard van Tonder Mysten Labs, Inc.
16:00 - 17:30
Testing: various bug types 1Research Track / Software Engineering in Practice at Eugénio de Andrade
Chair(s): June Sallou Delft University of Technology
16:00
15m
Talk
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
Research Track
Jinsheng Ba National University of Singapore, Manuel Rigger National University of Singapore
Pre-print
16:15
15m
Talk
Optimistic Prediction of Synchronization-Reversal Data Races
Research Track
Zheng Shi National University of Singapore, Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University
16:30
15m
Talk
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation
Research Track
Jie Liang , Zhiyong Wu Tsinghua University, China, Jingzhou Fu School of Software, Tsinghua University, Mingzhe Wang Tsinghua University, Chengnian Sun University of Waterloo, Yu Jiang Tsinghua University
16:45
15m
Talk
FlakeSync: Automatically Repairing Async Flaky Tests
Research Track
Shanto Rahman University of Texas at Austin, August Shi The University of Texas at Austin
17:00
15m
Talk
Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model
Research Track
Zhe Liu Institute of Software, Chinese Academy of Sciences, Chunyang Chen Technical University of Munich (TUM), Junjie Wang Institute of Software, Chinese Academy of Sciences, Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Boyu Wu University of Chinese Academy of Sciences, Beijing, China, Zhilin Tian Pennsylvania State University, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Jun Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software, Chinese Academy of Sciences
17:15
15m
Talk
AutoConsis: Automatic GUI-driven Data Inconsistency Detection of Mobile Apps
Software Engineering in Practice
Yongxiang Hu Fudan University, Hailiang Jin Meituan Inc., Xuan Wang Fudan University, Jiazhen Gu The Chinese University of Hong Kong, Shiyu Guo Meituan, Chaoyi Chen Meituan, Xin Wang Fudan University, Yangfan Zhou Fudan University
16:00 - 17:30
Human and Social Aspects, and Requirements 1Research Track / Software Engineering in Society / Journal-first Papers at Fernando Pessoa
Chair(s): Birgit Penzenstadler Chalmers
16:00
15m
Talk
Co-Creation in Fully Remote Software Teams
Research Track
Victoria Jackson University of California, Irvine, Rafael Prikladnicki School of Technology at PUCRS University, Andre van der Hoek University of California, Irvine
16:15
15m
Talk
A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges
Research Track
Jenny T. Liang Carnegie Mellon University, Chenyang Yang Carnegie Mellon University, Brad A. Myers Carnegie Mellon University
16:30
15m
Talk
How to Support ML End-User Programmers through a Conversational Agent
Research Track
Emily Judith Arteaga Garcia Oregon State University, João Felipe Pimentel Northern Arizona University, Zixuan Feng Oregon State University, Marco Gerosa Northern Arizona University, Igor Steinmacher Northern Arizona University, Anita Sarma Oregon State University
DOI Authorizer link
16:45
15m
Talk
Unveiling the Life Cycle of User Feedback: Best Practices from Software Practitioners
Research Track
Ze Shi Li University of Victoria, Nowshin Nawar Arony University of Victoria, Kezia Devathasan University of Victoria, Manish Sihag University of Victoria, Neil Ernst University of Victoria, Daniela Damian University of Victoria
17:00
15m
Talk
Challenges, Strengths, and Strategies of Software Engineers with ADHD: A Case Study
Software Engineering in Society
Grischa Liebel Reykjavik University, Noah Langlois ISAE-ENSMA, Kiev Gama Federal University of Pernambuco (UFPE)
Pre-print
17:15
7m
Talk
Safety of Perception Systems for Automated Driving: A Case Study on Apollo
Journal-first Papers
Sangeeth Kochanthara Eindhoven University of Technology (TU/e) , Tajinder Singh Siemens Digital Industries Software, Alexandru Forrai Siemens Digital Industries Software, Loek Cleophas Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)
17:22
7m
Talk
Exposing Algorithmic Discrimination and Its Consequences in Modern Society: Insights from a Scoping Study
Software Engineering in Society
Ramandeep Singh Dehal Cape Breton University, Mehak Sharma Cape Breton University, Ronnie de Souza Santos University of Calgary
Pre-print
16:00 - 17:30
16:00
15m
Talk
GenderMag Improves Discoverability in the Field, Especially for WomenACM SIGSOFT Distinguished Paper Award
Research Track
Emerson Murphy-Hill Google, Alberto Elizondo Google, Ambar Murillo Google, Marian Harbach Google, Bogdan Vasilescu Carnegie Mellon University, Delphine Carlson Google, Florian Dessloch Google
Link to publication Pre-print
16:15
15m
Talk
Unraveling the Drivers of Sense of Belonging in Software Delivery Teams: Insights from a Large-Scale Survey
Research Track
Bianca Trinkenreich Colorado State University, Marco Gerosa Northern Arizona University, Igor Steinmacher Northern Arizona University
Pre-print
16:30
15m
Talk
An Empirical Study of the Content and Quality of Sprint Retrospectives in Undergraduate Team Software Projects
Software Engineering Education and Training
Chris Hundhausen Oregon State University, USA, Phillip Conrad University of California, Santa Barbara, Ahsun Tariq Oregon State University, Surya Pugal UC Santa Barbara, Brian Zamora Flores UC Santa Barbara
16:45
15m
Talk
Girls Rocking the Code: Gender-dependent Stereotypes, Engagement & Comprehension in Music Programming
Software Engineering Education and Training
Isabella Graßl University of Passau, Gordon Fraser University of Passau
17:00
15m
Talk
Dealing With Cultural Dispersion: a Novel Theoretical Framework for Software Engineering Research and Practice
Software Engineering in Society
Stefano Lambiase University of Salerno, Gemma Catolino University of Salerno, Bice Della Piana University of Salerno, Filomena Ferrucci University of Salerno, Fabio Palomba University of Salerno
Pre-print Media Attached
17:15
7m
Talk
Programming by Example Made Easy
Journal-first Papers
Jiarong Wu , Lili Wei McGill University, Yanyan Jiang Nanjing University, Shing-Chi Cheung Hong Kong University of Science and Technology, Luyao Ren Peking University, Chang Xu Nanjing University
16:00 - 17:30
16:00
15m
Talk
Large Language Models for Test-Free Fault Localization
Research Track
Aidan Z.H. Yang Carnegie Mellon University, Claire Le Goues Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Vincent J. Hellendoorn Carnegie Mellon University
16:15
15m
Talk
Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection
Research Track
Benjamin Steenhoek Iowa State University, Hongyang Gao Dept. of Computer Science, Iowa State University, Wei Le Iowa State University
Pre-print
16:30
15m
Talk
An Empirical Study on Compliance with Ranking Transparency in the Software Documentation of EU Online Platforms
Software Engineering in Society
Francesco Sovrano University of Zurich, Michaël Lognoul University of Namur (CRIDS, NADI), Alberto Bacchelli University of Zurich
16:45
15m
Talk
An Industry Case Study on Adoption of AI-based Programming Assistants
Software Engineering in Practice
Nicole Davila Universidade Federal do Rio Grande do Sul, Igor Wiese Federal University of Technology, Igor Steinmacher Northern Arizona University, Lucas Lucio Federal University of Technology - Paraná (UTFPR), André Kawamoto Federal University of Technology - Paraná (UTFPR), Gilson José Peres Favaro , Ingrid Nunes Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
17:00
7m
Talk
Assessing LLMs for High Stakes Applications
Software Engineering in Practice
Shannon K. Gallagher Software Engineering Institute, Carnegie Mellon University, Jasmine Ratchford Software Engineering Institute, Carnegie Mellon University, Tyler Brooks Software Engineering Institute, Carnegie Mellon University, Bryan P. Brown Software Engineering Institute, Carnegie Mellon University, Eric Heim Software Engineering Institute, Carnegie Mellon University, William R. Nichols Software Engineering Institute, Carnegie Mellon University, Scott McMillan Software Engineering Institute, Carnegie Mellon University, Swati Rallapalli Software Engineering Institute, Carnegie Mellon University, Carol J. Smith Software Engineering Institute, Carnegie Mellon University, Nathan VanHoudnos Software Engineering Institute, Carnegie Mellon University, Nick Winski Software Engineering Institute, Carnegie Mellon University, Andrew O. Mellinger Software Engineering Institute, Carnegie Mellon University
17:07
7m
Talk
ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking
New Ideas and Emerging Results
Weilin Luo SUN YAT-SEN UNIVERSITY, Weiyuan Fang SUN YAT-SEN UNIVERSITY, Junming Qiu SUN YAT-SEN UNIVERSITY, Hai Wan School of Data and Computer Science, Sun Yat-sen University, Yanan Liu SUN YAT-SEN UNIVERSITY, Rongzhen Ye Sun Yat-Sen University
17:14
7m
Talk
Improving Cross-Language Code Clone Detection via Code Representation Learning and Graph Neural Networks
Journal-first Papers
NIKITA MEHROTRA Indraprastha Institute of Information Technology, Akash Sharma IIIT-Delhi, Anmol Jindal IIIT-Delhi, Rahul Purandare UNL, USA
16:00 - 17:30
Program Repair 3Research Track at Pequeno Auditório
Chair(s): Alcides Fonseca University of Lisbon
16:00
15m
Talk
RUNNER: Responsible UNfair NEuron Repair for Enhancing Deep Neural Network Fairness
Research Track
Li Tianlin Nanyang Technological University, Yue Cao Nanyang Technological University, Jian Zhang Nanyang Technological University, Shiqian Zhao Nanyang Technological University, Yihao Huang East China Normal University, Aishan Liu Beihang University; Institute of Dataspace, Qing Guo IHPC and CFAR at A*STAR, Singapore, Yang Liu Nanyang Technological University
16:15
15m
Talk
ITER: Iterative Neural Repair for Multi-Location Patches
Research Track
He Ye Carnegie Mellon University, Martin Monperrus KTH Royal Institute of Technology
16:30
15m
Talk
Out of Context: How important is Local Context in Neural Program Repair?
Research Track
Julian Prenner Free University of Bozen-Bolzano, Romain Robbes CNRS, LaBRI, University of Bordeaux
16:45
15m
Talk
Out of Sight, Out of Mind: Better Automatic Vulnerability Repair by Broadening Input Ranges and Sources
Research Track
Xin Zhou Singapore Management University, Singapore, Kisub Kim Singapore Management University, Singapore, Bowen Xu North Carolina State University, DongGyun Han Royal Holloway, University of London, David Lo Singapore Management University
17:00
15m
Talk
Strengthening Supply Chain Security with Fine-grained Safe Patch Identification
Research Track
Luo Changhua The Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong, Shuai Wang The Hong Kong University of Science and Technology
16:00 - 17:30
Analytics 2Research Track / Journal-first Papers / 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
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
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
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
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
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
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
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
Demonstrations
Nuno Saavedra INESC-ID and IST, University of Lisbon, André Silva KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology
18:30 - 21:00
18:30
2h30m
Social Event
Welcome reception
Social Events

Thu 18 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
ICSE2024 Keynote 2 - Martin Rinard & SEIP Keynote: Soumith ChintalaICSE Keynotes / Social Events at Grande Auditório
Chair(s): Nachiappan Nagappan Meta Platforms, Inc., Abhik Roychoudhury National University of Singapore
09:00
45m
Keynote
Software Engineering in a World with Generative AI
ICSE Keynotes
K: Martin C. Rinard Massachusetts Institute of Technology
09:45
45m
Keynote
AI is making us rethink everything, including software development
ICSE Keynotes
11:00 - 12:30
11:00
15m
Talk
“My GitHub Sponsors profile is live!” Investigating the Impact of Twitter/X Mentions on GitHub Sponsors
Research Track
Youmei Fan Nara Institute of Science and Technology, Tao Xiao Nara Institute of Science and Technology, Hideaki Hata Shinshu University, Christoph Treude Singapore Management University, Kenichi Matsumoto Nara Institute of Science and Technology
Pre-print Media Attached
11:15
15m
Talk
A Theory of Scientific Programming Efficacy
Research Track
Elizaveta Pertseva Stanford University, Melinda Chang Canyon Crest Academy, Ulia Zaman University of California, Irvine, Michael Coblenz University of California, San Diego
Link to publication
11:30
15m
Talk
Coding to Cope: Teaching Programming to Children with Emotional and Behavioral Disorders
Software Engineering Education and Training
Isabella Graßl University of Passau, Gordon Fraser University of Passau
11:45
15m
Talk
Beyond Self-Promotion: How Software Engineering Research Is Discussed on LinkedInACM SIGSOFT Distinguished Paper Award (SEIS Track)
Software Engineering in Society
Marvin Wyrich Saarland University, Justus Bogner Vrije Universiteit Amsterdam
Pre-print
12:00
7m
Talk
Extended Abstract of "Do Attention and Memory Explain the Performance of Software Developers?"
Journal-first Papers
Valentina Piantadosi University of Molise, Simone Scalabrino University of Molise, Alexander Serebrenik Eindhoven University of Technology, Nicole Novielli University of Bari, Rocco Oliveto University of Molise
12:07
7m
Talk
Understanding Mentors’ Engagement in OSS Communities via Google Summer of Code
Journal-first Papers
Xin Tan Beihang University, Minghui Zhou Peking University, Li Zhang Beihang University
12:14
7m
Talk
Coding with a Creative Twist: Investigating the Link Between Creativity Scores and problem-solving Strategies
New Ideas and Emerging Results
Mahta Amini Polytechnique Montreal, Jay A. Olson University of Toronto Mississauga, Zohreh Sharafi Polytechnique Montréal
11:00 - 12:30
11:00
15m
Talk
Do Automatic Test Generation Tools Generate Flaky Tests?
Research Track
Martin Gruber BMW Group, University of Passau, Muhammad Firhard Roslan University of Sheffield, Owain Parry The University of Sheffield, Fabian Scharnböck University of Passau, Phil McMinn University of Sheffield, Gordon Fraser University of Passau
Pre-print
11:15
15m
Talk
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory
Research Track
Xindi Zhang Institute of Software Chinese Academy of Science, Bohan Li Institute of Software Chinese Academy of Science, Shaowei Cai Institute of Software at Chinese Academy of Sciences
11:30
15m
Talk
Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts
Research Track
Shuo Yang Sun Yat-sen University, Jiachi Chen Sun Yat-sen University, Mingyuan Huang Sun Yat-Sen University, Zibin Zheng Sun Yat-sen University, Yuan Huang School of Data and Computer Science, Sun Yat-sen University, Guangzhou, China
11:45
15m
Talk
Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms
Research Track
Shengcheng Yu Nanjing University, Chunrong Fang Nanjing University, Mingzhe Du Nanjing University, Yuchen Ling Nanjing University, Zhenyu Chen Nanjing University, Zhendong Su ETH Zurich
12:00
15m
Talk
Dynamic Inference of Likely Symbolic Tensor Shapes in Python Machine Learning Programs
Software Engineering in Practice
Dan Zheng Google DeepMind, Koushik Sen Google DeepMind
Pre-print
12:15
7m
Talk
Mutation Analysis for Evaluating Code Translation
Journal-first Papers
Giovani Guizzo Brick Abode, Jie M. Zhang King's College London, Federica Sarro University College London, Mark Harman Meta Platforms, Inc. and UCL, Christoph Treude Singapore Management University
12:22
7m
Talk
Generalized Coverage Criteria for Combinatorial Sequence Testing
Journal-first Papers
Achiya Elyasaf Ben-Gurion University of the Negev, Eitan Farchi IBM Haifa Research Lab, Oded Margalit Ben-Gurion University of the Negev, Gera Weiss Ben-Gurion University of the Negev, ‪Yeshayahu Weiss‬‏ Ben-Gurion University of the Negev
Link to publication DOI
11:00 - 12:30
11:00
15m
Talk
On Using GUI Interaction Data to Improve Text Retrieval-based Bug Localization
Research Track
Junayed Mahmud George Mason University, Nadeeshan De Silva William & Mary, Safwat Ali Khan George Mason University, Seyed Hooman Mostafavi George Mason University, S M Hasan Mansur George Mason University, Oscar Chaparro William & Mary, Andrian (Andi) Marcus The University of Texas at Dallas, Kevin Moran University of Central Florida
11:15
15m
Talk
DEMISTIFY: Identifying On-device Machine Learning Models Stealing and Reuse Vulnerabilities in Mobile Apps
Research Track
Pengcheng Ren Shandong University, Chaoshun Zuo Ohio State University, Xiaofeng Liu Shandong University, Wenrui Diao Shandong University, Qingchuan Zhao City University of Hong Kong, Shanqing Guo Shandong University
11:30
15m
Talk
How do Developers Talk about GitHub Actions? Evidence from Online Software Development Community
Research Track
Yang Zhang National University of Defense Technology, China, Yiwen Wu National University of Defense Technology, Tingting Chen College of Computer, National University of Defense Technology, Tao Wang National University of Defense Technology, Hui Liu Beijing Institute of Technology, Huaimin Wang
11:45
15m
Paper
Design principles for generating and presenting automated formative feedback on code quality using software metrics
Software Engineering Education and Training
Eddy van den Aker Zuyd University of Applied Science, Ebrahim Rahimi Open University, the Netherlands
12:00
7m
Talk
Automatic Specialization of Third-Party Java Dependencies
Journal-first Papers
César Soto-Valero KTH, Deepika Tiwari KTH Royal Institute of Technology, Tim Toady Programming Republic of Perl, Benoit Baudry KTH
12:07
7m
Talk
Discovering Reusable Functional Features in Legacy Object-Oriented Systems
Journal-first Papers
Hafedh Mili Université du Québec à Montréal, Imen Benzarti École de technologie supérieure, Amel Elkharraz Collège de Bois-de-Boulogne, Ghizlane El Boussaidi École de Technologie Supérieure, Yann-Gaël Guéhéneuc Concordia University and Polytechnique Montréal, Petko Valchev Université du Québec à Montréal
11:00 - 12:30
11:00
15m
Talk
Crossover in Parametric Fuzzing
Research Track
Katherine Hough Northeastern University, Jonathan Bell Northeastern University
Pre-print Media Attached
11:15
15m
Talk
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
Research Track
Luiz Carvalho University of Luxembourg, Renzo Degiovanni Luxembourg Institute of Science and Technology, Maxime Cordy University of Luxembourg, Luxembourg, Nazareno Aguirre University of Rio Cuarto and CONICET, Yves Le Traon University of Luxembourg, Luxembourg, Mike Papadakis University of Luxembourg
11:30
15m
Talk
EDEFuzz: A Web API Fuzzer for Excessive Data ExposuresACM SIGSOFT Distinguished Paper Award
Research Track
Lianglu Pan University of Melbourne, Shaanan Cohney University of Melbourne, Toby Murray University of Melbourne, Thuan Pham The University of Melbourne
11:45
15m
Talk
ECFuzz: Effective Configuration Fuzzing for Large-Scale Systems
Research Track
Junqiang Li University of Electronic Science and Technology of China, Senyi Li University of Electronic Science and Technology of China, Keyao Li University of Electronic Science and Technology of China, Falin Luo University of Electronic Science and Technology of China, Hongfang Yu University of Electronic Science and Technology of China, Shanshan Li National University of Defense Technology, Xiang Li Academy of Military Sciences
DOI Media Attached File Attached
12:00
15m
Talk
Mind the Gap: What Working With Developers on Fuzz Tests Taught Us About Coverage Gaps
Software Engineering in Practice
Carolin Brandt Delft University of Technology, Marco Castelluccio Mozilla, Christian Holler Mozilla Corporation, Jason Kratzer Mozilla Corporation, Andy Zaidman Delft University of Technology, Alberto Bacchelli University of Zurich
DOI Pre-print
12:15
7m
Talk
CLFuzz: Vulnerability Detection of Cryptographic Algorithm Implementation via Semantic-Aware Fuzzing
Journal-first Papers
Yuanhang Zhou Tsinghua University, Fuchen Ma Tsinghua University, Yuanliang Chen Tsinghua University, Meng Ren Tsinghua University, Yu Jiang Tsinghua University
12:22
7m
Talk
FormatFuzzer: Effective Fuzzing of Binary File Formats
Journal-first Papers
Rafael Dutra CISPA Helmholtz Center for Information Security, Rahul Gopinath University of Sydney, Andreas Zeller CISPA Helmholtz Center for Information Security
11:00 - 12:30
Dependability and Formal methods 2Research Track / Software Engineering Education and Training / Demonstrations / Software Engineering in Practice at Glicínia Quartin
Chair(s): Jácome Cunha University of Porto & HASLab/INESC
11:00
15m
Talk
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning
Research Track
Pingchuan Ma HKUST, Zhenlan Ji The Hong Kong University of Science and Technology, Peisen Yao Zhejing University, Shuai Wang The Hong Kong University of Science and Technology, Kui Ren Zhejiang University
11:15
15m
Talk
Translation Validation for JIT Compiler in the V8 JavaScript Engine
Research Track
11:30
15m
Talk
Assessing the impact of hints in learning formal specification
Software Engineering Education and Training
Alcino Cunha University of Minho; INESC TEC, Nuno Macedo University of Porto; INESC TEC, José Creissac Campos University of Minho & HASLab/INESC TEC, Iara Margolis Center for Computer Graphics, Emanuel Sousa Center for Computer Graphics
11:45
15m
Talk
GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
Software Engineering in Practice
12:00
15m
Talk
Dynamic Alert Suppression Policy for Noise Reduction in AIOps
Software Engineering in Practice
karan bhukar IBM Research, Harshit Kumar IBM Research, Ruchi Mahindru IBM Research, Rohan Arora IBM Research, Seema Nagar IBM Research, Pooja Aggarwal IBM Research, Amit Paradkar IBM Watson Research Center
12:15
7m
Talk
What Do You Mean by Memory? When Engineers Are Lost in the Maze of Complexity
Software Engineering in Practice
Gunnar Kudrjavets Amazon Web Services, USA, Aditya Kumar Google, Jeff Thomas Meta Platforms, Inc., Ayushi Rastogi University of Groningen, The Netherlands
DOI Pre-print
12:22
7m
Talk
SpotFlow: Tracking Method Calls and States at Runtime
Demonstrations
Pre-print Media Attached
11:00 - 12:30
11:00
15m
Talk
Trace-based Multi-Dimensional Root Cause Localization of Performance Issues in Microservice Systems
Research Track
Chenxi Zhang Fudan University, Zhen Dong Fudan University, China, Xin Peng Fudan University, Bicheng Zhang Fudan University, Miao Chen Fudan University
11:15
15m
Talk
ReClues: Representing and indexing failures in parallel debugging with program variables
Research Track
Yi Song School of Computer Science, Wuhan University, Xihao Zhang School of Computer Science, Wuhan University, Xiaoyuan Xie School of Computer Science, Wuhan University, China, Quanming Liu School of Computer Science, Wuhan University, Ruizhi Gao Sonos Inc., Chenliang Xing School of Computer Science, Wuhan University
11:30
15m
Talk
PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code
Research Track
Wuxia Jin Xi'an Jiaotong University, Shuo Xu Xi'an jiaotong university, Dawei Chen Xi'an Jiaotong University, Jiajun He Xi'an jiaotong university, Dinghong Zhong Xi'an jiaotong university, Ming Fan Xi'an Jiaotong University, Hongxu Chen Huawei Technologies Co., Ltd., Huijia Zhang Huawei Technologies Co Ltd, Ting Liu Xi'an Jiaotong University
Media Attached
11:45
15m
Talk
Detecting Automatic Software Plagiarism via Token Sequence Normalization
Research Track
Timur Sağlam Karlsruhe Institute of Technology (KIT), Moritz Brödel Karlsruhe Institute of Technology (KIT), Larissa Schmid Karlsruhe Institute of Technology, Sebastian Hahner Karlsruhe Institute of Technology (KIT)
DOI Pre-print
12:00
15m
Talk
NuzzleBug: Debugging Block-Based Programs in Scratch
Research Track
Adina Deiner University of Passau, Gordon Fraser University of Passau
Pre-print
12:15
7m
Talk
Locating Buggy Segments in Quantum Program Debugging
New Ideas and Emerging Results
Naoto Sato Hitachi, Ltd., Ryota Katsube Hitachi, Ltd.
12:22
7m
Talk
Beyond a Joke: Dead Code Elimination Can Delete Live Code
New Ideas and Emerging Results
Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Debin Gao Singapore Management University, He Jiang Dalian University of Technology
11:00 - 12:30
Language Models and Generated Code 2Demonstrations / Research Track at Maria Helena Vieira da Silva
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
11:00
15m
Talk
Exploring the Potential of ChatGPT in Automated Code Refinement: An Empirical Study
Research Track
Qi Guo Tianjin University, China, Junming Cao Fudan University, Xiaofei Xie Singapore Management University, Shangqing Liu Nanyang Technological University, Xiaohong Li Tianjin University, Bihuan Chen Fudan University, Xin Peng Fudan University
11:15
15m
Talk
Deep Learning or Classical Machine Learning? An Empirical Study on Log-Based Anomaly Detection
Research Track
BoXi Yu The Chinese University of Hong Kong, Shenzhen, Jiayi Yao The Chinese University of Hong Kong, Shenzhen, Qiuai Fu Huawei Cloud Computing Technologies CO., LTD., Zhiqing Zhong Chinese University of Hong Kong, Shenzhen, Haotian Xie The Chinese University of Hong Kong, Shenzhen, Yaoliang Wu Huawei Cloud Computing Technologies Co., Ltd., Yuchi Ma Huawei Cloud Computing Technologies CO., LTD., Pinjia He Chinese University of Hong Kong, Shenzhen
11:30
15m
Talk
TRACED: Execution-aware Pre-training for Source Code
Research Track
Yangruibo Ding Columbia University, Benjamin Steenhoek Iowa State University, Kexin Pei The University of Chicago, Gail Kaiser Columbia University, Wei Le Iowa State University, Baishakhi Ray AWS AI Labs
11:45
15m
Talk
On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study
Research Track
Li Zongjie Hong Kong University of Science and Technology, Chaozheng Wang The Chinese University of Hong Kong, Pingchuan Ma HKUST, Chaowei Liu National University of Singapore, Shuai Wang The Hong Kong University of Science and Technology, Daoyuan Wu Nanyang Technological University, Cuiyun Gao Harbin Institute of Technology, Yang Liu Nanyang Technological University
12:00
15m
Talk
When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference
Research Track
Zhensu Sun Singapore Management University, Xiaoning Du Monash University, Australia, Fu Song State Key Laboratory of Computer Science and Institute of Software, Chinese Academy of Sciences., Shangwen Wang National University of Defense Technology, Li Li Beihang University
Pre-print
12:15
7m
Talk
TestSpark: IntelliJ IDEA’s Ultimate Test Generation Companion
Demonstrations
Arkadii Sapozhnikov JetBrains Research, Mitchell Olsthoorn Delft University of Technology, Annibale Panichella Delft University of Technology, Vladimir Kovalenko JetBrains Research, Pouria Derakhshanfar JetBrains Research
11:00 - 12:30
11:00
15m
Talk
Xpert: Empowering Incident Management with Query Recommendations via Large Language Models
Research Track
Yuxuan Jiang University of Michigan Ann-Arbor, Chaoyun Zhang Microsoft, Shilin He Microsoft Research, Zhihao Yang Peking University, Minghua Ma Microsoft Research, Si Qin Microsoft Research, Yu Kang Microsoft Research, Yingnong Dang Microsoft Azure, Saravan Rajmohan Microsoft 365, Qingwei Lin Microsoft, Dongmei Zhang Microsoft Research
11:15
15m
Talk
Tensor-Aware Energy Accounting
Research Track
Timur Babakol SUNY Binghamton, USA, Yu David Liu SUNY Binghamton
DOI Pre-print
11:30
15m
Talk
LLM4PLC: Harnessing Large Language Models for Verifiable Programming of PLCs in Industrial Control Systems
Software Engineering in Practice
Mohamad Fakih University of California, Irvine, Rahul Dharmaji University of California, Irvine, Yasamin Moghaddas University of California, Irvine, Gustavo Quiros Siemens Technology, Tosin Ogundare Siemens Technology, Mohammad Al Faruque UCI
11:45
15m
Talk
Resolving Code Review Comments with Machine Learning
Software Engineering in Practice
Alexander Frömmgen Google, Jacob Austin Google, Peter Choy Google, Nimesh Ghelani Google, Lera Kharatyan Google, Gabriela Surita Google, Elena Khrapko Google, Pascal Lamblin Google, Pierre-Antoine Manzagol Google, Marcus Revaj Google, Maxim Tabachnyk Google, Danny Tarlow Google, Kevin Villela Google, Dan Zheng Google DeepMind, Satish Chandra Google, Inc, Petros Maniatis Google DeepMind
12:00
15m
Talk
LLMs Still Can't Avoid Instanceof: An investigation Into GPT-3.5, GPT-4 and Bard's Capacity to Handle Object-Oriented Programming Assignments
Software Engineering Education and Training
Bruno Pereira Cipriano Lusófona University, COPELABS, Pedro Alves Lusófona University, COPELABS
12:15
7m
Talk
Leveraging Large Language Models to Improve REST API Testing
New Ideas and Emerging Results
Myeongsoo Kim Georgia Institute of Technology, Tyler Stennett Georgia Institute of Technology, Dhruv Shah Georgia Institute of Technology, Saurabh Sinha IBM Research, Alessandro Orso Georgia Institute of Technology
Pre-print
12:22
7m
Talk
LogExpert: Log-based Recommended Resolutions Generation using Large Language Model
New Ideas and Emerging Results
JiaboWang Beijing University of Posts and Telecommunications, guojun chu Beijing University of Posts and Telecommunications, Jingyu Wang , Haifeng Sun Beijing University of Posts and Telecommunications, Qi Qi , Yuanyi Wang Beijing University of Posts and Telecommunications, Ji Qi China Mobile (Suzhou) Software Technology Co., Ltd., Jianxin Liao Beijing University of Posts and Telecommunications
11:00 - 12:30
AI & Security 2Research Track / 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
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
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
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
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
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
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
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
High Expectations: An Observational Study of Programming and Cannabis Intoxication
Research Track
Wenxin He University of Michigan, Manasvi Parikh University of Michigan, Westley Weimer University of Michigan, Madeline Endres University of Michgain
DOI Pre-print
14:15
15m
Talk
Mining Pull Requests to Detect Process Anomalies in Open Source Software Development
Research Track
Bohan Liu Nanjing University, He Zhang Nanjing University, Weigang Ma Nanjing University, Hongyu Kuang Nanjing University, Yi Yang National University of Defense Technology, Jinwei Xu Nanjing University, Shan Gao Huawei, Jian Gao Huawei
14:30
15m
Talk
Video-based Training for Meeting Communication Skills
Software Engineering Education and Training
Matthias Galster University of Canterbury, Antonija Mitrovic University of Canterbury, Sanna Malinen University of Canterbury, Sreedevi Sankara Iyer University of Canterbury, Ja'afaru Musa University of Canterbury, Jay Holland University of Canterbury
14:45
15m
Talk
Impostor Phenomenon in Software Engineers
Software Engineering in Society
Paloma Guenes Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Rafael Tomaz Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Margaret-Anne Storey University of Victoria
DOI Pre-print Media Attached
15:00
7m
Talk
An Empirical Comparison of Ethnic and Gender Diversity of DevOps and non-DevOps Contributions to Open-Source Projects
Journal-first Papers
Nimmi Rashinika Weeraddana University of Waterloo, Xiaoyan Xu University of Waterloo, Mahmoud Alfadel University of Waterloo, Shane McIntosh University of Waterloo, Mei Nagappan University of Waterloo
Link to publication Pre-print
15:07
7m
Talk
Understanding Developers Well-Being and Productivity: a 2-year Longitudinal Analysis during the COVID-19 Pandemic
Journal-first Papers
Daniel Russo Department of Computer Science, Aalborg University, Paul Hanel University of Essex, Niels van Berkel Aalborg University
DOI Pre-print
15:14
7m
Talk
Decomposing and Measuring Trust in Open-Source Software Supply Chains
New Ideas and Emerging Results
Lina Boughton The College of Wooster, Courtney Miller Carnegie Mellon University, Yasemin Acar Max Planck Institute for Security and Privacy, Dominik Wermke North Carolina State University, Christian Kästner Carnegie Mellon University
14:00 - 15:30
Testing 4Research Track / Journal-first Papers at Grande Auditório
Chair(s): Shiva Nejati University of Ottawa
14:00
15m
Talk
Concrete Constraint Guided Symbolic Execution
Research Track
Yue Sun Institute of Information Engineering, CAS, China, Guowei Yang University of Queensland, Shichao Lv College of Cyberspace Security, Chinese Academy of Sciences, Zhi Li Institute of Information Engineering, Chinese Academy of Sciences, China, Limin Sun Institute of Information Engineering, Chinese Academy of Sciences, School of Cyber Security, University of Chinese Academy of Sciences,
Pre-print
14:15
15m
Talk
Improving Testing Behavior by Gamifying IntelliJ
Research Track
Philipp Straubinger University of Passau, Gordon Fraser University of Passau
DOI Pre-print
14:30
15m
Talk
SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems
Research Track
Jiarun Dai Fudan University, Bufan Gao Fudan University, Mingyuan Luo Fudan University, Zongan Huang Fudan University, Zhongrui Li Fudan University, Yuan Zhang Fudan University, Min Yang Fudan University
14:45
15m
Talk
Curiosity-Driven Testing for Sequential Decision-Making Process
Research Track
Junda He Singapore Management University, Zhou Yang Singapore Management University, Jieke Shi Singapore Management University, Chengran Yang Singapore Management University, Singapore, Kisub Kim Singapore Management University, Singapore, Bowen Xu North Carolina State University, Xin Zhou Singapore Management University, Singapore, David Lo Singapore Management University
15:00
15m
Talk
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation
Research Track
Yuancheng Jiang National University of Singapore, Jiahao Liu National University of Singapore, Jinsheng Ba National University of Singapore, Roland H. C. Yap National University of Singapore, Singapore, Zhenkai Liang National University of Singapore, Manuel Rigger National University of Singapore
DOI Pre-print
15:15
7m
Talk
Testing Causality in Scientific Modelling Software
Journal-first Papers
Andrew Graham Clark The University of Sheffield, Michael Foster The University of Sheffield, Neil Walkinshaw The University of Sheffield, Robert Hierons The University of Sheffield, Benedikt Prifling Ulm University, Volker Schmidt Ulm University, Robert D. Turner The University of Sheffield
15:22
7m
Talk
HybridCISave: A Combined Build and Test Selection Approach in Continuous Integration
Journal-first Papers
Xianhao Jin ByteDance, Francisco Servant ITIS Software, University of Malaga
14:00 - 15:30
14:00
15m
Talk
BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems
Research Track
Trevor Stalnaker William & Mary, Nathan Wintersgill William & Mary, Oscar Chaparro William & Mary, Massimiliano Di Penta University of Sannio, Italy, Daniel M. German University of Victoria, Denys Poshyvanyk William & Mary
Pre-print
14:15
15m
Talk
Compiler-directed Migrating API Callsite of Client Code
Research Track
Hao Zhong Shanghai Jiao Tong University, Na Meng Virginia Tech
14:30
15m
Talk
Hard to Read and Understand Pythonic Idioms? DeIdiom and Explain Them in Non-Idiomatic Equivalent CodeACM SIGSOFT Distinguished Paper Award
Research Track
zejun zhang Australian National University, Zhenchang Xing CSIRO's Data61, Dehai Zhao CSIRO's Data61, Qinghua Lu Data61, CSIRO, Xiwei (Sherry) Xu Data61, CSIRO, Liming Zhu CSIRO’s Data61
14:45
15m
Talk
Integrating Canvas and GitLab to Enrich Learning Processes
Software Engineering Education and Training
Laura Schauer Heriot-Watt University, Rob Stewart Heriot-Watt University, Manuel Maarek Heriot-Watt University
15:00
7m
Talk
Refactoring with domain-driven design in an industrial context: An action research report
Journal-first Papers
Ozan Ozkan Eindhoven University of Technology, Önder Babur Wageningen University & Research, Mark van den Brand Eindhoven University of Technology
15:07
14m
Talk
VEER: Enhancing the Interpretability of Model-based Optimizations
Journal-first Papers
Kewen Peng North Carolina State University, Christian Kaltenecker Saarland University, Germany, Norbert Siegmund Leipzig University, Sven Apel Saarland University, Tim Menzies North Carolina State University
DOI Pre-print
14:00 - 15:30
Fuzzing 2Software Engineering in Practice / Research Track at Fernando Pessoa
Chair(s): Thuan Pham The University of Melbourne
14:00
15m
Talk
Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
Research Track
Shuohan Wu Hong Kong Polytechnic University, Zihao Li The Hong Kong Polytechnic Universituy, Luyi Yan Hong Kong Polytechnic University, Weimin Chen The Hong Kong Polytechnic University, Muhui Jiang The Hong Kong Polytechnic University, Chenxu Wang Xi'an Jiaotong University, Xiapu Luo The Hong Kong Polytechnic University, Hao Zhou Hong Kong Polytechnic University
14:15
15m
Talk
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support
Research Track
Zhiwu Xu Shenzhen University, Bohao Wu CSSE, Shenzhen University, Cheng Wen Guangzhou Institute of Technology, Xidian University, Bin Zhang Shenzhen University, Shengchao Qin Fermat Labs, Huawei, Mengda He Fermat Labs, Huawei
DOI Pre-print
14:30
15m
Talk
Extrapolating Coverage Rate in Greybox Fuzzing
Research Track
Danushka Liyanage Monash University, Australia, Seongmin Lee Max Planck Institute for Security and Privacy (MPI-SP), Marcel Böhme MPI-SP, Bochum, Kla Tantithamthavorn Monash University
DOI Pre-print
14:45
15m
Talk
FuzzInMem: Fuzzing Programs via In-memory Structures
Research Track
Xuwei Liu Purdue University, USA, Wei You Renmin University of China, Yapeng Ye Purdue University, Zhuo Zhang Purdue University, Jianjun Huang Renmin University of China, Xiangyu Zhang Purdue University
15:00
15m
Talk
Fuzz4All: Universal Fuzzing with Large Language Models
Research Track
Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Matteo Paltenghi University of Stuttgart, Jia Le Tian UIUC, Michael Pradel University of Stuttgart, Lingming Zhang University of Illinois at Urbana-Champaign
Pre-print
15:15
15m
Talk
MicroFuzz: An Efficient Fuzzing Framework for Microservices
Software Engineering in Practice
Peng Di Ant Group, Bingchang Liu Ant Group, Yiyi Gao Ant Group
14:00 - 15:30
14:00
15m
Talk
ReFAIR: Toward a Context-Aware Recommender for Fairness Requirements Engineering
Research Track
Carmine Ferrara University of Salerno, Francesco Casillo Università di Salerno, Carmine Gravino University of Salerno, Andrea De Lucia University of Salerno, Fabio Palomba University of Salerno
Pre-print
14:15
15m
Talk
Analyzing and Debugging Normative Requirements via Satisfiability CheckingACM SIGSOFT Distinguished Paper Award
Research Track
Nick Feng University of Toronto, Lina Marsso University of Toronto, Sinem Getir Yaman University of York, UK, Yesugen Baatartogtokh Smith College, Reem Ayad University of Toronto, Victória Oldemburgo de Mello University of Toronto, Beverley Townsend University of York, Isobel Standen University of York, Ioannis Stefanakos University of York, Calum Imrie University of York, Genaína Nunes Rodrigues University of Brasília, Ana Cavalcanti University of York, Radu Calinescu University of York, UK, Marsha Chechik University of Toronto
14:30
15m
Talk
Teaching Digital Accessibility to Industry Professionals using the Community of Practice framework: An Experience Report
Software Engineering Education and Training
Parthasarathy PD BITS Pilani KK Birla Goa Campus, Swaroop Joshi BITS Pilani KK Birla Goa Campus
14:45
15m
Talk
An Experience Report on Using Video-Creation Tasks in Requirements-Engineering Education
Software Engineering Education and Training
Richard May Harz University Wernigerode, Germany, Johanna Daher Harz University Wernigerode, Germany, Jacob Krüger Eindhoven University of Technology, Thomas Leich Harz University of Applied Sciences, Germany
15:00
15m
Talk
Exploring the Need of Accessibility Education in the Software Industry: Insights from a Survey of Software Professionals in India
Software Engineering Education and Training
Parthasarathy PD BITS Pilani KK Birla Goa Campus, Swaroop Joshi BITS Pilani KK Birla Goa Campus
15:15
7m
Talk
ValidGen: A Tool for Automatic Generation of Validation Scripts to Support Rapid Requirements Validation
Demonstrations
Hongyue Pan BeiHang Uviversity, Yilong Yang Beihang University
14:00 - 15:30
14:00
15m
Talk
RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains
Research Track
Raphael J. Sofaer Columbia University, Yaniv David Columbia University, Mingqing Kang Johns Hopkins University, Jianjia Yu Johns Hopkins University, Yinzhi Cao Johns Hopkins University, Junfeng Yang Columbia University, Jason Nieh Columbia University
DOI Pre-print
14:15
15m
Talk
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
Research Track
Huijia Sun ShanghaiTech University, China, Chris Poskitt Singapore Management University, Yang Sun Singapore Management University, Jun Sun Singapore Management University, Yuqi Chen ShanghaiTech University, China
Pre-print
14:30
15m
Talk
Efficiently Trimming the Fat: Streamlining Software Dependencies with Java Reflection and Dependency Analysis
Research Track
Xiaohu Song Northeastern University, Ying Wang Northeastern University, Xiao Cheng Huawei Technologies Co., Ltd., Guangtai Liang Huawei Cloud Computing Technologies, Qianxiang Wang Huawei Technologies Co., Ltd, Zhiliang Zhu Northeastern University, China
14:45
7m
Talk
Probabilistic Safe WCET Estimation for Weakly Hard Real-Time Systems at Design Stages
Journal-first Papers
Jaekwon Lee University of Ottawa & University of Luxembourg, Seung Yeob Shin University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Shiva Nejati University of Ottawa
14:52
7m
Talk
Are automated static analysis tools worth it? An investigation into relative warning density and external software quality on the example of Apache open source projects
Journal-first Papers
Alexander Trautsch University of Passau, Steffen Herbold University of Passau, Jens Grabowski University of Göttingen
14:59
7m
Talk
Actor-driven Decomposition of Microservices through Multi-level Scalability Assessment
Journal-first Papers
Carmine Colarusso University of Sannio, Benevento, Matteo Camilli Politecnico di Milano, Barbara Russo , Eugenio Zimeo University of Sannio, Benevento
15:06
7m
Talk
TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools
Demonstrations
Ashwin Prasad Shivarpatna Venkatesh University of Paderborn, Samkutty Sabu University of Paderborn, Jiawei Wang Monash University, Amir Mir Delft University of Technology, Li Li Beihang University, Eric Bodden
15:13
7m
Talk
Toward Adaptive Tracing: Efficient System Behavior Analysis using Language Models
New Ideas and Emerging Results
Kasra Darvishi Brock University, Morteza Noferesti Brock University, Naser Ezzati Jivan
Link to publication
14:00 - 15:30
Analytics 3Research Track / Journal-first Papers / Demonstrations at Maria Helena Vieira da Silva
Chair(s): Sridhar Chimalakonda Indian Institute of Technology, Tirupati
14:00
15m
Talk
Less is More? An Empirical Study on Configuration Issues in Python PyPI Ecosystem
Research Track
Yun Peng The Chinese University of Hong Kong, Ruida Hu Harbin Institute of Technology, Shenzhen, Ruoke Wang Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Shuqing Li The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong
14:15
15m
Talk
Data-Driven Evidence-Based Syntactic Sugar Design
Research Track
David OBrien Iowa State University, Robert Dyer University of Nebraska-Lincoln, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Iowa State University
14:30
15m
Talk
Revisiting Android App Categorization
Research Track
Marco Alecci University of Luxembourg, Jordan Samhi CISPA Helmholtz Center for Information Security, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg
14:45
15m
Talk
Are Your Requests Your True Needs? Checking Excessive Data Collection in VPA App
Research Track
Fuman Xie University of Queensland, Chuan Yan University of Queensland, Mark Huasong Meng National University of Singapore, Shaoming Teng The University of Queensland, Yanjun Zhang Deakin University, Guangdong Bai University of Queensland
15:00
7m
Talk
Acrobats and Safety-Nets: Problematizing Large-Scale Agile Software Development
Journal-first Papers
Knut Rolland University of Oslo, Brian Fitzgerald Lero - The Irish Software Research Centre and University of Limerick, Torgeir Dingsøyr Norwegian University of Science and Technology and SimulaMet, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital
Link to publication DOI
15:07
7m
Talk
Program Transformation Landscapes for Automated Program Modification Using Gin: Extended Abstract
Journal-first Papers
Justyna Petke University College London, Brad Alexander University of Adelaide, Earl T. Barr University College London, Alexander E.I. Brownlee University of Stirling, Markus Wagner Monash University, Australia, David R. White University of Sheffield
15:14
7m
Talk
Boidae: Your Personal Mining Platform
Demonstrations
Brian Sigurdson Bowling Green State University, Samuel W. Flint University of Nebraska-Lincoln, Robert Dyer University of Nebraska-Lincoln
Pre-print Media Attached
15:21
7m
Talk
Code Mapper: Mapping the Global Contributions of OSS
Demonstrations
Thomas Le Tourneau CY Tech, Jasmine Latendresse Concordia University, Ahmad Abdellatif University of Calgary, Emad Shihab Concordia University
14:00 - 15:30
LLM, NN and other AI technologies 4Research Track / Industry Challenge Track / New Ideas and Emerging Results at Pequeno Auditório
Chair(s): David Nader Palacio William & Mary
14:00
15m
Talk
Programming Assistant for Exception Handling with CodeBERT
Research Track
Yuchen Cai University of Texas at Dallas, Aashish Yadavally University of Texas at Dallas, Abhishek Mishra University of Texas at Dallas, Genesis Montejo University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas
14:15
15m
Talk
An Empirical Study on Noisy Label Learning for Program Understanding
Research Track
Wenhan Wang Nanyang Technological University, Yanzhou Li Nanyang Technological University, Anran Li Nanyang Technological University, Jian Zhang Nanyang Technological University, Wei Ma Nanyang Technological University, Singapore, Yang Liu Nanyang Technological University
Pre-print
14:30
15m
Talk
An Empirical Study on Low GPU Utilization of Deep Learning Jobs
Research Track
Yanjie Gao Microsoft Research, yichen he , Xinze Li Microsoft Research, Bo Zhao Microsoft Research, Haoxiang Lin Microsoft Research, Yoyo Liang Microsoft, Jing Zhong Microsoft, Hongyu Zhang Chongqing University, Jingzhou Wang Microsoft Research, Yonghua Zeng Microsoft, Keli Gui Microsoft, Jie Tong Microsoft, Mao Yang Microsoft Research
DOI Pre-print
14:45
15m
Talk
Using an LLM to Help With Code Understanding
Research Track
Daye Nam Carnegie Mellon University, Andrew Macvean Google, Inc., Vincent J. Hellendoorn Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University, Brad A. Myers Carnegie Mellon University
15:00
15m
Talk
MissConf: LLM-Enhanced Reproduction of Configuration-Triggered Bugs
Industry Challenge Track
Ying Fu National University of Defense Technology, Teng Wang National University of Defense Technology, Shanshan Li National University of Defense Technology, Jinyan Ding National University of Defense Technolog, Shulin Zhou National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Wang Li National University of Defense Technology, Yu Jiang Tsinghua University, Liao Xiangke National University of Defense Technology
File Attached
15:15
7m
Talk
XAIport: A Service Framework for the Early Adoption of XAI in AI Model Development
New Ideas and Emerging Results
Zerui Wang Concordia University, Yan Liu Concordia University, Abishek Arumugam Thiruselvi Concordia University, Wahab Hamou-Lhadj Concordia University, Montreal, Canada
DOI Pre-print
15:22
7m
Talk
Which Syntactic Capabilities Are Statistically Learned by Masked Language Models for Code?
New Ideas and Emerging Results
Alejandro Velasco William & Mary, David Nader Palacio William & Mary, Daniel Rodriguez-Cardenas , Denys Poshyvanyk William & Mary
Pre-print
14:00 - 15:30
14:00
15m
Talk
An Empirical Study on Oculus Virtual Reality Applications: Security and Privacy Perspectives
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?
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
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
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
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
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
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)
16:00 - 17:30
MIP Award / SIGSOFT Outstanding Award / Harlan D. MIlls AwardMost Influential Paper ICSE N-10Social Events / ICSE Keynotes / SRC - ACM Student Research Competition at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto, Walid Maalej University of Hamburg, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Mauro Pezze USI Università della Svizzera Italiana & SIT Schaffhausen Institute of Technology, Paolo Tonella USI Lugano, Andre van der Hoek University of California, Irvine

Chairs:

  • Harlan D. Mills Award: Paolo Tonella
  • MIP ICSE N-10: Mauro Pezze and André van der Hoek
  • ACM SIGSOFT Outstanding Research Award: Walid Maalej

IEEE Computer Society Harlan D. Mills Award

Prem Thomas Devanbu , Distinguished Research Professor, Computer Science, UC Davis

Most influential paper ICSE N-10

Coverage is not strongly correlated with test suite effectiveness (ICSE 2014)
Laura Inozemtseva and Reid Holmes

ACM SIGSOFT Outstanding Research Award

Tsong Yueh Chen (Swinburne University of Technology, Australia) for contributions to software testing through the invention and development of metamorphic testing.

16:00
30m
Awards
IEEE Computer Society Harlan D. Mills Award
Social Events

16:30
30m
Awards
Most influential paper ICSE N-10
Social Events

17:00
30m
Awards
ACM SIGSOFT Outstanding Research Award
Social Events

19:00 - 22:30
19:00
3h30m
Dinner
Conference Banquet
Social Events

Fri 19 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
ICSE2024 Keynote 3 - Carol Smith & Award session: TCSE and SIGSOFTICSE Keynotes / Social Events at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto
09:00
30m
Awards
Award session: TCSE and SIGSOFT
Social Events
Ladan Tahvildari University of Waterloo, David Lo Singapore Management University, Marsha Chechik University of Toronto, Federica Sarro University College London
09:30
15m
Talk
Preview of ICSE2025
Social Events
Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Timothy Lethbridge University of Ottawa
09:45
45m
Keynote
Trustworthy by Design
ICSE Keynotes
K: Carol J. Smith Software Engineering Institute - Carnegie Mellon University, Margaret-Anne Storey University of Victoria
11:00 - 12:30
11:00
15m
Talk
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems
Research Track
Rongxin Wu School of Informatics, Xiamen University, Yuxuan He School of Informatics, Xiamen University, Jiafeng Huang School of Informatics, Xiamen University, Chengpeng Wang The Hong Kong University of Science and Technology, Wensheng Tang The Hong Kong University of Science and Technology, Qingkai Shi Nanjing University, Xiao Xiao Ant Group, Charles Zhang The Hong Kong University of Science and Technology
Pre-print
11:15
15m
Talk
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming
Research Track
Mohan Cui Fudan University, Mohan Cui Fudan University, Shuran Sun Fudan University, Hui Xu Fudan University, Yangfan Zhou Fudan University
11:30
15m
Talk
Unveiling Hurdles in Software Engineering Education: The Role of Learning Management Systems
Software Engineering Education and Training
Niklas Meissner University of Stuttgart, Nadine Koch University of Stuttgart, Sandro Speth Institute of Software Engineering, University of Stuttgart, Uwe Breitenbücher Reutlingen University, Steffen Becker University of Stuttgart
DOI File Attached
11:45
15m
Talk
Training for Security: Results from Using a SAT in the Development Pipeline of Web Apps
Software Engineering Education and Training
Sabato Nocera Department of Computer Science, University of Salerno, Simone Romano University of Salerno, Rita Francese University of Salerno, Giuseppe Scanniello University of Salerno
12:00
7m
Talk
Refinery: Graph Solver as a Service
Demonstrations
Kristóf Marussy Budapest University of Technology and Economics, Attila Ficsor Budapest University of Technology and Economics, Oszkár Semeráth Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University
DOI Pre-print Media Attached
12:07
7m
Talk
(Neo4j)^ Browser: Visualizing Variable-Aware Analysis Results
Demonstrations
Rafael F. Toledo University of Waterloo, Joanne M. Atlee University of Waterloo, Rui Ming Xiong University of Waterloo, Mingyu Liu University of Waterloo
DOI Media Attached
11:00 - 12:30
11:00
15m
Talk
Enhancing Exploratory Testing by Large Language Model and Knowledge Graph
Research Track
Yanqi Su Australian National University, Dianshu Liao Australian National University, Zhenchang Xing CSIRO's Data61, Qing Huang School of Computer Information Engineering, Jiangxi Normal University, Mulong Xie CSIRO's Data61, Qinghua Lu Data61, CSIRO, Xiwei (Sherry) Xu Data61, CSIRO
11:15
15m
Talk
LLMParser: An Exploratory Study on Using Large Language Models for Log Parsing
Research Track
Zeyang Ma Concordia University, An Ran Chen University of Alberta, Dong Jae Kim Concordia University, Tse-Hsun (Peter) Chen Concordia University, Shaowei Wang Department of Computer Science, University of Manitoba, Canada
11:30
15m
Talk
Enhancing Text-to-SQL Translation for Financial System Design
Software Engineering in Practice
Yewei Song University of Luxembourg, Saad Ezzini Lancaster University, Xunzhu Tang University of Luxembourg, Cedric Lothritz University of Luxembourg, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Andrey Boytsov Banque BGL BNP Paribas, Ulrick Ble Banque BGL BNP Paribas, Anne Goujon Banque BGL BNP Paribas
11:45
15m
Talk
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
Software Engineering in Practice
Zhehua Zhou University of Alberta, Jiayang Song University of Alberta, Xuan Xie University of Alberta, Zhan Shu University of Alberta, Lei Ma The University of Tokyo & University of Alberta, Dikai Liu NVIDIA AI Tech Centre, Jianxiong Yin NVIDIA AI Tech Centre, Simon See NVIDIA AI Tech Centre
Pre-print
12:00
15m
Talk
Let's Ask AI About Their Programs: Exploring ChatGPT's Answers To Program Comprehension Questions
Software Engineering Education and Training
Teemu Lehtinen Aalto University, Charles Koutcheme Aalto University, Arto Hellas Aalto University
Pre-print Media Attached File Attached
12:15
15m
Talk
Experience Report: Identifying common misconceptions and errors of novice programmers with ChatGPT
Software Engineering Education and Training
Hua Leong Fwa Singapore Management University
Media Attached
11:00 - 12:30
Analytics 4Demonstrations / Software Engineering in Practice / Journal-first Papers / Research Track at Amália Rodrigues
Chair(s): Gabriele Bavota Software Institute @ Università della Svizzera Italiana
11:00
15m
Research paper
Shedding Light on Software Engineering-specific Metaphors and Idioms
Research Track
Mia Mohammad Imran Virginia Commonwealth University, Preetha Chatterjee Drexel University, USA, Kostadin Damevski Virginia Commonwealth University
Pre-print
11:15
15m
Talk
MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating
Research Track
Jiakun Liu Singapore Management University, Zicheng Zhang School of Computing and Information Systems, Singapore Management University, Xing Hu Zhejiang University, Ferdian Thung Singapore Management University, Shahar Maoz Tel Aviv University, Debin Gao Singapore Management University, Eran Toch Tel Aviv University, Zhipeng Zhao Singapore Management University, David Lo Singapore Management University
11:30
15m
Talk
On the Costs and Benefits of Adopting Lifelong Learning for Software Analytics - Empirical Study on Brown Build and Risk Prediction
Software Engineering in Practice
Doriane Olewicki Queen's University, Sarra Habchi Ubisoft Montréal, Mathieu Nayrolles Ubisoft Montreal, Mojtaba Faramarzi Université de Montréal, Sarath Chandar Polytechnique Montréal, Bram Adams Queen's University
Pre-print
11:45
15m
Talk
An Ethnographic Study on the CI of A Large Scale Project
Software Engineering in Practice
Zikuan Wang Nanjing University, Bohan Liu Nanjing University, Zeye Zhan Nanjing University, He Zhang Nanjing University, Gongyuan Li Nanjing University
12:00
7m
Talk
An Empirical Study of Refactoring Rhythms and Tactics in the Software Development Process
Journal-first Papers
Shayan Noei Queen's University, Heng Li Polytechnique Montréal, Stefanos Georgiou Queen's University, Ying Zou Queen's University, Kingston, Ontario
12:07
7m
Talk
Insights into Software Development Approaches: Mining Q&A Repositories [Journal-first]
Journal-first Papers
Arif Ali Khan University of Oulu, Javed Ali Khan University of Hertforshire Hertfordshire, UK, Muhammad Azeem Akbar LUT University, Zhou Peng Nanjing University of Aeronautics and Astronautics Nanjing, China, Mahdi Fahmideh University of Southern Queensland, Arif Ali Khan University of Oulu, Arif Ali Khan University of Oulu
Link to publication DOI
12:14
7m
Talk
Can My Microservice Tolerate an Unreliable Database? Resilience Testing with Fault Injection and Visualization
Demonstrations
Michael Assad Technical University of Munich, Christopher S. Meiklejohn Carnegie Mellon University, Heather Miller Carnegie Mellon University and Two Sigma, Stephan Krusche Technical University of Munich
DOI Pre-print Media Attached
12:21
7m
Talk
CATMA: Conformance Analysis Tool For Microservice Applications
Demonstrations
Clinton Cao Delft University of Technology, Simon Schneider Hamburg University of Technology, Nicolás E. Díaz Ferreyra Hamburg University of Technology, Sicco Verwer TU Delft, Annibale Panichella Delft University of Technology, Riccardo Scandariato Hamburg University of Technology
Pre-print Media Attached
11:00 - 12:30
Security 4Research Track / Software Engineering in Practice at Eugénio de Andrade
Chair(s): Liliana Pasquale University College Dublin & Lero
11:00
15m
Talk
A User-centered Security Evaluation of Copilot
Research Track
Owura Asare University of Waterloo, Mei Nagappan University of Waterloo, N. Asokan University of Waterloo
11:15
15m
Talk
Identifying Affected Libraries and Their Ecosystems for Open Source Software Vulnerabilities
Research Track
Susheng Wu Fudan University, Wenyan Song Fudan University, Kaifeng Huang Tongji University, Bihuan Chen Fudan University, Xin Peng Fudan University
11:30
15m
Talk
Understanding Transaction Bugs in Database Systems
Research Track
Ziyu Cui Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Dong Wang Institute of software, Chinese academy of sciences, Jiansen Song Institute of Software Chinese Academy of Sciences, Yingying Zheng Institute of Software Chinese Academy of Sciences, Tao Wang Institute of Software at Chinese Academy of Sciences, Rui Yang Institute of Software, Chinese Academy of Sciences, Kang Xu University of Chinese Academy of Sciences, Nanjing, Yixin Hu Sun Yat-sen University, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Chongqing School, Tao Huang Institute of Software Chinese Academy of Sciences
Pre-print
11:45
15m
Talk
When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs
Research Track
Jiashuo Zhang Peking University, China, Jiachi Chen Sun Yat-sen University, Zhiyuan Wan Zhejiang University, Ting Chen University of Electronic Science and Technology of China, Jianbo Gao Peking University, Zhong Chen
12:00
15m
Talk
Industrial Challenges in Secure Continuous Development
Software Engineering in Practice
Fabiola Moyón Siemens Technology and Technical University of Munich, Florian Angermeir fortiss GmbH, Daniel Mendez Blekinge Institute of Technology and fortiss
Pre-print
12:15
15m
Talk
Automated Security Findings Management: A Case Study in Industrial DevOps
Software Engineering in Practice
Markus Voggenreiter Siemens Technology / LMU Munich, Florian Angermeir fortiss GmbH, Fabiola Moyón Siemens Technology and Technical University of Munich, Ulrich Schöpp fortiss GmbH, Pierre Bonvin Munich University of Applied Sciences
Pre-print
11:00 - 12:30
Testing: various bug types 2Research Track / Software Engineering in Practice at Fernando Pessoa
Chair(s): João F. Ferreira INESC-ID and IST, University of Lisbon
11:00
15m
Talk
Towards Finding Accounting Errors in Smart ContractsACM SIGSOFT Distinguished Paper Award
Research Track
Brian Zhang Purdue University
11:15
15m
Talk
MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems
Research Track
Xinyu Gao , Zhijie Wang University of Alberta, Yang Feng Nanjing University, Lei Ma The University of Tokyo & University of Alberta, Zhenyu Chen Nanjing University, Baowen Xu Nanjing University
Pre-print
11:30
15m
Talk
JLeaks: A Featured Resource Leak Repository Collected From Hundreds of Open-Source Java Projects
Research Track
Tianyang Liu Beijing Institute of Technology, Weixing Ji Beijing Institute of Technology, Xiaohui Dong Beijing Institute of Technology, Wuhuang Yao Beijing Institute of Technology, Yizhuo Wang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology, Haiyang Peng Beijing Institute of Technology, Yuxuan Wang Beijing Institute of Technology
11:45
15m
Talk
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles
Research Track
Trey Woodlief University of Virginia, Felipe Toledo , Sebastian Elbaum University of Virginia, Matthew B Dwyer University of Virginia
Pre-print
12:00
15m
Talk
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
Research Track
Zhiyang Chen University of Toronto, Sidi Mohamed Beillahi University of Toronto, Fan Long University of Toronto
Pre-print
12:15
15m
Talk
Hawkeye: Change-targeted Testing for Android Apps based on Deep Reinforcement Learning
Software Engineering in Practice
Chao Peng ByteDance, China, Zhengwei Lv ByteDance, Jiarong Fu ByteDance, Jiayuan Liang ByteDance, Zhao Zhang Bytedance Network Technology, Ajitha Rajan University of Edinburgh, Ping Yang Bytedance Network Technology
11:00 - 12:30
11:00
15m
Talk
MUT: Human-in-the-Loop Unit Test Migration
Research Track
Yi Gao Zhejiang University, Xing Hu Zhejiang University, Tongtong Xu Huawei, Xin Xia Huawei Technologies, David Lo Singapore Management University, Xiaohu Yang Zhejiang University
11:15
15m
Talk
Streamlining Java Programming: Uncovering Well-Formed Idioms with IdioMine
Research Track
Yanming Yang Zhejiang University, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, David Lo Singapore Management University, Xiaohu Yang Zhejiang University
11:30
15m
Talk
Fine-grained, accurate and scalable source differencing
Research Track
Jean-Rémy Falleri Bordeaux INP, Matias Martinez Universitat Politècnica de Catalunya (UPC)
11:45
15m
Talk
A Catalog of Unintended Software Dependencies in Multi-Lingual Systems at ASML
Software Engineering in Practice
Tom Groot Eindhoven University of Technology & ASML, Lina Ochoa Eindhoven University of Technology, Bogdan Lazar ASML, Jacob Krüger Eindhoven University of Technology
12:00
7m
Talk
Runtime Evolution of Bitcoin’s Consensus Rules
Journal-first Papers
Jakob Svennevik Notland Norwegian University of Science and Technology, Mariusz Nowostawski Norwegian University of Science and Technology, Jingyue Li Norwegian University of Science and Technology (NTNU)
12:07
7m
Talk
CfgNet: A Framework for Tracking Equality-Based Configuration Dependencies Across a Software Project
Journal-first Papers
Sebastian Simon Leipzig University, Nicolai Ruckel Secunet Security Networks AG, Norbert Siegmund Leipzig University
12:14
7m
Talk
Hyperparameter Optimization for AST Differencing
Journal-first Papers
Matias Martinez Universitat Politècnica de Catalunya (UPC), Jean-Rémy Falleri Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800, F-33400 Talence, France, Martin Monperrus KTH Royal Institute of Technology, Matias Martinez Universitat Politècnica de Catalunya (UPC), Matias Martinez Universitat Politècnica de Catalunya (UPC)
11:00 - 12:30
11:00
15m
Talk
How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project
Research Track
Yuxia Zhang Beijing Institute of Technology, Mian Qin Beijing Institute of Technology, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Minghui Zhou Peking University, Hui Liu Beijing Institute of Technology
Pre-print
11:15
15m
Talk
Barriers for Students During Code Change Comprehension
Research Track
Justin Middleton North Carolina State University, John-Paul Ore North Carolina State University, Kathryn Stolee North Carolina State University
11:30
15m
Talk
SERGE – Serious Game for the Education of Risk Management in Software Project Management
Software Engineering Education and Training
Giusy Annunziata University of Salerno, Stefano Lambiase University of Salerno, Fabio Palomba University of Salerno, Filomena Ferrucci University of Salerno
Pre-print
11:45
15m
Talk
Equitable Student Collaboration in Pair Programming
Software Engineering Education and Training
Isabella Graßl University of Passau, Gordon Fraser University of Passau
12:00
15m
Talk
Scalable Teaching of Software Engineering Theory and Practice: An Experience Report
Software Engineering Education and Training
12:15
7m
Talk
Relationship Between Diversity of Collaborative Group Members’ Race and Ethnicity and the Frequency of their Collaborative Contributions in GitHub
Journal-first Papers
Sheik Shameer University of Waterloo, Gema Rodríguez-Pérez University of British Columbia (UBC), Mei Nagappan University of Waterloo
12:22
7m
Talk
Does Code Review Speed Matter for Practitioners?
Journal-first Papers
Gunnar Kudrjavets Amazon Web Services, USA, Ayushi Rastogi University of Groningen, The Netherlands
Link to publication DOI Pre-print
11:00 - 12:30
Human and Social Aspects, and Requirements 2Research Track / Software Engineering in Society at Maria Helena Vieira da Silva
Chair(s): Silvia Abrahão Universitat Politècnica de València
11:00
15m
Talk
Novelty Begets Popularity, But Curbs Participation - A Macroscopic View of the Python Open-Source Ecosystem
Research Track
Hongbo Fang Carnegie Mellon University, Jim Herbsleb Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University
Pre-print
11:15
15m
Talk
Characterizing Software Maintenance Meetings: Information Shared, Discussion Outcomes, and Information Captured
Research Track
Adriana Meza Soria MIT-IBM Watson AI Lab, Taylor Lopez University of California, Irvine, Liz Seero Colorado College, Negin Mashhadi University of California, Irvine, Emily Evans Colorado College, Janet Burge Colorado College, André van der Hoek University of California, Irvine
Link to publication
11:30
15m
Talk
Predicting open source contributor turnover from value-related discussions: An analysis of GitHub issues
Research Track
Jack Jamieson NTT Social Informatics Laboratories, Naomi Yamashita NTT Communication Science Laboratories, Eureka Foong University of Tokyo
11:45
15m
Talk
On the Helpfulness of Answering Developer Questions on Discord with Similar Conversations and Posts from the Past
Research Track
Alexander Lill University of Zurich, André N. Meyer University of Zurich, Thomas Fritz University of Zurich
12:00
15m
Talk
Exploring Assessment Criteria for Sustainable Software Engineering Processes
Software Engineering in Society
Michael Wahler Zurich University of Applied Sciences (ZHAW), Norbert Seyff University of Applied Sciences and Arts Northwestern Switzerland FHNW, Maria Susana Soriano Ramirez Zurich University of Applied Sciences (ZHAW)
Pre-print
12:15
15m
Talk
Adaptive User Interfaces for Software Supporting Chronic Disease
Software Engineering in Society
Wei Wang Monash University, Hourieh Khalajzadeh Deakin University, Australia, John Grundy Monash University, Anuradha Madugalla Monash University, Australia, Humphrey Obie Monash University
Pre-print Media Attached
11:00 - 12:30
Testing with and for AI 1Research Track / Journal-first Papers / 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
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
Research Track
Neelofar Neelofar Monash University, Aldeida Aleti Monash University
11:30
15m
Talk
Learning-based Widget Matching for Migrating GUI Test Cases
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
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
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
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
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
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
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
Language Models and Generated Code 3Research Track / Demonstrations at Almada Negreiros
Chair(s): Jie M. Zhang King's College London
14:00
15m
Talk
CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models
Research Track
Hao Yu Peking University, Bo Shen Huawei Cloud Computing Technologies Co., Ltd., Dezhi Ran Peking University, Jiaxin Zhang Huawei Cloud Computing Technologies Co., Ltd., Qi Zhang Huawei Cloud Computing Technologies Co., Ltd., Yuchi Ma Huawei Cloud Computing Technologies CO., LTD., Guangtai Liang Huawei Cloud Computing Technologies, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University
14:15
15m
Talk
Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment
Research Track
Shibbir Ahmed Iowa State University, Hongyang Gao Dept. of Computer Science, Iowa State University, Hridesh Rajan Iowa State University
14:30
15m
Talk
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code
Research Track
Qihao Zhu Peking University, Qingyuan Liang Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Yingfei Xiong Peking University, Lu Zhang Peking University, Shengyu Cheng ZTE Corporation
14:45
15m
Talk
On Calibration of Pre-trained Code models
Research Track
Zhenhao Zhou Fudan University, Chaofeng Sha Fudan University, Xin Peng Fudan University
DOI Media Attached
15:00
15m
Talk
Learning in the Wild: Towards Leveraging Unlabeled Data for Effectively Tuning Pre-trained Code Models
Research Track
Shuzheng Gao , Wenxin Mao Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Li Li Beihang University, Xing Hu Zhejiang University, Xin Xia Huawei Technologies, Michael Lyu The Chinese University of Hong Kong
15:15
7m
Talk
GitHubInclusifier: Finding and fixing non-inclusive language in GitHub Repositories
Demonstrations
Liam Todd Monash University, John Grundy Monash University, Christoph Treude Singapore Management University
Pre-print Media Attached
14:00 - 15:30
LLM, NN and other AI technologies 6Software Engineering Education and Training / Research Track / Software Engineering in Practice at Grande Auditório
Chair(s): Bowen Xu North Carolina State University
14:00
15m
Talk
Make LLM a Testing Expert: Bringing Human-like Interaction to Mobile GUI Testing via Functionality-aware Decisions
Research Track
Zhe Liu Institute of Software, Chinese Academy of Sciences, Chunyang Chen Technical University of Munich (TUM), Junjie Wang Institute of Software, Chinese Academy of Sciences, Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Boyu Wu University of Chinese Academy of Sciences, Beijing, China, Xing Che Institute of Software, Chinese Academy of Sciences, Dandan Wang Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software, Chinese Academy of Sciences
14:15
15m
Talk
Automated Detection of AI-Obfuscated Plagiarism in Modeling Assignments
Software Engineering Education and Training
Timur Sağlam Karlsruhe Institute of Technology (KIT), Sebastian Hahner Karlsruhe Institute of Technology (KIT), Larissa Schmid Karlsruhe Institute of Technology, Erik Burger Karlsruhe Institute of Technology (KIT)
DOI Pre-print
14:30
15m
Talk
AI-Tutoring in Software Engineering Education
Software Engineering Education and Training
Eduard Frankford University of Innsbruck, Clemens Sauerwein University of Innsbruck, Patrick Bassner Technical University of Munich, Stephan Krusche Technical University of Munich, Ruth Breu University of Innsbruck
DOI Pre-print
14:45
15m
Talk
Beyond Functional Correctness: An Exploratory Study on the Time Efficiency of Programming Assignments
Software Engineering Education and Training
Yida Tao Southern University of Science and Technology, Wenyan Chen Southern University of Science and Technology, Qingyang Ye Southern University of Science and Technology, Yao Zhao Southern University of Science and Technology
15:00
15m
Talk
Does ChatGPT Help With Introductory Programming?An Experiment of Students Using ChatGPT in CS1
Software Engineering Education and Training
Yuankai Xue Vanderbilt University, Hanlin Chen Vanderbilt University, Gina Bai North Carolina State University, Robert Tairas Vanderbilt University, Yu Huang Vanderbilt University
15:15
15m
Talk
A New Frontier of AI: On-Device AI Training and Personalization
Software Engineering in Practice
Jijoong Moon Samsung Electronics, Hyun Suk Lee Samsung Electronics, Jiho Chu Samsung Electronics, Donghak Park Samsung Electronics, Seungbaek Hong Samsung Electronics, Hyungjun Seo Samsung Electronics, Donghyeon Jeong Samsung Electronics, Sungsik Kong Samsung Electronics, MyungJoo Ham Samsung Electronics
Pre-print
14:00 - 15:30
Analytics 5Research Track / Journal-first Papers at Amália Rodrigues
Chair(s): Sridhar Chimalakonda Indian Institute of Technology, Tirupati
14:00
15m
Talk
An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles
Research Track
Dinghua Wang , Shuqing Li The Chinese University of Hong Kong, Guanping Xiao Nanjing University of Aeronautics and Astronautics, Yepang Liu Southern University of Science and Technology, Yulei Sui UNSW, Pinjia He Chinese University of Hong Kong, Shenzhen, Michael Lyu The Chinese University of Hong Kong
14:15
15m
Talk
ModuleGuard: Understanding and Detecting Module Conflicts in Python Ecosystem
Research Track
Ruofan Zhu Zhejiang University, Xingyu Wang Zhejiang University, Chengwei Liu Nanyang Technological University, Zhengzi Xu Nanyang Technological University, Wenbo Shen Zhejiang University, China, Rui Chang Zhejiang University, Yang Liu Nanyang Technological University
14:30
15m
Talk
Empirical Analysis of Vulnerabilities Life Cycle in Golang Ecosystem
Research Track
Jinchang Hu , Lyuye Zhang Nanyang Technological University, Chengwei Liu Nanyang Technological University, Sen Yang Academy of Military Science, Song Huang Army Engineering University of PLA, Yang Liu Nanyang Technological University
14:45
15m
Talk
Fine-SE: Integrating Semantic Features and Expert Features for Software Effort Estimation
Research Track
Yue Li Nanjing University, Zhong Ren State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University Nanjing, Jiangsu, China, Zhiqi Wang State Key Laboratory of Novel Software Technology, Software Institute, Nanjing University Nanjing, Jiangsu, China, Lanxin Yang Nanjing University, Liming Dong Nanjing University, He Zhang Nanjing University
15:00
7m
Talk
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search
Journal-first Papers
Aren Babikian McGill University, Oszkár Semeráth Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University
15:07
7m
Talk
Technical leverage analysis in the Python ecosystem
Journal-first Papers
Ranindya Paramitha University of Trento, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam
15:14
7m
Talk
Automated Mapping of Adaptive App GUIs from Phones to TVs
Journal-first Papers
Han Hu Faculty of Information Technology, Monash University, ruiqi dong Swinburne University of Technology, John Grundy Monash University, Thai Minh Nguyen Monash University, huaxiao liu Jilin University, Chunyang Chen Technical University of Munich (TUM)
Link to publication DOI Pre-print
15:21
7m
Talk
Assessing the Early Bird Heuristic (for Predicting Project Quality)
Journal-first Papers
Shrikanth N C Oracle America Inc, Tim Menzies North Carolina State University
Link to publication DOI Pre-print
14:00 - 15:30
Vulnerability DetectionResearch Track at Eugénio de Andrade
Chair(s): Caroline Lemieux University of British Columbia
14:00
15m
Talk
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
Research Track
Yuqiang Sun Nanyang Technological University, Daoyuan Wu Nanyang Technological University, Yue Xue MetaTrust Labs, Han Liu East China Normal University, Haijun Wang Xi'an Jiaotong University, Zhengzi Xu Nanyang Technological University, Xiaofei Xie Singapore Management University, Yang Liu Nanyang Technological University
DOI Pre-print
14:15
15m
Talk
PrettySmart: Detecting Permission Re-delegation Vulnerability for Token Behaviors in Smart Contracts
Research Track
Zhijie Zhong School of Software Engineering, Sun Yat-sen University, Hong-Ning Dai Hong Kong Baptist University, Zibin Zheng Sun Yat-sen University, Qing Xue Sun Yat-sen University, Junjia Chen Sun Yat-sen University, Yuhong Nan Sun Yat-sen University
14:30
15m
Talk
Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction
Research Track
Huanting Wang University of Leeds, UK, Zhanyong Tang Northwest University, Shin Hwei Tan Concordia University, Jie Wang NorthWest University, Yuzhe Liu NorthWest University, Hejun Fang NorthWest University, Chunwei Xia University of Leeds, Zheng Wang University of Leeds
14:45
15m
Talk
SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network
Research Track
Feng Luo University of Electronic Science and Technology of China, Ruijie Luo University of Electronic Science and Technology of China, Ting Chen University of Electronic Science and Technology of China, Ao Qiao University of Electronic Science and Technology of China, Zheyuan He University of Electronic Science and Technology of China, Shuwei Song University of Electronic Science and Technology of China, Yu Jiang Tsinghua university, Sixing Li University of Electronic Science and Technology of China
15:00
15m
Talk
PS3: Precise Patch Presence Test based on Semantic Symbolic Signature
Research Track
Qi Zhan Zhejiang University, Xing Hu Zhejiang University, Zhiyang Li Zhejiang University, Xin Xia Huawei Technologies, David Lo Singapore Management University, Shanping Li Zhejiang University
15:15
15m
Talk
Safeguarding DeFi Smart Contracts against Oracle DeviationsACM SIGSOFT Distinguished Paper Award
Research Track
Xun Deng University of Toronto, Sidi Mohamed Beillahi University of Toronto, Cyrus Minwalla Bank of Canada, Han Du Bank of Canada, Andreas Veneris University of Toronto, Fan Long University of Toronto
14:00 - 15:30
14:00
15m
Talk
Testing Graph Database Systems via Equivalent Query Rewriting
Research Track
Qiuyang Mang The Chinese University of Hong Kong, Shenzhen, Aoyang Fang Chinese University of Hong Kong, Shenzhen, BoXi Yu The Chinese University of Hong Kong, Shenzhen, Hanfei Chen The Chinese University of Hong Kong, Shenzhen, Pinjia He Chinese University of Hong Kong, Shenzhen
14:15
15m
Talk
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
Research Track
Tobias Dürschmid Carnegie Mellon University, USA, Christopher Steven Timperley Carnegie Mellon University, David Garlan Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
DOI
14:30
15m
Talk
Finding XPath Bugs in XML Document Processors via Differential Testing
Research Track
Shuxin Li Southern University of Science and Technology, Manuel Rigger National University of Singapore
14:45
15m
Talk
Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer
Research Track
Jingzhou Fu School of Software, Tsinghua University, Jie Liang , Zhiyong Wu Tsinghua University, China, Yu Jiang Tsinghua University
15:00
15m
Talk
Automatically Detecting Reflow Accessibility Issues in Responsive Web Pages
Research Track
Paul T. Chiou University of Southern California, Robert Winn University of Southern California, Ali S. Alotaibi University of Southern California, William G.J. Halfond University of Southern California
Media Attached
15:15
7m
Talk
Simulation-based Testing of Unmanned Aerial Vehicles with Aerialist
Demonstrations
Sajad Khatiri USI-Lugnao & Zurich University of Applied Sciences, Sebastiano Panichella Zurich University of Applied Sciences, Paolo Tonella USI Lugano
DOI Pre-print
15:22
7m
Talk
eFish'nSea: Unity Game Set for Learning Software Performance Issues Root Causes and Resolutions
Software Engineering Education and Training
Andrew Quinlan Stevens Institute of Technology, Ryan Mercadante Stevens Institute of Technology, Vincent Tufo Stevens Institute of Technology, Jonathan Morrone Stevens Institute of Technology, Lu Xiao Stevens Institute of Technology
14:00 - 15:30
14:00
15m
Talk
Semantic GUI Scene Learning and Video Alignment for Detecting Duplicate Video-based Bug Reports
Research Track
Yanfu Yan William & Mary, Nathan Cooper William & Mary, Oscar Chaparro William & Mary, Kevin Moran University of Central Florida, Denys Poshyvanyk William & Mary
14:15
15m
Talk
The Classics Never Go Out of Style: An Empirical Study of Downgrades from the Bazel Build Technology
Research Track
Mahmoud Alfadel University of Waterloo, Shane McIntosh University of Waterloo
Pre-print
14:30
15m
Talk
Scaling Code Pattern Inference with Interactive What-If Analysis
Research Track
Hong Jin Kang UCLA, Kevin Wang UCLA, Miryung Kim UCLA and Amazon Web Services
14:45
15m
Talk
Context-Aware Name Recommendation for Field Renaming
Research Track
Chunhao Dong Beijing Institute of Technology, Yanjie Jiang Peking University, Nan Niu University of Cincinnati, Yuxia Zhang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology
15:00
7m
Talk
"Don’t Touch my Model!" Towards Managing Model History and Versions during Metamodel Evolution
New Ideas and Emerging Results
Marcel Homolka Institute for Software Systems Engineering, Johannes Kepler University, Linz, Luciano Marchezan Johannes Kepler University Linz, Wesley Assunção North Carolina State University, Alexander Egyed Johannes Kepler University Linz
Pre-print
15:07
7m
Talk
Challenges in Empirically Testing Memory Persistency Models
New Ideas and Emerging Results
Vasileios Klimis Queen Mary University of London, Alastair F. Donaldson Imperial College London, Viktor Vafeiadis MPI-SWS, John Wickerson Imperial College London, Azalea Raad Imperial College London
15:14
7m
Talk
AntiCopyPaster 2.0: Whitebox just-in-time code duplicates extraction
Demonstrations
Eman Abdullah AlOmar Stevens Institute of Technology, Benjamin Knobloch Stevens Institute of Technology, Thomas Kain Stevens Institute of Technology, Christopher Kalish Stevens Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint, Ali Ouni ETS Montreal, University of Quebec
14:00 - 15:30
14:00
15m
Talk
“I tend to view ads almost like a pestilence”: On the Accessibility Implications of Mobile Ads for Blind Users
Research Track
Ziyao He University of California, Irvine, Syed Fatiul Huq University of California, Irvine, Sam Malek University of California at Irvine
14:15
15m
Talk
Constructive Code Review: Managing the Impact of Interpersonal Conflicts in Practice
Software Engineering in Practice
Pavlina Wurzel Goncalves University of Zurich, Joao S. V. Goncalves University of Zurich, Alberto Bacchelli University of Zurich
14:30
15m
Talk
Motivating Open Source Collaborations Through Social Network Evaluation: A Gamification Practice from Alibaba
Software Engineering in Practice
Shengyu Zhao Tongji University, Xiaoya Xia East China Normal University, Brian Fitzgerald Lero - The Irish Software Research Centre and University of Limerick, Xiaozhou Li University of Oulu, Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu and Tampere University , Rong Wang Alibaba Group, will wang , Chunqi Tian Yongji University
14:45
15m
Talk
Objectives and Key Results in Software Teams: Challenges, Opportunities and Impact on Development
Software Engineering in Practice
Jenna L. Butler Microsoft Research, Thomas Zimmermann Microsoft Research, Christian Bird Microsoft Research
15:00
7m
Talk
Dealing with Data Challenges when Delivering Data-Intensive Software Solutions
Journal-first Papers
Ulrike Maria Graetsch , Hourieh Khalajzadeh Deakin University, Australia, Rashina Hoda Monash University, Mojtaba Shahin RMIT University, John Grundy Monash University
Link to publication DOI Pre-print
15:07
7m
Talk
What’s (Not) Working in Programmer User Studies?
Journal-first Papers
Matthew C. Davis Carnegie Mellon University, Emad Aghayi , Thomas LaToza George Mason University, Xiaoyin Wang University of Texas at San Antonio, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
Link to publication DOI
15:14
7m
Talk
Confirmation Bias and Time Pressure: A Family of Experiments in Software Testing
Journal-first Papers
Iflaah Salman Lappeenranta-Lahti University of Technology (LUT), Burak Turhan University of Oulu, Robert Ramač Faculty of Technical Sciences, University of Novi Sad, Vladimir Mandić Faculty of Technical Sciences, University of Novi Sad
14:00 - 15:30
14:00
15m
Talk
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data
Research Track
Felix Wallner Graz University of Technology, Institute of Software Technology, Bernhard Aichernig Graz University of Technology, Christian Burghard AVL List GmbH
Link to publication DOI
14:15
15m
Talk
Verifying Declarative Smart Contracts
Research Track
Haoxian Chen ShanghaiTech University, Lan Lu University of Pennsylvania, Brendan Massey University of Pennsylvania, Yuepeng Wang Simon Fraser University, Boon Thau Loo University of Pennsylvania
14:30
15m
Talk
Knowledge-aware Alert Aggregation in Large-scale Cloud Systems: a Hybrid Approach
Software Engineering in Practice
Jinxi Kuang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Renyi Zhong The Chinese University of Hong Kong, Jiazhen Gu The Chinese University of Hong Kong, Lan Yu Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Rui Tan Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Zengyin Yang Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Michael Lyu The Chinese University of Hong Kong
14:45
15m
Talk
Intelligent Monitoring Framework for Cloud Services: A Data-Driven Approach
Software Engineering in Practice
Pooja Srinivas Microsoft, Fiza Husain Microsoft, Anjaly Parayil Microsoft, Ayush Choure Microsoft, Chetan Bansal Microsoft Research, Saravan Rajmohan Microsoft
15:00
15m
Talk
FaultProfIT: Hierarchical Fault Profiling of Incident Tickets in Large-scale Cloud Systems
Software Engineering in Practice
Junjie Huang The Chinese University of Hong Kong, Jinyang Liu The Chinese University of Hong Kong, Zhuangbin Chen School of Software Engineering, Sun Yat-sen University, Zhihan Jiang The Chinese University of Hong Kong, Yichen LI The Chinese University of Hong Kong, Jiazhen Gu The Chinese University of Hong Kong, Cong Feng Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Zengyin Yang Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong
15:15
7m
Talk
Translating between SQL Dialects for Cloud Migration
Software Engineering in Practice
Ran Zmigrod JP Morgan - Chase, Salwa Alamir J.P. Morgan AI Research, Xiaomo Liu JP Morgan AI Research
15:22
7m
Talk
Designing Trustful Cooperation Ecosystems is Key to the New Space Exploration Era
New Ideas and Emerging Results
Renan Lima Baima University of Luxembourg, Loïck Chovet University of Luxembourg, Johannes Sedlmeir University of Luxembourg, Miguel A. Olivares-Mendez University of Luxembourg, Gilbert Fridgen University of Luxembourg
14:00 - 15:30
Testing with and for AI 2Journal-first Papers / Research Track / 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
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
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
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
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
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
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"
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
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
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
Demonstrations
Lev Sorokin fortiss, Tiziano Munaro fortiss, Damir Safin fortiss, Brian Hsuan-Cheng Liao DENSO AUTOMOTIVE, Adam Molin DENSO AUTOMOTIVE
16:00 - 17:30
Language Models and Generated Code 4New Ideas and Emerging Results / Research Track at Almada Negreiros
Chair(s): Shin Yoo Korea Advanced Institute of Science and Technology
16:00
15m
Talk
Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code
Research Track
Rangeet Pan IBM Research, Ali Reza Ibrahimzada University of Illinois Urbana-Champaign, Rahul Krishna IBM Research, Divya Sankar IBM Research, Lambert Pouguem Wassi IBM Research, Michele Merler IBM Research, Boris Sobolev IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Saurabh Sinha IBM Research, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
DOI Pre-print Media Attached
16:15
15m
Talk
Traces of Memorisation in Large Language Models for Code
Research Track
Ali Al-Kaswan Delft University of Technology, Netherlands, Maliheh Izadi Delft University of Technology, Arie van Deursen Delft University of Technology
Pre-print
16:30
15m
Talk
Language Models for Code Completion: A Practical Evaluation
Research Track
Maliheh Izadi Delft University of Technology, Jonathan Katzy Delft University of Technology, Tim van Dam Delft University of Technology, Marc Otten Delft University of Technology, Răzvan Mihai Popescu Delft University of Technology, Arie van Deursen Delft University of Technology
Pre-print
16:45
15m
Talk
Evaluating Large Language Models in Class-Level Code Generation
Research Track
Xueying Du Fudan University, Mingwei Liu Fudan University, Kaixin Wang Fudan University, Hanlin Wang Fudan University, Junwei Liu Huazhong University of Science and Technology, Yixuan Chen Fudan University, Jiayi Feng Fudan University, Chaofeng Sha Fudan University, Xin Peng Fudan University, Yiling Lou Fudan University
Pre-print
17:00
7m
Talk
Naturalness of Attention: Revisiting Attention in Code Language Models
New Ideas and Emerging Results
Mootez Saad Dalhousie University, Tushar Sharma Dalhousie University
Pre-print
17:07
7m
Talk
Towards Trustworthy AI Software Development Assistance
New Ideas and Emerging Results
Daniel Maninger TU Darmstadt, Krishna Narasimhan TU Darmstadt, Mira Mezini TU Darmstadt
DOI Pre-print
16:00 - 17:30
16:00
15m
Talk
Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning
Research Track
Yutong Wang University of California, Davis, Cindy Rubio-González University of California at Davis
16:15
15m
Talk
A Synthesis of Green Architectural Tactics for ML-Enabled Systems
Software Engineering in Society
Heli Järvenpää Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam, Justus Bogner Vrije Universiteit Amsterdam, Grace Lewis Carnegie Mellon Software Engineering Institute, Henry Muccini University of L'Aquila, Italy, Ipek Ozkaya Carnegie Mellon University
Pre-print
16:30
15m
Talk
Greening Large Language Models of Code
Software Engineering in Society
Jieke Shi Singapore Management University, Zhou Yang Singapore Management University, Hong Jin Kang UCLA, Bowen Xu North Carolina State University, Junda He Singapore Management University, David Lo Singapore Management University
Pre-print Media Attached
16:45
15m
Talk
Lessons from Building CodeBuddy: A Contextualized AI Coding Assistant
Software Engineering in Practice
Gustavo Pinto Federal University of Pará (UFPA) and Zup Innovation, Cleidson de Souza Federal University of Pará Belém, João Batista Cordeiro Neto Federal University of Santa Catarina and Zup Innovation, Alberto de Souza Zup Innovation, Tarcísio Gotto Zup Innovation, Edward Monteiro StackSpot
17:00
15m
Talk
CodeFuse-13B: A Pretrained Multi-lingual Code Large Language Model
Software Engineering in Practice
Peng Di Ant Group, Jianguo Li Ant Group, Hang Yu Ant Group, Wei Jiang Ant Group
17:15
7m
Talk
Breaking the Silence: the Threats of Using LLMs in Software Engineering
New Ideas and Emerging Results
June Sallou Delft University of Technology, Thomas Durieux TU Delft, Annibale Panichella Delft University of Technology
Pre-print
16:00 - 17:30
16:00
15m
Talk
Generating REST API Specifications through Static Analysis
Research Track
Ruikai Huang Georgia Institute of Technology, Manish Motwani Oregon State University, USA, Idel Martinez Georgia Institute of Technology, Alessandro Orso Georgia Institute of Technology
16:15
15m
Talk
Precise Sparse Abstract Execution via Cross-Domain Interaction
Research Track
16:30
15m
Talk
Teachers' Beliefs and Practices on the Naming of Variables in Introductory Python Programming Courses
Software Engineering Education and Training
Vivian van der Werf Leiden University, Alaaeddin Swidan Open University of the Netherlands, Felienne Hermans Vrije Universiteit Amsterdam, Marcus Specht Delft University of Technology, Efthimia Aivaloglou Delft University of Technology
16:45
7m
Talk
Automated Detection of Software Performance Antipatterns in Java-Based Applications
Journal-first Papers
Catia Trubiani Gran Sasso Science Institute, Riccardo Pinciroli Gran Sasso Science Institute, Andrea Biaggi University of Milano Bicocca, Francesca Arcelli Fontana University of Milano-Bicocca
16:52
7m
Talk
What really changes when developers intend to improve their source code: A commit-level study of static metric value and static analysis warning changes
Journal-first Papers
Alexander Trautsch University of Passau, Johannes Erbel University of Göttingen, Steffen Herbold University of Passau, Jens Grabowski University of Göttingen
16:59
7m
Talk
Emulation Tool For Android Edge Devices
Demonstrations
Lyla Naghipour Vijouyeh University of Oslo, Rodrigo Bruno INESC-ID, Instituto Superior Técnico, Universidade de Lisboa, Paulo Ferreira University of Oslo
16:00 - 17:30
Static Detection TechniquesSoftware Engineering in Practice / Research Track at Eugénio de Andrade
Chair(s): Valentina Lenarduzzi University of Oulu
16:00
15m
Talk
MalwareTotal: Multi-Faceted and Sequence-Aware Bypass Tactics against Static Malware Detection
Research Track
Shuai He Huazhong University of Science and Technology, Cai Fu Huazhong University of Science and Technology, Hong Hu Pennsylvania State University, Jiahe Chen Huazhong University of Science and Technology, Jianqiang Lv Huazhong University of Science and Technology, Shuai Jiang Huazhong University of Science and Technology
Link to publication
16:15
15m
Talk
Semantic-Enhanced Static Vulnerability Detection in Baseband FirmwareACM SIGSOFT Distinguished Paper Award
Research Track
Yiming Liu Institute of Information Engineering, Chinese Academy of Sciences, Cen Zhang Nanyang Technological University, Feng Li Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China, Yeting Li Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jianhua Zhou Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China, Jian Wang Institute of Information Engineering, Chinese Academy of Sciences, Lanlan Zhan Institute of Information Engineering, Chinese Academy of Sciences, Yang Liu Nanyang Technological University, Wei Huo Institute of Information Engineering at Chinese Academy of Sciences
16:30
15m
Talk
CSChecker: Revisiting GDPR and CCPA Compliance of Cookie Banners on the Web
Research Track
Mingxue Zhang Zhejiang University, Wei Meng Chinese University of Hong Kong, You Zhou Zhejiang University, Kui Ren Zhejiang University
16:45
15m
Talk
Raisin: Identifying Rare Sensitive Functions for Bug Detection
Research Track
Jianjun Huang Renmin University of China, Jianglei Nie Renmin University of China, Yuanjun Gong Renmin University of China, Wei You Renmin University of China, Bin Liang Renmin University of China, China, Pan Bian Huawei Technologies CO., LTD., China
17:00
15m
Talk
Broadly Enabling KLEE to Effortlessly Find Unrecoverable Errors in Rust
Software Engineering in Practice
Ying Zhang Virginia Tech, Peng Li Zoox, Yu Ding Google, Wang Lingxiang Microsoft, Dan Williams Virginia Tech, Na Meng Virginia Tech
Pre-print
17:15
15m
Talk
Inference for Ever-Changing Policy of Taint Analysis
Software Engineering in Practice
Wen-Hao Chiang Amazon Web Services, Peixuan Li Amazon Web Services, Qiang Zhou Amazon Web Services, Subarno Banerjee Amazon Web Services, Martin Schäf Amazon Web Services, Yingjun Lyu Amazon Web Services, Hoan Nguyen Amazon Web Services, Omer Tripp Amazon Web Services
16:00 - 17:30
Program Repair 4Journal-first Papers / Research Track at Fernando Pessoa
Chair(s): João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
16:00
15m
Talk
Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications
Research Track
Shaoheng Cao Nanjing University, Minxue Pan Nanjing University, Yu Pei The Hong Kong Polytechnic University, Wenhua Yang Nanjing University of Aeronautics and Astronautics, Tian Zhang Nanjing University, Linzhang Wang Nanjing University, Xuandong Li Nanjing University
16:15
15m
Talk
Exploring Experiences with Automated Program Repair in Practice
Research Track
Fairuz Nawer Meem George Mason University, Justin Smith Lafayette College, Brittany Johnson George Mason University
16:30
15m
Talk
PyTy: Repairing Static Type Errors in Python
Research Track
Yiu Wai Chow University of Stuttgart, Luca Di Grazia Università della Svizzera italiana (USI), Michael Pradel University of Stuttgart
Link to publication DOI Pre-print File Attached
16:45
15m
Talk
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation
Research Track
Wenzhang Yang University of Science and Technology of China, Linhai Song Programme Committee, Yinxing Xue University of Science and Technology of China
17:00
7m
Talk
Improving Automated Program Repair with Domain Adaptation
Journal-first Papers
Armin Zirak University of Calgary, Hadi Hemmati York University
17:07
7m
Talk
Invalidator: Automated Patch Correctness Assessment Via Semantic and Syntactic Reasoning
Journal-first Papers
Le-Cong Thanh The University of Melbourne, Duc-Minh Luong Hanoi University of Science and Technology, Xuan-Bach D. Le University of Melbourne, David Lo Singapore Management University, Nhat-Hoa Tran Hanoi University of Science and Technology, Quang-Huy Bui Hanoi University of Science and Technology, Quyet Thang Huynh Hanoi University of Science and Technology
Media Attached
16:00 - 17:30
16:00
15m
Talk
Cneps: A Precise Approach for Examining Dependencies among Third-Party C/C++ Open-Source Components
Research Track
Yoonjong Na Korea University, Seunghoon Woo Korea University, Joomyeong Lee Korea University, Heejo Lee Korea University
16:15
15m
Talk
A Study on the Pythonic Functional Constructs' Understandability
Research Track
Cyrine Zid École Polytechnique de Montréal, Fiorella Zampetti University of Sannio, Italy, Giulio Antoniol Ecole Polytechnique de Montreal, Massimiliano Di Penta University of Sannio, Italy
Pre-print
16:30
15m
Talk
Introducing Computer Science Undergraduate Students to DevOps Technologies from Software Engineering Fundamentals
Software Engineering Education and Training
Edgar Sarmiento-Calisaya , Alvaro Mamani-Aliaga Universidad Nacional de San Agustín de Arequipa, Julio Cesar Leite Federal University of Bahia (UFBA)
DOI
16:45
15m
Talk
Bridging the Theory-Practice Gap in a Maintenance Programming Course: An Experience Report
Software Engineering Education and Training
Sofia Ouhbi Uppsala University
17:00
7m
Talk
Deductive Software Architecture Recovery via Chain-of-thought Prompting
New Ideas and Emerging Results
Satrio Adi Rukmono , Lina Ochoa Eindhoven University of Technology, Michel Chaudron Eindhoven University of Technology, The Netherlands
17:07
7m
Talk
Reproducibility of Build Environments through Space and Time
New Ideas and Emerging Results
Julien Malka LTCI, Télécom Paris, Institut Polytechnique de Paris, France, Stefano Zacchiroli Télécom Paris, Polytechnic Institute of Paris, Théo Zimmermann Télécom Paris, Polytechnic Institute of Paris
Pre-print
17:14
7m
Talk
APICIA: An API Change Impact Analyzer for Android Apps
Demonstrations
Tarek Mahmud Texas State University, Meiru Che Central Queensland University, Jihan Rouijel Texas State University, Mujahid Khan Texas State University, Guowei Yang University of Queensland
17:21
7m
Talk
RAT: A Refactoring-Aware Tool for Tracking Code History
Demonstrations
Feifei Niu University of Ottawa, Junqian Shao Nanjing University, Chaofan Xu Nanjing University, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Wesley Assunção North Carolina State University, Liguo Huang Southern Methodist University, Chuanyi Li Nanjing University, Jidong Ge Nanjing University, Bin Luo Nanjing University, Alexander Egyed Johannes Kepler University Linz
16:00 - 17:30
16:00
15m
Talk
Property-Based Testing in PracticeACM SIGSOFT Distinguished Paper Award
Research Track
Harrison Goldstein University of Pennsylvania, Joseph W. Cutler University of Pennsylvania, Daniel Dickstein Jane Street, Benjamin C. Pierce University of Pennsylvania, Andrew Head University of Pennsylvania
16:15
15m
Talk
Navigating the Path of Women in Software Engineering: From Academia to Industry
Software Engineering in Society
Tatalina Oliveira CESAR School, Ann Barcomb Department of Electrical and Software Engineering, Schulich School of Engineering, University of Calgary, Ronnie de Souza Santos University of Calgary, Helda Barros CESAR School, Maria Teresa Baldassarre Department of Computer Science, University of Bari , Cesar França CESAR School
Pre-print
16:30
15m
Talk
Early Career Software Developers - Are You Sinking or Swimming?
Software Engineering in Society
Xin Zhao Seattle University, Narissa Tsuboi Seattle University
Pre-print Media Attached
16:45
15m
Talk
An experience report on the use of Active Learning in Empirical Software Engineering Education: Understanding the pros and cons from the student's perspective
Software Engineering Education and Training
Maria Alcimar Costa Meireles UFAM - Federal University of Amazonas, Sabrina Rocha UFAM - Federal University of Amazonas, José Carlos Maldonado Loggi Tecnologia and University of São Paulo - USP and, Tayana Conte Universidade Federal do Amazonas
17:00
15m
Talk
Teaching Software Ethics to Future Software Engineers
Software Engineering Education and Training
Aastha Pant Monash University, Simone Spiegler Monash University, Rashina Hoda Monash University, Jeremy Yoon Monash University, Nabeeb Yusuf Monash University, Tian Er Monash University, Shenyi Hu Monash University
17:15
7m
Talk
Mind the Gap: Gender, Micro-inequities and Barriers in Software Development
Journal-first Papers
Emitzá Guzmán Vrije Universiteit Amsterdam, Ricarda Anna-Lena Fischer Vrije Universiteit Amsterdam, Janey Kok Vrije Universiteit Amsterdam
16:00 - 17:30
16:00
18m
Talk
Recovering Trace Links Between Software Documentation And Code
Research Track
Jan Keim Karlsruhe Institute of Technology (KIT), Sophie Corallo Karlsruhe Institute of Technology (KIT), Dominik Fuchß Karlsruhe Institute of Technology, Tobias Hey Karlsruhe Institute of Technology (KIT), Tobias Telge Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology
Link to publication DOI Pre-print
16:18
18m
Talk
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
Research Track
Hui Gao Nanjing University, Hongyu Kuang Nanjing University, Wesley Assunção North Carolina State University, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Guoping Rong Nanjing University, He Zhang Nanjing University, Xiaoxing Ma State Key Laboratory for Novel Software Technology, Nanjing University, Alexander Egyed Johannes Kepler University Linz
Pre-print
16:36
18m
Talk
Towards Engineering Fair and Equitable Software Systems for Managing Low-Altitude Airspace Authorizations
Software Engineering in Society
Usman Gohar Dept. of Computer Science, Iowa State University, Michael Hunter Iowa State University, Agnieszka Marczak-Czajka University of Notre Dame, Robyn Lutz Iowa State University, Myra Cohen Iowa State University, Jane Cleland-Huang University of Notre Dame
DOI Pre-print
16:54
18m
Talk
What Can Requirements Engineering Do for Emerging System of Systems? Case of Smart Local Energy
Software Engineering in Society
Ruzanna Chitchyan University of Bristol
17:12
18m
Talk
API Governance at Scale
Software Engineering in Practice
Mak Ahmad UC Davis, JJ Geewax Meta, Andrew Macvean Google, Inc., David Karger MIT, Kwan-Liu Ma UC Davis
16:00 - 17:30
Testing of AI systemsResearch Track / Journal-first Papers at Sophia de Mello Breyner Andresen
Chair(s): Aldeida Aleti Monash University
16:00
15m
Talk
CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing
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
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
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
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
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
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
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
18:00 - 18:20
Closing cerimonySocial Events / ICSE Keynotes / SRC - ACM Student Research Competition at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto
18:00
10m
Talk
ICSE 2024 Closing
Social Events
Rui Abreu Meta & University of Porto, Ana Paiva INESC TEC, Faculty of Engineering, University of Porto, Arie van Deursen Delft University of Technology

Accepted Papers

Title
ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings
Research Track
Pre-print
A Comprehensive Study of Learning-based Android Malware Detectors under Challenging Environments
Research Track
A First Look at the Inheritance-Induced Redundant Test Execution
Research Track
A Framework For Inferring Properties of User-Defined Functions
Research Track
A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges
Research Track
Analyzing and Debugging Normative Requirements via Satisfiability CheckingACM SIGSOFT Distinguished Paper Award
Research Track
An Empirical Study of Data Disruption by Ransomware Attacks
Research Track
An Empirical Study on Low GPU Utilization of Deep Learning Jobs
Research Track
DOI Pre-print
An Empirical Study on Noisy Label Learning for Program Understanding
Research Track
Pre-print
An Empirical Study on Oculus Virtual Reality Applications: Security and Privacy Perspectives
Research Track
An Exploratory Investigation of Log Anomalies in Unmanned Aerial Vehicles
Research Track
Are Prompt Engineering and TODO Comments Friends or Foes? An Evaluation on GitHub Copilot
Research Track
Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
Research Track
Are Your Requests Your True Needs? Checking Excessive Data Collection in VPA App
Research Track
A Study on the Pythonic Functional Constructs' Understandability
Research Track
Pre-print
A Theory of Scientific Programming Efficacy
Research Track
Link to publication
Attention! Your Copied Data is Under Monitoring: A Systematic Study of Clipboard Usage in Android AppsACM SIGSOFT Distinguished Paper Award
Research Track
A User-centered Security Evaluation of Copilot
Research Track
Automated Program Repair, What Is It Good For? Not Absolutely Nothing!
Research Track
DOI Pre-print Media Attached
Automatically Detecting Reflow Accessibility Issues in Responsive Web Pages
Research Track
Media Attached
Automatic Semantic Augmentation of Language Model Prompts (for Code Summarization)
Research Track
DOI Pre-print
Barriers for Students During Code Change Comprehension
Research Track
BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching
Research Track
BinAug: Enhancing Binary Similarity Analysis with Low-Cost Input Repairing
Research Track
Block-based Programming for Two-Armed Robots: A Comparative Study
Research Track
DOI Pre-print Media Attached
BOMs Away! Inside the Minds of Stakeholders: A Comprehensive Study of Bills of Materials for Software Systems
Research Track
Pre-print
Breaking the Flow: A Study of Interruptions During Software Engineering ActivitiesACM SIGSOFT Distinguished Paper Award
Research Track
Pre-print
Causal Relationships and Programming Outcomes: A Transcranial Magnetic Stimulation ExperimentACM SIGSOFT Distinguished Paper Award
Research Track
CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation
Research Track
Pre-print
Characterizing Software Maintenance Meetings: Information Shared, Discussion Outcomes, and Information Captured
Research Track
Link to publication
ChatGPT Incorrectness Detection in Software Reviews
Research Track
DOI Pre-print
ChatGPT-Resistant Screening Instrument for Identifying Non-Programmers
Research Track
CIT4DNN: Generating Diverse and Rare Inputs for Neural Networks Using Latent Space Combinatorial Testing
Research Track
Cneps: A Precise Approach for Examining Dependencies among Third-Party C/C++ Open-Source Components
Research Track
Coca: Improving and Explaining Graph Neural Network-Based Vulnerability Detection Systems
Research Track
Media Attached File Attached
Co-Creation in Fully Remote Software Teams
Research Track
CoderEval: A Benchmark of Pragmatic Code Generation with Generative Pre-trained Models
Research Track
Code Search is All You Need? Improving Code Suggestions with Code SearchACM SIGSOFT Distinguished Paper Award
Research Track
Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction
Research Track
Compiler-directed Migrating API Callsite of Client Code
Research Track
Comprehensive Semantic Repair of Obsolete GUI Test Scripts for Mobile Applications
Research Track
Concrete Constraint Guided Symbolic Execution
Research Track
Pre-print
Constraint Based Program Repair for Persistent Memory Bugs
Research Track
Context-Aware Name Recommendation for Field Renaming
Research Track
CrashTranslator: Automatically Reproducing Mobile Application Crashes Directly from Stack Trace
Research Track
Cross-Inlining Binary Function Similarity Detection
Research Track
DOI Pre-print
Crossover in Parametric Fuzzing
Research Track
Pre-print Media Attached
CSChecker: Revisiting GDPR and CCPA Compliance of Cookie Banners on the Web
Research Track
Curiosity-Driven Testing for Sequential Decision-Making Process
Research Track
Data-Driven Evidence-Based Syntactic Sugar Design
Research Track
Dataflow Analysis-Inspired Deep Learning for Efficient Vulnerability Detection
Research Track
Pre-print
Deep Combination of CDCL(T) and Local Search for Satisfiability Modulo Non-Linear Integer Arithmetic Theory
Research Track
Deep Learning or Classical Machine Learning? An Empirical Study on Log-Based Anomaly Detection
Research Track
DeepLSH: Deep Locality-Sensitive Hash Learning for Fast and Efficient Near-Duplicate Crash Report Detection
Research Track
Deeply Reinforcing Android GUI Testing with Deep Reinforcement Learning
Research Track
DeepSample: DNN sampling-based testing for operational accuracy assessment
Research Track
Pre-print
DEMISTIFY: Identifying On-device Machine Learning Models Stealing and Reuse Vulnerabilities in Mobile Apps
Research Track
Demystifying and Detecting Misuses of Deep Learning APIs
Research Track
Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem
Research Track
DOI Pre-print Media Attached
Detecting Automatic Software Plagiarism via Token Sequence Normalization
Research Track
DOI Pre-print
Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation
Research Track
DOI Pre-print
Development in times of hype: How freelancers explore Generative AI?
Research Track
DOI Pre-print File Attached
DivLog: Log Parsing with Prompt Enhanced In-Context Learning
Research Track
Do Automatic Test Generation Tools Generate Flaky Tests?
Research Track
Pre-print
DocFlow: Extracting Taint Specifications from Software Documentation
Research Track
Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errors
Research Track
DSFM: Enhancing Functional Code Clone Detection with Deep Subtree Interactions
Research Track
ECFuzz: Effective Configuration Fuzzing for Large-Scale Systems
Research Track
DOI Media Attached File Attached
EDEFuzz: A Web API Fuzzer for Excessive Data ExposuresACM SIGSOFT Distinguished Paper Award
Research Track
Efficiently Trimming the Fat: Streamlining Software Dependencies with Java Reflection and Dependency Analysis
Research Track
EGFE: End-to-end Grouping of Fragmented Elements in UI Designs with Multimodal Learning
Research Track
Link to publication Pre-print Media Attached File Attached
Empirical Analysis of Vulnerabilities Life Cycle in Golang Ecosystem
Research Track
Empirical Study of the Docker Smells Impact on the Image Size
Research Track
Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning
Research Track
Enhancing Exploratory Testing by Large Language Model and Knowledge Graph
Research Track
Evaluating Code Summarization Techniques: A New Metric and an Empirical Characterization
Research Track
Evaluating Large Language Models in Class-Level Code Generation
Research Track
Pre-print
Exploiting Library Vulnerability via Migration Based Automating Test Generation
Research Track
Exploring Experiences with Automated Program Repair in Practice
Research Track
Exploring the Potential of ChatGPT in Automated Code Refinement: An Empirical Study
Research Track
Extrapolating Coverage Rate in Greybox Fuzzing
Research Track
DOI Pre-print
FAIR: Flow Type-Aware Pre-Training of Compiler Intermediate RepresentationsACM SIGSOFT Distinguished Paper Award
Research Track
Pre-print
Fairness Improvement with Multiple Protected Attributes: How Far Are We?
Research Track
Pre-print
Fast Deterministic Black-box Context-free Grammar Inference
Research Track
Pre-print Media Attached
Finding XPath Bugs in XML Document Processors via Differential Testing
Research Track
Fine-grained, accurate and scalable source differencing
Research Track
Fine-SE: Integrating Semantic Features and Expert Features for Software Effort Estimation
Research Track
FlakeSync: Automatically Repairing Async Flaky Tests
Research Track
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
Research Track
Pre-print
Fuzz4All: Universal Fuzzing with Large Language Models
Research Track
Pre-print
FuzzInMem: Fuzzing Programs via In-memory Structures
Research Track
FuzzSlice: Pruning False Positives in Static Analysis Warnings through Function-Level Fuzzing
Research Track
DOI Pre-print
GenderMag Improves Discoverability in the Field, Especially for WomenACM SIGSOFT Distinguished Paper Award
Research Track
Link to publication Pre-print
Generating REST API Specifications through Static Analysis
Research Track
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
Research Track
DOI Pre-print
GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code
Research Track
Hard to Read and Understand Pythonic Idioms? DeIdiom and Explain Them in Non-Idiomatic Equivalent CodeACM SIGSOFT Distinguished Paper Award
Research Track
High Expectations: An Observational Study of Programming and Cannabis Intoxication
Research Track
DOI Pre-print
How Are Paid and Volunteer Open Source Developers Different? A Study of the Rust Project
Research Track
Pre-print
How do Developers Talk about GitHub Actions? Evidence from Online Software Development Community
Research Track
How Far Are We? The Triumphs and Trials of Generative AI in Learning Software Engineering
Research Track
Pre-print
How to Support ML End-User Programmers through a Conversational Agent
Research Track
DOI Authorizer link
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation
Research Track
Pre-print
Identifying Affected Libraries and Their Ecosystems for Open Source Software Vulnerabilities
Research Track
Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
Research Track
Improving Testing Behavior by Gamifying IntelliJ
Research Track
DOI Pre-print
Inferring Data Preconditions from Deep Learning Models for Trustworthy Prediction in Deployment
Research Track
Investigating White-Box Attacks for On-Device Models
Research Track
Is unsafe an Achilles' Heel? A Comprehensive Study of Safety Requirements in Unsafe Rust Programming
Research Track
“I tend to view ads almost like a pestilence”: On the Accessibility Implications of Mobile Ads for Blind Users
Research Track
ITER: Iterative Neural Repair for Multi-Location Patches
Research Track
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data
Research Track
Link to publication DOI
JLeaks: A Featured Resource Leak Repository Collected From Hundreds of Open-Source Java Projects
Research Track
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
Research Track
Knowledge Graph Driven Inference Testing for Question Answering Software
Research Track
KnowLog: Knowledge Enhanced Pre-trained Language Model for Log Understanding
Research Track
Language Models for Code Completion: A Practical Evaluation
Research Track
Pre-print
Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries
Research Track
Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning
Research Track
DOI Pre-print
Large Language Models for Test-Free Fault Localization
Research Track
Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data
Research Track
Learning-based Widget Matching for Migrating GUI Test Cases
Research Track
Learning in the Wild: Towards Leveraging Unlabeled Data for Effectively Tuning Pre-trained Code Models
Research Track
Less is More? An Empirical Study on Configuration Issues in Python PyPI Ecosystem
Research Track
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems
Research Track
Pre-print
LibvDiff: Library Version Difference Guided OSS Version Identification in Binaries
Research Track
LLMParser: An Exploratory Study on Using Large Language Models for Log Parsing
Research Track
LogShrink: Effective Log Compression by Leveraging Commonality and Variability of Log Data
Research Track
Pre-print
Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code
Research Track
DOI Pre-print Media Attached
Machine Learning is All You Need: A Simple Token-based Approach for Effective Code Clone Detection
Research Track
MAFT: Efficient Model-Agnostic Fairness Testing for Deep Neural Networks via Zero-Order Gradient Search
Research Track
Make LLM a Testing Expert: Bringing Human-like Interaction to Mobile GUI Testing via Functionality-aware Decisions
Research Track
MalCertain: Enhancing Deep Neural Network Based Android Malware Detection by Tackling Prediction Uncertainty
Research Track
MalwareTotal: Multi-Faceted and Sequence-Aware Bypass Tactics against Static Malware Detection
Research Track
Link to publication
Marco: A Stochastic Asynchronous Concolic Explorer
Research Track
Pre-print
MetaLog: Generalizable Cross-System Anomaly Detection from Logs with Meta-Learning
Research Track
MiniMon: Minimizing Android Applications with Intelligent Monitoring-Based Debloating
Research Track
Mining Pull Requests to Detect Process Anomalies in Open Source Software Development
Research Track
Modularizing while Training: a New Paradigm for Modularizing DNN ModelsACM SIGSOFT Distinguished Paper Award
Research Track
Pre-print
ModuleGuard: Understanding and Detecting Module Conflicts in Python Ecosystem
Research Track
MotorEase: Automated Detection of Motor Impairment Accessibility Issues in Mobile App UIs
Research Track
Mozi: Discovering DBMS Bugs via Configuration-Based Equivalent Transformation
Research Track
MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems
Research Track
Pre-print
MUT: Human-in-the-Loop Unit Test Migration
Research Track
“My GitHub Sponsors profile is live!” Investigating the Impact of Twitter/X Mentions on GitHub Sponsors
Research Track
Pre-print Media Attached
Novelty Begets Popularity, But Curbs Participation - A Macroscopic View of the Python Open-Source Ecosystem
Research Track
Pre-print
NuzzleBug: Debugging Block-Based Programs in Scratch
Research Track
Pre-print
Object Graph Programming
Research Track
On Calibration of Pre-trained Code models
Research Track
DOI Media Attached
On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study
Research Track
On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities
Research Track
Pre-print
On the Helpfulness of Answering Developer Questions on Discord with Similar Conversations and Posts from the Past
Research Track
On Using GUI Interaction Data to Improve Text Retrieval-based Bug Localization
Research Track
Optimistic Prediction of Synchronization-Reversal Data Races
Research Track
Out of Context: How important is Local Context in Neural Program Repair?
Research Track
Out of Sight, Out of Mind: Better Automatic Vulnerability Repair by Broadening Input Ranges and Sources
Research Track
PonziGuard: Detecting Ponzi Schemes on Ethereum with Contract Runtime Behavior Graph (CRBG)
Research Track
PPT4J: Patch Presence Test for Java Binaries
Research Track
Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms
Research Track
Practical Program Repair via Preference-based Ensemble Strategy
Research Track
Precise Sparse Abstract Execution via Cross-Domain Interaction
Research Track
Predicting open source contributor turnover from value-related discussions: An analysis of GitHub issues
Research Track
Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning
Research Track
Pre-training by Predicting Program Dependencies for Vulnerability Analysis Tasks
Research Track
PrettySmart: Detecting Permission Re-delegation Vulnerability for Token Behaviors in Smart Contracts
Research Track
Prism: Decomposing Program Semantics for Code Clone Detection through Compilation
Research Track
Programming Assistant for Exception Handling with CodeBERT
Research Track
Prompting Is All Your Need: Automated Android Bug Replay with Large Language Models
Research Track
Property-Based Testing in PracticeACM SIGSOFT Distinguished Paper Award
Research Track
PS3: Precise Patch Presence Test based on Semantic Symbolic Signature
Research Track
PyAnalyzer: An Effective and Practical Approach for Dependency Extraction from Python Code
Research Track
Media Attached
PyTy: Repairing Static Type Errors in Python
Research Track
Link to publication DOI Pre-print File Attached
Raisin: Identifying Rare Sensitive Functions for Bug Detection
Research Track
ReClues: Representing and indexing failures in parallel debugging with program variables
Research Track
Recovering Trace Links Between Software Documentation And Code
Research Track
Link to publication DOI Pre-print
REDriver: Runtime Enforcement for Autonomous Vehicles
Research Track
Pre-print
ReFAIR: Toward a Context-Aware Recommender for Fairness Requirements Engineering
Research Track
Pre-print
Reorder Pointer Flow in Sound Concurrency Bug Prediction
Research Track
Resource Usage and Optimization Opportunities in Workflows of GitHub Actions
Research Track
Pre-print
Revealing Hidden Threats: An Empirical Study of Library Misuse in Smart Contracts
Research Track
Revisiting Android App Categorization
Research Track
Ripples of a Mutation — An Empirical Study of Propagation Effects in Mutation Testing
Research Track
DOI
RogueOne: Detecting Rogue Updates via Differential Data-flow Analysis Using Trust Domains
Research Track
DOI Pre-print
ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems
Research Track
DOI
RPG: Rust Library Fuzzing with Pool-based Fuzz Target Generation and Generic Support
Research Track
DOI Pre-print
RUNNER: Responsible UNfair NEuron Repair for Enhancing Deep Neural Network Fairness
Research Track
Rust-lancet: Automated Ownership-Rule-Violation Fixing with Behavior Preservation
Research Track
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles
Research Track
Pre-print
Safeguarding DeFi Smart Contracts against Oracle DeviationsACM SIGSOFT Distinguished Paper Award
Research Track
Scalable Relational Analysis via Relational Bound Propagation
Research Track
DOI Pre-print
Scaling Code Pattern Inference with Interactive What-If Analysis
Research Track
SCTrans: Constructing a Large Public Scenario Dataset for Simulation Testing of Autonomous Driving Systems
Research Track
SCVHunter: Smart Contract Vulnerability Detection Based on Heterogeneous Graph Attention Network
Research Track
Sedar: Obtaining High-Quality Seeds for DBMS Fuzzing via Cross-DBMS SQL Transfer
Research Track
Semantic Analysis of Macro Usage for Portability
Research Track
Link to publication DOI Pre-print Media Attached File Attached
Semantic-Enhanced Static Vulnerability Detection in Baseband FirmwareACM SIGSOFT Distinguished Paper Award
Research Track
Semantic GUI Scene Learning and Video Alignment for Detecting Duplicate Video-based Bug Reports
Research Track
Shedding Light on Software Engineering-specific Metaphors and Idioms
Research Track
Pre-print
Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
Research Track
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
Research Track
Streamlining Java Programming: Uncovering Well-Formed Idioms with IdioMine
Research Track
Strengthening Supply Chain Security with Fine-grained Safe Patch Identification
Research Track
Supporting Web-based API Searches in the IDE Using Signatures
Research Track
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
Research Track
Pre-print
Tensor-Aware Energy Accounting
Research Track
DOI Pre-print
Testing Graph Database Systems via Equivalent Query Rewriting
Research Track
Testing the Limits: Unusual Text Inputs Generation for Mobile App Crash Detection with Large Language Model
Research Track
The Classics Never Go Out of Style: An Empirical Study of Downgrades from the Bazel Build Technology
Research Track
Pre-print
Toward Automatically Completing GitHub Workflows
Research Track
Pre-print
Toward Improved Deep Learning-based Vulnerability Detection
Research Track
Pre-print
Towards Causal Deep Learning for Vulnerability Detection
Research Track
Towards Finding Accounting Errors in Smart ContractsACM SIGSOFT Distinguished Paper Award
Research Track
Towards More Practical Automation of Vulnerability Assessment
Research Track
Towards Reliable AI: Adequacy Metrics for Ensuring the Quality of System-level Testing of Autonomous Vehicles
Research Track
Trace-based Multi-Dimensional Root Cause Localization of Performance Issues in Microservice Systems
Research Track
TRACED: Execution-aware Pre-training for Source Code
Research Track
Traces of Memorisation in Large Language Models for Code
Research Track
Pre-print
Translation Validation for JIT Compiler in the V8 JavaScript Engine
Research Track
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
Research Track
Pre-print
Uncovering the Causes of Emotions in Software Developer Communication Using Zero-shot LLMs
Research Track
Pre-print
Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts
Research Track
Understanding Transaction Bugs in Database Systems
Research Track
Pre-print
UniLog: Automatic Logging via LLM and In-Context Learning
Research Track
Unraveling the Drivers of Sense of Belonging in Software Delivery Teams: Insights from a Large-Scale Survey
Research Track
Pre-print
Unveiling Memorization in Code Models
Research Track
Unveiling the Life Cycle of User Feedback: Best Practices from Software Practitioners
Research Track
Using an LLM to Help With Code Understanding
Research Track
VeRe: Verification Guided Synthesis for Repairing Deep Neural Networks
Research Track
Verifying Declarative Smart Contracts
Research Track
VGX: Large-Scale Sample Generation for Boosting Learning-Based Software Vulnerability Analyses
Research Track
When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs
Research Track
When Neural Code Completion Models Size up the Situation: Attaining Cheaper and Faster Completion through Dynamic Model Inference
Research Track
Pre-print
Where is it? Tracing the Vulnerability-relevant Files from Vulnerability Reports
Research Track
Xpert: Empowering Incident Management with Query Recommendations via Large Language Models
Research Track

Call for papers

The International Conference on Software Engineering (ICSE) is the premier forum for presenting and discussing the most recent and significant technical research contributions in the field of Software Engineering. In the research track, we invite high-quality submissions of technical research papers describing original and unpublished results of software engineering research.

Please note the following important changes for 2024:

  1. In 2024, ICSE will follow a dual deadline structure for submission of papers. In other words, submissions will occur in two cycles. This is the most important change. Please refer to the section on Dual Submission Cycles in the following for the information.

  2. For each paper submitted to Research track in ICSE 2024, authors will need to choose one of seven focus areas. Please see the section on Research Areas in the following.

Research Areas

ICSE welcomes submissions addressing topics across the full spectrum of Software Engineering, being inclusive of quantitative, qualitative, and mixed-methods research. Topics of interest include the following and are grouped into the following seven research areas.

Each submission will need to indicate one of these seven areas as the chosen area. Optionally, the authors can consider adding an additional area. A paper may be moved from the chosen area(s) to another focus area at the discretion of the program chairs. Program chairs will ultimately assign a paper to an area chair, considering the authors’ selection, the paper’s content, and other factors such as (if applicable) possible conflicts of interest.

AI and software engineering, Auto-coding

  • SE for Machine learning systems
  • Machine learning for SE tasks
  • Recommender systems
  • Autonomic systems and self-healing systems
  • Program synthesis
  • Program repair
  • AI for DevOps
  • Code generation from machine learning models

Analytics

  • Mining software repositories, communication platforms, and novel software engineering data sources
  • Apps and app store analysis
  • Software ecosystems
  • Configuration management
  • Software visualization
  • Data-driven user experience understanding and improvement
  • Data driven decision making in software engineering

Dependability and Security

  • Formal methods
  • Model Checking
  • Reliability and Safety
  • Vulnerability detection to enhance software security
  • System design to enhance software security
  • Privacy, Robustness, Fairness: Checking and Enforcement
  • Embedded and cyber-physical systems: modeling and validation

Evolution

  • Evolution and maintenance
  • API design and evolution
  • Release engineering and DevOps
  • Software reuse
  • Refactoring and program differencing
  • Program comprehension
  • Reverse engineering
  • Environments and software development tools
  • Traceability to understand evolution

Human and Social aspects

  • Human and organizational aspects of software engineering
  • Interaction in programming environments and software engineering tools
  • Distributed and collaborative software engineering
  • Agile methods and software processes
  • Software economics
  • Community-based software engineering (e.g., open source, crowdsourcing)
  • Ethics in software engineering
  • Green and sustainable technologies
  • Research on diversity, inclusion and social issues in software engineering

Requirements and modeling

  • Requirements Engineering (incl. non-functional requirements)
  • Design for quality, including privacy and security by design
  • Feedback, user and requirements management
  • Modelling and Model-Driven Engineering
  • Software Architecture and Design
  • Variability and product lines
  • Systems and software traceability
  • Software services and cloud-based systems

Testing and analysis

  • Software testing
  • Program analysis
  • Debugging and fault localization
  • Programming languages: developer-centric issues
  • Automated test generation techniques such as search and symbolic execution
  • Testing and analysis of non-functional properties
  • GUI testing
  • Mobile application testing

Scope

Since the authors will choose an area for their submission, the scope of each area becomes important. Some submissions may relate to multiple areas. In such cases, the authors should choose the area for which their paper brings the maximum new insights. Moreover, authors also have the choice of indicating an alternate area for each paper.

Similarly, for certain papers. authors may have a question whether it belongs to any area, or it is simply out of scope. For such cases, we recommend the authors to judge whether their paper brings new insights for software engineering. As an example, a formal methods paper with a focus on hardware verification may be deemed out of scope for ICSE. In general, papers which only peripherally concern software engineering and do not give new insights from the software engineering perspective would be less relevant to ICSE. Our goal is however to be descriptive, rather than prescriptive, to enable authors to make their own decisions about relevance.

Dual Submission Cycles – New for ICSE 2024

Since ICSE 2024 will have a different timeline from previous ICSEs, we request authors to kindly take note of the dates. The dates for the two submission cycles are as follows

First submission cycle

  • Submission: March 29, 2023
  • Notification: June 2, 2023
  • Revision due: July 10, 2023
  • Final Decisions: August 24, 2023
  • Camera-ready: Sept 15, 2023

Second submission cycle

  • Submission: August 1, 2023
  • Notification: October 10, 2023
  • Revision due: Nov 17, 2023
  • Final Decisions: Dec 15, 2023
  • Camera ready: Jan 12, 2024

Papers accepted for the first submission cycle of ICSE 24 will be available in the ACM and IEEE Digital Libraries after the camera-ready deadline of September 15 2023. Once papers have been reviewed, authors will be able to see the full reviews, including the reviewer scores. There is no rebuttal phase for either cycle.

Review Criteria

Each paper submitted to the Research Track will be evaluated based on the following criteria:

i) Novelty: The novelty and innovativeness of contributed solutions, problem formulations, methodologies, theories and/or evaluations, i.e., the extent to which the paper is sufficiently original with respect to state-of-the-art.

ii) Rigor: The soundness, clarity and depth of a technical or theoretical contribution, and the level of thoroughness and completeness of an evaluation.

iii) Relevance: The significance and/or potential impact of the research to the field of software engineering.

iv) Verifiability and Transparency: The extent to which the paper includes sufficient information to understand how an innovation works; to understand how data was obtained, analyzed, and interpreted; and how the paper supports independent verification or replication of the paper’s claimed contributions. Any artifacts attached to or linked from the paper may be checked by one reviewer.

v) Presentation: The clarity of the exposition in the paper.

Reviewers will carefully consider all of the above criteria during the review process, and authors should take great care in clearly addressing them all. The paper should clearly explain and justify the claimed contributions. Each paper will be handled by an area chair who will ensure reviewing consistency among papers submitted within that area.

The outcome of each paper will be one of the following Accept, Conditional Accept, Revision, Reject. Note that papers which are Accepted straight-away may still involve changes by authors in the camera-ready version, but these changes will not be checked any further by PC. We now elaborate the Conditional Accept and the Revision outcomes in the following.

Conditional Accept

Authors of papers receiving a Conditional Accept decision are expected to submit the revised papers with changes marked in a different color, such as using LaTeXdiff. The authors also need to submit an “Author Response” document capturing the authors’ response to each reviewer comment and how those comments were addressed in the revision. This is similar to the “Summary of Changes and Response” document that is typically submitted by authors for a journal paper major revision. The reviewers will check the revised paper against the original paper and the suggested changes. Conditional Accepts will be checked by only one member of the Program Committee, and this will be done in one pass. We expect all papers receiving Conditional Accept to be accepted, even though this is not guaranteed.

Revisions

Papers submitted can go through revisions in response to specific revision requests made by the reviewers. Authors of papers receiving a Revision decision are expected to submit the revised papers with changes marked in a different color, such as using LaTeXdiff. The authors also need to submit an “Author Response” document capturing the authors’ response to each reviewer comment and how those comments were addressed in the revision. This is similar to the “Summary of Changes and Response” document that is typically submitted by authors for a journal paper major revision. Authors may use the revision opportunity to revise and improve the paper, but should not use this to submit a substantially different paper. The reviewers will check the revised paper against the original paper and the suggested changes. Revised papers will be examined by the same set of reviewers. An unsatisfactory revised paper will be rejected.

Re-submissions of rejected papers

Authors of papers which receive a REJECT decision in the first submission cycle are strongly discouraged from re-submitting it to the second submission cycle. However, in exceptional cases where the authors feel that the reviewers misunderstood their paper, authors can re-submit their paper to the second submission cycle with a “Clarifications and Summary of Improvements” document stating how they have changed the paper. They should also include the past reviews as part of this document, for completeness. These papers will be treated as new submissions which may or may not get the same set of reviewers at the discretion of the PC chairs. Authors who try to bypass this guideline (e.g., by changing the paper title without significantly changing paper content, or by making small changes to the paper content) will have their papers desk-rejected by the PC chairs without further consideration. Papers rejected from the first or second submission cycle of ICSE2024 can be submitted to ICSE2025 without any restrictions.

Submission Process

All authors should use the official “ACM Primary Article Template”, as can be obtained from the ACM Proceedings Template page. LaTeX users should use the sigconf option, as well as the review (to produce line numbers for easy reference by the reviewers) and anonymous (omitting author names) options. To that end, the following LaTeX code can be placed at the start of the LaTeX document:

\documentclass[sigconf,review,anonymous]{acmart}

\acmConference[ICSE 2024]{46th International Conference on Software Engineering}{April 2024}{Lisbon, Portugal}

  • All submissions must not exceed 10 pages for the main text, inclusive of all figures, tables, appendices, etc. Two more pages containing only references are permitted. All submissions must be in PDF. Accepted papers will be allowed one extra page for the main text of the camera-ready version.
  • Submissions must strictly conform to the ACM conference proceedings formatting instructions specified above. Alterations of spacing, font size, and other changes that deviate from the instructions may result in desk rejection without further review.
  • By submitting to the ICSE Research Track, authors acknowledge that they are aware of and agree to be bound by the ACM Policy and Procedures on Plagiarism and the IEEE Plagiarism FAQ. Papers submitted to ICSE 2024 must not have been published elsewhere and must not be under review or submitted for review elsewhere whilst under consideration for ICSE 2024. Contravention of this concurrent submission policy will be deemed a serious breach of scientific ethics, and appropriate action will be taken in all such cases. To check for double submission and plagiarism issues, the chairs reserve the right to (1) share the list of submissions with the PC Chairs of other conferences with overlapping review periods and (2) use external plagiarism detection software, under contract to the ACM or IEEE, to detect violations of these policies.
  • By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM's new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.
  • Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.
  • The ICSE 2024 Research Track will employ a double-anonymous review process. Thus, no submission may reveal its authors’ identities. The authors must make every effort to honor the double-anonymous review process. In particular:
    • Authors’ names must be omitted from the submission.
    • All references to the author’s prior work should be in the third person.
    • While authors have the right to upload preprints on ArXiV or similar sites, they must avoid specifying that the manuscript was submitted to ICSE 2024.
    • During review, authors should not publicly use the submission title. They should thus use a different paper title for any pre-print in arxiv or similar websites.
  • Further advice, guidance, and explanation about the double-anonymous review process can be found in the Q&A page from prior ICSEs.
  • By submitting to the ICSE Research Track, authors acknowledge that they conform to the authorship policy of the ACM, and the authorship policy of the IEEE.

Submissions to the Technical Track that meet the above requirements can be made via the Research Track submission site by the submission deadline. Any submission that does not comply with these requirements may be desk rejected without further review.

Submission site (second cycle August 2023): https://icse2024.hotcrp.com/

We encourage the authors to upload their paper info early (and can submit the PDF later) to properly enter conflicts for double-anonymous reviewing. It is the sole responsibility of the authors to ensure that the formatting guidelines, double anonymous guidelines, and any other submission guidelines are met at the time of paper submission.

Open Science Policy

The research track of ICSE 2024 is governed by the ICSE 2024 Open Science policies. The guiding principle is that all research results should be accessible to the public and, if possible, empirical studies should be reproducible. In particular, we actively support the adoption of open artifact and open source principles. We encourage all contributing authors to disclose (anonymized and curated) data/artifacts to increase reproducibility and replicability. Note that sharing research artifacts is not mandatory for submission or acceptance. However, sharing is expected to be the default, and non-sharing needs to be justified. We recognize that reproducibility or replicability is not a goal in qualitative research and that, similar to industrial studies, qualitative studies often face challenges in sharing research data. For guidelines on how to report qualitative research to ensure the assessment of the reliability and credibility of research results, see this previously curated Q&A page.

Upon submission to the research track, authors are asked

  • to make their artifact available to the program committee (via upload of supplemental material or a link to an anonymous repository) – and provide instructions on how to access this data in the paper; or

  • to include in the paper an explanation as to why this is not possible or desirable; and

  • to indicate why they do not intend to make their data or study materials publicly available upon acceptance, if that is the case. The default understanding is that the data and/or other artifacts will be publicly available upon acceptance of a paper.

Withdrawing a Paper

Authors can withdraw their paper at any moment until the final decision has been made, through the paper submission system. Resubmitting the paper to another venue before the final decision has been made without withdrawing from ICSE 2024 first is considered a violation of the concurrent submission policy, and will lead to automatic rejection from ICSE 2024 as well as any other venue adhering to this policy. Such violations may also be reported to appropriate organizations e.g. ACM and IEEE.

Conference Attendance Expectation

If a submission is accepted, at least one author of the paper is required to register for ICSE 2024 and present the paper. We are assuming that the conference will be in-person, and if it is virtual or hybrid, virtual presentations may be possible. These matters will be discussed with authors closer to the date of the conference.