Julien Lepiller

Yale University
51 Prospect Street, office AKW 203
New Haven, CT 06511

email : julien.lepiller@yale.edu
gpg : 0x53D457B2D636EE82

I am a post-doc at Yale in the United States in the Rose group and I am currently working on configuration verification for security. I got my Ph.D in the Celtique team at Inria Rennes in France under the supervision of Thomas Jensen and Frédéric Besson. My thesis was on Software Fault Isolation.

Publications

Authors listed in alphabetic order.

Software

Here are some of my personal projects I particularly like.

  • Coquille for Neovim

    A fork of the original coquille plugin, improved and ported to neovim. Make coq proofs in neovim! This fork of coquille supports coq 8.6 to 8.10. It uses the multithreading capabilities of neovim to allow abortion of evaluation, parses your _CoqProject to load coq with the libraries you use and supports multiple coq sessions in the same neovim session.

  • Offlate

    A tool for translators: import translation projects, translate and send your contribution in the way prefered by upstream. Offlate connects to online translation platforms and gets work from them. Then, it allows you to translate offline, with the integrated tool or your favorite tool for the task. For each platform, it knows how to get and submit work so it can keep in sync. It also retains credentials and configuration for each platform and tells you how to get them.