Rose Kunkel

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 5

Top Topics

Web Applications

Supervised Learning

Theorem Proving

Top Venues

Proc. ACM Program. Lang.

EMNLP/IJCNLP (1)

Publications

David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
babble: Learning Better Abstractions with E-Graphs and Anti-unification. Proc. ACM Program. Lang. 7 (POPL) (2023)
David Cao, Rose Kunkel, Chandrakana Nandi, Max Willsey, Zachary Tatlock, Nadia Polikarpova
babble: Learning Better Abstractions with E-Graphs and Anti-Unification. CoRR (2022)
Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala
STORM: Refinement Types for Secure Web Applications. OSDI (2021)
Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Bakovic, Leon Bergen
Constraint-based Learning of Phonological Processes. EMNLP/IJCNLP (1) (2019)
Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). Haskell@ICFP (2018)