Photo of José Fragoso Santos
  Webpage   jose.fragoso@tecnico.ulisboa.pt   GitHub Profile

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. A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

    ECOOP 2020

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

    PLDI 2020

  3. JaVerT 2.0: Compositional Symbolic Execution for JavaScript

    POPL 2019

  4. Symbolic Execution for JavaScript

    Principles and Practice of Declarative Programming (PPDP) 2018

  5. JaVerT: JavaScript Verification Toolchain

    POPL 2018

  6. Towards Logic-based Verification of JavaScript Programs

    Conference on Automated Deduction (CADE) 2017

  7. DOM: Specification and Client Reasoning

    Asian Symposium on Programming Languages and Systems (APLAS) 2016

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

    Journal of Computer Security 2016

  9. Modular Monitor Extensions for Information Flow Security in JavaScript

    Trustworthy Global Computing (TGC) 2015

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

    Trustworthy Global Computing (TGC) 2015