Julien Lepiller

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

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

Je suis en post-doc à Yale aux États-Unis dans le groupe Rose et je travaille actuellement sur la vérification de configuration pour la sécurité. J'ai fait ma thèse dans l’équipe Celtique à Inria Rennes en France sous la supervision de Thomas Jensen et Frédéric Besson. Ma thèse portait sur l'isolation de fautes logicielle.

Publications

Les auteurs sont listés dans l'ordre alphabétique.

Logiciels

Voici quelques projets personnels qui me tiennent particulièrement à cœur.

  • Coquille for Neovim

    Un fork du greffon coquille original, amélioré et porté sur neovim. Faîtes vos preuves coq dans neovim ! Ce fork de coquille support coq 8:6, à 8.10. Il utilise le parallélisme supporté dans neovim pour permettre d'annuler une évaluation, analyse votre _CoqProject pour charger coq avec les bibliothèques que vous utilisez et prend en charge plusieurs sessions coq dans la même session neovim.

  • Offlate

    Un outil pour les traducteurs : importez vous projets de traduction, traduisez et envoyez vos constributions de la manière préférée en amont. Offlate se connecte aux plateformes de traduction en ligne et récupère le travail dessus. Ensuite, il vous permet de traduire hors ligne, avec l'outil intégré ou votre outil favoris pour la tâche. Pour chaque plateforme, il sait comment récupérer et envoyer votre travail et peut rester synchronisé. Il enregistre aussi les informations de connexion et la configuration pour chaque plateforme et vous dit comment les récupérer.