Talia Ringer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICML | Position: Stop treating 'AGI' as the north-star goal of AI research. | Borhane Blili-Hamelin, Christopher Graziul, Leif Hancox-Li, Hananel Hazan, El-Mahdi El-Mhamdi, Avijit Ghosh, Katherine A. Heller, Jacob Metcalf, Fabricio Murai, Eryk Salvaggio, Andrew Smart, Todd Snider, Mariame Tighanimine, Talia Ringer, Margaret Mitchell, Shiri Dori-Hacohen |
| 2025 | ICSE | QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. | Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer, Yuriy Brun |
| 2024 | ITP | Correctly Compiling Proofs About Programs Without Proving Compilers Correct. | Audrey Seo, Christopher Lam, Dan Grossman, Talia Ringer |
| 2023 | ICSE | PRoofster: Automated Formal Verification. | Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun |
| 2023 | ITP | Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset. | Tom Reichel, R. Wesley Henderson, Andrew Touchet, Andrew Gardner, Talia Ringer |
| 2021 | PLDI | Proof repair across type equivalences. | Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, Dan Grossman |
| 2020 | CPP | REPLica: REPL instrumentation for Coq analysis. | Talia Ringer, Alex Sanchez-Stern, Dan Grossman, Sorin Lerner |
| 2019 | ITP | Ornaments for Proof Reuse in Coq. | Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman |
| 2018 | CPP | Adapting proof automation to adapt proofs. | Talia Ringer, Nathaniel Yazdani, John Leo, Dan Grossman |
| 2016 | CCS | AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems. | Talia Ringer, Dan Grossman, Franziska Roesner |