Petar Maksimović

Biography blurb.

Contact

Some forms of contact.

Recent Relevant Publications

1. P. Maksimović, S.-É. Ayoun, J. Fragoso Santos, P. Gardner. Gillian, Part II: Real-World Verification for JavaScript and C. CAV'21: 33nd International Conference on Computer-Aided Verification, 2021 (accepted for publication).

2. J. Fragoso Santos, P. Maksimović, S.-É. Ayoun, P. Gardner. Gillian, Part I: A Multi-language Platform for Symbolic Execution. PLDI'20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020.

3. G. Sampaio, J. Fragoso Santos, P. Maksimović, P. Gardner. A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. ECOOP'20: 34th European Conference on Object-Oriented Programming, 2020.

4. C. Watt, P. Maksimović, N. R. Krishnaswami, P. Gardner. A Program Logic for First-Order Encapsulated WebAssembly. ECOOP'19: 33rd European Conference on Object-Oriented Programming, 2019.

5. J. Fragoso Santos, P. Maksimović, G. Sampaio, Philippa Gardner. JaVerT 2.0: Compositional Symbolic Execution for JavaScript. POPL'19: 46th ACM SIGPLAN Symposium on Principles of Programming Languages, 2019.

6. J. Fragoso Santos, P. Maksimović, T. Grohens, J. Dolby, P. Gardner. Symbolic Execution for JavaScript. PPDP'18: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018.

7. J. Fragoso Santos, P. Maksimović, D. Naudžiūnienė, T. Wood, P. Gardner. JaVerT: JavaScript Verification Toolchain. POPL'18: 45th ACM SIGPLAN Symposium on Principles of Programming Languages, 2018.

8. J. Fragoso Santos, P. Gardner, P. Maksimović, D. Naudžiūnienė. Towards Logic-based Verification of JavaScript Programs. CADE'17: 26th Conference on Automated Deduction, 2017.

A complete list of my publications can be found here.