Timothée Haudebourg

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 5

Top Topics

Energy Efficiency

Top Venues

Proc. ACM Program. Lang.

Publications

Timothée Haudebourg, Thomas Genet, Thomas P. Jensen
Regular language type inference with term rewriting. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Thomas Genet, Timothée Haudebourg, Thomas P. Jensen
Verifying Higher-Order Functions with Tree Automata. FoSSaCS (2018)
Thomas Genet, Tristan Gillard, Timothée Haudebourg, Sébastien Lê Cong
Extending Timbuk to Verify Functional Programs. WRLA@ETAPS (2018)
Anne-Cécile Orgerie, Betsegaw Lemma Amersho, Timothée Haudebourg, Martin Quinson, Myriana Rifai, Dino Lopez Pacheco, Laurent Lefèvre
Simulation toolbox for studying energy consumption in wired networks. CNSM (2017)
Timothée Haudebourg, Anne-Cécile Orgerie
On the Energy Efficiency of Sleeping and Rate Adaptation for Network Devices. ICA3PP (2017)