Thibaud Hottelier

According to our database, Thibaud Hottelier authored at least 9 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the Companion of the 2024 International Conference on Management of Data, 2024

2015

Synthesis of layout engines from relational constraints.

Thibaud Hottelier, Rastislav Bodík

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Programming Layout by Manipulation.

Thibaud Hottelier

PhD thesis, 2014

Programming by manipulation for layout.

Thibaud Hottelier, Ras Bodík, Kimiko Ryokai

Proceedings of the 27th Annual ACM Symposium on User Interface Software and Technology, 2014

2010

Invariant and Type Inference for Matrices.

Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrei Voronkov

Proceedings of the Verification, 2010

Aligators for Arrays (Tool Paper).

Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács, Andrey Rybalchenko

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

ABC: Algebraic Bound Computation for Loops.

Régis Blanc, Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Enabling MAC Protocol Implementations on Software-Defined Radios.

George Nychis, Thibaud Hottelier, Zhuocheng Yang, Srinivasan Seshan, Peter Steenkiste

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

2008

Valigator: A Verification Tool with Bound and Invariant Generation.

Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács

Proceedings of the Logic for Programming, 2008