Daciano da Costa - KLEE 2024

VenueCentro Cultural de Belém

Room nameDaciano da Costa

Capacity32

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

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 programSpecify 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

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 Sae Young Moon , Gregor Kerr , Fran Silavong , Sean Moran

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 Agathe Lherondelle JP Morgan Chase, Varun Babbar JP Morgan Chase, Yash Satsangi , Fran Silavong , Sean Moran
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


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
Daciano da Costa	InteNSE Early Morning Session																								InteNSE Late Morning Session																																				InteNSE Afternoon Session																								InteNSE Late Afternoon Session

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
Daciano da Costa	FinanSE Opening and Paper Session 1																								FinanSE Keynote 1 and Paper Session																																				FinanSE Keynote 2																								FinanSE Paper Session and Closing

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
Daciano da Costa	InteNSE An Empirical Comparison of Code Generation Approaches for Ansible 09:00 - 09:20				InteNSE Towards an Interpretable Science of Deep Learning for Software Engineer ... 09:20 - 10:30																				InteNSE Assured LLM-Based Software Engineering 11:00 - 12:10														InteNSE An Exploratory Study on How Non-Determinism in Large Language Models Af ... 12:10 - 12:30																InteNSE Tutorial on Neuro-symbolic Programming 13:30 - 15:30																														InteNSE Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Str ... 16:00 - 16:30						InteNSE SWE-bench: Can Language Models Resolve Real-World GitHub Issues? 16:30 - 17:00						InteNSE InteNSE 2024 Closing Remarks 17:00 - 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
Daciano da Costa				FinanSE Opening Session 09:15 - 09:30			FinanSE Enhancing Incident Management: Insights from a Case Study at ING 09:30 - 09:55					FinanSE API-Miner: an API-to-API Specification Recommendation Engine 09:55 - 10:20													FinanSE Augmented Agile: Human-centred AI-assisted Software Project Management 11:00 - 12:00												FinanSE Toward Automated Compliance Checking of Fund Activities Using Runtime V ... 12:00 - 12:15																								FinanSE Software Modernization: from industry needs to developers’ perception 14:00 - 15:30																								FinanSE Topical: Automatic Repository Tagging using Attention on Hybrid Code Em ... 16:00 - 16:25					FinanSE Toward Automated Change Impact Analysis of Financial Regulations 16:25 - 16:40			FinanSE Closing 16:40 - 16:45

Room information: Daciano da Costa

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

InteNSE

InteNSE

InteNSE

InteNSE

Tue 16 Apr
Displayed time zone: Lisbon change

FinanSE

FinanSE

FinanSE

FinanSE

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Tracks

Room information: Daciano da Costa

Program Display Configuration

Mon 15 AprDisplayed time zone: Lisbon change

Tue 16 AprDisplayed time zone: Lisbon change

Mon 15 AprDisplayed time zone: Lisbon change

InteNSE

InteNSE

InteNSE

InteNSE

Tue 16 AprDisplayed time zone: Lisbon change

FinanSE

FinanSE

FinanSE

FinanSE

Mon 15 AprDisplayed time zone: Lisbon change

Tue 16 AprDisplayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change

Mon 15 Apr
Displayed time zone: Lisbon change

Tue 16 Apr
Displayed time zone: Lisbon change