Concepedia

Talia Ringer

TR

Statistics

Publications

8

Citations

211

H-Index

8

Active since

2016

Affiliations

University of Washington(Current)

University of Illinois Urbana-Champaign

University of Massachusetts Amherst

Talia Ringer is an author at University of Washington specializing in engineering, program analysis, and computer science.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisVerificationFormal MethodsAutomated ReasoningFormal VerificationSoftware TestingFormal Specification

Publications per year

2016–2023

8

Publications

8

Baldur: Whole-Proof Generation and Repair with Large Language Models

Emily First, Markus N. Rabe, Talia Ringer et al. · 2023 · 67 citations

Engineering, Verification, Automated Proof +19

QED at Large: A Survey of Engineering of Formally Verified Software

Talia Ringer, Karl Palmskog, Ilya Sergey et al. · Foundations and Trends® in Programming Languages · 2019 · 42 citations · Full text

Engineering, Verification, Computer-aided Verification +21

Talia Ringer, Dan Grossman, Franziska Roesner · 2016 · 33 citations

Mobile Security, User-driven Access Control, Engineering +17

Adapting proof automation to adapt proofs

Talia Ringer, Nathaniel Yazdani, John Leo et al. · 2018 · 20 citations

Formal Specification, Engineering, Automated Reasoning +15

Passport: Improving Automated Formal Verification Using Identifiers

Alex Sanchez-Stern, Emily First, Timothy Zhou et al. · ACM Transactions on Programming Languages and Systems · 2023 · 19 citations · Full text

Engineering, Information Security, Verification +19

1–5 of 8