Thibaud Hottelier

According to our database, Thibaud Hottelier authored at least 8 papers between 2008 and 2015.

Collaborative distances:

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

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