Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Petar Maksimović
conf.researchr.org general profile
ECOOP 2019 profile
ECOOP and ISSTA 2023 profile
ISSTA/ECOOP 2024 profile
PLDI 2018 profile
PLDI 2019 profile
PLDI 2020 profile
POPL 2018 profile
POPL 2019 profile
POPL 2021 profile
POPL 2024 profile
SPLASH 2020 profile
Registered user since Wed 1 Nov 2017
Name:
Petar Maksimović
Affiliation:
Imperial College London, UK
Contributions
2024
ECOOP
Author of Compositional Symbolic Execution for Correctness and Incorrectness Reasoning within the Technical Papers-track
Author of Matching Plans for Frame Inference in Compositional Reasoning within the Technical Papers-track
Formal Methods for Incorrectness
Author of Unified Compositional Formal Methods: Exact Separation Logic and the Gillian Platform for Correctness and Incorrectness Reasoning within the Incorrectness-track
2023
ECOOP
Author of Exact Separation Logic within the Research Papers-track
2021
CPP
Committee Member in Program Committee within the CPP 2021-track
2020
ECOOP
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
Author of Gillian, Part I: A Multi-language Platform for Symbolic Execution within the PLDI Research Papers-track
DeepSpec
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
2019
ECOOP
Author of A Program Logic for First-Order Encapsulated WebAssembly within the Research Papers-track
PLDI
Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track
POPL
Author of JaVerT 2.0: Compositional Symbolic Execution for JavaScript within the Research Papers-track
2018
PLDI
Committee Member in Artifact Evaluation Committee
POPL
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
Sat 21 Dec 14:56
