Thibaud Hottelier

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 1

Top Topics

Global Constraints

Programming Environment

Top Venues

SIGMOD Conference Companion

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

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, Gaurav Saxena, Vidya Shanmugan, Yuri Volobuev
BigLake: BigQuery's Evolution toward a Multi-Cloud Lakehouse. SIGMOD Conference Companion (2024)
Thibaud Hottelier, Rastislav Bodík
Synthesis of layout engines from relational constraints. OOPSLA (2015)
Thibaud Hottelier, Ras Bodík, Kimiko Ryokai
Programming by manipulation for layout. UIST (2014)
Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács
ABC: Algebraic Bound Computation for Loops. LPAR (Dakar) (2010)
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov
Invariant and Type Inference for Matrices. VMCAI (2010)
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko
Aligators for Arrays (Tool Paper). LPAR (Yogyakarta) (2010)
George Nychis, Thibaud Hottelier, Zhuocheng Yang, Srinivasan Seshan, Peter Steenkiste
Enabling MAC Protocol Implementations on Software-Defined Radios. NSDI (2009)
Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács
Valigator: A Verification Tool with Bound and Invariant Generation. LPAR (2008)