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