PySymGym: An Infrastructure to Train AI-Powered Navigation Assistant for Symbolic Execution Engine (STATIC 2025)

Who

Semyon Grigorev, Anna Chistyakova, Maxim Nigmatulin, Ekaterina Shemetova, Danil Parfenov, David Akhmedov

Track

STATIC 2025 Advancing Static Analysis

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

When

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

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

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

Display full programSpecify a time band

Save

Session Program

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