Publications

Publications HAL de romain péchoux

2020

Journal articles

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, Elsevier, 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
https://hal.inria.fr/hal-02153506/file/TCS_HAL_CLMP.pdf 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
https://hal.inria.fr/hal-02881308/file/bff-lics.pdf 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
https://hal.inria.fr/hal-02499149/file/main.pdf BibTex

Preprints, Working Papers, …

titre
Theory of Higher Order Interpretations and Application to Basic Feasible Functions
auteur
Emmanuel Hainry, Romain Péchoux
article
2020
typdoc
Preprints, Working Papers, …
DOI
DOI : 10.2168/LMCS-???
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02499206/file/journal.pdf 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, Old City Publishing, In press, 33 (3), pp.197-218
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01905491/file/median_computations_MVLSC-CMPS.pdf 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
https://hal.inria.fr/hal-02499318/file/paper%209.pdf BibTex
titre
Tiered complexity at higher order
auteur
Emmanuel Hainry, Bruce Kapron, Jean-Yves Marion, Romain Péchoux
article
MLA 2019 (Mathematical Logic and its Applications), Mar 2019, Nancy, France
typdoc
Conference papers
Accès au bibtex
BibTex

2018

Journal articles

titre
A Type-Based Complexity Analysis of Object Oriented Programs
auteur
Emmanuel Hainry, Romain Péchoux
article
Information and Computation, Elsevier, 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
https://hal.inria.fr/hal-01712506/file/Object.pdf 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
https://hal.inria.fr/hal-02499377/file/DICE_2018_paper_7.pdf BibTex

2017

Conference papers

titre
Sur l’efficacité des systèmes de formes normales de fonctions Booléennes
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
https://hal.inria.fr/hal-01656033/file/LFA_2017_paper_7.pdf 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
https://hal.inria.fr/hal-01504010/file/median-computations-Revised.pdf 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
https://hal.inria.fr/hal-01529170/file/lpar.pdf 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
https://hal.inria.fr/hal-01653659/file/HP.pdf 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
https://hal.inria.fr/hal-01551761/file/comparing%20normal%20form%20systems%2030%2006%202017.pdf 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, Elsevier, 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
https://hal.inria.fr/hal-01112160/file/FEREE_HAINRY_HOYRUP_PECHOUX.pdf BibTex
titre
On Bounding Space Usage of Streams Using Interpretation Analysis
auteur
Marco Gaboardi, Romain Péchoux
article
Science of Computer Programming, Elsevier, 2015, pp.44
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01112161/file/main-submitted.pdf 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
https://hal.inria.fr/hal-01206161/file/ICCOW.pdf 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
https://hal.inria.fr/hal-01112165/file/main.pdf 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
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
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
https://hal.inria.fr/hal-01084041/file/paper48-Ta-Pechoux.pdf 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
https://hal.inria.fr/hal-01084043/file/hulotte.pdf 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
https://hal.inria.fr/hal-00910166/file/ObjectIsBeautiful.pdf 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
https://hal.inria.fr/hal-00910170/file/R.pdf 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
https://hal.inria.fr/hal-00755450/file/fossacs.pdf 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
https://hal.inria.fr/hal-00773141/file/ObjectIsBeautiful.pdf BibTex

2012

Journal articles

titre
Synthesis of sup-interpretations: a survey
auteur
Romain Péchoux
article
Theoretical Computer Science, Elsevier, 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
https://hal.inria.fr/hal-00744915/file/main.pdf 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
https://hal.inria.fr/hal-00684026/file/hulotte.pdf 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
https://hal.inria.fr/inria-00518381/file/paper.pdf 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, Association for Computing Machinery, 2009, 10 (4), 30 p
typdoc
Journal articles
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00446057/file/333pechoux.pdf 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
https://hal.inria.fr/inria-00539835/file/main.pdf 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
https://hal.inria.fr/inria-00431469/file/csl.pdf 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
https://hal.inria.fr/inria-00332550/file/paper28.pdf 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
https://hal.inria.fr/inria-00332389/file/ppdp09-pechoux.pdf 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
https://hal.inria.fr/inria-00332390/file/paper69.pdf 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
https://hal.inria.fr/inria-00130920/file/modu.pdf 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
https://hal.inria.fr/inria-00155288/file/objet.pdf 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
https://hal.inria.fr/inria-00155287/file/dependency.pdf BibTex

Theses

titre
Analyse de la complexité des programmes par interprétation sémantique
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
https://tel.archives-ouvertes.fr/tel-01752904/file/manuscrit.pdf 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
https://hal.inria.fr/inria-00110014/file/44.pdf 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
https://hal.inria.fr/inria-00110245/file/lcc2006.pdf 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
https://hal.inria.fr/inria-00000661/file/fullpaper.pdf 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
https://hal.inria.fr/inria-00000660/file/LCC05.pdf BibTex