Rose Kunkel

According to our database, Rose Kunkel authored at least 4 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., January, 2023

2021

STORM: Refinement Types for Secure Web Applications.

Nico Lehmann, Rose Kunkel, Jordan Brown, Jean Yang, Niki Vazou, Nadia Polikarpova, Deian Stefan, Ranjit Jhala

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

2019

Constraint-based Learning of Phonological Processes.

Shraddha Barke, Rose Kunkel, Nadia Polikarpova, Eric Meinhardt, Eric Bakovic, Leon Bergen

Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing, 2019

2018

Theorem proving for all: equational reasoning in liquid Haskell (functional pearl).

Niki Vazou, Joachim Breitner, Rose Kunkel, David Van Horn, Graham Hutton

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018