Talia Ringer

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 22

Top Topics

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Shizhuo Dylan Zhang, Curt Tigges, Zory Zhang, Stella Biderman, Maxim Raginsky, Talia Ringer
Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion. Trans. Mach. Learn. Res. 2024 (2024)
Shizhuo Dylan Zhang, Curt Tigges, Zory Zhang, Stella Biderman, Maxim Raginsky, Talia Ringer
Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion. CoRR (2024)
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
Baldur: Whole-Proof Generation and Repair with Large Language Models. ESEC/SIGSOFT FSE (2023)
Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun
Baldur: Whole-Proof Generation and Repair with Large Language Models. CoRR (2023)
Shizhuo Dylan Zhang, Talia Ringer, Emily First
Getting More out of Large Language Models for Proofs. CoRR (2023)
Cosmo Viola, Max Fan, Talia Ringer
Towards Proof Repair in Cubical Agda. CoRR (2023)
Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, Maxim Raginsky, Talia Ringer
Can Transformers Learn to Solve Problems Recursively? CoRR (2023)
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun
PRoofster: Automated Formal Verification. ICSE Companion (2023)
Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer
Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. ITP (2023)
Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer
Long-Term Mentoring for Computer Science Researchers. Commun. ACM 66 (5) (2023)
Alex Sanchez-Stern, Emily First, Timothy Zhou, Zhanna Kaufman, Yuriy Brun, Talia Ringer
Passport: Improving Automated Formal Verification Using Identifiers. CoRR (2022)
Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer
Long-Term Mentoring for Computer Science Researchers. CoRR (2022)
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
Proof repair across type equivalences. PLDI (2021)
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman
Proof Repair Across Type Equivalences. CoRR (2020)
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
QED at Large: A Survey of Engineering of Formally Verified Software. CoRR (2020)
Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner
REPLica: REPL instrumentation for Coq analysis. CPP (2020)
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
QED at Large: A Survey of Engineering of Formally Verified Software. Found. Trends Program. Lang. 5 (2-3) (2019)
Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman
Ornaments for Proof Reuse in Coq. ITP (2019)
Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman
Adapting proof automation to adapt proofs. CPP (2018)
Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran
A solver-aided language for test input generation. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Talia Ringer, Dan Grossman, Franziska Roesner
AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems. CCS (2016)