Language Specifiaction and Program Verification

Petar was a Research Fellow with the group and the Academic Program Manager for the Research Institute on Verified Trustworthy Software Systems (VeTSS) until his move to industry in 2022.

Petar is also a Research Assistant Professor at the Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade.

Group Publications

1. Gillian, Part II: Real-World Verification for JavaScript and C

   • Petar Maksimovic
   • Sacha-Élie Ayoun
   • José Fragoso Santos
   • Philippa Gardner

   CAV 2021

2. A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

   • Gabriela Sampaio
   • José Fragoso Santos
   • Petar Maksimovic
   • Philippa Gardner

   ECOOP 2020

3. Gillian, Part I: A Multi-language Platform for Symbolic Execution

   • José Fragoso Santos
   • Petar Maksimovic
   • Sacha-Élie Ayoun
   • Philippa Gardner

   PLDI 2020

4. A Program Logic for First-Order Encapsulated WebAssembly

   • Conrad Watt
   • Petar Maksimovic
   • Neelakantan R. Krishnaswami
   • Philippa Gardner

   ECOOP 2019

5. JaVerT 2.0: Compositional Symbolic Execution for JavaScript

   • José Fragoso Santos
   • Petar Maksimovic
   • Gabriela Sampaio
   • Philippa Gardner

   POPL 2019

6. Symbolic Execution for JavaScript

   • José Fragoso Santos
   • Petar Maksimovic
   • Théotime Grohens
   • Julian Dolby
   • Philippa Gardner

   Principles and Practice of Declarative Programming (PPDP) 2018

7. JaVerT: JavaScript Verification Toolchain

   • José Fragoso Santos
   • Petar Maksimovic
   • Daiva Naudziuniene
   • Thomas Wood
   • Philippa Gardner

   POPL 2018

8. Towards Logic-based Verification of JavaScript Programs

   • José Fragoso Santos
   • Philippa Gardner
   • Petar Maksimovic
   • Daiva Naudziuniene

   Conference on Automated Deduction (CADE) 2017