2024
Conference papers
- titre
- Declassification Policy for Program Complexity Analysis
- auteur
- Emmanuel Hainry, Bruce M Kapron, Jean-Yves Marion, Romain Péchoux
- article
- LICS ’24: 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2024, Tallinn Estonia, France. pp.1-14, ⟨10.1145/3661814.3662100⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3661814.3662100
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- A feasible and unitary quantum programming language
- auteur
- Alejandro Díaz-Caro, Emmanuel Hainry, Romain Péchoux, Mário Silva
- article
- 2024
- typdoc
- Preprints, Working Papers, …
- Accès au texte intégral et bibtex
-
2023
Conference papers
- titre
- A programming language characterizing quantum polynomial time
- auteur
- Emmanuel Hainry, Romain Péchoux, Mário Silva
- article
- 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⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-031-30829-1\_8
- Accès au texte intégral et bibtex
-
- titre
- A General Noninterference Policy for Polynomial Time
- auteur
- Emmanuel Hainry, Romain Péchoux
- article
- POPL 23, Jan 2023, Boston, United States. pp.806 – 832, ⟨10.1145/3571221⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3571221
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- On the Hardness of Analyzing Quantum Programs Quantitatively
- auteur
- Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix
- article
- 2023
- typdoc
- Preprints, Working Papers, …
- DOI
- DOI : 10.1007/978-3-031-57267-8_2
- Accès au texte intégral et bibtex
-
2022
Journal articles
- titre
- A tier-based typed programming language characterizing Feasible Functionals
- auteur
- Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux
- article
- Logical Methods in Computer Science, 2022, 18 (1), pp.31. ⟨10.46298/LMCS-18(1:33)2022⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.46298/LMCS-18(1:33)2022
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Quantum Expectation Transformers for Cost Analysis
- auteur
- Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev
- article
- Symposium on Logic In Computer Science LICS ’22, Aug 2022, Haifa, Israel
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Complete and tractable machine-independent characterizations of second-order polytime
- auteur
- Emmanuel Hainry, Bruce M Kapron, Jean-Yves Marion, Romain Péchoux
- article
- 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⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-030-99253-8_19
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- An imperative programming language characterizing FBQP
- auteur
- Emmanuel Hainry, Romain Péchoux, Mário Silva
- article
- QPL 2022 – Quantum Physics and Logic, Jun 2022, Oxford, United Kingdom.
- typdoc
- Poster communications
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- A programming language characterizing quantum polynomial time
- auteur
- Emmanuel Hainry, Romain Péchoux, Mário Silva
- article
- 2022
- typdoc
- Preprints, Working Papers, …
- Accès au texte intégral et bibtex
-
2021
Conference papers
- titre
- ComplexityParser: An Automatic Tool for Certifying Poly-Time Complexity of Java Programs
- auteur
- Emmanuel Hainry, Emmanuel Jeandel, Romain Péchoux, Olivier Zeyen
- article
- ICTAC 2021 – 18th International Colloquium on Theoretical Aspects of Computing, Sep 2021, Nur-Sultan/Virtual, Kazakhstan. pp.357-365, ⟨10.1007/978-3-030-85315-0_20⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-030-85315-0_20
- Accès au texte intégral et bibtex
-
2020
Journal articles
- titre
- Theory of Higher Order Interpretations and Application to Basic Feasible Functions
- auteur
- Emmanuel Hainry, Romain Péchoux
- article
- Logical Methods in Computer Science, 2020, 16 (4), pp.25. ⟨10.23638/LMCS-16(4:14)2020⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.23638/LMCS-16(4:14)2020
- Accès au texte intégral et bibtex
-
- titre
- On the efficiency of normal form systems for representing Boolean functions
- auteur
- Miguel Couceiro, Erkko Lehtonen, Pierre Mercuriali, Romain Péchoux
- article
- Theoretical Computer Science, 2020, 813, pp.341-361. ⟨10.1016/j.tcs.2020.01.009⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.tcs.2020.01.009
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A tier-based typed programming language characterizing Feasible Functionals
- auteur
- Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux
- article
- LICS ’20 – 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.535-549, ⟨10.1145/3373718.3394768⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/3373718.3394768
- Accès au texte intégral et bibtex
-
- titre
- Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory
- auteur
- Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
- article
- International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland. pp.562-581, ⟨10.1007/978-3-030-45231-5_29⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-030-45231-5_29
- Accès au bibtex
-
- titre
- Polynomial time over the reals with parsimony
- auteur
- Emmanuel Hainry, Damiano Mazza, Romain Péchoux
- article
- FLOPS 2020 – International Symposium on Functional and Logic Programming, Apr 2020, Akita, Japan
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- Implicit Computational Complexity: past and future
- auteur
- Romain Péchoux
- article
- Complexité [cs.CC]. Université de Lorraine, 2020
- typdoc
- Habilitation à diriger des recherches
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- Quantum Programming with Inductive Datatypes
- auteur
- Romain Péchoux, Simon Perdrix, Mathys Rennela, Vladimir Zamdzhiev
- article
- 2020
- typdoc
- Preprints, Working Papers, …
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- On the complexity of minimizing median normal forms of monotone Boolean functions and lattice polynomials
- auteur
- Miguel Couceiro, Pierre Mercuriali, Romain Péchoux, Abdallah Saffidine
- article
- Journal of Multiple-Valued Logic and Soft Computing, 2019, 33 (3), pp.197-218
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Tiered complexity at higher order
- auteur
- Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux
- article
- 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
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Tiered complexity at higher order
- auteur
- Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux
- article
- MLA’2019 – Third Workshop on Mathematical Logic and its Applications, Mar 2019, Nancy, France
- typdoc
- Conference papers
- Accès au bibtex
-
2018
Journal articles
- titre
- A Type-Based Complexity Analysis of Object Oriented Programs
- auteur
- Emmanuel Hainry, Romain Péchoux
- article
- Information and Computation, 2018, Information and Computation, 261 (1), pp.78-115. ⟨10.1016/j.ic.2018.05.006⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.ic.2018.05.006
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Normal form systems generated by single connectives have mutually equivalent efficiency
- auteur
- Miguel Couceiro, Erkko Lehtonen, Pierre Mercuriali, Romain Péchoux, Mathias Soeken
- article
- DICE 2018 – Developments in Implicit Computational Complexity, Apr 2018, Thessaloniki, Greece. ⟨10.4230/LIPIcs.DICE.2016.1⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.4230/LIPIcs.DICE.2016.1
- Accès au texte intégral et bibtex
-
2017
Conference papers
- titre
- On the efficiency of normal form systems of Boolean functions
- auteur
- Miguel Couceiro, Pierre Mercuriali, Romain Péchoux
- article
- LFA 2017 – 26èmes Rencontres Francophones sur la Logique Floue et ses Applications, Oct 2017, Amiens, France. pp.1-8
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Median based calculus for lattice polynomials and monotone Boolean functions
- auteur
- Miguel Couceiro, Pierre Mercuriali, Romain Péchoux, Abdallah Saffidine
- article
- ISMVL 2017 – 47th IEEE International Symposium on Multiple-Valued Logic, May 2017, Novi Sad, Serbia. pp.6
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Higher-order interpretations for higher-order complexity
- auteur
- Emmanuel Hainry, Romain Péchoux
- article
- LPAR 2017 – International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Geoff Sutcliffe, May 2017, Maun, Botswana. pp.269-285
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Higher order interpretations for higher order complexity
- auteur
- Emmanuel Hainry, Romain Péchoux
- article
- 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, Apr 2017, Uppsala, Sweden
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- Comparing the efficiency of normal form systems to represent Boolean functions
- auteur
- Miguel Couceiro, Pierre Mercuriali, Romain Péchoux
- article
- 2017
- typdoc
- Preprints, Working Papers, …
- Accès au texte intégral et bibtex
-
2015
Journal articles
- titre
- Characterizing polynomial time complexity of stream programs using interpretations
- auteur
- Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux
- article
- Theoretical Computer Science, 2015, 585, pp.41-54. ⟨10.1016/j.tcs.2015.03.008⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.tcs.2015.03.008
- Accès au texte intégral et bibtex
-
- titre
- On Bounding Space Usage of Streams Using Interpretation Analysis
- auteur
- Marco Gaboardi, Romain Péchoux
- article
- Science of Computer Programming, 2015, pp.44
- typdoc
- Journal articles
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Objects in Polynomial Time
- auteur
- Emmanuel Hainry, Romain Péchoux
- article
- APLAS 2015, Nov 2015, Pohang, South Korea. pp.387–404, ⟨10.1007/978-3-319-26529-2_21⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-319-26529-2_21
- Accès au texte intégral et bibtex
-
- titre
- Algebras and Coalgebras in the Light Affine Lambda Calculus
- auteur
- Marco Gaboardi, Romain Péchoux
- article
- The 20th ACM SIGPLAN International Conference on Functional Programming (ICFP 2015), Aug 2015, Vancouver, Canada
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Implicit computational complexity in Object Oriented Programs
- auteur
- Emmanuel Hainry, Romain Péchoux
- article
- DICE 2015 – Developments in Implicit Computational Complexity, Apr 2015, London, United Kingdom
- typdoc
- Conference papers
- Accès au bibtex
-
- titre
- Higher order interpretations for Basic Feasible Functions
- auteur
- Emmanuel Hainry, Romain Péchoux
- article
- DICE 2015 – Developments in Implicit Computational Complexity, Apr 2015, London, United Kingdom
- typdoc
- Conference papers
- Accès au bibtex
-
2014
Conference papers
- titre
- A Categorical Treatment of Malicious Behavioral Obfuscation
- auteur
- Romain Péchoux, Thanh Dinh Ta
- article
- TAMC 2014, Apr 2014, Chennai, India. pp.280 – 299, ⟨10.1007/978-3-319-06089-7_20⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-319-06089-7_20
- Accès au texte intégral et bibtex
-
- titre
- Complexity Information Flow in a Multi-threaded Imperative Language
- auteur
- Jean-Yves Marion, Romain Péchoux
- article
- TAMC 2014, Apr 2014, Chennai, India. pp.124 – 140, ⟨10.1007/978-3-319-06089-7_9⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-319-06089-7_9
- Accès au texte intégral et bibtex
-
2013
Conference papers
- titre
- Types for controlling heap and stack in Java
- auteur
- Emmanuel Hainry, Romain Péchoux
- article
- Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA), Ugo Dal Lago and Ricardo Pena, Aug 2013, Bertinoro, Italy
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Bounding Reactions in the Pi-calculus using Interpretations
- auteur
- Romain Péchoux
- article
- Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), Ugo Dal Lago and Ricardo Pena, Aug 2013, Bertinoro, Italy
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Type-based complexity analysis for fork processes
- auteur
- Emmanuel Hainry, Jean-Yves Marion, Romain Péchoux
- article
- 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⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-642-37075-5_20
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Type-based heap and stack space analysis in Java
- auteur
- Emmanuel Hainry, Romain Péchoux
- article
- 2013
- typdoc
- Other publications
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- Synthesis of sup-interpretations: a survey
- auteur
- Romain Péchoux
- article
- Theoretical Computer Science, 2012, pp.24. ⟨10.1016/j.tcs.2012.11.003⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1016/j.tcs.2012.11.003
- Accès au texte intégral et bibtex
-
Reports
- titre
- Complexity Information Flow in a Multi-threaded Imperative Language
- auteur
- Jean-Yves Marion, Romain Péchoux
- article
- [Research Report] 2012, pp.16
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
2010
Conference papers
- titre
- Interpretation of stream programs: characterizing type 2 polynomial time complexity
- auteur
- Hugo Férée, Emmanuel Hainry, Mathieu Hoyrup, Romain Péchoux
- article
- 21st International Symposium on Algorithms and Computation – ISAAC 2010, Dec 2010, Jeju Island, South Korea
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- Sup-interpretations, a semantic method for static analysis of program resources
- auteur
- Jean-Yves Marion, Romain Péchoux
- article
- ACM Transactions on Computational Logic, 2009, 10 (4), 30 p. ⟨10.1145/1555746.1555751⟩
- typdoc
- Journal articles
- DOI
- DOI : 10.1145/1555746.1555751
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Global and local space properties of stream programs
- auteur
- Marco Gaboardi, Romain Péchoux
- article
- FOPARA 2009 – First International Workshop on Foundational and Practical Aspects of Resource Analysis, Nov 2009, Eindhoven, Netherlands. pp.51–66, ⟨10.1007/978-3-642-15331-0_4⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-642-15331-0_4
- Accès au texte intégral et bibtex
-
- titre
- Upper Bounds on Stream I/O Using Semantic Interpretations
- auteur
- Marco Gaboardi, Romain Péchoux
- article
- 23rd international Workshop on Computer Science Logic, CSL 2009, 18th Annual Conference of the EACSL, Sep 2009, Coimbra, Portugal. pp.271-286, ⟨10.1007/978-3-642-04027-6_21⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-642-04027-6_21
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- Analyzing the Implicit Computational Complexity of object-oriented programs
- auteur
- Jean-Yves Marion, Romain Péchoux
- article
- Annual Conference on Foundations of Software Technology and Theoretical Computer Science – FSTTCS 2008, IARCS, the Indian Association for Research in Computing Science, Dec 2008, Bangalore, India
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Characterizations of Polynomial Complexity Classes with a Better Intensionality
- auteur
- Jean-Yves Marion, Romain Péchoux
- article
- Proceedings of the 10th international ACM SIGPLAN conference on Principles and Practice of Declarative Programming – PPDP 2008, Universidad Polytechnica, Jul 2008, Valencia, Spain. pp.79-88, ⟨10.1145/1389449.1389460⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1145/1389449.1389460
- Accès au texte intégral et bibtex
-
- titre
- A Characterization of NCk by First Order Functional Programs
- auteur
- Jean-Yves Marion, Romain Péchoux
- article
- 5th International Conference on Theory and Applications of Models of Computation – TAMC 2008, Xidian University, Apr 2008, Xian, China. pp.136-147, ⟨10.1007/978-3-540-79228-4⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/978-3-540-79228-4
- Accès au texte intégral et bibtex
-
2007
Conference papers
- titre
- Quasi-interpretation Synthesis by Decomposition : An application to higher-order programs
- auteur
- Guillaume Bonfante, Jean-Yves Marion, Romain Péchoux
- article
- ICTAC, Sep 2007, Macao, China
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Resource control of object-oriented programs
- auteur
- Jean-Yves Marion, Romain Péchoux
- article
- The International Workshop on Logic and Computational Complexity – LCC 2007, Jul 2007, Wroclaw/Poland, Poland
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
Reports
- titre
- A characterization of polynomial complexity classes using dependency pairs
- auteur
- Jean-Yves Marion, Romain Péchoux
- article
- [Research Report] 2007, pp.12
- typdoc
- Reports
- Accès au texte intégral et bibtex
-
Theses
- titre
- Program complexity analysis by semantics interpretation
- auteur
- Romain Pechoux
- article
- Informatique [cs]. Institut National Polytechnique de Lorraine – INPL, 2007. Français. ⟨NNT : 2007INPL084N⟩
- typdoc
- Theses
- Accès au texte intégral et bibtex
-
2006
Conference papers
- titre
- A characterization of Alternating log time by first order functional programs
- auteur
- Romain Péchoux, Jean-Yves Marion, Guillaume Bonfante
- article
- 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning – LPAR-13, Nov 2006, Phnom Penh/Cambodia
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Quasi-friendly sup-interpretations
- auteur
- Jean-Yves Marion, Romain Péchoux
- article
- 8th International Workshop on Logic and Computational Complexity – LCC 2006 – LICS affiliated Workshop, James Royer, Aug 2006, Seattle/Etats-Unis
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
- titre
- Resource analysis by sup-interpretation
- auteur
- Jean-Yves Marion, Romain Péchoux
- article
- Eighth International Symposium on Functional and Logic Programming – FLOPS 2006, Apr 2006, Fuji Susono, Japan. pp.163–176, ⟨10.1007/11737414_12⟩
- typdoc
- Conference papers
- DOI
- DOI : 10.1007/11737414_12
- Accès au texte intégral et bibtex
-
2005
Conference papers
- titre
- Synthesis of Quasi-interpretations
- auteur
- Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen, Romain Péchoux
- article
- Seventh International Workshop on Logic and Computational Complexity – LCC 2005, Jun 2005, Chicago/USA
- typdoc
- Conference papers
- Accès au texte intégral et bibtex
-
