‹ go back
My work.
The projects below are primarily research-focused; the rest of my work is open-source on GitHub. See my talks here and my papers here. You might also want to read about me or my blog.
⚙️ Specula
An agent to generate formal specifications directly from codebases and leverage them for bug discovery. Has found 130+ new bugs in production systems so far.
📊 SysMoBench
A benchmark assessing frontier LLMs on their ability to formally specify real-world systems. We evaluate system reasoning instead of just syntax validity.
🫖 Kintsugi
A decentralized E2EE key recovery scheme allowing users to recover their key from a password while protecting from brute-force or recovery node collusion. I also developed a prototype implementation in Rust with Tauri and libp2p.
🪨 CobbleDB
A correct-by-construction database, emulating RocksDB's levelled storage based on a formal specification. It achieves reasonably comparable performance, especially on concurrent workloads.
🪺 NestedName
A domain search tool facilitating domain hacks, like 'emilie.ma' or 'ma.tt', enabling users to find their ideal quirky domain.
🧢 Disparati
Solutions for Fly.io's Gossip Glomers (Distributed Systems) challenges, including a globally-unique ID generator, a linearizable key-value store, and various CRDTs.
🤝 PR-Issue Graph Topologies
A collection of Python visualization scripts and Neo4j queries facilitating quantitative and qualitative analysis of GitHub collaboration patterns.
🖋️ Yours, Kewbish
My personal blog. Features a collection of tech-related tutorials, articles, and personal stories.
Talks.
I've had the opportunity to present my research and projects at several conferences and workshops. Summaries and replay links below.
⚙️ FOSDEM 2025 (🟊)
The premier conference promoting free and open-source software in Europe, with 8K+ attendees. Presented my research on the Kintsugi protocol, its security properties, and how it improves on existing E2E key recovery schemes.
💾 Neo4j NODES 2024
An online developer conference hosted by Neo4j, the graph DB tool. Presented my research on the GitHub PR-Issue graph, how we analyzed it with Neo4j and Cypher, and takeaways for open source developers.
🌐 Open Source Summit North America 2024 (🟊)
North America’s premier open source conference, with keynotes from community figureheads (like Linus Torvalds!) Presented my research on the GitHub PR-Issue graph, including the prototypical workflow types we identified and their implications for open source maintainers. I also wrote an accompanying blog post here, and the slides are available in a blog post format here.
⌨️ NeovimConf 2023
An online conference on the Vim/Neovim text editor, featuring talks from core maintainers and community members. Presented a lightning talk on my Vim-based personal notetaking system, built around Neovim, FZF, and RipGrep.
🧠 Augment Minds 2021
An (un)conference on advancing technologies in the tools for thought space, and delightful innovations in HCI for complementing thought. Delivered a lightning talk on a plaintext Zettelkasten system and my toolkit of choice: Vim, FZF, RipGrep, and Ctags.