Adrien Durier

According to our database, Adrien Durier authored at least 8 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Eager functions as processes.

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

Theor. Comput. Sci., 2022

Eager Functions as Processes (long version).

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

CoRR, 2022

SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation.

Akram El-Korashy, Roberto Blanco, Jérémy Thibault, Adrien Durier, Deepak Garg, Catalin Hritcu

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

An Extended Account of Trace-relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

ACM Trans. Program. Lang. Syst., 2021

2020

Unique solution techniques for processes and functions. (Techniques d'unicité des solutions pour processus concurrents et fonctions).

Adrien Durier

PhD thesis, 2020

Towards 'up to context' reasoning about higher-order processes.

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

Theor. Comput. Sci., 2020

Trace-Relating Compiler Correctness and Secure Compilation.

Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault

Proceedings of the Programming Languages and Systems, 2020

2019

Divergence and unique solution of equations.

Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi

Log. Methods Comput. Sci., 2019