Verified Software

Petar Maksimović 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

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

2. 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

3. 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)

4. 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)

5. 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

6. 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

7. 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

8. 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)