Manasvi Saxena

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Clinical Decision Support

Virtual Machine

Practical Problems

Formal Verification

Top Venues

Publications

Shuang Song, Manasvi Saxena, Pei-Hsuan Tsai, Lui Sha
Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems. SMC (2023)
Manasvi Saxena, Shuang Song, Lui Sha
MediK: Towards Safe Guideline-based Clinical Decision Support. FMCAD (2023)
Daejun Park, Yi Zhang, Manasvi Saxena, Philip Daian, Grigore Rosu
A formal verification tool for Ethereum VM bytecode. ESEC/SIGSOFT FSE (2018)
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. CSF (2018)
Dwight Guth, Chris Hathhorn, Manasvi Saxena, Grigore Rosu
RV-Match: Practical Semantics-Based Program Analysis. CAV (1) (2016)
Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu
Runtime Verification at Work: A Tutorial. RV (2016)