https://www.garillot.net/posts/2011/08/lightweight-profiling 2011-08-11T00:00:00-07:00 https://www.garillot.net/posts/2011/08/recursive-merge-sort-python 2011-08-17T00:00:00-07:00 https://www.garillot.net/posts/2011/08/certifying-RSA-correct 2011-08-27T00:00:00-07:00 https://www.garillot.net/posts/2012/01/freshman-CS-in-Scala 2012-01-12T00:00:00-08:00 https://www.garillot.net/posts/2013/02/ramdisk-life 2013-02-15T00:00:00-08:00 https://www.garillot.net/posts/2013/10/look-ma 2013-10-23T00:00:00-07:00 https://www.garillot.net/posts/2014/07/option-monad-transformer 2014-07-14T00:00:00-07:00 https://www.garillot.net/posts/2014/11/xen-imac 2014-11-13T00:00:00-08:00 https://www.garillot.net/posts/2014/11/diving-deep-end 2014-11-19T00:00:00-08:00 https://www.garillot.net/posts/2015/07/update-streaming/ 2015-07-10T00:00:00-07:00 https://www.garillot.net/posts/2015/07/another-update-streaming 2015-07-15T00:00:00-07:00 https://www.garillot.net/posts/2016/05/may-roundup-time-series/ 2016-05-09T00:00:00-07:00 https://www.garillot.net/posts/2016/06/june-roundup-deep-learning/ 2016-06-28T00:00:00-07:00 https://www.garillot.net/posts/2017/07/psa-mvn-nexus/ 2017-07-27T00:00:00-07:00 https://www.garillot.net/posts/2025/03/bcb-promises-challenges/ 2025-03-31T00:00:00-07:00 https://www.garillot.net/posts/2025/04/drilling-down-texray/ 2025-04-28T00:00:00-07:00 https://www.garillot.net/publication/2006-01-01-Statically-Typed-Document-Transformation-An-Xtatic-Experience 2006-01-01T00:00:00-08:00 https://www.garillot.net/publication/2006-09-01-A-core-calculus-for-Scala-type-checking 2006-09-01T00:00:00-07:00 https://www.garillot.net/publication/2007-09-01-Simple-types-in-type-theory-Deep-and-shallow-encodings 2007-09-01T00:00:00-07:00 https://www.garillot.net/publication/2009-08-01-Packaging-mathematical-structures 2009-08-01T00:00:00-07:00 https://www.garillot.net/publication/2011-12-01-Generic-Proof-Tools-and-Finite-Group-Theory 2011-12-01T00:00:00-08:00 https://www.garillot.net/publication/2013-07-01-A-machine-checked-proof-of-the-odd-order-theorem 2013-07-01T00:00:00-07:00 https://www.garillot.net/publication/2019-06-01-State-machine-replication-in-the-Libra-Blockchain 2019-06-01T00:00:00-07:00 https://www.garillot.net/publication/2019-06-01-The-Libra-Blockchain 2019-06-01T00:00:00-07:00 https://www.garillot.net/publication/2019-07-01-Stream-Processing-with-Apache-Spark 2019-07-01T00:00:00-07:00 https://www.garillot.net/publication/2020-11-01-Taming-the-Many-EdDSAs 2020-11-01T00:00:00-07:00 https://www.garillot.net/publication/2021-03-01-Non-interactive-Half-Aggregation-of-EdDSA-and-Variants-of-Schnorr-Signatures 2021-03-01T00:00:00-08:00 https://www.garillot.net/publication/2021-08-01-Threshold-Schnorr-with-Stateless-Deterministic-Signing-from-Standard-Assumptions 2021-08-01T00:00:00-07:00 https://www.garillot.net/publication/2023-08-01-LURK-Lambda-the-Ultimate-Recursive-Knowledge-Experience-Report 2023-08-01T00:00:00-07:00 https://www.garillot.net/publication/2025-01-01-Subset-Optimized-BLS-Multi-signature-with-Key-Aggregation 2025-01-01T00:00:00-08:00 https://www.garillot.net/talks/2015-04-28-mix-it 2015-04-28T00:00:00-07:00 https://www.garillot.net/talks/2015-08-18-big-data-bay 2015-08-18T00:00:00-07:00 https://www.garillot.net/talks/2015-10-29-spark-streaming-limits 2015-10-29T00:00:00-07:00 https://www.garillot.net/talks/2016-04-29-streaming-state 2016-04-29T00:00:00-07:00 https://www.garillot.net/talks/2016-09-27-strata-hadoop 2016-09-27T00:00:00-07:00 https://www.garillot.net/talks/2016-10-27-spark-summit-eu 2016-10-27T00:00:00-07:00 https://www.garillot.net/talks/2016-10-31-deeplearning4j-spark 2016-10-31T00:00:00-07:00 https://www.garillot.net/talks/2016-12-09-deeplearning4j-spark 2016-12-09T00:00:00-08:00 https://www.garillot.net/talks/2020-01-20-growing-types-workload 2020-01-20T00:00:00-08:00 https://www.garillot.net/talks/2020-05-27-mechanized-proof-libra 2020-05-27T00:00:00-07:00 https://www.garillot.net/talks/2022-05-04-scaling-celo 2022-05-04T00:00:00-07:00 https://www.garillot.net/talks/2022-11-15-groth16-still-lives 2022-11-15T00:00:00-08:00 https://www.garillot.net/talks/2023-03-08-taming-many-eddsas 2023-03-08T00:00:00-08:00 https://www.garillot.net/talks/2023-04-04-lambda-the-ultimate-recursive-knowledge 2023-04-04T00:00:00-07:00 https://www.garillot.net/talks/2023-08-26-rust-ethereum-nova-verifier 2023-08-26T00:00:00-07:00 https://www.garillot.net/talks/2023-09-07-Lurk-ICFP 2023-09-07T00:00:00-07:00 https://www.garillot.net/talks/2024-11-10-Front-running-the-aggregate 2024-10-10T00:00:00-07:00 https://www.garillot.net/talks/2025-06-12-modern-multi-proposer-consensus 2025-06-12T00:00:00-07:00 https://www.garillot.net/talks/2025-11-19-the-role-for-zkvms-in-verifiable-ai/ 2025-11-19T00:00:00-08:00 https://www.garillot.net/ https://www.garillot.net/categories/ https://www.garillot.net/collection-archive/ https://www.garillot.net/page-archive/ https://www.garillot.net/publications/ https://www.garillot.net/sitemap/ https://www.garillot.net/tags/ https://www.garillot.net/talkmap.html https://www.garillot.net/talks/ https://www.garillot.net/teaching/ https://www.garillot.net/year-archive/ https://www.garillot.net/files/paper1.pdf 2026-04-02T02:50:26-07:00 https://www.garillot.net/files/paper2.pdf 2026-04-02T02:50:26-07:00 https://www.garillot.net/files/paper3.pdf 2026-04-02T02:50:26-07:00 https://www.garillot.net/talkmap/map.html 2026-04-02T02:50:26-07:00