Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Petar Maksimović
conf.researchr.org general profile
ECOOP 2019 profile
ECOOP and ISSTA 2023 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
SPLASH 2020 profile
Registered user since Wed 1 Nov 2017
Name:
Petar Maksimović
Affiliation:
Imperial College London, UK
Contributions
ECOOP 2023
Author of Exact Separation Logic within the Research Papers-track
CPP 2021
Committee Member in Program Committee within the CPP 2021-track
ECOOP 2020
Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Research Papers-track
Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Artifacts-track
PLDI 2020
Author of Gillian, Part I: A Multi-language Platform for Symbolic Execution within the PLDI Research Papers-track
REMS-DeepSpec 2020
Author of WebAssembly: sequential and concurrent semantics within the REMS-DeepSpec 2020-track
Author of Gillian: a Multi-language Platform for Program Correctness and Incorrectness within the REMS-DeepSpec 2020-track
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
Share
x
Tue 30 May 15:54