MSR 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 2024
VenueCentro Cultural de Belém
Room nameMaria Helena Vieira da Silva
Capacity34
Room Information

100

Program

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

Sun 14 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Keynote 1SATrends at Maria Helena Vieira da Silva
Chair(s): Davide Taibi University of Oulu and Tampere University
09:00
90m
Keynote
Keynote: Playing with Abstractions: Can LLMs be Architects New Best Friend?
SATrends
K: Karthik Vaidhyanathan IIIT Hyderabad
16:00 - 17:30
Keynote 2SATrends at Maria Helena Vieira da Silva
Chair(s): Henry Muccini University of L'Aquila, Italy
16:00
90m
Keynote
Keynote 2
SATrends
Henry Muccini University of L'Aquila, Italy

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Opening & KeynoteKLEE at Maria Helena Vieira da Silva
Chair(s): Cristian Cadar Imperial College London
09:00
30m
Day opening
Opening Remarks
KLEE
Cristian Cadar Imperial College London
09:30
46m
Keynote
Software Complexity, Path Complexity, and Branch Selectivity
KLEE
Tevfik Bultan University of California at Santa Barbara
11:00 - 12:30
State Merging & PostersKLEE at Maria Helena Vieira da Silva
Chair(s): Alessandro Orso Georgia Institute of Technology
11:00
22m
Talk
State Merging for Concolic Testing of Event-driven Applications
KLEE
P: Maarten Vandercammen , Coen De Roover Vrije Universiteit Brussel
11:22
22m
Talk
State Merging with Quantifiers in Symbolic Execution
KLEE
P: David Trabish Tel Aviv University, Noam Rinetzky Tel Aviv University, Sharon Shoham Tel Aviv University, Vaibhav Sharma Amazon
DOI
11:50
5m
Poster
FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers
KLEE
P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology
11:55
5m
Poster
Input Grammar Oriented Symbolic Execution
KLEE
Ke Ma , Yunlai Luo National University of Defense Technology, P: Weijiang Hong National University of Defense Technology, Changsha, China, Zhenbang Chen National University of Defense Technology, Yufeng Zhang Hunan University, Ji Wang
12:00
5m
Poster
Mixed Fixed-point and Floating-point Symbolic Execution
KLEE
P: Thom Hughes Imperial College London, Daniel Schemmel Imperial College London, Martin Nowack Imperial College London, Cristian Cadar Imperial College London
12:05
5m
Poster
SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines
KLEE
Golla Monika Rani , P: Sangharatna Godboley National Institute of Technology Warangal, Joxan Jaffar National University of Singapore, Rasool Maghareh Huawei
12:10
5m
Poster
Towards Complete Fuzzing with KLEE
KLEE
Kanika Gupta National Institute of Technology, Warangal, P: Sangharatna Godboley National Institute of Technology Warangal
12:15
5m
Poster
TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition Interpolation
KLEE
P: Arpita Dutta National University of Singapore, Rasool Maghareh Huawei, Joxan Jaffar National University of Singapore
12:20
5m
Talk
Exploring Complexity Estimation with Symbolic Execution and Large Language Models
KLEE
Adrians Skapars University of Manchester, Youcheng Sun The University of Manchester, Yannic Noller Singapore University of Technology and Design, P: Corina Pasareanu
14:00 - 15:30
Grammars, Concurrency, Mocking and ConstraintsKLEE at Maria Helena Vieira da Silva
Chair(s): Abhik Roychoudhury National University of Singapore
14:00
22m
Talk
Symbolic Grammar Mining
KLEE
P: Leon Bettscheider CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
14:22
22m
Talk
Concurrent Adversarial Separation Logic: A General Approach to Under-approximate Reasoning about Concurrent Programs
KLEE
Azalea Raad Imperial College London, P: Julien Vanegue Bloomberg, USA, Josh Berdine SkipLabs, Peter O'Hearn University College London, UK and Lacework, London, UK
14:44
22m
Talk
Automated Generation of Database Mocks with Symbolic Execution
KLEE
Cesar Cornejo University of Rio Cuarto and CONICET, Agustín Borda Dept. of Computer Science FCEFQyN, University of Rio Cuarto, P: Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias The University of Texas at El Paso, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán Regis University of Rio Cuarto and CONICET
15:06
22m
Talk
Symbolic Execution Oriented Constraint Solving
KLEE
P: Zhenbang Chen National University of Defense Technology, Ziqi Shuai National University of Defense Technology, Yufeng Zhang Hunan University, Zehua Chen College of Computer, National University of Defense Technology, Guofeng Zhang Hunan University, Jun Sun Singapore Management University, Wei Dong National University of Defense Technology, Ji Wang
16:00 - 17:30
Binary Analysis & KeynoteKLEE at Maria Helena Vieira da Silva
Chair(s): Daniel Schemmel Imperial College London
16:00
22m
Talk
What’s Up from Below? An Overview of Recent Advances in BINSEC
KLEE
P: Frédéric Recoules CEA, List, Sébastien Bardin CEA LIST, University Paris-Saclay
16:22
22m
Talk
Symbolic Execution of Binary Code based on Formal ISA Semantics
KLEE
P: Sören Tempel University of Bremen, Tobias Brandt Independent, Christoph Lüth University of Bremen / DFKI GmbH, Rolf Drechsler University of Bremen / DFKI GmbH
16:44
46m
Keynote
Let's help symbolic execution SOAR!
KLEE
Tomasz Kuchta Samsung Electronics

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Test Input GenerationKLEE at Maria Helena Vieira da Silva
Chair(s): Sergey Mechtaev University College London
09:00
22m
Talk
Complex Test Input Generation in KLEE
KLEE
P: Alexey Babushkin Explyt, Aleksandr Misonizhnik Explyt, Yurii Kostyukov RnD Toolchain Labs, Huawei, Dmitry Mordvinov Huawei, Dmitry Ivanov Huawei
09:22
22m
Talk
Precise Lazy Initialization for Programs with Complex Heap Inputs
KLEE
P: Juan Manuel Copia IMDEA Software Institute; Universidad Politécnica de Madrid, Facundo Molina IMDEA Software Institute, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias The University of Texas at El Paso, Alessandra Gorla IMDEA Software Institute, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto
09:44
22m
Talk
Automating Differential Testing with Over-approximate Symbolic Execution
KLEE
Richard Rutledge Georgia Institute of Technology, P: Alessandro Orso Georgia Institute of Technology
10:06
22m
Talk
How the SHA-3 Buffer Overflow Was Found using KLEE
KLEE
P: Nicky Mouha Strativia / NIST Associate
11:00 - 12:30
Program Repair & KeynoteKLEE at Maria Helena Vieira da Silva
Chair(s): Martin Nowack Imperial College London
11:00
22m
Talk
Concolic Program Repair
KLEE
P: Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller Singapore University of Technology and Design, Lars Grunske Humboldt-Universität zu Berlin, Abhik Roychoudhury National University of Singapore
Link to publication DOI Pre-print
11:22
22m
Talk
Program Repair Guided by Datalog-defined Static Analysis
KLEE
Yu Liu National University of Singapore, P: Sergey Mechtaev University College London, Pavle Subotic Fantom Foundation, Abhik Roychoudhury National University of Singapore
11:44
46m
Keynote
Symbolic PathFinder: Symbolic Execution for Java
KLEE
Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
14:00 - 15:30
Taming Path Explosion and Non-determinismKLEE at Maria Helena Vieira da Silva
Chair(s): Frank Busse Imperial College London
14:00
22m
Talk
Find Your Path: SoK on Path Selection Strategies in Symbolic Execution
KLEE
P: Dairo De Ruck DistriNet-KU Leuven, Jorn Lapon DistriNet-KU Leuven, Vincent Naessens DistriNet-KU Leuven
14:22
22m
Talk
Accelerating Symbolic Execution by Targeted Control-flow Transformations
KLEE
Charitha Saumya Purdue University, P: Rohan Gangaraju Purdue University, Kirshanthan Sundararajah Virginia Tech, Milind Kulkarni Purdue University
14:44
22m
Talk
Deferring Branches to Speed Up Symbolic Execution
KLEE
P: Eric Lu , Eddie Kohler Harvard University
15:06
22m
Talk
Deterministic State-space Exploration: Comparing and Measuring Effectiveness of Symbolic Execution Implementations
KLEE
P: Martin Nowack Imperial College London
16:00 - 17:30
Coverage and Memory Errors & ClosingKLEE at Maria Helena Vieira da Silva
Chair(s): Julien Vanegue Bloomberg, USA
16:00
22m
Talk
An Efficient Black-box Support of Advanced Coverage Criteria for KLEE
KLEE
Nicolas Berthier OCamlPro, Steven de Oliveira OCamlPro, Nikolai Kosmatov Thales Research & Technology, P: Delphine Longuet Thales Research & Technology, Romain Soulat
16:22
22m
Talk
Concretely Mapped Symbolic Memory Locations for Memory Error Detection
KLEE
P: Haoxin Tu Singapore Management University, Singapore, Lingxiao Jiang Singapore Management University, Jiaqi Hong Independent Researcher, Xuhua Ding Singapore Management University, He Jiang Dalian University of Technology
16:44
16m
Day closing
Closing Remarks
KLEE
Cristian Cadar Imperial College London

Wed 17 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
Language Models and Generated Code 1ICSE Research Track / ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
14:00 - 15:30
14:00
15m
Talk
REDriver: Runtime Enforcement for Autonomous Vehicles
ICSE 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
ICSE Research Track
Clay Stevens Iowa State University, Hamid Bagheri University of Nebraska-Lincoln
14:30
15m
Talk
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Specifications
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
16:00 - 17:30
16:00
90m
Meeting
Computer Society meeting
ICSE Social Events

Thu 18 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
Language Models and Generated Code 2ICSE Demonstrations / ICSE 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
ICSE 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
ICSE 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
ICSE 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 Columbia University
11:45
15m
Talk
On Extracting Specialized Code Abilities from Large Language Models: A Feasibility Study
ICSE 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 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
ICSE Research Track
Zhensu Sun Singapore Management University, Xiaoning Du Monash University, Australia, Fu Song State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, China, 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
ICSE 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
14:00 - 15:30
14:00
15m
Talk
Less is More? An Empirical Study on Configuration Issues in Python PyPI Ecosystem
ICSE Research Track
Yun Peng 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
ICSE 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
ICSE 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
ICSE Research Track
Fuman Xie University of Queensland, Chuan Yan University of Queensland, Mark Huasong Meng Institute for Infocomm Research, A*STAR, Shaoming Teng The University of Queensland, Yanjun Zhang Deakin University, Guangdong Bai The University of Queensland
15:00
7m
Talk
Acrobats and Safety-Nets: Problematizing Large-Scale Agile Software Development
ICSE 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
ICSE 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
ICSE Demonstrations
Brian Sigurdson Bowling Green State University, Samuel W. Flint University of Nebraska-Lincoln, Robert Dyer University of Nebraska-Lincoln
15:21
7m
Talk
Code Mapper: Mapping the Global Contributions of OSS
ICSE Demonstrations
Thomas Le Tourneau CY Tech, Jasmine Latendresse Concordia University, Ahmad Abdellatif University of Calgary, Emad Shihab Concordia Univeristy

Fri 19 Apr

Displayed time zone: Lisbon change

11:00 - 12:30
Human and Social Aspects, and Requirements 2ICSE Research Track / ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
ICSE 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
14:00 - 15:30
14:00
15m
Talk
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data
ICSE 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
ICSE 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
ICSE 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 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
ICSE 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
ICSE 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 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
ICSE 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
ICSE 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
16:00 - 17:30
16:00
18m
Talk
Recovering Trace Links Between Software Documentation And Code
ICSE 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
ICSE 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 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
ICSE 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
ICSE Software Engineering in Society
Ruzanna Chitchyan University of Bristol
17:12
18m
Talk
API Governance at Scale
ICSE Software Engineering in Practice
Mak Ahmad UC Davis, JJ Geewax Meta, Andrew Macvean Google, Inc., David Karger MIT, Kwan-Liu Ma UC Davis

Sat 20 Apr

Displayed time zone: Lisbon change

08:15 - 10:30
OpeningNLBSE at Maria Helena Vieira da Silva
Chair(s): Andrea Di Sorbo University of Sannio, Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences
09:15
15m
Day opening
Opening
NLBSE

09:30
60m
Keynote
Learning to Guide and Analyze Program Executions
NLBSE
Michael Pradel University of Stuttgart
11:00 - 12:30
Session 1 - Language and code dynamicsNLBSE at Maria Helena Vieira da Silva
Chair(s): Andrea Di Sorbo University of Sannio, Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences
11:00
20m
Full-paper
Aligning Programming Language and Natural Language: Exploring Design Choices in Multi-Modal Transformer-Based Embedding for Bug Localization
NLBSE
Partha Chakraborty University of Waterloo, Venkatraman Arumugam University of Waterloo, Mei Nagappan University of Waterloo
11:20
20m
Full-paper
What’s in a Display Name? An Empirical Study on the Use of Display Names in Open-Source JUnit Tests
NLBSE
Yining Qiao University of Sheffield, José Miguel Rojas The University of Sheffield
11:40
15m
Short-paper
Software Vulnerability and Functionality Assessment using Large Language Models
NLBSE
Rasmus Ingemann Tuffeveson Jensen J.P. Morgan AI Research, Vali Tawosi J.P. Morgan AI Research, Salwa Alamir J.P. Morgan AI Research
11:55
15m
Short-paper
Towards Automatic Translation of Machine Learning Visual Insights to Analytical Assertions
NLBSE
Arumoy Shome Delft University of Technology, Luís Cruz Delft University of Technology, Arie van Deursen Delft University of Technology
14:00 - 15:30
Discussion Panel - Challenges and Opportunities of LLMsNLBSE at Maria Helena Vieira da Silva
Chair(s): Andrea Di Sorbo University of Sannio, Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences
14:15
5m
Other
Panel Introduction
NLBSE
Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences, Andrea Di Sorbo University of Sannio, Rafael Kallis Rafael Kallis Consulting
14:20
15m
Talk
Presentation of a Book on Security for LLMs
NLBSE
14:35
55m
Panel
Panel discussion
NLBSE
Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences, Andrea Di Sorbo University of Sannio, Rafael Kallis Rafael Kallis Consulting, Michael Pradel University of Stuttgart, Andrei Kucharavy , Arie van Deursen Delft University of Technology
16:00 - 17:30
Session 2 - Frontiers of collaborative developmentNLBSE at Maria Helena Vieira da Silva
Chair(s): Andrea Di Sorbo University of Sannio, Maliheh Izadi Delft University of Technology, Sebastiano Panichella Zurich University of Applied Sciences
16:00
20m
Full-paper
Unveiling Disparities: NLP Analysis of Software Industry and Vocational Education Gaps
NLBSE
Emil Bäckstrand Mid Sweden University, Rasmus Djupedal Mid Sweden University, Lena-Maria Öberg Mid Sweden University, Francisco Gomes de Oliveira Neto Chalmers University of Technology, Sweden / University of Gothenburg
16:20
15m
Short-paper
Towards LLM-Generated Code Tours for Onboarding
NLBSE
Martin Balfroid , Benoît Vanderose University of Namur, Xavier Devroey University of Namur
DOI Pre-print
16:35
15m
Short-paper
Automated Extraction of Compliance Elements in Software Engineering Contracts Using Natural Language Generation
NLBSE
Gokul Rejithkumar TCS Research, Preethu Rose Anish TCS Research, Pratik Sonar TCS Research, Smita Ghaisas TCS Research
16:50
20m
Full-paper
Emotion Classification In Software Engineering Texts: A Comparative Analysis of Pre-trained Transformers Language Models
NLBSE
Mia Mohammad Imran Virginia Commonwealth University
17:10
15m
Short-paper
Understanding Emojis :) in Useful Code Review Comments
NLBSE
Sharif Ahmed Boise State University, USA, Nasir Eisty
17:25
5m
Day closing
Awards & Closing
NLBSE

Sun 14 Apr

Displayed time zone: Lisbon change

Wed 17 Apr

Displayed time zone: Lisbon change

Fri 19 Apr

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Maria Helena Vieira da Silva