Julien Lepiller

According to our database, Julien Lepiller authored at least 6 papers between 2016 and 2022.

Collaborative distances:

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

2022

Debootstrapping without Archeology - Stacked Implementations in Camlboot.

Nathanaëlle Courant, Julien Lepiller, Gabriel Scherer

Art Sci. Eng. Program., 2022

2021

Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities.

Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Programming with Petri Nets to Reason about Concurrency.

Julien Lepiller

Proceedings of the 2020 Scheme and Functional Programming Workshop, 2020

2019

Verifying Software Fault Isolation. (Vérification d'isolation de fautes logicielle).

Julien Lepiller

PhD thesis, 2019

2018

Modular Software Fault Isolation as Abstract Interpretation.

Frédéric Besson, Thomas P. Jensen, Julien Lepiller

Proceedings of the Static Analysis - 25th International Symposium, 2018

2016

Lightweight Privacy-Preserving Averaging for the Internet of Things.

Tristan Allard, Davide Frey, George Giakkoupis, Julien Lepiller

Proceedings of the 3rd Workshop on Middleware for Context-Aware Applications in the IoT, 2016