Romain Péchoux

Available identifiers

zbMath Open pechoux.romainMaRDI QIDQ1640982

List of research outcomes

Publication	Date of Publication	Type
Complete and tractable machine-independent characterizations of second-order polytime	2024-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q5094117	2022-08-02	Paper
\textsc{ComplexityParser}: an automatic tool for certifying poly-time complexity of Java programs	2022-03-31	Paper
Polynomial time over the reals with parsimony	2021-07-06	Paper
A tier-based typed programming language characterizing Feasible Functionals	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q5144355	2021-01-15	Paper
https://portal.mardi4nfdi.de/entity/Q5141617	2020-12-18	Paper
Quantum programming with inductive datatypes: causality and affine type theory	2020-09-23	Paper
On the efficiency of normal form systems for representing Boolean functions	2020-04-21	Paper
Higher order interpretation for higher order complexity	2019-01-10	Paper
A type-based complexity analysis of object oriented programs	2018-06-14	Paper
Algebras and coalgebras in the light affine Lambda calculus	2017-05-10	Paper
Objects in Polynomial Time	2016-01-08	Paper
Sup-interpretations, a semantic method for static analysis of program resources	2015-09-17	Paper
Characterizing polynomial time complexity of stream programs using interpretations	2015-05-26	Paper
Complexity Information Flow in a Multi-threaded Imperative Language	2014-04-16	Paper
A Categorical Treatment of Malicious Behavioral Obfuscation	2014-04-16	Paper
Type-Based Complexity Analysis for Fork Processes	2013-03-18	Paper
Synthesis of sup-interpretations: a survey	2013-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q3165969	2012-10-19	Paper
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity	2010-12-09	Paper
Global and Local Space Properties of Stream Programs	2010-09-14	Paper
Upper Bounds on Stream I/O Using Semantic Interpretations	2009-11-12	Paper
Quasi-interpretation Synthesis by Decomposition	2008-09-17	Paper
A Characterization of NC k by First Order Functional Programs	2008-05-27	Paper
A Characterization of Alternating Log Time by First Order Functional Programs	2008-05-27	Paper
Resource Analysis by Sup-interpretation	2007-05-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Romain Péchoux