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.
- Refinement types for precisely named cache locations [In Submission]
Matthew A. Hammer, Joshua Dunfield, Dimitrios J. Economou, Monal Narasimhamurthy