Verified Software

José joined the group as a Research Associate in 2015, working on program analysis and JavaScript Verification. He is now an Assistant Professor at the Instituto Superior Técnico, Lisbon, Portugal.

Group Publications

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

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

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

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

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

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

7. DOM: Specification and Client Reasoning

   • Azalea Raad
   • José Fragoso Santos
   • Philippa Gardner

   Proceedings of the 13^th Asian Symposium on Programming Languages and Systems (APLAS’16), pp. 401–422

8. Mashic Compiler: Mashup Sandboxing based on Inter-frame Communication

   • Zhengqin Luo
   • José Fragoso Santos
   • Ana Almeida Matos
   • Tamara Rezk

   Journal of Computer Security, vol. 1(24), pp. 91–136

9. Modular Monitor Extensions for Information Flow Security in JavaScript

   • José Fragoso Santos
   • Tamara Rezk
   • Ana Almeida Matos

   Trustworthy Global Computing - 10^th International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, pp. 47–62

10. Hybrid Typing of Secure Information Flow in a JavaScript-Like Language

    • José Fragoso Santos
    • Thomas Jensen
    • Tamara Rezk
    • Alan Schmitt

    Trustworthy Global Computing - 10^thh International Symposium, TGC 2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers, pp. 63–78