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
PLDI 2024-profile
View general profile
View general profile