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.
Talks and presentations (selected)
Growing Your Types Without Growing Your Workload, or How To Survive Among Productive Colleagues in Rust, or Defense Against the Dark Arts
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.
Deep Learning on a mixed cluster with DeepLearning4J and Spark
Talk, Barcelona Spark Meetup, Barcelona, Spain
A talk co-located with NeurIPS 2016 on distributed deep learning in heterogeneous clusters.
DeepLearning4J and Spark: Success and Challenges
Talk, Data Science Belgium Community Meetup, Amsterdam, Netherlands
A talk about the challenges with using Deeplearning4J and Spark, in a distributed fashion.
Mobility Insights at Swisscom: Understanding Collective Mobility in Switzerland
Talk, Spark Summit Europe, Amsterdam, Netherlands
An enterprise use case of analysing population movement data to improve mobility in Switzerland.
Delivering near real time mobility insights at Swisscom
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.
Spark Streaming: Dealing With State
Talk, Big Data Romandie Meetup, Geneva, Switzerland
A talk on dealing with state in Spark Streaming.
Spark Streaming: Pushing the Throughput Limits, the Reactive Way
Talk, Spark Summit Europe, Amsterdam, Netherlands
A talk on tuning a Spark Streaming cluster for performance.
A Gentle Introduction to Spark and Locality Sensitive hashing
Talk, Scala By The Bay, San Francisco Bay Area
A talk on implementation and use cases for implementing efficient locality-sensitive hashing in Spark.
Apache Mesos and Spark: Ramping Up your DevOps-Fu for Big Data Developers
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.