Monal Narasimhamurthy

According to our database, Monal Narasimhamurthy authored at least 7 papers between 2018 and 2022.

Collaborative distances:

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

2022

An Algorithm for Learning Switched Linear Dynamics from Data.

Guillaume O. Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Poster Abstract: Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.

Monal Narasimhamurthy, Sriram Sankaranarayanan

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.

Monal Narasimhamurthy, Sriram Sankaranarayanan

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2019

Verifying Conformance of Neural Network Models: Invited Paper.

Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan

Proceedings of the International Conference on Computer-Aided Design, 2019

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, Nikhil Swamy

Proceedings of the Programming Languages and Systems, 2019

2018

Fungi: Typed incremental computation with names.

Matthew A. Hammer, Jana Dunfield, Kyle Headley, Monal Narasimhamurthy, Dimitrios J. Economou

CoRR, 2018

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, Nikhil Swamy

CoRR, 2018