ICSE 2025 (series) / STATIC 2025 (series) /
STATIC 2025 Program
This is the STATIC 2025 program - see the full program for ICSE 2025 and all affiliated events.
Filter Program
Dates
Sun 27 Apr 2025
Mon 28 Apr 2025
Tue 29 Apr 2025
Wed 30 Apr 2025
Thu 1 May 2025
Fri 2 May 2025
Sat 3 May 2025
Rooms
107
Canada Hall 3 plus Foyer
Tracks
ICSE Catering
STATIC
Badges
Nothing to filter
Your Program
Nothing to filter
Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change
Sun 27 Apr
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mCoffee break | Sunday Morning Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Sunday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Sunday Afternoon Break Catering | ||
Mon 28 AprDisplayed time zone: Eastern Time (US & Canada) change
Mon 28 Apr
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Monday Morning Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Monday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Monday Afternoon Break Catering | ||
Tue 29 AprDisplayed time zone: Eastern Time (US & Canada) change
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 15mDay 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 45mKeynote | Scaling Static Analysis - The Why, the How, and the What STATIC File Attached | ||
10:30 - 11:00 | |||
10:30 30mBreak | Tuesday Morning Break Catering | ||
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 | ||
12:30 - 14:00 | |||
12:30 90mLunch | Tuesday Lunch Catering | ||
14:00 - 15:30 | |||
14:00 45mTalk | Automatic Detection of Data Entry Errors STATIC | ||
14:45 45mTalk | The Pursuit of Soundness in Android Static Analysis STATIC | ||
15:30 - 16:00 | |||
15:30 30mBreak | Tuesday Afternoon Break Catering | ||
Wed 30 AprDisplayed time zone: Eastern Time (US & Canada) change
Wed 30 Apr
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Wednesday Morning Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Wednesday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Wednesday Afternoon Break Catering | ||
Thu 1 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 1 May
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Thursday Morning Break Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Thursday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Thursday Afternoon Break Catering | ||
Fri 2 MayDisplayed time zone: Eastern Time (US & Canada) change
Fri 2 May
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Friday Morning Break Catering | ||
12:30 - 14:00 | |||
13:15 45mLunch | Friday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Friday Afternoon Break Catering | ||
Sat 3 MayDisplayed time zone: Eastern Time (US & Canada) change
Sat 3 May
Displayed time zone: Eastern Time (US & Canada) change
10:30 - 11:00 | |||
10:30 30mBreak | Saturday Morning Break Catering | ||
12:30 - 14:00 | |||
13:15 45mLunch | Saturday Lunch Catering | ||
15:30 - 16:00 | |||
15:30 30mBreak | Saturday Afternoon Break Catering | ||