KLEE 2024
Mon 15 - Tue 16 April 2024 Lisbon, Portugal
co-located with ICSE 2024
VenueCentro Cultural de Belém
Room nameDaciano da Costa
Capacity32
Room InformationNo extra information available
Program

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

Mon 15 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Early Morning SessionInteNSE at Daciano da Costa
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso
09:00
20m
Paper
An Empirical Comparison of Code Generation Approaches for Ansible
InteNSE
Benjamin Darnell University of California, Santa Barbara, Hetarth Chopra University of Illinois at Urbana-Champaign, Aaron Councilman Univ of Illinois Urbana-Champaign, David Grove IBM Research, Vikram S. Adve University of Illinois at Urbana-Champaign, USA
09:20
70m
Keynote
Towards an Interpretable Science of Deep Learning for Software Engineering: A Causal Inference View
InteNSE
Denys Poshyvanyk William & Mary
11:00 - 12:30
Late Morning SessionInteNSE at Daciano da Costa
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso
11:00
70m
Keynote
Assured LLM-Based Software Engineering
InteNSE
Mark Harman Meta Platforms, Inc. and UCL
12:10
20m
Paper
An Exploratory Study on How Non-Determinism in Large Language Models Affects Log Parsing
InteNSE
Merve Astekin Simula Research Laboratory, Max Hort Simula Research Laboratory, Leon Moonen Simula Research Laboratory and BI Norwegian Business School
14:00 - 15:30
Afternoon SessionInteNSE at Daciano da Costa
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso
13:30
2h
Tutorial
Tutorial on Neuro-symbolic Programming
InteNSE
Swarat Chaudhuri University of Texas at Austin, Atharva Sehgal University of Texas, Austin
16:00 - 17:30
Late Afternoon SessionInteNSE at Daciano da Costa
Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Saeid Tizpaz-Niari University of Texas at El Paso
16:00
30m
Talk
Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion
InteNSE
Shizhuo Zhang University of Illinois Urbana-Champaign
Pre-print
16:30
30m
Talk
SWE-bench: Can Language Models Resolve Real-World GitHub Issues?
InteNSE
John Yang Princeton
Pre-print
17:00
30m
Day closing
InteNSE 2024 Closing Remarks
InteNSE
Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign

Tue 16 Apr

Displayed time zone: Lisbon change

09:00 - 10:30
Opening and Paper Session 1FinanSE at Daciano da Costa
Chair(s): Vali Tawosi J.P. Morgan AI Research
09:15
15m
Day opening
Opening Session
FinanSE

09:30
25m
Long-paper
Enhancing Incident Management: Insights from a Case Study at ING
FinanSE
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
09:55
25m
Long-paper
API-Miner: an API-to-API Specification Recommendation Engine
FinanSE
11:00 - 12:30
Keynote 1 and Paper SessionFinanSE at Daciano da Costa
Chair(s): Vali Tawosi J.P. Morgan AI Research
11:00
60m
Keynote
Augmented Agile: Human-centred AI-assisted Software Project Management
FinanSE
Rashina Hoda Monash University
12:00
15m
Short-paper
Toward Automated Compliance Checking of Fund Activities Using Runtime Verification Techniques
FinanSE
Marcello Ceci University of Luxembourg, Nicolas Sannier University of Luxembourg, SnT, Donghwan Shin University of Sheffield, Sallam Abualhaija University of Luxembourg, Domenico Bianculli University of Luxembourg, Michael Halling University of Luxembourg
14:00 - 15:30
Keynote 2FinanSE at Daciano da Costa
Chair(s): Vali Tawosi J.P. Morgan AI Research
14:00
90m
Keynote
Software Modernization: from industry needs to developers’ perception
FinanSE
Wesley Assunção North Carolina State University
16:00 - 17:30
Paper Session and ClosingFinanSE at Daciano da Costa
Chair(s): Vali Tawosi J.P. Morgan AI Research
16:00
25m
Long-paper
Topical: Automatic Repository Tagging using Attention on Hybrid Code Embeddings
FinanSE
16:25
15m
Short-paper
Toward Automated Change Impact Analysis of Financial Regulations
FinanSE
Sallam Abualhaija University of Luxembourg, Marcello Ceci University of Luxembourg, Nicolas Sannier University of Luxembourg, SnT, Domenico Bianculli University of Luxembourg, Dirk Zetzsche University of Luxembourg, Marco Bodellini University of Luxembourg
16:40
5m
Day closing
Closing
FinanSE

Mon 15 Apr

Displayed time zone: Lisbon change

Tue 16 Apr

Displayed time zone: Lisbon change