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
- Attending
- Tracks
- Organization
- SPLASH 2025 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- OOPSLA
- OOPSLA Artifacts
- Posters
- SPLASH-E
- ICFP/SPLASH
- Workshops
- Contributors
- People Index
- Search
- Series
- Series
- 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