Follow
Talia Ringer
Title
Cited by
Cited by
Year
QED at Large: A Survey of Engineering of Formally Verified Software
T Ringer, K Palmskog, I Sergey, M Gligoric, Z Tatlock
Foundations and TrendsŪ in Programming Languages 5 (2-3), 102-281, 2019
802019
Audacious: User-driven access control with unmodified operating systems
T Ringer, D Grossman, F Roesner
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
472016
Baldur: Whole-Proof Generation and Repair with Large Language Models
E First, MN Rabe, T Ringer, Y Brun
ESEC/FSE, 2023
382023
Adapting proof automation to adapt proofs
T Ringer, N Yazdani, J Leo, D Grossman
Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018
352018
Proof Repair
T Ringer
University of Washington, 2021
222021
Proof Repair Across Type Equivalences
T Ringer, RD Porter, N Yazdani, J Leo, D Grossman
Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language …, 2021
212021
Passport: Improving Automated Formal Verification Using Identifiers
A Sanchez-Stern, E First, T Zhou, Z Kaufman, Y Brun, T Ringer
TOPLAS 45 (2), No. 12, pp. 1-30, 2023
19*2023
REPLica: REPL Instrumentation for Coq Analysis
T Ringer, A Sanchez-Stern, D Grossman, S Lerner
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
192020
Ornaments for proof reuse in Coq
T Ringer, N Yazdani, J Leo, D Grossman
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
172019
A solver-aided language for test input generation
T Ringer, D Grossman, D Schwartz-Narbonne, S Tasiran
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-24, 2017
132017
Transformer-based models are not yet perfect at learning to emulate structural recursion
D Zhang, C Tigges, Z Zhang, S Biderman, M Raginsky, T Ringer
arXiv preprint arXiv:2401.12947, 2024
11*2024
Proofster: Automated formal verification
A Agrawal, E First, Z Kaufman, T Reichel, S Zhang, T Zhou, ...
2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023
72023
Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset
T Reichel, RW Henderson, A Touchet, A Gardner, T Ringer
ITP, 2023
42023
Getting More out of Large Language Models for Proofs
SD Zhang, T Ringer, E First
AI for Theorem Proving, 2023
22023
Proof Repair across Quotient Type Equivalences
C Viola, M Fan, T Ringer
arXiv preprint arXiv:2310.06959, 2024
2024
Long-Term Mentoring for Computer Science Researchers
E Ruppel, S Liu, E Garza, S Ryu, A Silva, T Ringer
Communications of the ACM 66 (5), 33-35, 2023
2023
Towards Formally Verified Path ORAM in Coq
H Leung, T Ringer, CW Fletcher
CoqPL, 2023
2023
Autogenerating Natural Language Proofs for Proof Education
S Poulsen, M West, T Ringer
The Coq Workshop, 2022
2022
An Elliptic Curve Threshold Key Establishment Scheme
T Ringer
University of Maryland, College Park (B.S. honors thesis), 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–19