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
DeepSpec 2018 | Using Kami in the field - experiences integrating Kami into SiFive's Chisel/Scala-based design flow | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2018-profile
View general profile
View general profile