RV-Match: Practical Semantics-Based Program Analysis. - Dwight Guth; Chris Hathhorn; Manasvi Saxena; Grigore Rosu (CAV (1), 2016)

Runtime Verification at Work: A Tutorial. - Philip Daian; Dwight Guth; Chris Hathhorn; Yilong Li; Edgar Pek; Manasvi Saxena; Traian-Florin Serbanuta; Grigore Rosu (RV, 2016)

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. - Everett Hildenbrandt; Manasvi Saxena; Nishant Rodrigues; Xiaoran Zhu; Philip Daian; Dwight Guth; Brandon M. Moore; Daejun Park 001; Yi Zhang; Andrei Stefanescu; Grigore Rosu (CSF, 2018)

A formal verification tool for Ethereum VM bytecode. - Daejun Park 001; Yi Zhang; Manasvi Saxena; Philip Daian; Grigore Rosu (ESEC/SIGSOFT FSE, 2018)

MediK: Towards Safe Guideline-based Clinical Decision Support. - Manasvi Saxena; Shuang Song; Lui Sha (FMCAD, 2023)

Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems. - Shuang Song; Manasvi Saxena; Pei-Hsuan Tsai; Lui Sha (SMC, 2023)