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
282019
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
42019
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
Decoding Output Sequences for Discrete-Time Linear Hybrid Systems.
M Narasimhamurthy, S Sankaranarayanan
25th ACM International Conference on Hybrid Systems: Computation and Control …, 2022
2022
Refinement types for precisely named cache locations
MA Hammer, J Dunfield, DJ Economou, M Narasimhamurthy
arXiv preprint arXiv:1610.00097, 2016
2016
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