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 | Interactive Knowledge Shares | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2020-profile
View general profile
View general profile