KC Sivaramakrishnan

Registered user since Thu 3 May 2018

Name:KC Sivaramakrishnan
Country:United Kingdom
Affiliation:University of Cambridge
Personal website:http://kcsrk.info/
Research interests:Functional Programming, Language Runtimes, Concurrency and Parallelism, Weak Consistency

Contributions

SPLASH 2018 Safe Replication through Bounded Concurrency Verification
Safe Replication through Bounded Concurrency Verification
Show activities from other conferences

SPLASH 2018-profile
View general profile