All Stories

  1. Compositional Symbolic Execution for the Next 700 Memory Models

    Article • Proceedings of the ACM on Programming Languages, October 2025, ACM (Association for Computing Machinery)

    Petar Maksimovic

  2. A Hybrid Approach to Semi-automated Rust Verification

    Article • Proceedings of the ACM on Programming Languages, June 2025, ACM (Association for Computing Machinery)

    Petar Maksimovic

  3. Bringing the WebAssembly Standard up to Speed with SpecTec

    Article • Proceedings of the ACM on Programming Languages, June 2024, ACM (Association for Computing Machinery)

    Joachim Breitner, Petar Maksimovic

  4. Gillian, part i: a multi-language platform for symbolic execution

    Article • June 2020, ACM (Association for Computing Machinery)

    Petar Maksimovic

  5. JaVerT 2.0: compositional symbolic execution for JavaScript

    Article • Proceedings of the ACM on Programming Languages, January 2019, ACM (Association for Computing Machinery)

    Petar Maksimovic

  6. Plugging-in proof development environments using Locks in LF

    Article • Mathematical Structures in Computer Science, May 2018, Cambridge University Press

    Petar Maksimovic

  7. JaVerT: JavaScript verification toolchain

    Article • Proceedings of the ACM on Programming Languages, January 2018, ACM (Association for Computing Machinery)

    Petar Maksimovic

  8. Reasoning about the POSIX file system: local update and global pathnames

    Article • ACM SIGPLAN Notices, December 2015, ACM (Association for Computing Machinery)

    Petar Maksimovic