Muralidaran Vijayaraghavan -

Registered user since Thu 30 Jun 2016

Name:Muralidaran Vijayaraghavan

Country:United States

Affiliation:Google Research

Personal website: http://people.csail.mit.edu/vmurali

GitHub: https://github.com/vmurali

Research interests:Programming Languages, Theorem Proving, Formal Verification, Proof Assistants, Computer Architecture

Contributions

2024

PLDI

Committee Member in PLDI Review Committee within the PLDI Research Papers-track

2020

HASE

Speaker of Interactive Knowledge Shares within the HASE 2020-track

2018

DeepSpec

Speaker of Using Kami in the field - experiences integrating Kami into SiFive's Chisel/Scala-based design flow within the DeepSpec 2018-track

2017

ICFP

Author of Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification within the Research Papers-track