ICSE 2025 (series) / STATIC 2025 (series) / STATIC 2025 /
Heros in Action: Analyzing Objective-C Binaries through Decompilation and IFDS
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 AprDisplayed time zone: Eastern Time (US & Canada) change
Tue 29 Apr
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | |||
11:00 30mTalk | 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 30mTalk | 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 30mTalk | 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 |