Valigator: A Verification Tool with Bound and Invariant Generation. - Thomas A. Henzinger; Thibaud Hottelier; Laura Kovács (LPAR, 2008)

Enabling MAC Protocol Implementations on Software-Defined Radios. - George Nychis; Thibaud Hottelier; Zhuocheng Yang; Srinivasan Seshan; Peter Steenkiste (NSDI, 2009)

ABC: Algebraic Bound Computation for Loops. - Régis Blanc; Thomas A. Henzinger; Thibaud Hottelier; Laura Kovács (LPAR (Dakar), 2010)

Aligators for Arrays (Tool Paper). - Thomas A. Henzinger; Thibaud Hottelier; Laura Kovács; Andrey Rybalchenko (LPAR (Yogyakarta), 2010)

Invariant and Type Inference for Matrices. - Thomas A. Henzinger; Thibaud Hottelier; Laura Kovács; Andrei Voronkov (VMCAI, 2010)

Programming by manipulation for layout. - Thibaud Hottelier; Ras Bodík; Kimiko Ryokai (UIST, 2014)

Programming Layout by Manipulation. - Thibaud Hottelier (2014)

Synthesis of layout engines from relational constraints. - Thibaud Hottelier; Rastislav Bodík (OOPSLA, 2015)

BigLake: BigQuery's Evolution toward a Multi-Cloud Lakehouse. - Justin J. Levandoski; Garrett Casto; Mingge Deng; Rushabh Desai; Pavan Edara; Thibaud Hottelier; Amir Hormati; Anoop Johnson; Jeff Johnson; Dawid Kurzyniec; Sam McVeety; Prem Ramanathan; et al. (SIGMOD Conference Companion, 2024)