Thibaud Hottelier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2008–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SIGMOD | 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, Gaurav Saxena, Vidya Shanmugan, Yuri Volobuev |
| 2015 | OOPSLA | Synthesis of layout engines from relational constraints. | Thibaud Hottelier, Rastislav Bodk |
| 2014 | UIST | Programming by manipulation for layout. | Thibaud Hottelier, Ras Bodk, Kimiko Ryokai |
| 2010 | LPAR | ABC: Algebraic Bound Computation for Loops. | Rgis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovcs |
| 2010 | LPAR | Aligators for Arrays (Tool Paper). | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovcs, Andrey Rybalchenko |
| 2010 | VMCAI | Invariant and Type Inference for Matrices. | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovcs, Andrei Voronkov |
| 2009 | NSDI | Enabling MAC Protocol Implementations on Software-Defined Radios. | George Nychis, Thibaud Hottelier, Zhuocheng Yang, Srinivasan Seshan, Peter Steenkiste |
| 2008 | LPAR | Valigator: A Verification Tool with Bound and Invariant Generation. | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovcs |