ICSE 2024
Fri 12 - Sun 21 April 2024
Lisbon, Portugal
Toggle navigation
Attending
Congress and Conference Centre: Centro Cultural de Belém
Code of Conduct
Equity, Diversity, and Inclusion Plan
Registration
Travel Support
Visa
Accomodation
Transportation
Banquet at LX Factory
Keynotes
Sustainability
Instructions for Authors Presenting at ICSE 2024
Guidelines for Creating a Poster
Sponsorship
Sponsors and Supporters
Sponsorships Opportunities
Program
ICSE Program
Your Program
Awards
Filter by Day
Fri 12 Apr
Sat 13 Apr
Sun 14 Apr
Mon 15 Apr
Tue 16 Apr
Wed 17 Apr
Thu 18 Apr
Fri 19 Apr
Sat 20 Apr
Sun 21 Apr
Tracks
ICSE 2024
ICSE Keynotes
Research Track
Social Events
Workshops
New Ideas and Emerging Results
Artifact Evaluation
Industry Challenge Track
Demonstrations
Software Engineering Education and Training
Software Engineering in Practice
Software Engineering in Society
Doctoral Symposium
Posters
Journal-first Papers
SMeW - Student Mentoring Workshop
New Faculty Symposium
SRC - ACM Student Research Competition
Technical Briefings
Student Volunteers
Submitting to ICSE2024: Q&A
Co-hosted Conferences
AST
CAIN
CAIN
CAIN
Research and Experience Papers
CAIN
Industry Talks
CAIN
Doctoral Symposium
CAIN
Posters
CHASE
CHASE
CHASE
Full Papers
CHASE
Short Papers
CHASE
Journal-First
FORGE
FORGE
FORGE
Keynotes
FORGE
Panel
FORGE
Research Track
FormaliSE
ICPC
ICPC
ICPC
Vaclav Rajlich Early Career Award
ICPC
Keynotes
ICPC
Research Track
ICPC
Journal First
ICPC
Early Research Achievements (ERA)
ICPC
Replications and Negative Results (RENE)
ICPC
Tool Demonstration
KLEE
MOBILESoft
MOBILESoft
MOBILESoft
Research Track
MOBILESoft
Research Forum Track
MSR
MSR
MSR
Technical Papers
MSR
Data and Tool Showcase Track
MSR
Mining Challenge
MSR
Registered Reports
MSR
Tutorials
MSR
Vision and Reflection
MSR
FOSS Award
MSR
Industry Track
MSR
Junior PC
MSR
Keynotes
MSR
MIP Award
MSR
Awards
MSR
Social Events
SEAMS
SEAMS
SEAMS
Research Track
SEAMS
Artifact Track
TechDebt
TechDebt
TechDebt
Technical papers
TechDebt
Industry track
TechDebt
Emerging Researchers' Forum
TechDebt
Plenary
Workshops
APR
DeepTest
Designing
EnCyCriS/SVM
ExEn
FTW
FinanSE
GAS
GE@ICSE
GI@ICSE
IDE
IWSiB
InteNSE
Workshop
LLM4Code
MO2RE
NLBSE
Q-SE
RAIE
RoSE
SATrends
SATrends
SATrends
SBFT
SERP4IoT
SESoS
WSESE
Organization
ICSE 2024 Committees
Organising Committee
Track Committees
Research Track
Workshops
New Ideas and Emerging Results
Artifact Evaluation
Industry Challenge Track
Demonstrations
Demonstrations
Program Committee
Software Engineering Education and Training
Software Engineering in Practice
Software Engineering in Society
Doctoral Symposium
Doctoral Symposium
Mentors and Panel Members
Program Committee
Posters
Journal-first Papers
SMeW - Student Mentoring Workshop
Organizing Committee
SMeW Steering Committee
Mentoring Panel
Community Mentors
New Faculty Symposium
SRC - ACM Student Research Competition
ACM Student Research Competition
Judges
Technical Briefings
Student Volunteers
Contributors
People Index
Co-hosted Conferences
AST
Organizing Committee
Program Committee
Steering Committee
CAIN
Organizing Committee
Steering Committee
Research and Experience Papers
Industry Talks
Doctoral Symposium
Posters
CHASE
Organizing Committee
Full Papers
Program chairs
Full Papers
Program Committee
Short Papers
Program chairs
Short Papers
Program Committee
Journal-First
FORGE
Organization Committee
Program Committee
FormaliSE
Organization Committee
Program Committee
Artifact Evaluation Committee
ICPC
Organizing Committee
Steering Committee
Vaclav Rajlich Early Career Award
Research Track
Journal First
Early Research Achievements (ERA)
Replications and Negative Results (RENE)
Tool Demonstration
KLEE
Program Committee
MOBILESoft
Organizing Committee
Research Track
Research Forum Track
MSR
Organizing Committee
Technical Papers
Data and Tool Showcase Track
Mining Challenge
Registered Reports
Tutorials
Vision and Reflection
FOSS Award
Industry Track
Junior PC
MSR Awards
SEAMS
Organizing Committee
MIP Award Committee
Research Track
Artifact Track
TechDebt
Organizing Committee
Steering Committee
Technical papers
Industry track
Emerging Researchers' Forum
Workshops
APR
N/A - check homepage
DeepTest
Organising Committee
Program Committee
Designing
N/A - check homepage
EnCyCriS/SVM
Organization Committee
Program Committee
ExEn
N/A - check homepage
FTW
Organizers
Program Committee
FinanSE
N/A - check homepage
GAS
N/A - check homepage
GE@ICSE
Organising Committee
Program committee
GI@ICSE
Organizing Committee
IDE
N/A - check homepage
IWSiB
N/A - check homepage
InteNSE
N/A - check homepage
LLM4Code
N/A - check homepage
MO2RE
N/A - check homepage
NLBSE
N/A - check homepage
Q-SE
Organizing Committee
Program Committee
RAIE
Organizing Committee
Programme Committee
Publicity and Web Chair
RoSE
N/A - check homepage
SATrends
Organising Committee
Program Committee
SBFT
Organizing Committee
Program Committee
SERP4IoT
Program Committee
SESoS
Organizing Committee
Steering Committee
Proceedings Chair
Publicity Chairs
Program Committee
WSESE
N/A - check homepage
Search
Series
Series
ICSE 2025
ICSE 2024
ICSE 2023
ICSE 2022
ICSE 2021
ICSE 2020
ICSE 2019
* ICSE 2018 *
Sign in
Sign up
ICSE 2024
(
series
) /
Centro Cultural de Belém
/
Room information: Maria Helena Vieira da Silva
Venue
Centro Cultural de Belém
Room name
Maria Helena Vieira da Silva
Capacity
34
Room Information
100
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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 1
SATrends
at
Maria Helena Vieira da Silva
Chair(s):
Davide Taibi
University of Oulu and Tampere University
09:00
90m
Keynote
Keynote 1: Matrushka and the spider - or the challenge to connect architectural knowledge across boundaries
SATrends
K:
Remco de Boer
ArchiXL & Vrije Universiteit (VU) Amsterdam
11:00 - 12:30
Software Architecture and Infrastructure
SATrends
at
Maria Helena Vieira da Silva
Chair(s):
Patricia Lago
Vrije Universiteit Amsterdam
11:00
15m
Talk
On the need to merge architectural and infrastructural considerations
SATrends
A:
Vasilios Andrikopoulos
University of Groningen
,
A:
Elisabetta Di Nitto
Politecnico di Milano
11:15
15m
Talk
Self-sustaining Software Systems (S4): Towards Improved Interpretability and Adaptation
SATrends
A:
Christian Cabrera
Department of Computer Science and Technology, Univesity of Cambridge
,
A:
Andrei Paleyes
Department of Computer Science and Technology, Univesity of Cambridge
,
A:
Neil D. Lawrence
Department of Computer Science and Technology, Univesity of Cambridge
11:30
15m
Talk
Modular Monolith: Is This the Trend in Software Architecture?
SATrends
P:
Ruoyu Su
University of Oulu
,
A:
Xiaozhou Li
University of Oulu
11:45
45m
Talk
Working Session on new trends on software architecture
SATrends
14:00 - 15:30
Organizational Structure
SATrends
at
Maria Helena Vieira da Silva
Chair(s):
Luciano Baresi
Politecnico di Milano
14:00
15m
Talk
Understanding the Causes of Microservice Logical Coupling: an Exploratory Study
SATrends
P:
Dario Amoroso d'Aragona
Tampere University
,
A:
Xiaozhou Li
University of Oulu
,
A:
Andrea Janes
Free University of Bozen-Bolzano
14:15
15m
Talk
A Framework for Microservice Organizational Structure Optimization
SATrends
P:
Xiaozhou Li
University of Oulu
,
A:
Michele Albano
Aalborg University
14:30
60m
Talk
Working Session on Organizational Structure
SATrends
P:
Remco de Boer
ArchiXL & Vrije Universiteit (VU) Amsterdam
16:00 - 17:30
Keynote 2
SATrends
at
Maria Helena Vieira da Silva
Chair(s):
Henry Muccini
University of L'Aquila, Italy
16:00
90m
Keynote
Keynote 2: Playing with Abstractions: Can LLMs be Architects New Best Friend?
SATrends
Henry Muccini
University of L'Aquila, Italy
,
K:
Karthik Vaidhyanathan
IIIT Hyderabad
Mon 15 Apr
Displayed time zone:
Lisbon
change
09:00 - 10:30
Opening & Keynote
KLEE
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 & Posters
KLEE
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
School of Computer, National University of Defense Technology, China
,
Yufeng Zhang
Hunan University
,
Ji Wang
School of Computer, National University of Defense Technology, China
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
Poster
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 S. Păsăreanu
14:00 - 15:30
Grammars, Concurrency, Mocking and Constraints
KLEE
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
,
Marcelo F. Frias
Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
,
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
School of Computer, National University of Defense Technology, China
,
Ziqi Shuai
School of Computer, National University of Defense Technology, China
,
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
School of Computer, National University of Defense Technology, China
16:00 - 17:30
Binary Analysis & Keynote
KLEE
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 Generation
KLEE
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
,
Marcelo F. Frias
Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
,
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 & Keynote
KLEE
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-determinism
KLEE
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 & Closing
KLEE
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 1
Research 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 Models
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 Representations
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 Search
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
14:00 - 15:30
Dependability and Formal methods 1
Software 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
Thu 18 Apr
Displayed time zone:
Lisbon
change
11:00 - 12:30
Language Models and Generated Code 2
Demonstrations
/
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
14:00 - 15:30
Analytics 3
Research 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
Fri 19 Apr
Displayed time zone:
Lisbon
change
11:00 - 12:30
Human and Social Aspects, and Requirements 2
Research 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
14:00 - 15:30
Dependability and Formal methods 3
Research Track
/
Software Engineering in Practice
/
New Ideas and Emerging Results
at
Maria Helena Vieira da Silva
Chair(s):
Shahar Maoz
Tel Aviv University
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
16:00 - 17:30
Requirements 2
Software Engineering in Society
/
Research Track
/
Software Engineering in Practice
at
Maria Helena Vieira da Silva
Chair(s):
Fabio Palomba
University of Salerno
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
Sat 20 Apr
Displayed time zone:
Lisbon
change
08:15 - 10:30
Opening
NLBSE
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
Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code
NLBSE
Michael Pradel
University of Stuttgart
11:00 - 12:30
Session 1 - Language and code dynamics
NLBSE
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 LLMs
NLBSE
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
Andrei Kucharavy
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
,
Nicole Novielli
University of Bari
16:00 - 17:30
Session 2 - Frontiers of collaborative development
NLBSE
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 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
Boise State University
17:25
5m
Day closing
Awards & Closing
NLBSE
Sun 14 Apr
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Maria Helena Vieira da Silva
SATrends
Keynote 1
SATrends
Software Architecture and Infrastructure
SATrends
Organizational Structure
SATrends
Keynote 2
Mon 15 Apr
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Maria Helena Vieira da Silva
KLEE
Opening & Keynote
KLEE
State Merging & Posters
KLEE
Grammars, Concurrency, Mocking and Constraints
KLEE
Binary Analysis & Keynote
Tue 16 Apr
Displayed time zone:
Lisbon
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Maria Helena Vieira da Silva
KLEE
Test Input Generation
KLEE
Program Repair & Keynote
KLEE
Taming Path Explosion and Non-determinism
KLEE
Coverage and Memory Errors & Closing
Wed 17 Apr
Displayed time zone:
Lisbon
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Maria Helena Vieira da Silva
Research Track + New Ideas and Emerging Results
Language Models and Generated Code 1
Software Engineering in Practice + Demonstrations + Research Track
Dependability and Formal methods 1
Social Events
Thu 18 Apr
Displayed time zone:
Lisbon
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
Maria Helena Vieira da Silva
Demonstrations + Research Track
Language Models and Generated Code 2
Research Track + Journal-first Papers + Demonstrations
Analytics 3
Fri 19 Apr
Displayed time zone:
Lisbon
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Maria Helena Vieira da Silva
Research Track + Software Engineering in Society
Human and Social Aspects, and Requirements 2
Research Track + Software Engineering in Practice + New Ideas and Emerging Results
Dependability and Formal methods 3
Software Engineering in Society + Research Track + Software Engineering in Practice
Requirements 2
Sat 20 Apr
Displayed time zone:
Lisbon
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Maria Helena Vieira da Silva
NLBSE
Opening
NLBSE
Session 1 - Language and code dynamics
NLBSE
Discussion Panel - Challenges and Opportunities of LLMs
NLBSE
Session 2 - Frontiers of collaborative development
Sun 14 Apr
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Maria Helena Vieira da Silva
SATrends
Keynote 1: Matrushka and the spider - or the challenge to connect archi ...
09:00 - 10:30
SATrends
On the need to merge architectural and infrastructural considerations
11:00 - 11:15
SATrends
Self-sustaining Software Systems (S4): Towards Improved Interpretabilit ...
11:15 - 11:30
SATrends
Modular Monolith: Is This the Trend in Software Architecture?
11:30 - 11:45
SATrends
Working Session on new trends on software architecture
11:45 - 12:30
SATrends
Understanding the Causes of Microservice Logical Coupling: an Explorato ...
14:00 - 14:15
SATrends
A Framework for Microservice Organizational Structure Optimization
14:15 - 14:30
SATrends
Working Session on Organizational Structure
14:30 - 15:30
SATrends
Keynote 2: Playing with Abstractions: Can LLMs be Architects New Best F ...
16:00 - 17:30
Mon 15 Apr
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Maria Helena Vieira da Silva
KLEE
Opening Remarks
09:00 - 09:30
KLEE
Software Complexity, Path Complexity, and Branch Selectivity
09:30 - 10:16
KLEE
State Merging for Concolic Testing of Event-driven Applications
11:00 - 11:22
KLEE
State Merging with Quantifiers in Symbolic Execution
11:22 - 11:44
KLEE
FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checki ...
11:50 - 11:55
KLEE
Input Grammar Oriented Symbolic Execution
11:55 - 12:00
KLEE
Mixed Fixed-point and Floating-point Symbolic Execution
12:00 - 12:05
KLEE
SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines
12:05 - 12:10
KLEE
Towards Complete Fuzzing with KLEE
12:10 - 12:15
KLEE
TracerX - Pruning Dynamic Symbolic Execution with Weakest Precondition ...
12:15 - 12:20
KLEE
Exploring Complexity Estimation with Symbolic Execution and Large Langu ...
12:20 - 12:25
KLEE
Symbolic Grammar Mining
14:00 - 14:22
Concurrent Adversarial Separation Logic: A General Approach to Under-ap ...
14:22 - 14:44
KLEE
Automated Generation of Database Mocks with Symbolic Execution
14:44 - 15:06
KLEE
Symbolic Execution Oriented Constraint Solving
15:06 - 15:28
KLEE
What’s Up from Below? An Overview of Recent Advances in BINSEC
16:00 - 16:22
KLEE
Symbolic Execution of Binary Code based on Formal ISA Semantics
16:22 - 16:44
KLEE
Let's help symbolic execution SOAR!
16:44 - 17:30
Tue 16 Apr
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Maria Helena Vieira da Silva
KLEE
Complex Test Input Generation in KLEE
09:00 - 09:22
Precise Lazy Initialization for Programs with Complex Heap Inputs
09:22 - 09:44
KLEE
Automating Differential Testing with Over-approximate Symbolic Execution
09:44 - 10:06
KLEE
How the SHA-3 Buffer Overflow Was Found using KLEE
10:06 - 10:28
KLEE
Concolic Program Repair
11:00 - 11:22
KLEE
Program Repair Guided by Datalog-defined Static Analysis
11:22 - 11:44
KLEE
Symbolic PathFinder: Symbolic Execution for Java
11:44 - 12:30
KLEE
Find Your Path: SoK on Path Selection Strategies in Symbolic Execution
14:00 - 14:22
KLEE
Accelerating Symbolic Execution by Targeted Control-flow Transformations
14:22 - 14:44
KLEE
Deferring Branches to Speed Up Symbolic Execution
14:44 - 15:06
KLEE
Deterministic State-space Exploration: Comparing and Measuring Effectiv ...
15:06 - 15:28
KLEE
An Efficient Black-box Support of Advanced Coverage Criteria for KLEE
16:00 - 16:22
KLEE
Concretely Mapped Symbolic Memory Locations for Memory Error Detection
16:22 - 16:44
KLEE
Closing Remarks
16:44 - 17:00
Wed 17 Apr
Displayed time zone:
Lisbon
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Maria Helena Vieira da Silva
ICSE Research Track
Modularizing while Training: a New Paradigm for Modularizing DNN Models
11:00 - 11:15
ICSE Research Track
KnowLog: Knowledge Enhanced Pre-trained Language Model for Log Understa ...
11:15 - 11:30
ICSE Research Track
FAIR: Flow Type-Aware Pre-Training of Compiler Intermediate Representations
11:30 - 11:45
ICSE Research Track
Unveiling Memorization in Code Models
11:45 - 12:00
ICSE Research Track
Code Search is All You Need? Improving Code Suggestions with Code Search
12:00 - 12:15
ICSE New Ideas and Emerging Results
Expert Monitoring: Human-Centered Concept Drift Detection in Machine Le ...
12:15 - 12:22
ICSE Research Track
REDriver: Runtime Enforcement for Autonomous Vehicles
14:00 - 14:15
ICSE Research Track
Scalable Relational Analysis via Relational Bound Propagation
14:15 - 14:30
ICSE Research Track
Kind Controllers and Fast Heuristics for Non-Well-Separated GR(1) Speci ...
14:30 - 14:45
ICSE Software Engineering in Practice
On the Difficulty of Identifying Incident-Inducing Changes
14:45 - 15:00
ICSE Software Engineering in Practice
Autonomous Monitors for Detecting Failures Early and Reporting Interpre ...
15:00 - 15:15
ICSE Demonstrations
nvshare: Practical GPU Sharing without Memory Size Constraints
15:15 - 15:22
ICSE Demonstrations
Daedalux: An Extensible Platform for Variability-Aware Model Checking
15:22 - 15:29
Thu 18 Apr
Displayed time zone:
Lisbon
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
Maria Helena Vieira da Silva
ICSE Research Track
Exploring the Potential of ChatGPT in Automated Code Refinement: An Emp ...
11:00 - 11:15
ICSE Research Track
Deep Learning or Classical Machine Learning? An Empirical Study on Log- ...
11:15 - 11:30
ICSE Research Track
TRACED: Execution-aware Pre-training for Source Code
11:30 - 11:45
ICSE Research Track
On Extracting Specialized Code Abilities from Large Language Models: A ...
11:45 - 12:00
ICSE Research Track
When Neural Code Completion Models Size up the Situation: Attaining Che ...
12:00 - 12:15
ICSE Demonstrations
TestSpark: IntelliJ IDEA’s Ultimate Test Generation Companion
12:15 - 12:22
ICSE Research Track
Less is More? An Empirical Study on Configuration Issues in Python PyPI ...
14:00 - 14:15
ICSE Research Track
Data-Driven Evidence-Based Syntactic Sugar Design
14:15 - 14:30
ICSE Research Track
Revisiting Android App Categorization
14:30 - 14:45
ICSE Research Track
Are Your Requests Your True Needs? Checking Excessive Data Collection i ...
14:45 - 15:00
ICSE Journal-first Papers
Acrobats and Safety-Nets: Problematizing Large-Scale Agile Software Dev ...
15:00 - 15:07
ICSE Journal-first Papers
Program Transformation Landscapes for Automated Program Modification Us ...
15:07 - 15:14
ICSE Demonstrations
Boidae: Your Personal Mining Platform
15:14 - 15:21
ICSE Demonstrations
Code Mapper: Mapping the Global Contributions of OSS
15:21 - 15:28
Fri 19 Apr
Displayed time zone:
Lisbon
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Maria Helena Vieira da Silva
ICSE Research Track
Novelty Begets Popularity, But Curbs Participation - A Macroscopic View ...
11:00 - 11:15
ICSE Research Track
Characterizing Software Maintenance Meetings: Information Shared, Discu ...
11:15 - 11:30
ICSE Research Track
Predicting open source contributor turnover from value-related discussi ...
11:30 - 11:45
ICSE Research Track
On the Helpfulness of Answering Developer Questions on Discord with Sim ...
11:45 - 12:00
ICSE Software Engineering in Society
Exploring Assessment Criteria for Sustainable Software Engineering Proc ...
12:00 - 12:15
ICSE Software Engineering in Society
Adaptive User Interfaces for Software Supporting Chronic Disease
12:15 - 12:30
ICSE Research Track
It's Not a Feature, It's a Bug: Fault-Tolerant Model Mining from Noisy Data
14:00 - 14:15
ICSE Research Track
Verifying Declarative Smart Contracts
14:15 - 14:30
ICSE Software Engineering in Practice
Knowledge-aware Alert Aggregation in Large-scale Cloud Systems: a Hybri ...
14:30 - 14:45
ICSE Software Engineering in Practice
Intelligent Monitoring Framework for Cloud Services: A Data-Driven Approach
14:45 - 15:00
ICSE Software Engineering in Practice
FaultProfIT: Hierarchical Fault Profiling of Incident Tickets in Large- ...
15:00 - 15:15
ICSE Software Engineering in Practice
Translating between SQL Dialects for Cloud Migration
15:15 - 15:22
ICSE New Ideas and Emerging Results
Designing Trustful Cooperation Ecosystems is Key to the New Space Explo ...
15:22 - 15:29
ICSE Research Track
Recovering Trace Links Between Software Documentation And Code
16:00 - 16:18
ICSE Research Track
TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deducti ...
16:18 - 16:36
ICSE Software Engineering in Society
Towards Engineering Fair and Equitable Software Systems for Managing Lo ...
16:36 - 16:54
ICSE Software Engineering in Society
What Can Requirements Engineering Do for Emerging System of Systems? Ca ...
16:54 - 17:12
ICSE Software Engineering in Practice
API Governance at Scale
17:12 - 17:30
Sat 20 Apr
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Maria Helena Vieira da Silva
NLBSE
Opening
09:15 - 09:30
NLBSE
Neuro-Symbolic Developer Tools for Analyzing, Executing, and Repairing Code
09:30 - 10:30
NLBSE
Aligning Programming Language and Natural Language: Exploring Design Ch ...
11:00 - 11:20
NLBSE
What’s in a Display Name? An Empirical Study on the Use of Display Name ...
11:20 - 11:40
NLBSE
Software Vulnerability and Functionality Assessment using Large Languag ...
11:40 - 11:55
NLBSE
Towards Automatic Translation of Machine Learning Visual Insights to An ...
11:55 - 12:10
NLBSE
Panel Introduction
14:15 - 14:20
NLBSE
Presentation of a Book on Security for LLMs
14:20 - 14:35
NLBSE
Panel discussion
14:35 - 15:30
NLBSE
Unveiling Disparities: NLP Analysis of Software Industry and Vocational ...
16:00 - 16:20
NLBSE
Towards LLM-Generated Code Tours for Onboarding
16:20 - 16:35
NLBSE
Automated Extraction of Compliance Elements in Software Engineering Con ...
16:35 - 16:50
NLBSE
Emotion Classification In Software Engineering Texts: A Comparative Ana ...
16:50 - 17:10
NLBSE
Understanding Emojis :) in Useful Code Review Comments
17:10 - 17:25
NLBSE
Awards & Closing
17:25 - 17:30
x
Sun 15 Dec 00:05