Thomas Reps
Scholar

Thomas Reps

Google Scholar ID: pwhyTq0AAAAJ
J. Barkley Rosser Professor & Rajiv and Ritu Batra Chair Emeritus, CS Dept., Univ. of Wisconsin
Programming LanguagesProgram AnalysisComputer SecurityProgram VerificationProgram Synthesis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
5,075
 
H-index
37
 
i10-index
111
 
Publications
20
 
Co-authors
121
list available
Publications
10 items
Fixing the Fixpoint: A Formal Theory of Convergence Detection for Incremental Recursive Computation
2026
Cited
0
The Best of Times, the Worst of Times: Moment-Based Analysis of Probabilistic Cost Structures
2026
Cited
0
Counterexample Guided Learning in the Large using Reasoning Agents
2026
Cited
0
On The Finetuning of MLIPs Through the Lens of Iterated Maps With BPTT
2025
Cited
0
MHA-RAG: Improving Efficiency, Accuracy, and Consistency by Encoding Exemplars as Soft Prompts
2025
Cited
0
ADAPT: Lightweight, Long-Range Machine Learning Force Fields Without Graphs
2025
Cited
0
Efficient Cost Bounds with Linear Maps
2025
Cited
0
Software Model Checking via Summary-Guided Search (Extended Version)
2025
Cited
0
Co-authors
6 total
Somesh Jha
Somesh Jha
Lubar Chair of Computer Science, University of Wisconsin
Akash Lal
Akash Lal
Microsoft Research, India
Loris D'Antoni
Loris D'Antoni
University of California-San Diego
Zachary Kincaid
Zachary Kincaid
Princeton University
Jordan Henkel
Jordan Henkel
AI/ML Researcher, Sema4
Swarat Chaudhuri
Swarat Chaudhuri
UT Austin, Google DeepMind