Monal Narasimhamurthy
Graduate Student, University of Colorado Boulder


monal   |   LinkedIn   |   CV
Email: monal.narasimhamurthy@colorado.edu

Hi! I'm a PhD student at the University of Colorado Boulder in the Department of Computer Science and a member of the CU Programming Languages and Verification group. I'm advised by Prof. Sriram Sankaranarayanan (since Spring 2019).

I'm interested in modeling autonomous systems for control and verification using data-driven techniques.

I received my Masters degree in Computer Science from the University of Colorado Boulder in 2017. I was advised by Prof. Matthew Hammer and we worked on extending Adapton, an incremental computation framework.

I obtained my Bachelors degree in Computer Science from Birla Institute of Technology and Science, Pilani (Goa) in 2014.

Research

  • An Algorithm for Learning Switched Linear Dynamics from Data
    Guillaume Berger*, Monal Narasimhamurthy*, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan.
    In Advances in Neural Information Processing Systems, 2022.
    [Paper]   [Poster]  [Video] 
  • Decoding Output Sequences for Discrete-Time Linear Hybrid Systems
    Monal Narasimhamurthy, Sriram Sankaranarayanan.
    In ACM International Conference on Hybrid Systems: Computation and Control (HSCC), pp. 6:1-6:7, 2022.
    [Paper]   [Poster Abstract]  [Video]
  • Verifying Conformance of Neural Network Models: Invited Paper
    Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan.
    In 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2019.
    [Paper]
  • 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.
    In 28th European Symposium on Programming (ESOP) , Springer, 2019.
    [Paper]
  • ML as a Tactic Language, Again
    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.
    ML, 2018.
    [Paper]
  • Fungi: Typed incremental computation with names
    Matthew A. Hammer, Kyle Headley, Jana Dunfield, Monal Narasimhamurthy, Dimitrios J. Economou.
    [Draft]

Research Internships

  • Summer 2022
    Amazon, Automated Reasoning Group, Santa Clara
    Advised by Dr. Zyad Hassan
  • Summer 2021
    Five AI, United Kingdom
    Advised by Dr. Iain Whiteside
  • Summer 2018
    Microsoft Research, United Kingdom
    Advised by Prof. Andy Gordon and Prof. Simon Peyton Jones
  • Summer + Fall 2017
    Microsoft Research, India
    Advised by Dr. Aseem Rastogi

Teaching Assistantships

  • Fall 2019
    CSCI 3155: Principles of Programming Languages
    University of Colorado Boulder
  • Spring 2016
    CSCI 3308: Software Development Tools and Methods
    University of Colorado Boulder