• Sign in
  • Sign up
conf.researchr.org / Petar Maksimović
  • ECOOP 2019 profile
  • PLDI 2018 profile
  • PLDI 2019 profile
  • PLDI 2020 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2021 profile
  • SPLASH 2020 profile
Petar Maksimović

Registered user since Wed 1 Nov 2017

Name: Petar Maksimović

Affiliation: Imperial College London, UK

Contributions

CPP 2021 Committee Member in Program Committee within the CPP 2021-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 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
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
xThu 28 Jan 15:48
using conf.researchr.org (v1.40.2)
Support page
Sign Up