Thibaud Hottelier

According to our database, Thibaud Hottelier authored at least 12 papers between 2008 and 2026.

Collaborative distances:

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

2026

100x Cost & Latency Reduction: Performance Analysis of AI Query Approximation using Lightweight Proxy Models.

Yeounoh Chung, Rushabh Desai, Jian He, Yu Xiao, Thibaud Hottelier, Yves-Laurent Kom Samo, Pushkar Khadilkar, Xianshun Chen, Sam Idicula, Fatma Özcan, Alon Y. Halevy, Yannis Papakonstantinou

CoRR, March, 2026

Architecting the AI-Powered Agentic Data Cloud.

Yeounoh Chung, Thibaud Hottelier, Cosmin Arad, Brenton Milne, Per Jacobsson, Sam Idicula, Fatma Özcan, Alon Y. Halevy, Yannis Papakonstantinou

IEEE Data Eng. Bull., 2026

2025

SemBench: A Benchmark for Semantic Query Processing Engines.

Jiale Lao, Andreas Zimmerer, Olga Ovcharenko, Tianji Cong, Matthew Russo, Gerardo Vitagliano, Michael Cochez, Fatma Özcan, Gautam Gupta, Thibaud Hottelier, H. V. Jagadish, Kris Kissel, Sebastian Schelter, Andreas Kipf, Immanuel Trummer

CoRR, November, 2025

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