Monal Narasimhamurthy -

Registered user since Mon 8 May 2017

Name:Monal Narasimhamurthy

Country:United States

Affiliation:University of Colorado, Boulder

Personal website: http://monal.github.io/

Research interests:Formal Verification, Programming Languages

Contributions

2022

VMCAI

Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track

2021

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI-track

2019

ESOP

Author of Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms within the ESOP 2019-track

2018

ML

Author of ML as a Tactic Language, Again within the ML 2018-track