Registered user since Sun 10 Nov 2019

Name:Mukund Raghothaman
Country:United States
Affiliation:University of Southern California

Contributions

PADL 2023 Automatic Rollback Suggestions for Incremental Datalog Evaluation
Show activities from other conferences

POPL 2023-profile
View general profile