Talia Ringer

Orcid: 0000-0003-1854-3321

Affiliations:
  • University of Illinois at Urbana-Champaign, Center for Computer Science, IL, USA
  • University of Washington, Paul G. Allen School of Computer Science & Engineering, Seattle, WA, USA (former, PhD 2021)


According to our database1, Talia Ringer authored at least 20 papers between 2016 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Transformer-Based Models Are Not Yet Perfect At Learning to Emulate Structural Recursion.
Trans. Mach. Learn. Res., 2024

Cobblestone: Iterative Automation for Formal Verification.
CoRR, 2024

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning.
CoRR, 2024

Correctly Compiling Proofs About Programs Without Proving Compilers Correct.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023
Passport: Improving Automated Formal Verification Using Identifiers.
ACM Trans. Program. Lang. Syst., June, 2023

Long-Term Mentoring for Computer Science Researchers.
Commun. ACM, May, 2023

Towards Proof Repair in Cubical Agda.
CoRR, 2023

Can Transformers Learn to Solve Problems Recursively?
CoRR, 2023

Getting More out of Large Language Models for Proofs.
CoRR, 2023

Baldur: Whole-Proof Generation and Repair with Large Language Models.
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset.
Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

PRoofster: Automated Formal Verification.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2021
Proof Repair.
PhD thesis, 2021

Proof repair across type equivalences.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020
REPLica: REPL instrumentation for Coq analysis.
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019
QED at Large: A Survey of Engineering of Formally Verified Software.
Found. Trends Program. Lang., 2019

Ornaments for Proof Reuse in Coq.
Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018
Adapting proof automation to adapt proofs.
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017
A solver-aided language for test input generation.
Proc. ACM Program. Lang., 2017

2016
AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016


  Loading...