Monal Narasimhamurthy

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 8

Top Topics

Top Venues

Publications

Guillaume O. Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan
Algorithms for Identifying Flagged and Guarded Linear Systems. HSCC (2024)
Monal Narasimhamurthy, Sriram Sankaranarayanan
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. HSCC (2022)
Guillaume O. Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan
An Algorithm for Learning Switched Linear Dynamics from Data. NeurIPS (2022)
Monal Narasimhamurthy, Sriram Sankaranarayanan
Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems. HSCC (2022)
Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan
Verifying Conformance of Neural Network Models: Invited Paper. ICCAD (2019)
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, Nikhil Swamy
Meta-F ^\star : Proof Automation with SMT, Tactics, and Metaprograms. ESOP (2019)
Matthew A. Hammer, Jana Dunfield, Kyle Headley, Monal Narasimhamurthy, Dimitrios J. Economou
Fungi: Typed incremental computation with names. CoRR (2018)
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, Nikhil Swamy
Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier. CoRR (2018)