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
Using general profile
PLDI 2026
Mon 15 - Fri 19 June 2026 Boulder, Colorado, United States
- Attending
- Tracks
- Organization
- PLDI 2026 Committees
- Organizing Committee
- AV Committee
- Track Committees
- PLDI Research Papers
- Research Artifacts
- Student Research Competition
- Contributors
- People Index
- Search
- Series