Tom Rousseaux

Tom Rousseaux is a teaching assistant at ICTEAM, UCLouvain and a PhD student in the INL. He works at the intersection of formal methods and network protocol engineering, focusing on making networked systems safer. One of his major contributions is the Network Simulator-centric Compositional Testing (NSCT) methodology, which unifies model-based testing with network simulation—combining tools such as Ivy and Shadow—to uncover correctness issues in real protocol implementations. In his studies, he supported investigation in routing architectures to make them more modular and efficient. He is currently working on the improvement of NSCT with mixed emulation-simulation techniques.

Publications

Network Simulator-centric Compositional Testing

Tom Rousseaux, Christophe Crochet, John Aoga, Axel Legay

Formal Techniques for Distributed Objects, Components, and Systems 2024

PDF Cite

xBGP: Faster innovation in routing protocols

Thomas Wirtgen, Tom Rousseaux, Quentin De Coninck, Nicolas Rybowski, Randy Bush, Laurent Vanbever, Axel Legay, Olivier Bonaventure

20th USENIX Symposium on Networked Systems Design and Implementation (NSDI 23)

PDF Slides Cite

Verifying QUIC implementations using Ivy

Christophe Crochet, Tom Rousseaux, Maxime Piraux Jean-Francois Sambon, Axel Legay

ACM CoNEXT 2021 Workshop on the Evolution, Performance, and Interoperability of QUIC

PDF Cite

Implementing the plugin distribution system

Nicolas Rybowski, Quentin De Coninck, Tom Rousseaux, Axel Legay, Olivier Bonaventure

Proceedings of the SIGCOMM 21 Poster and Demo Sessions

PDF Cite

Contact: tom.rousseaux@uclouvain.be