Hello! I'm Monal Narasimhamurthy, a second year PhD student at the University of Colorado Boulder, advised by Prof. Matthew Hammer. I'm a member of the CU Programming Languages and Verification group (CUPLV). My research interest includes Programming Languages and Incremental Computation. I'm currently working on extending Adapton, an incremental computation framework.
- Meta-F*: Proof automation with SMT, Tactics, and Metaprograms
Guido Martínez, Danel Ahman, Victor Dumitrescu, Nick Giannarakis, Chris Hawblitzel, Cătălin Hriţcu, Monal Narasimhamurthy, Zoe Paraskevopoulou, Clément Pit-Claudel, Jonathan Protzenko, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
- Fungi: Typed incremental computation with names [In Submission]
Matthew A. Hammer, Kyle Headley, Joshua Dunfield, Monal Narasimhamurthy, Dimitrios J. Economou
- Teaching Assistant, Spring 2016 - Software Development Tools and Methods, CSCI 3308