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