Aaron Councilman
Scholar

Aaron Councilman

Google Scholar ID: gIBWu64AAAAJ
PhD Candidate, University of Illinois at Urbana-Champaign
programming languages
Google Scholar↗
Citations & Impact
All-time
Citations
37
 
H-index
3
 
i10-index
2
 
Publications
10
 
Co-authors
0
 
Contact
No contact links provided.
Publications
4 items
SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement Learning
2025
Cited
0
Towards Formal Verification of LLM-Generated Code from Natural Language Prompts
2025
Cited
0
FO-Complete Program Verification for Heap Logics
Proc. ACM Program. Lang. · 2025
Cited
1
Hercules: A Compiler for Productive Programming of Heterogeneous Systems
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)