Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. - Guido Martínez; Danel Ahman; Victor Dumitrescu; Nick Giannarakis; Chris Hawblitzel; Catalin Hritcu; Monal Narasimhamurthy; Zoe Paraskevopoulou; Clément Pit-Claudel; Jonathan Protzenko; Tahina Ramananandro; Aseem Rastogi; et al. (CoRR, 2018)

Fungi: Typed incremental computation with names. - Matthew A. Hammer; Jana Dunfield; Kyle Headley; Monal Narasimhamurthy; Dimitrios J. Economou (CoRR, 2018)

Meta-F ^ star : Proof Automation with SMT, Tactics, and Metaprograms. - Guido Martínez; Danel Ahman; Victor Dumitrescu; Nick Giannarakis; Chris Hawblitzel; Catalin Hritcu; Monal Narasimhamurthy; Zoe Paraskevopoulou; Clément Pit-Claudel; Jonathan Protzenko; Tahina Ramananandro; Aseem Rastogi; et al. (ESOP, 2019)

Verifying Conformance of Neural Network Models: Invited Paper. - Monal Narasimhamurthy; Taisa Kushner; Souradeep Dutta; Sriram Sankaranarayanan 001 (ICCAD, 2019)

Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. - Monal Narasimhamurthy; Sriram Sankaranarayanan 001 (HSCC, 2022)

Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. - Monal Narasimhamurthy; Sriram Sankaranarayanan 001 (HSCC, 2022)

An Algorithm for Learning Switched Linear Dynamics from Data. - Guillaume O. Berger; Monal Narasimhamurthy; Kandai Watanabe; Morteza Lahijanian; Sriram Sankaranarayanan 001 (NeurIPS, 2022)

Algorithms for Identifying Flagged and Guarded Linear Systems. - Guillaume O. Berger; Monal Narasimhamurthy; Sriram Sankaranarayanan 001 (HSCC, 2024)