Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). - Niki Vazou; Joachim Breitner; Rose Kunkel; David Van Horn; Graham Hutton (Haskell@ICFP, 2018)

Constraint-based Learning of Phonological Processes. - Shraddha Barke; Rose Kunkel; Nadia Polikarpova; Eric Meinhardt; Eric Bakovic; Leon Bergen (EMNLP/IJCNLP (1), 2019)

STORM: Refinement Types for Secure Web Applications. - Nico Lehmann; Rose Kunkel; Jordan Brown; Jean Yang 001; Niki Vazou; Nadia Polikarpova; Deian Stefan; Ranjit Jhala (OSDI, 2021)

babble: Learning Better Abstractions with E-Graphs and Anti-unification. - David Cao; Rose Kunkel; Chandrakana Nandi; Max Willsey; Zachary Tatlock; Nadia Polikarpova (Proc. ACM Program. Lang., 2023)