I’m a PhD student at the University of Pennsylvania since 2017.
Programming languages, mainly using Haskell and Coq currently
- Type systems, dependent types
- Analysis and testing
- Generic programming
Algorithms, combinatorics, abstract nonsense
Writing fast programs in Haskell. I started blogging about it. (It’s been a while already…)
generic-data: GHC Generics utilities.
generic-random: a library of generic random generators.
boltzmann-samplers: another general way to generate random values.
Unfortunately, that is subsumed by FEAT both in expressiveness and in performance, even though Boltzmann generators theoretically have the best asymptotic complexity. For more information, see this issue.
(2017) Random testing with Benjamin C. Pierce at the University of Pennsylvania.
(2016) Bidirectional programming with Meng Wang at the University of Kent.
(2015) Participated in the design of Luck, a DSL for writing random generators as annotated predicates, at INRIA Paris with Cătălin Hriţcu, Leonidas Lampropoulos, Benjamin C. Pierce, John Hughes.