Scholar
Kevin Cheang
Google Scholar ID: jUMlPD8AAAAJ
UC Berkeley
Automated Reasoning
Security
Programming Languages
Computer Architecture
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
257
H-index
6
i10-index
5
Publications
11
Co-authors
0
Contact
No contact links provided.
Publications
2 items
Learning Context-Free Grammars for Grammar-Constrained Decoding via Declarative Agentic Programming with Guarantees
2026
Cited
0
Learning to Triage Taint Flows Reported by Dynamic Program Analysis in Node.js Packages
2025
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
