Jos Fragoso Santos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
18
Active years
2010–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Skyler: Static Analysis for Predicting API-Driven Costs in Serverless Applications. | Bernardo Ribeiro, Mafalda Ferreira, Jos Fragoso Santos, Rodrigo Bruno, Nuno Santos |
| 2026 | ECOOP | Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs. | Joo Gonalves, Jos Fragoso Santos, Rodrigo Rodrigues, Miguel Matos |
| 2026 | ESOP | Specification-Driven Generation of Summaries for Symbolic Execution. | Rafael Gonalves, Frederico Ramos, Pedro Ado, Jos Fragoso Santos |
| 2026 | TACAS | Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml. | Joo Madeira Pereira, Filipe Marques, Pedro Ado, Hichem Rami Ait El Hara, Lo Andrs, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, Jos Fragoso Santos |
| 2025 | TACAS | Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming. | Rafael Gonalves, Filipe Gouveia, Ins Lynce, Jos Fragoso Santos |
| 2023 | ECOOP | Toward Tool-Independent Summaries for Symbolic Execution. | Frederico Ramos, Nuno Sabino, Pedro Ado, David A. Naumann, Jos Fragoso Santos |
| 2023 | ICSE | Rexstepper: a Reference Debugger for JavaScript Regular Expressions. | Lus Almeida, Miguel Gonzaga, Jos Fragoso Santos, Rui Abreu |
| 2023 | ISSTA | MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations. | Frederico Ramos, Diogo Costa Reis, Miguel Trigo, Antnio Morgado, Jos Fragoso Santos |
| 2023 | SP | RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks. | Mafalda Ferreira, Tiago Brito, Jos Fragoso Santos, Nuno Santos |
| 2022 | CCS | Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks. | Mafalda Ferreira, Tiago Brito, Jos Fragoso Santos, Nuno Santos |
| 2022 | ECOOP | Concolic Execution for WebAssembly. | Filipe Marques, Jos Fragoso Santos, Nuno Santos, Pedro Ado |
| 2022 | RV | TestSelector: Automatic Test Suite Selection for Student Projects. | Filipe Marques, Antnio Morgado, Jos Fragoso Santos, Mikols Janota |
| 2021 | CAV | Gillian, Part II: Real-World Verification for JavaScript and C. | Petar Maksimovic, Sacha-lie Ayoun, Jos Fragoso Santos, Philippa Gardner |
| 2021 | CP | The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets. | Mikols Janota, Antnio Morgado, Jos Fragoso Santos, Vasco Manquinho |
| 2021 | SEFM | Hybrid Information Flow Control for Low-Level Code. | Eduardo Geraldo, Jos Fragoso Santos, Joo Costa Seco |
| 2020 | ECOOP | A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications. | Gabriela Sampaio, Jos Fragoso Santos, Petar Maksimovic, Philippa Gardner |
| 2020 | PLDI | Gillian, part i: a multi-language platform for symbolic execution. | Jos Fragoso Santos, Petar Maksimovic, Sacha-lie Ayoun, Philippa Gardner |
| 2018 | PPDP | Symbolic Execution for JavaScript. | Jos Fragoso Santos, Petar Maksimovic, Thotime Grohens, Julian Dolby, Philippa Gardner |
| 2017 | CADE | Towards Logic-Based Verification of JavaScript Programs. | Jos Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene |
| 2016 | APLAS | DOM: Specification and Client Reasoning. | Azalea Raad, Jos Fragoso Santos, Philippa Gardner |
| 2014 | SEC | An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript. | Jos Fragoso Santos, Tamara Rezk |
| 2012 | PLDI | Typing illegal information flows as program effects. | Ana Almeida Matos, Jos Fragoso Santos |
| 2010 | IROS | Sensor-based self-calibration of the iCub's head. | Jos Fragoso Santos, Alexandre Bernardino, Jos Santos-Victor |