TCSE logo 
 Sigsoft logo
Sustainability badge

This program is tentative and subject to change.

Tue 29 Apr 2025 11:30 - 12:00 at 107 - Paper Presentations

This program is tentative and subject to change.

Tue 29 Apr

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

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