Adrien Durier

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 12

Top Topics

Database Machine

Nonlinear Equations

Programs Written

Top Venues

Theor. Comput. Sci.

Publications

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager Functions as Processes (long version). CoRR (2022)
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. CSF (2022)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager functions as processes. Theor. Comput. Sci. 913 (2022)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Trans. Program. Lang. Syst. 43 (4) (2021)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager Functions as Processes. CoRR (2021)
Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation. CoRR (2021)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Trace-Relating Compiler Correctness and Secure Compilation. ESOP (2020)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Towards 'up to context' reasoning about higher-order processes. Theor. Comput. Sci. 807 (2020)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Divergence and unique solution of equations. Log. Methods Comput. Sci. 15 (3) (2019)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Eager Functions as Processes. LICS (2018)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Divergence and unique solution of equations. CoRR (2018)
Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi
Divergence and Unique Solution of Equations. CONCUR (2017)