| Enabling MAC Protocol Implementations on Software-Defined Radios. G Nychis, T Hottelier, Z Yang, S Seshan, P Steenkiste NSDI 9, 91-105, 2009 | 226 | 2009 |
| ABC: Algebraic Bound Computation for Loops. R Blanc, TA Henzinger, T Hottelier, L Kovács LPAR (Dakar) 6355, 103-118, 2010 | 77 | 2010 |
| Valigator: A verification tool with bound and invariant generation. TA Henzinger, T Hottelier, L Kovács LPAR, 333-342, 2008 | 32 | 2008 |
| Programming by manipulation for layout. T Hottelier, R Bodik, K Ryokai UIST, 231-241, 2014 | 31 | 2014 |
| Aligators for Arrays (Tool Paper). TA Henzinger, T Hottelier, L Kovács, A Rybalchenko LPAR (Yogyakarta) 6397, 348-356, 2010 | 21 | 2010 |
| Invariant and Type Inference for Matrices. TA Henzinger, T Hottelier, L Kovács, A Voronkov VMCAI, 163-179, 2010 | 21 | 2010 |
| Synthesis of layout engines from relational constraints T Hottelier, R Bodik ACM SIGPLAN Notices 50 (10), 74-88, 2015 | 9 | 2015 |
| Parallel web scripting with reactive constraints T Hottelier, J Ide, D Kimelman, R Bodik Dept. EECS, Univ. California, Berkeley, CA, USA, Tech. Rep. UCB/EECS-2010-16, 2010 | 3 | 2010 |
| Programming Layout by Manipulation TB Hottelier University of California, Berkeley, 2014 | | 2014 |
