Statically Typed Document Transformation: An Xtatic Experience
Published in In the proceedings of PLAN-X, 2006
Technical report version available at UPenn
Download here
Published in In the proceedings of PLAN-X, 2006
Technical report version available at UPenn
Download here
Published in In the proceedings of International Symposium on Mathematical Foundations of Computer Science, 2006
Technical report available on HAL
Download here
Published in In the proceedings of International Conference on Theorem Proving in Higher Order Logics, 2007
Download here
Published in In the proceedings of International Conference on Theorem Proving in Higher Order Logics, 2009
Technical report available on HAL
Download here
Published in Ecole Polytechnique X, 2011
My PhD Thesis work. If you're interested, you'll also want to dig into some older academic talks listed on my webpage at the ENS.
Download here
Published in In the proceedings of International Conference on Interactive Theorem Proving, 2013
Technical report accessible on HAL
Download here
Published in The Diem Association, 2019
You can find a lot more information on Diem on the developer website.
Download here
Published in The Diem Association, 2019
You can find a lot more information on Diem on the developer website.
Download here
Published in O'Reilly Media, 2019
The book I co-wrote with Gérard Maas! I recommend finding a copy at your local book store.
Download here
Published in In the proceedings of Security Standardisation Research, 2020
Preprint available at IACR
Download here
Published in IACR e-prints, 2021
Accepted at CT-RSA 2021, Preprint available at IACR
Published:
A talk on the then-nascent Apache Spark distribution of Lightbend (then Typesafe) and the practices that allowed developing it fast.
Published:
A talk on implementation and use cases for implementing efficient locality-sensitive hashing in Spark.
Published:
A talk on tuning a Spark Streaming cluster for performance.
Published:
A talk on dealing with state in Spark Streaming.
Published:
A use case developed at Swisscom to help urban planners understand their cities and to measure speeds on Swiss highways.
Published:
An enterprise use case of analysing population movement data to improve mobility in Switzerland.
Published:
A talk about the challenges with using Deeplearning4J and Spark, in a distributed fashion.
Published:
A talk co-located with NeurIPS 2016 on distributed deep learning in heterogeneous clusters.
Published:
This is a talk on how Rust derive macros make the eocnomics of some solutions to the expression problem simpler.
Published:
This talk presents formal methods work on the Diem (formerly Libra) blockchain, including a formalization of the safety of consensus in Coq.