The following pages link to Gogul Balakrishnan (Q2891414):
Displaying 6 items.
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (Q2891416) (← links)
- SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement (Q3522074) (← links)
- Recency-Abstraction for Heap-Allocated Storage (Q3613388) (← links)
- Compiler Construction (Q5308721) (← links)
- Programming Languages and Systems (Q5493385) (← links)
- Computer Aided Verification (Q5716587) (← links)
