Dimitrios J. Economou -

Not registered as user

Name:Dimitrios J. Economou

Affiliation:University of Cambridge

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