diogo s. antunes
I am currently a Master’s student at Instituto Superior Técnico in Lisbon, where I also completed my undergraduate degree in Computer Science. I have been conducting research with Professor Rodrigo Rodrigues in the Distributed, Parallel, and Secure Systems group, where I worked on BFT consensus and am now working on distributed storage. I have spent two summers at the Max Planck Institute for Software Systems in Saarbrücken, working with Professors Peter Druschel and Deepak Garg on secure multi-party computation. I will return in the upcoming semester.
publications
-
Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance
In The 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24)
Diogo S. Antunes, Afonso N. Oliveira, André Breda, Matheus G. Franco, Henrique Moniz, and Rodrigo Rodrigues
teaching experience
other projects
- PhD Warrior -- custom personal dashboard to track work, fitness, deadlines, and tasks
- NixOS config -- NixOS configuration for my hosts
-
Some course projects
- DADKvs -- transactional key-value store running on either Multi-Paxos or Stoppable Paxos, with testing infrastructure for fuzzing and fine-grained network reordering tests
- Software specification project -- specification of protocols using Dafny and Alloy
- VRFs -- implementation of verifiable random functions on bilinear groups
- PL course project -- Coq proofs for simple language
- SpecialVFX@Cloud -- load balancer and auto-scaler from scratch
- 3D game of life -- 3D version of the Game of Life implemented using MPI and OpenMP, with benchmarking
- HDSLedger -- distributed ledger built on top of QBFT, with benchmarking
- Information control flow analsysis -- static analysis tool for identifying data and information flow violation in Python programs
- MML -- compiler for "Mini-ML" language
- DistLedger -- distributed ledger built on a gossip-based protocol