KC Sivaramakrishnan

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (6)

• FIDES: End-to-end Compartments for Mixed-language Systems
  2026 DOI: 10.1145/3779208.3805988
  +Save
• Automatically Verifying Replication-Aware Linearizability
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3720452
  +Save
• Continuing WebAssembly with Effect Handlers
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3622814
  +Save
• Retrofitting effect handlers onto OCaml
  2021 DOI: 10.1145/3453483.3454039
  +Save
• Retrofitting parallelism onto OCaml
  Proceedings of the ACM on Programming Languages 2020 DOI: 10.1145/3408995
  +Save
• Concurrent System Programming with Effect Handlers
  2018 DOI: 10.1007/978-3-319-89719-6_6
  +Save