Manasvi Saxena

According to our database, Manasvi Saxena authored at least 6 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems.

Shuang Song, Manasvi Saxena, Pei-Hsuan Tsai, Lui Sha

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

MediK: Towards Safe Guideline-based Clinical Decision Support.

Manasvi Saxena, Shuang Song, Lui Sha

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2018

A formal verification tool for Ethereum VM bytecode.

Daejun Park, Yi Zhang, Manasvi Saxena, Philip Daian, Grigore Rosu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

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, Yi Zhang, Andrei Stefanescu, Grigore Rosu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2016

Runtime Verification at Work: A Tutorial.

Philip Daian, Dwight Guth, Chris Hathhorn, Yilong Li, Edgar Pek, Manasvi Saxena, Traian-Florin Serbanuta, Grigore Rosu

Proceedings of the Runtime Verification - 16th International Conference, 2016

RV-Match: Practical Semantics-Based Program Analysis.

Dwight Guth, Chris Hathhorn, Manasvi Saxena, Grigore Rosu

Proceedings of the Computer Aided Verification - 28th International Conference, 2016