PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Registered user since Thu 30 Jun 2016

Name:Muralidaran Vijayaraghavan
Country:United States
Affiliation:Google Research
Research interests:Programming Languages, Theorem Proving, Formal Verification, Proof Assistants, Computer Architecture

Contributions

Show activities from other conferences

PLDI 2024-profile
View general profile