Follow
Monal Narasimhamurthy
Title
Cited by
Cited by
Year
Meta-F: Proof Automation with SMT, Tactics, and Metaprograms
G Martínez, D Ahman, V Dumitrescu, N Giannarakis, C Hawblitzel, ...
European Symposium on Programming, 30-59, 2019
452019
Verifying conformance of neural network models
M Narasimhamurthy, T Kushner, S Dutta, S Sankaranarayanan
2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2019
92019
Typed Adapton: refinement types for incremental computations with precise names
MA Hammer, J Dunfield, DJ Economou, M Narasimhamurthy
arXiv preprint arXiv:1610.00097, 161, 2016
22016
Fungi: Typed incremental computation with names
MA Hammer, J Dunfield, K Headley, M Narasimhamurthy, DJ Economou
arXiv preprint arXiv:1808.07826, 2018
12018
An Algorithm for Learning Switched Linear Dynamics from Data
G Berger, M Narasimhamurthy, K Watanabe, M Lahijanian, ...
Advances in Neural Information Processing Systems 35, 30419-30431, 2022
2022
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
M Narasimhamurthy, S Sankaranarayanan
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
2022
Projects in Geospatial Data Analysis: Spring 2016
S Muralidhara, M Narasimhamurthy, KC Pai, J Blackstock, C Phillips, ...
2016
ML as a Tactic Language, Again
G MARTÍNEZ, D AHMAN, V DUMITRESCU, N GIANNARAKIS, ...
The system can't perform the operation now. Try again later.
Articles 1–8