Andrea Gilot - SPLASH/ISSTA 2026

Sun 4 - Fri 9 October 2026 Oakland, California, United States

Registered user since Tue 20 Jan 2026

Name:Andrea Gilot

Country:Sweden

Affiliation:Uppsala University

Personal website: https://andreagilot.com

Research interests:Deductive Verification, Program Analysis

Contributions

2026

SPLASH

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages

Show activities from other conferences

SPLASH/ISSTA 2026-profile
View general profile