107 - TechDebt 2025

VenueRogers Centre, Ottawa (formerly Shaw Centre)

Room name107

Floor1

Room number107

Capacity42

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

09:00 - 10:30	KeynoteSTATIC at 107 Chair(s): Martin Kellogg New Jersey Institute of Technology, Jacques Klein University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg

09:30 15m Day opening		Introduction by the Organization Chairs STATIC O: Jordan Samhi University of Luxembourg, Luxembourg, O: Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM, O: Martin Kellogg New Jersey Institute of Technology, O: Jacques Klein University of Luxembourg
09:45 45m Keynote		Keynote STATIC TBD

11:00 - 12:30	Paper PresentationsSTATIC at 107

11:00 30m Talk		FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis STATIC Tanmay Tirpankar University of Utah, Artem Yadrov University of Utah, Pavel Panchekha University of Utah, Ganesh Gopalakrishnan University of Utah
11:30 30m Talk		Heros in Action: Analyzing Objective-C Binaries through Decompilation and IFDS STATIC Florian Magin Fraunhofer SIT \| ATHENE, Gwendal Patat Fraunhofer SIT \| ATHENE, Fabian Scherf Fraunhofer SIT \| ATHENE
12:00 30m Talk		PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine STATIC Semyon Grigorev Saint Petersburg State University, Russia, Anna Chistyakova Saint-Petersburg State University, Maxim Nigmatulin Saint-Petersburg State University, Ekaterina Shemetova Saint-Petersburg State University, Danil Parfenov Saint-Petersburg State University, David Akhmedov Saint-Petersburg State University

14:00 - 15:30	Invited TalksSTATIC at 107

14:00 45m Talk		Invited Talk 1 STATIC TBD
14:45 45m Talk		Invited Talk 2 STATIC TBD

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) 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
107	STATIC Keynote																								STATIC Paper Presentations																																				STATIC Invited Talks																								STATIC

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) 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
107							STATIC Introduction by the Organization Chairs 09:30 - 09:45			STATIC Keynote 09:45 - 10:30															STATIC FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-P ... 11:00 - 11:30						STATIC Heros in Action: Analyzing Objective-C Binaries through Decompilation a ... 11:30 - 12:00						STATIC PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant fo ... 12:00 - 12:30																								STATIC Invited Talk 1 14:00 - 14:45									STATIC Invited Talk 2 14:45 - 15:30

Room information: 107

Program Display Configuration

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

STATIC

STATIC

STATIC

STATIC

Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change

Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change