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 2020 | Speaker of Interactive Knowledge Shares within the HASE 2020-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile