It is always great to give a talk at NEU! x.com/neu_prl/status…

Positions for PhD and PostDocs at Inria Paris on an exciting and fun research project! di.ens.fr/~zappa/jobs.ht…

Looking forward to JuliaCon juliacon.org/2018/: life is more than weak-memory and debug-infos (even if those are always a lot of fun).

If you have questions about academic life in France, I will be around... don't hesitate!

I wonder who... but looking forward to the talk!

Check out our #oopsla18 paper about subtyping in the Julia language. Though a dynamic language, it has unions, existentials, distributivity, and much more! di.ens.fr/~zappa/project… And here is Francesco Zappa Nardelli presenting the paper.

I should probably mention that I'm seeking a PhD student. If doing a PhD is something you're interested in, and if our interests overlap, feel free to get in touch.

Our paper on synthesis of DWARF unwind tables for x86_64 binaries is out! Bonus: we can additionally speed up unwinding by a factor of 10x-25x. Feedback welcome! di.ens.fr/~zappa/project…

If you liked the paper below, Theophile talk at OOPSLA is online. It features a cool live demo of synthesis at minute 10-31: youtu.be/jsQpNFRfDBc?t=…

PLISS 2020 (the third Programming Language Implementation Summer School) will be held in May next year, with great speakers and talks. You, or your students, can now register your interest in attending! pliss.org/2020/

Looking forward this workshop on OS certification in Lille: entropy2018.sciencesconf.org

It was a fun workshop!!! x.com/matt_dz/status…