René Just
Scholar

René Just

Google Scholar ID: Y_KtQ8kAAAAJ
University of Washington
Software engineeringSoftware testingProgram analysisSoftware securityData science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
4,056
 
H-index
27
 
i10-index
41
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
2 items
Solver-Aided Verification of Policy Compliance in Tool-Augmented LLM Agents
2026
Cited
0
Morello: Compiling Fast Neural Networks with Dynamic Programming and Spatial Compression
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)