Hello! I'm Monal Narasimhamurthy, a first year PhD student at the University of Colorado Boulder, advised by Prof. Matthew A 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.
- Typed Adapton: Refinement types for nominal memoization
Matthew A. Hammer, Joshua Dunfield, Dimitrios J. Economou, Monal Narasimhamurthy [In submission]