2008 Research Summary - Sanjit A. Seshia

Large Projects

• Open Source Quality
  Thomas A. Henzinger, George Necula, Ras Bodik and Sanjit A. Seshia
• UCLID: Reasoning about Computer Systems with Boolean Methods (UCLID)
  Sanjit A. Seshia, Bryan Brady and Susmit Kumar Jha

Small Projects

• Fault Tolerance and Specification Coverage
  Sanjit A. Seshia, Wenchao Li and Orna Kupferman
• Parallel SMT Solver
  Rhishikesh Shrikant Limaye and Sanjit A. Seshia
• SMT Solver for Security
  Susmit Kumar Jha and Sanjit A. Seshia
• Verification of Lazy Hybrid Automata
  Susmit Kumar Jha, Sanjit A. Seshia and Bryan Brady
• Verification-Guided Error Resilience
  Wenchao Li and Sanjit A. Seshia
• Web Service Interfaces (CHIC)
  Dirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger and Sanjit A. Seshia
• Word-Level Verification of Hardware Designs Using Selective Term-Level Abstraction
  Sanjit A. Seshia and Bryan Brady