RRB Vector: A Practical General Purpose Immutable Sequence

Efficient Parsing with Derivatives and Zippers (PhD Thesis, EPFL 2021)

FlowPools: A Lock-Free Deterministic Concurrent Dataflow Abstraction (2012)

Deprecating the Observer Pattern (2010)

Ideal Hash Trees (2001)

Design and Implementation of Optimizing Type-centric Compiler for High-Level Language (2017)

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes (2017)

Unifying Analytic and Statically-Typed Quasiquotes

Isolated Actors for Race-free, Concurrent Programming (2010)

Unification of Compile-Time and Runtime Metaprogramming in Scala (2017)

Extending Safe C Support in Leon (2017)

Compiling Scala For Performance (2010)

Is the Network Turing-Complete?

Comparison of compression efficiency between HEVC/H.265 and VP9 [pdf]

Ideal Hash Trees (2001) [pdf]