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