SPLASH 2018 (series) / 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
View general profile