Registered user since Thu 25 Jan 2024
Name:Enrico Magnago
Affiliation:Amazon Web Services
Personal website: https://enmag.github.io/
Research interests:Formal Verification, Symbolic Model Checking, SAT, SMT, LTL
Contributions
Using general profile
SPLASH 2026
Sat 3 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
- Attending
- Tracks
- Organization
- SPLASH 2026 Committees
- Track Committees
- OOPSLA
- SPLASH/OOPSLA @ 40 Panel
- SPLASH-E
- Artifact evaluation
- SPLASH/ISSTA
- Doctoral symposium
- Student Research Competition
- Student Volunteers
- Tool Demonstrations
- REBASE industry track
- Workshops
- Sponsorship
- Contributors
- People Index
- Search
- Series
- Series
- SPLASH 2026
- SPLASH 2025
- SPLASH 2024
- SPLASH 2023
- SPLASH 2022
- SPLASH 2021
- SPLASH 2020
- SPLASH 2019
- SPLASH 2018
- SPLASH 2017
- SPLASH 2016
- SPLASH 2015
- SPLASH 2014
- SPLASH 2013
- SPLASH 2012
- SPLASH 2011
- SPLASH 2010
- OOPSLA 2009
- OOPSLA 2008
- OOPSLA 2007
- OOPSLA 2006
- OOPSLA 2005
- OOPSLA 2004
- OOPSLA 2003
- OOPSLA 2002
- OOPSLA 2001
- OOPSLA 2000