Completed (32)
Bruno Neves dos Santos
A New Trace-Visualization System for the ECMA-SL Language
2024
Guilherme Figueira da Silva Gonçalves
Detecting Multi-file Vulnerabilities Using Code Property Graphs
2024
Nuno Alexandre Marques Policarpo
Specifying Distributed Hash Tables with Allen's Temporal Logic in Alloy
2024
Ricky Xu
A New Language Server for the ECMAScript Specification Language
2024
Juliana Yang
A Sound and Efficient Symbolic Memory Model for JavaScript
2024
João Maria Henriques Madeira Pereira
A Multi-Backend Frontend for SMT Solvers in OCaml
2024
Cristi Savin
ComplyQL: Towards Building GDPR Storage Compliant Applications
2024
Tomás De Araújo Tavares
Graph.js 2.0: Efficient and Trustworthy Code Property Graphs for JavaScript
2024
António Pedro Gomes Coutinho Leopoldo Marques
MSc Thesis in Computer Science and Engineering
2024
Diogo Fernandes Afonso
Detect.ts: A Library for Detecting Unsafe TypeScript Coding Patterns
2024
Patrícia Ferreira Pereira
Implementation-Based Generation of the ECMAScript Standard
2023
André Alexandre Inácio Mendes
An Efficient Memory Data Structure for Wasm Symbolic Execution
2023
★ Miguel Alexandre Figueiredo Monteiro
ExplodeQ.js: A Library of Queries to Detect Injection Vulnerabilities in Node.js — Naoris Award · Jerónimo Martins Award
2023
Rafael Henriques Gonçalves
Specification-driven Synthesis of Summaries for Symbolic Execution
2023
Manuel Marques Costa
Memory Models for Symbolic Execution of JavaScript Applications
2023
André Filipe Ferreira do Nascimento
A Typed Intermediate Language for Specifying the ECMAScript Standard
2023
João Pedro Lopes Borges
Classic Symbolic Execution of WebAssembly
2023
Miguel Gonzaga Correia da Silva
RexStepper 2.0: Interactive Debugging for Regular Expressions in the Browser
2022
Diogo Costa Reis
Live Metadata for Test262
2022
Miguel Trigo
A Testing Infrastructure for Reference Implementations of the ECMAScript Standard
2022
Jorge Brown
A Reference Implementation of ES6 Built-in Libraries
2022
Rafael Rosa Rahal
ECMARef6: A Reference Interpreter for Modern JavaScript
2022
Pedro José Fernandes Nunes
A Type System for the Meta-language of the JavaScript Standard
2022
David Manuel Sales Gonçalves
A Reference Implementation of JavaScript Built-in Libraries
2022
Luís Alberto Carvalho de Almeida
Code-Stepping Regular Expressions in the Browser
2021
Frederico Duarte Ramos
Platform-independent Summaries for Efficient Symbolic Execution
2021
Filipe Dos Santos Oliveira Marques
Robust Symbolic Execution for WebAssembly
2021
Francisco Lopes Quinaz
Precise Information Flow Control for JavaScript
2021
Luís Miguel Alves Loureiro
ECMA-SL — A Platform for Specifying and Running the ECMAScript Standard
2021
Pedro Daniel Rogeiro Lopes
Discovering Security Vulnerabilities in WebAssembly with Code Property Graphs
2020
Carolina Silva Costa
Concolic Execution for WebAssembly
2020
André Neves Ribeiro
A JavaScript Information Flow Monitor for Symbolic Testing
2020