Rahul Krishnan

Registered user since Wed 7 Dec 2022

Name:Rahul Krishnan
Country:United States
Affiliation:University of Wisconsin-Madison
Research interests:Program Synthesis, Programming Languages

Contributions

SPLASH 2022 Author of Synthesizing fine-grained synchronization protocols for implicit monitors within the OOPSLA-track