José Fragoso Santos

44 papers A* 3A 7B 3C 1Misc 1Journal 17Unranked 12
YearRankTypeTitle / Venue / Authors
2026 — conf
Skyler: Static Analysis for Predicting API-Driven Costs in Serverless Applications.
ASPLOS (2)
Bernardo Ribeiro, Mafalda Ferreira, José Fragoso Santos, Rodrigo Bruno, Nuno Santos
2026 — conf
Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.
TACAS (1)
João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait El Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, José Fragoso Santos
2026 — conf
Specification-Driven Generation of Summaries for Symbolic Execution.
ESOP (1)
Rafael Gonçalves, Frederico Ramos, Pedro Adão, José Fragoso Santos
2025 J jnl
Automated Exploit Generation for Node.js Packages.
Proc. ACM Program. Lang.
Filipe Marques, Mafalda Ferreira, André Nascimento, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos
2025 — conf
First-Order Linear Temporal Logic for Testing Distributed Protocols.
OVERLAY
José João Ferreira, Nuno Policarpo, José Fragoso Santos, Alcino Cunha, Alessandro Gianola
2025 — conf
Proxy Attribute Discovery in Machine Learning Datasets via Inductive Logic Programming.
TACAS (2)
Rafael Gonçalves, Filipe Gouveia, Inês Lynce, José Fragoso Santos
2025 — conf
Specifying Distributed Hash Tables with Allen Temporal Logic.
FormaliSE
Nuno Policarpo, José Fragoso Santos, Alcino Cunha, João Leitão, Pedro Ákos Costa
2024 J jnl
Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs.
Proc. ACM Program. Lang.
Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos
2024 J jnl
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly.
CoRR
Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, Jean-Christophe Filliâtre
2024 J jnl
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly.
Art Sci. Eng. Program.
Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, Jean-Christophe Filliâtre
2023 A conf
MetaData262: Automatic Test Suite Selection for Partial JavaScript Implementations.
ISSTA
Frederico Ramos, Diogo Costa Reis, Miguel Trigo, António Morgado, José Fragoso Santos
2023 — conf
Rexstepper: a Reference Debugger for JavaScript Regular Expressions.
ICSE Companion
Luís Almeida, Miguel Gonzaga, José Fragoso Santos, Rui Abreu
2023 A* conf
RuleKeeper: GDPR-Aware Personal Data Compliance for Web Frameworks.
SP
Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos
2023 J jnl
Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages.
CoRR
Tiago Brito, Mafalda Ferreira, Miguel Monteiro, Pedro Lopes, Miguel Barros, José Fragoso Santos, Nuno Santos
2023 J jnl
Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages.
IEEE Trans. Reliab.
Tiago Brito, Mafalda Ferreira, Miguel Monteiro, Pedro Lopes, Miguel Barros, José Fragoso Santos, Nuno Santos
2023 J jnl
Toward Tool-Independent Summaries for Symbolic Execution (Artifact).
Dagstuhl Artifacts Ser.
Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos
2023 A conf
Toward Tool-Independent Summaries for Symbolic Execution.
ECOOP
Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos
2022 J jnl
Concolic Execution for WebAssembly (Artifact).
Dagstuhl Artifacts Ser.
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
2022 A conf
Concolic Execution for WebAssembly.
ECOOP
Filipe Marques, José Fragoso Santos, Nuno Santos, Pedro Adão
2022 A* conf
Poster: A Systems Approach to GDPR Compliance-by-Design in Web Development Stacks.
CCS
Mafalda Ferreira, Tiago Brito, José Fragoso Santos, Nuno Santos
2022 J jnl
TestSelector: Automatic Test Suite Selection for Student Projects - Extended Version.
CoRR
Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota
2022 B conf
TestSelector: Automatic Test Suite Selection for Student Projects.
RV
Filipe Marques, António Morgado, José Fragoso Santos, Mikolás Janota
2022 J jnl
Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly.
CoRR
Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos
2022 J jnl
Wasmati: An efficient static vulnerability scanner for WebAssembly.
Comput. Secur.
Tiago Brito, Pedro Lopes, Nuno Santos, José Fragoso Santos
2021 — conf
Gillian, Part II: Real-World Verification for JavaScript and C.
CAV (2)
Petar Maksimovic, Sacha-Élie Ayoun, José Fragoso Santos, Philippa Gardner
2021 J jnl
Gillian: A Multi-Language Platform for Unified Symbolic Analysis.
CoRR
Petar Maksimovic, José Fragoso Santos, Sacha-Élie Ayoun, Philippa Gardner
2021 B conf
Hybrid Information Flow Control for Low-Level Code.
SEFM
Eduardo Geraldo, José Fragoso Santos, João Costa Seco
2021 A conf
The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets.
CP
Mikolás Janota, António Morgado, José Fragoso Santos, Vasco Manquinho
2020 J jnl
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact).
Dagstuhl Artifacts Ser.
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
2020 A conf
A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications.
ECOOP
Gabriela Sampaio, José Fragoso Santos, Petar Maksimovic, Philippa Gardner
2020 A* conf
Gillian, part i: a multi-language platform for symbolic execution.
PLDI
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
2020 J jnl
Gillian: Compositional Symbolic Execution for All.
CoRR
José Fragoso Santos, Petar Maksimovic, Sacha-Élie Ayoun, Philippa Gardner
2019 J jnl
JaVerT 2.0: compositional symbolic execution for JavaScript.
Proc. ACM Program. Lang.
José Fragoso Santos, Petar Maksimovic, Gabriela Cunha Sampaio, Philippa Gardner
2018 J jnl
JaVerT: JavaScript verification toolchain.
Proc. ACM Program. Lang.
José Fragoso Santos, Petar Maksimovic, Daiva Naudziuniene, Thomas Wood, Philippa Gardner
2018 C conf
Symbolic Execution for JavaScript.
PPDP
José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner
2017 A conf
Towards Logic-Based Verification of JavaScript Programs.
CADE
José Fragoso Santos, Philippa Gardner, Petar Maksimovic, Daiva Naudziuniene
2016 B conf
DOM: Specification and Client Reasoning.
APLAS
Azalea Raad, José Fragoso Santos, Philippa Gardner
2016 J jnl
Mashic compiler: Mashup sandboxing based on inter-frame communication.
J. Comput. Secur.
Zhengqin Luo, José Fragoso Santos, Ana Almeida Matos, Tamara Rezk
2015 — conf
Hybrid Typing of Secure Information Flow in a JavaScript-Like Language.
TGC
José Fragoso Santos, Thomas P. Jensen, Tamara Rezk, Alan Schmitt
2015 — conf
Modular Monitor Extensions for Information Flow Security in JavaScript.
TGC
José Fragoso Santos, Tamara Rezk, Ana Almeida Matos
2014 — conf
An Information Flow Monitor for a Core of DOM - Introducing References and Live Primitives.
TGC
Ana Gualdina Almeida Matos, José Fragoso Santos, Tamara Rezk
2014 Misc conf
An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript.
SEC
José Fragoso Santos, Tamara Rezk
2012 — conf
Typing illegal information flows as program effects.
PLAS
Ana Almeida Matos, José Fragoso Santos
2010 A conf
Sensor-based self-calibration of the iCub's head.
IROS
José Fragoso Santos, Alexandre Bernardino, José Santos-Victor