David Kaloper-Meršinjak -

Registered user since Wed 6 Jun 2018

Name:David Kaloper-Meršinjak

Country:United Kingdom

Affiliation:University of Cambridge

Personal website: https://www.cl.cam.ac.uk/~dk505

Research interests:Functional programming, Cryptography, Verification

Contributions

2026

PLDI

Author of Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic Specification into Conventional Workflows within the PLDI Research Papers-track

TPSA

Author of Gradually Retrofitting Assurance into Systems Software: A Separation-Logic Approach within the TPSA 2026-track

2018

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2016

OCaml

Author of OCaml inside: a drop-in replacement for libtls within the OCaml-track

TyDe

Author of Generic partially-static data within the TyDe-track