KLEE 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 2024
VenueCentro Cultural de Belém
Room name Grande Auditório
Capacity933
Room InformationNo extra information available
Program

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

Mon 15 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
11:00
12m
Talk
Enhancing Performance Bug Prediction Using Performance Code Metrics
MSR Technical Papers
Guoliang Zhao Computer Science of Queen's University, Stefanos Georgio , Safwat Hassan University of Toronto, Canada, Ying Zou Queen's University, Kingston, Ontario, Derek Truong IBM Canada, Toby Corbin IBM UK
11:12
12m
Talk
CrashJS: A NodeJS Benchmark for Automated Crash Reproduction
MSR Technical Papers
Philip Oliver Victoria University of Wellington, Jens Dietrich Victoria University of Wellington, Craig Anslow Victoria University of Wellington, Michael Homer Victoria University of Wellington
11:24
12m
Talk
An Empirical Study on Just-in-time Conformal Defect Prediction
MSR Technical Papers
Xhulja Shahini paluno - University of Duisburg-Essen, Andreas Metzger University of Duisburg-Essen, Klaus Pohl
11:36
12m
Talk
Fine-Grained Just-In-Time Defect Prediction at the Block Level in Infrastructure-as-Code (IaC)
MSR Technical Papers
Mahi Begoug , Moataz Chouchen ETS, Ali Ouni ETS Montreal, University of Quebec, Eman Abdullah AlOmar Stevens Institute of Technology, Mohamed Wiem Mkaouer University of Michigan - Flint
11:48
4m
Talk
TrickyBugs: A Dataset of Corner-case Bugs in Plausible Programs
MSR Data and Tool Showcase Track
Kaibo Liu Peking University, Yudong Han Peking University, Yiyang Liu Peking University, Zhenpeng Chen Nanyang Technological University, Jie M. Zhang King's College London, Federica Sarro University College London, Gang Huang Peking University, Yun Ma Peking University
11:52
4m
Talk
GitBugs-Java: A Reproducible Java Benchmark of Recent Bugs
MSR Data and Tool Showcase Track
André Silva KTH Royal Institute of Technology, Nuno Saavedra INESC-ID and IST, University of Lisbon, Martin Monperrus KTH Royal Institute of Technology
11:56
4m
Talk
A Dataset of Partial Program Fixes
MSR Data and Tool Showcase Track
Dirk Beyer LMU Munich, Lars Grunske Humboldt-Universität zu Berlin, Matthias Kettl LMU Munich, Marian Lingsch-Rosenfeld LMU Munich, Moeketsi Raselimo Humboldt-Universität zu Berlin
12:00
4m
Talk
BugsPHP: A dataset for Automated Program Repair in PHP
MSR Data and Tool Showcase Track
K.D. Pramod University of Moratuwa, Sri Lanka, W.T.N. De Silva University of Moratuwa, Sri Lanka, W.U.K. Thabrew University of Moratuwa, Sri Lanka, Ridwan Salihin Shariffdeen National University of Singapore, Sandareka Wickramanayake University of Moratuwa, Sri Lanka
Pre-print
12:04
4m
Talk
AW4C: A Commit-Aware C Dataset for Actionable Warning Identification
MSR Data and Tool Showcase Track
Zhipeng Liu , Meng Yan Chongqing University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Dong Li , Xiaohong Zhang Chongqing University, Dan Yang Chongqing University
12:08
5m
Talk
Predicting the Impact of Crashes Across Release Channels
MSR Industry Track
Suhaib Mujahid Mozilla, Diego Costa Concordia University, Canada, Marco Castelluccio Mozilla
12:13
5m
Talk
Zero Shot Learning based Alternatives for Class Imbalanced Learning Problem in Enterprise Software Defect Analysis
MSR Industry Track
Sangameshwar Patil Dept. of CSE, IIT Madras and TRDDC, TCS, B Ravindran IITM
14:00 - 15:30
Software QualityMSR Technical Papers / MSR Registered Reports / MSR Data and Tool Showcase Track at Grande Auditório
Chair(s): Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada
14:00
12m
Talk
Not all Dockerfile Smells are the Same: An Empirical Evaluation of Hadolint Writing Practices by Experts
MSR Technical Papers
Giovanni Rosa University of Molise, Simone Scalabrino University of Molise, Gregorio Robles Universidad Rey Juan Carlos, Rocco Oliveto University of Molise
14:12
12m
Talk
Supporting High-Level to Low-Level Requirements Coverage Reviewing with Large Language Models
MSR Technical Papers
Anamaria-Roberta Hartl Johannes Kepler University Linz, Christoph Mayr-Dorn JOHANNES KEPLER UNIVERSITY LINZ, Atif Mashkoor Johannes Kepler University Linz, Alexander Egyed Johannes Kepler University Linz
DOI Authorizer link Pre-print
14:24
12m
Talk
On the Executability of R Markdown Files
MSR Technical Papers
Md Anaytul Islam Lakehead University, Muhammad Asaduzzman University of Windsor, Shaowei Wang Department of Computer Science, University of Manitoba, Canada
14:36
12m
Talk
APIstic: A Large Collection of OpenAPI Metrics
MSR Technical Papers
souhaila serbout Software Institute @ USI, Cesare Pautasso Software Institute, Faculty of Informatics, USI Lugano
14:48
6m
Talk
Improving Automated Code Reviews: Learning From Experience
MSR Technical Papers
Hong Yi Lin The University of Melbourne, Patanamon Thongtanunam University of Melbourne, Christoph Treude Singapore Management University, Wachiraphan (Ping) Charoenwet The University of Melbourne
14:55
4m
Talk
Multi-faceted Code Smell Detection at Scale using DesigniteJava 2.0
MSR Data and Tool Showcase Track
Tushar Sharma Dalhousie University
Pre-print
14:59
4m
Talk
SATDAUG - A Balanced and Augmented Dataset for Detecting Self-Admitted Technical Debt
MSR Data and Tool Showcase Track
Edi Sutoyo Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Andrea Capiluppi University of Groningen
15:03
4m
Talk
Curated Email-Based Code Reviews Datasets
MSR Data and Tool Showcase Track
Mingzhao Liang The University of Melbourne, Wachiraphan (Ping) Charoenwet The University of Melbourne, Patanamon Thongtanunam University of Melbourne
15:07
4m
Talk
TestDossier: A Dataset of Tested Values Automatically Extracted from Test Execution
MSR Data and Tool Showcase Track
Pre-print Media Attached
15:11
4m
Talk
Greenlight: Highlighting TensorFlow APIs Energy Footprint
MSR Data and Tool Showcase Track
Saurabhsingh Rajput Dalhousie University, Maria Kechagia University College London, Federica Sarro University College London, Tushar Sharma Dalhousie University
Pre-print
15:15
5m
Talk
When Code Smells Meet ML: On the Lifecycle of ML-specific Code Smells in ML-enabled Systems
MSR Registered Reports
Gilberto Recupito University of Salerno, Giammaria Giordano University of Salerno, Filomena Ferrucci University of Salerno, Dario Di Nucci University of Salerno, Fabio Palomba University of Salerno
15:20
5m
Talk
Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
MSR Registered Reports
Simon Schneider Hamburg University of Technology, Alexander Bakhtin University of Oulu, Xiaozhou Li University of Oulu, Jacopo Soldani University of Pisa, Italy, Antonio Brogi Università di Pisa, Tomas Cerny University of Arizona, Riccardo Scandariato Hamburg University of Technology, Davide Taibi University of Oulu and Tampere University
16:00 - 17:30
Machine learning for Software EngineeringMSR Technical Papers at Grande Auditório
Chair(s): Diego Costa Concordia University, Canada
16:00
12m
Talk
Whodunit: Classifying Code as Human Authored or GPT-4 Generated - A case study on CodeChef problems
MSR Technical Papers
Oseremen Joy Idialu University of Waterloo, Noble Saji Mathews University of Waterloo, Canada, Rungroj Maipradit University of Waterloo, Joanne M. Atlee University of Waterloo, Mei Nagappan University of Waterloo
DOI Pre-print
16:12
12m
Talk
GIRT-Model: Automated Generation of Issue Report Templates
MSR Technical Papers
Nafiseh Nikehgbal Sharif University of Technology, Amir Hossein Kargaran LMU Munich, Abbas Heydarnoori Bowling Green State University
DOI Pre-print
16:24
12m
Talk
MicroRec: Leveraging Large Language Models for Microservice Recommendation
MSR Technical Papers
Ahmed Saeed Alsayed University of Wollongong, Hoa Khanh Dam University of Wollongong, Chau Nguyen University of Wollongong
16:36
12m
Talk
PeaTMOSS: A Dataset and Initial Analysis of Pre-Trained Models in Open-Source Software
MSR Technical Papers
Wenxin Jiang Purdue University, Jerin Yasmin Queen's University, Canada, Jason Jones Purdue University, Nicholas Synovic Loyola University Chicago, Jiashen Kuo Purdue University, Nathaniel Bielanski Purdue University, Yuan Tian Queen's University, Kingston, Ontario, George K. Thiruvathukal Loyola University Chicago and Argonne National Laboratory, James C. Davis Purdue University
DOI Pre-print
16:48
12m
Talk
Data Augmentation for Supervised Code Translation Learning
MSR Technical Papers
Binger Chen Technische Universität Berlin, Jacek golebiowski Amazon AWS, Ziawasch Abedjan Leibniz Universität Hannover
17:00
12m
Talk
On the Effectiveness of Machine Learning-based Call-Graph Pruning: An Empirical Study
MSR Technical Papers
Amir Mir Delft University of Technology, Mehdi Keshani Delft University of Technology, Sebastian Proksch Delft University of Technology
Pre-print
17:12
12m
Talk
Leveraging GPT-like LLMs to Automate Issue Labeling
MSR Technical Papers
Giuseppe Colavito University of Bari, Italy, Filippo Lanubile University of Bari, Nicole Novielli University of Bari, Luigi Quaranta University of Bari, Italy
Pre-print

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Keynote and TutorialMSR Tutorials / MSR Keynotes at Grande Auditório
Chair(s): Romain Robbes
09:00
45m
Keynote
Questioning the questions we ask about the impact of AI on software engineering
MSR Keynotes
Margaret-Anne Storey University of Victoria
09:45
45m
Talk
Open Source Software Digital Sociology: Quantifying and Managing Complex Open Source Software Ecosystem
MSR Tutorials
Minghui Zhou Peking University, Yuxia Zhang Beijing Institute of Technology, Xin Tan Beihang University
11:00 - 12:30
11:00
12m
Talk
Unveiling ChatGPT's Usage in Open Source Projects: A Mining-based Study
MSR Technical Papers
Rosalia Tufano Università della Svizzera Italiana, Antonio Mastropaolo Università della Svizzera italiana, Federica Pepe University of Sannio, Ozren Dabic Software Institute, Università della Svizzera italiana (USI), Switzerland, Massimiliano Di Penta University of Sannio, Italy, Gabriele Bavota Software Institute @ Università della Svizzera Italiana
11:12
12m
Talk
DRMiner: A Tool For Identifying And Analyzing Refactorings In Dockerfile
MSR Technical Papers
Emna Ksontini University of Michigan - Dearborn, Aycha Abid Oakland University, Rania Khalsi University of Michigan - Flint, Marouane Kessentini University of Michigan - Flint
11:24
12m
Talk
A Large-Scale Empirical Study of Open Source License Usage: Practices and Challenges
MSR Technical Papers
Jiaqi Wu Zhejiang University, Lingfeng Bao Zhejiang University, Xiaohu Yang Zhejiang University, Xin Xia Huawei Technologies, Xing Hu Zhejiang University
11:36
12m
Talk
Analyzing the Evolution and Maintenance of ML Models on Hugging Face
MSR Technical Papers
Joel Castaño Fernández Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech, Xavier Franch Universitat Politècnica de Catalunya, Justus Bogner Vrije Universiteit Amsterdam
Link to publication Pre-print
11:48
12m
Talk
On the Anatomy of Real-World R Code for Static Analysis
MSR Technical Papers
Florian Sihler Ulm University, Lukas Pietzschmann Ulm University, Raphael Straub Ulm University, Matthias Tichy Ulm University, Germany, Andor Diera Ulm University, Abdelhalim Dahou GESIS Leibniz Institute for the Social Sciences
Pre-print File Attached
12:00
6m
Talk
Encoding Version History Context for Better Code Representation
MSR Technical Papers
Huy Nguyen The University of Melbourne, Christoph Treude Singapore Management University, Patanamon Thongtanunam University of Melbourne
Pre-print
12:06
4m
Talk
CodeLL: A Lifelong Learning Dataset to Support the Co-Evolution of Data and Language Models of Code
MSR Data and Tool Showcase Track
Martin Weyssow DIRO, Université de Montréal, Claudio Di Sipio University of L'Aquila, Davide Di Ruscio University of L'Aquila, Houari Sahraoui DIRO, Université de Montréal
12:10
4m
Talk
Bidirectional Paper-Repository Tracing in Software Engineering
MSR Data and Tool Showcase Track
Daniel Garijo , Miguel Arroyo Universidad Politécnica de Madrid, Esteban González Guardia Universidad Politécnica de Madrid, Christoph Treude Singapore Management University, Nicola Tarocco CERN
12:14
4m
Talk
DistilKaggle: A Distilled Dataset of Kaggle Jupyter Notebooks
MSR Data and Tool Showcase Track
Mojtaba Mostafavi Department of Computer Engineering of Sharif University of Technology, Arash Asgari Department of Computer Engineering of Sharif University of Technology, Mohammad Abolnejadian Department of Computer Engineering of Sharif University of Technology, Abbas Heydarnoori Bowling Green State University
12:18
5m
Talk
Estimating Usage of Open Source Projects
MSR Industry Track
Sophia Vargas Google LLC, Georg Link Bitergia, JaYoung Lee Google
14:00 - 15:30
Security and Vision & ReflectionMSR Data and Tool Showcase Track / MSR Technical Papers / MSR Registered Reports / MSR Vision and Reflection at Grande Auditório
Chair(s): Tim Menzies North Carolina State University
14:00
12m
Talk
Quantifying Security Issues in Reusable JavaScript Actions in GitHub Workflows
MSR Technical Papers
Hassan Onsori Delicheh University of Mons, Belgium, Alexandre Decan University of Mons; F.R.S.-FNRS, Tom Mens University of Mons
Pre-print
14:12
12m
Talk
What Can Self-Admitted Technical Debt Tell Us About Security? A Mixed-Methods Study
MSR Technical Papers
Nicolás E. Díaz Ferreyra Hamburg University of Technology, Mojtaba Shahin RMIT University, Mansooreh Zahedi The Univeristy of Melbourne, Sodiq Quadri Hamburg University of Technology, Riccardo Scandariato Hamburg University of Technology
Pre-print
14:24
12m
Talk
Are Latent Vulnerabilities Hidden Gems for Software Vulnerability Prediction? An Empirical Study
MSR Technical Papers
Triet Le The University of Adelaide, Xiaoning Du Monash University, Australia, Muhammad Ali Babar School of Computer Science, The University of Adelaide
14:36
4m
Talk
MalwareBench: Malware samples are not enough
MSR Data and Tool Showcase Track
Nusrat Zahan North Carolina State University, Philipp Burckhardt Socket, Inc, Mikola Lysenko Socket, Inc, Feross Aboukhadijeh Socket, Inc, Laurie Williams North Carolina State University
14:40
4m
Talk
Hash4Patch: A Lightweight Low False Positive Tool for Finding Vulnerability Patch Commits
MSR Data and Tool Showcase Track
Simone Scalco University of Trento, Ranindya Paramitha University of Trento
14:44
4m
Talk
MegaVul: A C/C++ Vulnerability Dataset with Comprehensive Code Representations
MSR Data and Tool Showcase Track
Chao Ni School of Software Technology, Zhejiang University, Liyu Shen Zhejiang University, Xiaohu Yang Zhejiang University, Yan Zhu Zhejiang University, Shaohua Wang Central University of Finance and Economics
Pre-print
14:48
5m
Talk
Analyzing and Mitigating (with LLMs) the Security Misconfigurations of Helm Charts from Artifact Hub
MSR Registered Reports
Francesco Minna Vrije Universiteit Amsterdam, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam, Katja Tuma Vrije Universiteit Amsterdam
14:53
5m
Talk
Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices
MSR Registered Reports
Francesco Salzano University of Molise, Simone Scalabrino University of Molise, Rocco Oliveto University of Molise, Remo Pareschi University of Molise
15:00
30m
Talk
Then, Now, and Next: Constants in Changing MSR Research Landscape
MSR Vision and Reflection
Ayushi Rastogi University of Groningen, The Netherlands
16:00 - 17:30
Day 2: ClosingMSR Awards / MSR Vision and Reflection at Grande Auditório
Chair(s): Alberto Bacchelli University of Zurich
16:00
30m
Talk
MSR in the age of LLMs
MSR Vision and Reflection
Christoph Treude Singapore Management University
16:30
30m
Talk
Idealists and Pragmatists—An Only Somewhat Self-Indulgent Reflection on the Development of an MSR Paper (and Researcher)
MSR Vision and Reflection
Shane McIntosh University of Waterloo
17:00
30m
Day closing
Closing session
MSR Awards
Diomidis Spinellis Athens University of Economics and Business & Delft University of Technology, Olga Baysal

Wed 17 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
ICSE2024 Opening & Keynote 1 - Rupak MajumdarICSE Keynotes / ICSE Social Events at Grande Auditório
Chair(s): Rui Abreu Meta & University of Porto
09:00
45m
Talk
ICSE2024 Opening
ICSE 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 1ICSE Research Track / ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE Journal-first Papers
Jiayang Song University of Alberta, Xuan Xie University of Alberta, Lei Ma The University of Tokyo & University of Alberta
DOI
14:00 - 15:30
Security 1ICSE Research Track / ICSE 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
ICSE 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?
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
16:00 - 17:30
Security 2ICSE Research Track / ICSE Software Engineering in Practice / ICSE Journal-first Papers / ICSE 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)
ICSE 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
ICSE 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
ICSE 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
ICSE Software Engineering in Practice
17:00
7m
Talk
Software in the Manufacturing Industry: Emerging Security Challenge Areas for IIoT Platforms
ICSE 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
ICSE 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
ICSE New Ideas and Emerging Results
Kostyantyn Vorobyov Oracle Labs, François Gauthier Oracle Labs, Paddy Krishnan Oracle Labs, Australia

Thu 18 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
ICSE2024 Keynote 2 - Martin Rinard & SEIP Keynote: Soumith ChintalaICSE Keynotes / ICSE 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
Do Automatic Test Generation Tools Generate Flaky Tests?
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE Software Engineering in Practice
Dan Zheng Google DeepMind, Koushik Sen Google DeepMind
Pre-print
12:15
7m
Talk
Mutation Analysis for Evaluating Code Translation
ICSE 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
ICSE 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
14:00 - 15:30
14:00
15m
Talk
Concrete Constraint Guided Symbolic Execution
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE Journal-first Papers
Xianhao Jin ByteDance, Francisco Servant ITIS Software, University of Malaga
16:00 - 17:30
MIP Award / SIGSOFT Outstanding Award / Harlan D. MIlls AwardMost Influential Paper ICSE N-10ICSE Social Events / ICSE Keynotes / ICSE 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
ICSE Social Events

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

17:00
30m
Awards
ACM SIGSOFT Outstanding Research Award
ICSE 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 / ICSE 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
ICSE 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
ICSE 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
Enhancing Exploratory Testing by Large Language Model and Knowledge Graph
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE Software Engineering Education and Training
Hua Leong Fwa Singapore Management University
Media Attached
14:00 - 15:30
LLM, NN and other AI technologies 6ICSE Software Engineering Education and Training / ICSE Research Track / ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
16:00 - 17:30
16:00
15m
Talk
Predicting Performance and Accuracy of Mixed-Precision Programs for Precision Tuning
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE New Ideas and Emerging Results
June Sallou Delft University of Technology, Thomas Durieux TU Delft, Annibale Panichella Delft University of Technology
Pre-print
17:30 - 18:00
Awards (Distinguished Papers, Reviewers, ACM Student Research Competition Awards)ICSE Social Events / ICSE 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
17:30
10m
Talk
Distinguished Papers
ICSE Social Events

17:40
10m
Talk
Distinguished Reviewers
ICSE Social Events

17:50
10m
Talk
ACM Student Research Competition Awards
ICSE SRC - ACM Student Research Competition

18:00 - 18:20
Closing cerimonyICSE Social Events / ICSE Keynotes / ICSE 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
ICSE 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

Mon 15 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grande Auditório

Tue 16 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grande Auditório

Wed 17 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grande Auditório

Thu 18 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Grande Auditório

Fri 19 Apr

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Grande Auditório