TCSE logo 
 Sigsoft logo
Sustainability badge
VenueRogers Centre, Ottawa (formerly Shaw Centre)
Room name107
Floor1
Room number107
Capacity42
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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
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
14:45
45m
Talk
Invited Talk 2
STATIC

Tue 29 Apr

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
107

:
: