2009 Research Summary - Sanjit A. Seshia
Large Projects
- UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
Sanjit A. Seshia, Bryan Brady, Susmit Jha and Rhishikesh Shrikant Limaye
Small Projects
- A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance
Sanjit A. Seshia, Wenchao Li and Orna Kupferman - Game-Theoretic Timing Analysis
Sanjit A. Seshia - Hierarchy of Finite Simulations of Lazy Linear Hybrid Automata
Susmit Jha, Sanjit A. Seshia and Bryan Brady - Information Flow Security
Susmit Jha and Sanjit A. Seshia - Satisfiability Modulo Theories (SMT)
Rhishikesh Shrikant Limaye, Sanjit A. Seshia and Susmit Jha - Verification-Guided Error Resilience (VGER)
Daniel Holcomb, Wenchao Li and Sanjit A. Seshia - Word-level Verification of Hardware Designs Using Selective Term-Level Abstraction
Sanjit A. Seshia and Bryan Brady