Scholar
Aaron Councilman
Google Scholar ID: gIBWu64AAAAJ
PhD Candidate, University of Illinois at Urbana-Champaign
programming languages
Follow
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)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up