WordRev: Finding word-level structures in a sea of bit-level gates. - Wenchao Li 001; Adrià Gascón; Pramod Subramanyan; Wei Yang Tan; Ashish Tiwari 001; Sharad Malik; Natarajan Shankar; Sanjit A. Seshia (HOST, 2013)

Symbolic software model validation. - Cynthia Sturton; Rohit Sinha 001; Thurston H. Y. Dang; Sakshi Jain; Michael McCoyd; Wei Yang Tan; Petros Maniatis; Sanjit A. Seshia; David A. Wagner 001 (MEMOCODE, 2013)

Formal Modeling and Verification of CloudProxy. - Wei Yang Tan; Rohit Sinha 001; John L. Manferdelli; Sanjit A. Seshia (VSTTE, 2014)

Reverse Engineering Digital Circuits Using Structural and Functional Analyses. - Pramod Subramanyan; Nestan Tsiskaridze; Wenchao Li 001; Adrià Gascón; Wei Yang Tan; Ashish Tiwari 001; Natarajan Shankar; Sanjit A. Seshia; Sharad Malik (IEEE Trans. Emerg. Top. Comput., 2014)