
- Emmanuel Hainry
- LORIA - B214 - Mocqua
- BP 239
- F 54506 Vandœuvre-lès-Nancy
Associate Professor at Université de Lorraine and Loria.
Research
Member of Team Mộcqua.
Research in the domain of computations over continuous space and time.
Publications
Selected publications
- A General Noninterference Policy for Polynomial Time
Emmanuel Hainry and Romain Péchoux,
P0PL 2023, 50th ACM SIGPLAN Symposium on Principles of Programming Languages
Proceedings of the ACM on Programming Languages, vol. 7, art. 28, pp. 806–832, 2023. - Complete and tractable machine-independent characterizations of second-order polytime
EATCS Award: Best Theory Paper at ETAPS
Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, and Romain Péchoux,
FoSSaCS 2022, Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science, vol. 13242, pp. 368-388, 2022. - A tier-based typed programming language characterizing Feasible Functionals
Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, and Romain Péchoux
Logical Methods in Computer Science, vol 18, issue 1, 2022. - ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs (SpringerLink)
Emmanuel Hainry, Emmanuel Jeandel, Romain Péchoux, and Olivier Zeyen,
ICTAC 2021: 18th International Colloquium on Theoretical Aspects of Computing
Lecture Notes in Computer Science, vol. 12819, pp. 357-365, 2021. - A tier-based typed programming language characterizing Feasible Functionals (ACM)
Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, and Romain Péchoux,
LICS ’20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science. pp.535-549. - Polynomial time over the reals with parsimony (SpringerLink)
Emmanuel Hainry, Damiano Mazza, and Romain Péchoux,
FLOPS 2020, International Symposium on Functional and Logic Programming, Akita, Japan. - A Type-Based Complexity Analysis of Object Oriented Programs (ScienceDirect)
Emmanuel Hainry and Romain Péchoux,
Information and Computation, 261P1:78-115, 2018. - Characterizing polynomial time complexity of stream programs using interpretations (ScienceDirect)
Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, and Romain Péchoux,
Theoretical Computer Science, 585:41-54, 2015
Teaching
- IUT Nancy Brabois (since 2007).
- École des Mines de Nancy (2004-2007).