Verified Software

Petar Maksimović is a Research Fellow with the group and the Academic Program Manager for the Research Institute on Verified Trustworthy Software Systems (VeTSS).

He also holds the position of Research Assistant Professor at the Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade.

Group Publications

1. Exact Separation Logic (submitted)

   • Petar Maksimovic
   • Caroline Cronjäger
   • Julian Sutherland
   • Andreas Lööw
   • Sacha-Élie Ayoun
   • Philippa Gardner

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

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

   Proceedings of the 33^rd Computer Aided Verification International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Part II, pp. 827–850

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

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

   Proceedings of the 41^st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’20), June 15–20, 2020, London, UK

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

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

   Proceedings of the 34^th European Conference on Object-Oriented Programming (ECOOP 2020)

5. JaVerT 2.0: Compositional Symbolic Execution for JavaScript

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

   Proceedings of the 46^th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’19), vol. 3( POPL)

6. A Program Logic for First-Order Encapsulated WebAssembly

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

   Proceedings of the 33^rd European Conference on Object-Oriented Programming (ECOOP 2019), pp. 9:1–9:30

7. Symbolic Execution for JavaScript

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

   Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, PPDP 2018, Frankfurt am Main, Germany, September 03-05, 2018, pp. 11:1–11:14

8. JaVerT: JavaScript Verification Toolchain

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

   Proceedings of the 45^th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’18), pp. 50:1–50:33

9. Towards Logic-based Verification of JavaScript Programs

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

   Proceedings of 26^th Conference on Automated Deduction (CADE 26)