A selection of projects I’ve built or contributed to. Most live on GitHub — links in each entry. For everything else, check out my profile directly.
- Fandango Goes ProtocolWhen we released Fandango, the most common question we got was: can it test protocols? It’s a fair ask. A lot of the most interesting and security-critical software out there… Read more: Fandango Goes Protocol
- Fandango is LiveAfter months of building, testing, and a few too many late nights debugging evolutionary algorithms, Fandango is officially out. Fandango is an open-source fuzzer I’ve been developing as part of… Read more: Fandango is Live
- Better-Distributed Grammar-Based FuzzingUniFuzz is a grammar-based fuzzing tool that generates test suites with better input distribution. Instead of randomly sampling from a grammar (which tends to produce short, repetitive inputs), UniFuzz lets… Read more: Better-Distributed Grammar-Based Fuzzing
- Build your own SQL Grammar-based FuzzerThis is an interactive exercise for the audience at the Fuzzing and Software Security Summer School at the National University of Singapore. For this project, you will build a grammar-based… Read more: Build your own SQL Grammar-based Fuzzer
- Solving the Minimum Weighted Dominating Set ProblemGiven a weighted graph, a dominating set is a subset of vertices such that every vertex outside the set is adjacent to at least one vertex inside it, and the… Read more: Solving the Minimum Weighted Dominating Set Problem
- A Contribution to FLAMAFLAMA is an open-source Python library for feature model analysis, developed at the Universidad de Sevilla and used in several international research publications. My contribution focused on extending the API… Read more: A Contribution to FLAMA
- Efficient Chatbot GenerationThis project applies software product line engineering to chatbot development. Instead of building each chatbot from scratch, the idea is to define a single feature model that captures the variability… Read more: Efficient Chatbot Generation
- Feature Model Analysis in Constraint-Based ReasoningThis project accompanies our paper published at SPLC 2023, which explores how feature models can be integrated into constraint-based recommender systems. The core contribution is a set of runtime analysis… Read more: Feature Model Analysis in Constraint-Based Reasoning
- Automated Website Generation with Software Product LinesWebSPL is a prototype tool that applies software product line engineering to website generation. Instead of building sites manually, users select features through a configuration interface, and WebSPL automatically assembles… Read more: Automated Website Generation with Software Product Lines