Petar Maksimović Researcher
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
-
Exact Separation Logic (submitted)
- Petar Maksimovic
- Caroline Cronjäger
- Julian Sutherland
- Andreas Lööw
- Sacha-Élie Ayoun
- Philippa Gardner
-
Gillian, Part II: Real-World Verification for JavaScript and C
- Petar Maksimovic
- Sacha-Élie Ayoun
- José Fragoso Santos
- Philippa Gardner
Proceedings of the 33rd Computer Aided Verification International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Part II, pp. 827–850
-
Gillian, Part I: A Multi-language Platform for Symbolic Execution
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’20), June 15–20, 2020, London, UK
-
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Proceedings of the 34th European Conference on Object-Oriented Programming (ECOOP 2020)
-
JaVerT 2.0: Compositional Symbolic Execution for JavaScript
Proceedings of the 46th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’19), vol. 3( POPL)
-
A Program Logic for First-Order Encapsulated WebAssembly
- Conrad Watt
- Petar Maksimovic
- Neelakantan R. Krishnaswami
- Philippa Gardner
Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019), pp. 9:1–9:30
-
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
-
JaVerT: JavaScript Verification Toolchain
Proceedings of the 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’18), pp. 50:1–50:33
-
Towards Logic-based Verification of JavaScript Programs
Proceedings of 26th Conference on Automated Deduction (CADE 26)