Petar Maksimović -

Registered user since Wed 1 Nov 2017

Name: Petar Maksimović

Country: United Kingdom

Affiliation: Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia

Contributions

ECOOP 2019	Author of A Program Logic for First-Order Encapsulated WebAssembly within the Research Papers-track
PLDI 2019	Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL 2019	Author of JaVerT 2.0: Compositional Symbolic Execution for JavaScript within the Research Papers-track
PLDI 2018	Committee Member in Artifact Evaluation Committee
POPL 2018	Author of JaVerT: JavaScript Verification Toolchain within the Research Papers-track Author of JaVerT: JavaScript Verification using Separation Logic within the Artifact Evaluation-track