Accéder directement au contenu

Emmanuel Hainry

21
Documents
Affiliations actuelles
  • 529408
  • 413289
  • 206040
Identifiants chercheurs

Publications

830994
Image document

A General Noninterference Policy for Polynomial Time

Emmanuel Hainry , Romain Péchoux
POPL 23, Jan 2023, Boston, United States. pp.806 - 832, ⟨10.1145/3571221⟩
Communication dans un congrès hal-04190355v1
Image document

A programming language characterizing quantum polynomial time

Emmanuel Hainry , Romain Péchoux , Mário Silva
Foundations of Software Science and Computation Structures - 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2023, Paris, France, April 22-27, 2023, Proceedings, Apr 2023, Paris, France. ⟨10.1007/978-3-031-30829-1\_8⟩
Communication dans un congrès hal-04190385v1
Image document

Complete and tractable machine-independent characterizations of second-order polytime

Emmanuel Hainry , Bruce M Kapron , Jean-Yves Marion , Romain Péchoux
FoSSaCS 2022 - 25th International Conference on Foundations of Software Science and Computation Structures, Apr 2022, Munich, Germany. pp.368-388, ⟨10.1007/978-3-030-99253-8_19⟩
Communication dans un congrès hal-03722245v1
Image document

Polynomial time over the reals with parsimony

Emmanuel Hainry , Damiano Mazza , Romain Péchoux
FLOPS 2020 - International Symposium on Functional and Logic Programming, Apr 2020, Akita, Japan
Communication dans un congrès hal-02499149v1
Image document

A tier-based typed programming language characterizing Feasible Functionals

Emmanuel Hainry , Bruce Kapron , Jean-Yves Marion , Romain Péchoux
LICS '20 - 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.535-549, ⟨10.1145/3373718.3394768⟩
Communication dans un congrès hal-02881308v1
Image document

Tiered complexity at higher order

Emmanuel Hainry , Bruce Kapron , Jean-Yves Marion , Romain Péchoux
DICE-FOPARA 2019 - Joint international workshop on Developments in Implicit Computational complExity and Foundational and Practical Aspects of Resource Analysis, Apr 2019, Praha, Czech Republic
Communication dans un congrès hal-02499318v1

Tiered complexity at higher order

Emmanuel Hainry , Bruce Kapron , Jean-Yves Marion , Romain Péchoux
MLA'2019 - Third Workshop on Mathematical Logic and its Applications, Mar 2019, Nancy, France
Communication dans un congrès hal-02499348v1
Image document

Higher order interpretations for higher order complexity

Emmanuel Hainry , Romain Péchoux
8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, Apr 2017, Uppsala, Sweden
Communication dans un congrès hal-01653659v1

Higher order interpretations for Basic Feasible Functions

Emmanuel Hainry , Romain Péchoux
DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, London, United Kingdom
Communication dans un congrès hal-01207910v1
Image document

Objects in Polynomial Time

Emmanuel Hainry , Romain Péchoux
APLAS 2015, Nov 2015, Pohang, South Korea. pp.387--404, ⟨10.1007/978-3-319-26529-2_21⟩
Communication dans un congrès hal-01206161v1

Implicit computational complexity in Object Oriented Programs

Emmanuel Hainry , Romain Péchoux
DICE 2015 - Developments in Implicit Computational Complexity, Apr 2015, London, United Kingdom
Communication dans un congrès hal-01207918v1
Image document

Types for controlling heap and stack in Java

Emmanuel Hainry , Romain Péchoux
Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA), Ugo Dal Lago and Ricardo Pena, Aug 2013, Bertinoro, Italy
Communication dans un congrès hal-00910166v1
Image document

Type-based complexity analysis for fork processes

Emmanuel Hainry , Jean-Yves Marion , Romain Péchoux
16th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), Mar 2013, Rome, Italy. pp.305-320, ⟨10.1007/978-3-642-37075-5_20⟩
Communication dans un congrès hal-00755450v2
Image document

Interpretation of stream programs: characterizing type 2 polynomial time complexity

Hugo Férée , Emmanuel Hainry , Mathieu Hoyrup , Romain Péchoux
21st International Symposium on Algorithms and Computation - ISAAC 2010, Dec 2010, Jeju Island, South Korea
Communication dans un congrès inria-00518381v1
Image document

An imperative programming language characterizing FBQP

Emmanuel Hainry , Romain Péchoux , Mário Silva
QPL 2022 - Quantum Physics and Logic, Jun 2022, Oxford, United Kingdom.
Poster de conférence hal-03895106v1