Mechanized Proof for the Libra Blockchain
Talk, TPBC Weekly seminar series, Barcelona, Spain
This talk presents formal methods work on the Diem (formerly Libra) blockchain, including a formalization of the safety of consensus in Coq.
Talk, TPBC Weekly seminar series, Barcelona, Spain
This talk presents formal methods work on the Diem (formerly Libra) blockchain, including a formalization of the safety of consensus in Coq.
Talk, Montreal Rust Meetup, Montreal, Canada
This is a talk on how Rust derive macros make the eocnomics of some solutions to the expression problem simpler.
Talk, Barcelona Spark Meetup, Barcelona, Spain
A talk co-located with NeurIPS 2016 on distributed deep learning in heterogeneous clusters.
Talk, Data Science Belgium Community Meetup, Amsterdam, Netherlands
A talk about the challenges with using Deeplearning4J and Spark, in a distributed fashion.
Talk, Spark Summit Europe, Amsterdam, Netherlands
An enterprise use case of analysing population movement data to improve mobility in Switzerland.
Talk, Strata Hadoop World 2016, New York, USA
A use case developed at Swisscom to help urban planners understand their cities and to measure speeds on Swiss highways.
Talk, Big Data Romandie Meetup, Geneva, Switzerland
A talk on dealing with state in Spark Streaming.
Talk, Spark Summit Europe, Amsterdam, Netherlands
A talk on tuning a Spark Streaming cluster for performance.
Talk, Scala By The Bay, San Francisco Bay Area
A talk on implementation and use cases for implementing efficient locality-sensitive hashing in Spark.
Talk, Mix-It conference, Lyon, France
A talk on the then-nascent Apache Spark distribution of Lightbend (then Typesafe) and the practices that allowed developing it fast.