| 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 | 46 | 2019 |
| 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 | 9 | 2019 |
| 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 | 2 | 2016 |
| Fungi: Typed incremental computation with names MA Hammer, J Dunfield, K Headley, M Narasimhamurthy, DJ Economou arXiv preprint arXiv:1808.07826, 2018 | 1 | 2018 |
| 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, ... | | |
