Mihir Parang Mehta

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Computer Algebra Systems

Natural Language Learning

Symbolic Representation

Top Venues

Publications

Aarti Gupta, Roope Kaivola, Mihir Parang Mehta, Vaibhav Singh
Error Correction Code Algorithm and Implementation Verification Using Symbolic Representations. FMCAD (2022)
Mihir Parang Mehta, William R. Cook
Separation Logic-Based Verification Atop a Binary-Compatible Filesystem Model. SBMF (2020)
Mihir Parang Mehta, William R. Cook
Binary-Compatible Verification of Filesystems with ACL2. ITP (2019)
Mihir Parang Mehta
Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32. ACL2 (2018)