Write a Blog >>

Registered user since Thu 30 Jun 2016

Name: Muralidaran Vijayaraghavan

Affiliation: SiFive

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

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

Contributions

HASE 2020Speaker of Interactive Knowledge Shares within the HASE 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile