Julien Lepiller

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 6

Top Topics

Concurrent Programming

Fault Isolation

Top Venues

Art Sci. Eng. Program.

Publications

Nathanaëlle Courant, Julien Lepiller, Gabriel Scherer
Debootstrapping without Archeology: Stacked Implementations in Camlboot. CoRR (2022)
Nathanaëlle Courant, Julien Lepiller, Gabriel Scherer
Debootstrapping without Archeology - Stacked Implementations in Camlboot. Art Sci. Eng. Program. 6 (3) (2022)
Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities. TACAS (2) (2021)
Julien Lepiller
Programming with Petri Nets to Reason about Concurrency. Scheme@ICFP (2020)
Frédéric Besson, Thomas P. Jensen, Julien Lepiller
Modular Software Fault Isolation as Abstract Interpretation. SAS (2018)
Tristan Allard, Davide Frey, George Giakkoupis, Julien Lepiller
Lightweight Privacy-Preserving Averaging for the Internet of Things. M4IoT@Middleware (2016)