Blogs sur: Static Analysis
Last lecture
— 4 comments
yoric wrote 7 months ago: Note: This post is written on the 79th day of strike of Universities. Despite the overwhelming conse … more →
Post-doctorate position in Programming Language Design
yoric wrote 1 year ago: Start-up MLState and team SDS (Security of Distributed Systems, part of Laboratoire d’Informatique F … more →
PhD positions in Formal Program Verification
yoric wrote 1 year ago: A colleague asked me to spread this information. PhD positions in Formal Program Verification are to … more →
Improving exception-management in OCaml
— 7 comments
yoric wrote 1 year ago: Short version Catch me if you can is a small library for OCaml 3.10. The latest release is version 0 … more →
Extrapol and Korset
yoric wrote 1 year ago: A colleague recently pointed me towards Korset, a program developed by Ohad Ben-Cohen and Avishai Wo … more →
Extrapol source code available (not)
yoric wrote 1 year ago: A quick note to inform you that the repository for Extrapol is now public. The source code as availa … more →
Extrapol, part 1: from C to Effects
yoric wrote 1 year ago: Here comes the long-promised description of Extrapol, my main ongoing research project. In a few wor … more →
Security analysis
yoric wrote 1 year ago: A few weeks ago, I promised I would tell you more about ExtraPol, my current research project. Well, … more →
JStify progress update (2)
yoric wrote 1 year ago: Work on JStify proceeds a bit slower than expected, due to difficulties with the specificationss … more →
JStify -- Request For Comments
— 8 comments
yoric wrote 2 years ago: Note Je mettrai en ligne sous peu une version française de ce billet. This entry contains the descri … more →
Have your say. Start a blog.
See our free features →
Sur WordPress.com
Egalement intéressant
De notre blogue
An 
Brainchild About Us • Conditions d'utilisation • Vie privée
