default search action
Talia Ringer
Person information
- affiliation: University of Illinois at Urbana-Champaign, Center for Computer Science, IL, USA
- affiliation (former, PhD 2021): University of Washington, Paul G. Allen School of Computer Science & Engineering, Seattle, WA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j5]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) - [c9]Audrey Seo, Christopher Lam, Dan Grossman, Talia Ringer:
Correctly Compiling Proofs About Programs Without Proving Compilers Correct. ITP 2024: 33:1-33:20 - [i10]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 abs/2401.12947 (2024) - [i9]Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Dylan Zhang, Talia Ringer, Yuriy Brun:
QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. CoRR abs/2408.09237 (2024) - 2023
- [j4]Emily Ruppel, Sihang Liu
, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer:
Long-Term Mentoring for Computer Science Researchers. Commun. ACM 66(5): 33-35 (2023) - [j3]Alex Sanchez-Stern
Passport: Improving Automated Formal Verification Using Identifiers. ACM Trans. Program. Lang. Syst. 45(2): 12:1-12:30 (2023) - [c8]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: 26-30 - [c7]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: 26:1-26:20 - [c6]Emily First
Baldur: Whole-Proof Generation and Repair with Large Language Models. ESEC/SIGSOFT FSE 2023: 1229-1241 - [i8]Emily First, Markus N. Rabe, Talia Ringer, Yuriy Brun:
Baldur: Whole-Proof Generation and Repair with Large Language Models. CoRR abs/2303.04910 (2023) - [i7]Shizhuo Dylan Zhang, Talia Ringer, Emily First:
Getting More out of Large Language Models for Proofs. CoRR abs/2305.04369 (2023) - [i6]Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, Maxim Raginsky, Talia Ringer:
Can Transformers Learn to Solve Problems Recursively? CoRR abs/2305.14699 (2023) - [i5]Cosmo Viola, Max Fan, Talia Ringer:
Towards Proof Repair in Cubical Agda. CoRR abs/2310.06959 (2023) - 2022
- [i4]Alex Sanchez-Stern, Emily First
Passport: Improving Automated Formal Verification Using Identifiers. CoRR abs/2204.10370 (2022) - [i3]Emily Ruppel, Sihang Liu, Elba Garza, Sukyoung Ryu, Alexandra Silva, Talia Ringer:
Long-Term Mentoring for Computer Science Researchers. CoRR abs/2208.04738 (2022) - 2021
- [b1]Talia Ringer:
Proof Repair. University of Washington, USA, 2021 - [c5]Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman:
Proof repair across type equivalences. PLDI 2021: 112-127 - 2020
- [c4]Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner:
REPLica: REPL instrumentation for Coq analysis. CPP 2020: 99-113 - [i2]Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock:
QED at Large: A Survey of Engineering of Formally Verified Software. CoRR abs/2003.06458 (2020) - [i1]Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman:
Proof Repair Across Type Equivalences. CoRR abs/2010.00774 (2020)
2010 – 2019
- 2019
- [j2]Talia Ringer, Karl Palmskog, Ilya Sergey
QED at Large: A Survey of Engineering of Formally Verified Software. Found. Trends Program. Lang. 5(2-3): 102-281 (2019) - [c3]Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman:
Ornaments for Proof Reuse in Coq. ITP 2019: 26:1-26:19 - 2018
- [c2]Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman:
Adapting proof automation to adapt proofs. CPP 2018: 115-129 - 2017
- [j1]Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, Serdar Tasiran:
A solver-aided language for test input generation. Proc. ACM Program. Lang. 1(OOPSLA): 91:1-91:24 (2017) - 2016
- [c1]Talia Ringer, Dan Grossman, Franziska Roesner:
AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems. CCS 2016: 204-216
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: