Ranjit Jhala

• Compiler Construction
• Programming Languages and Systems
• Verification, Model Checking, and Abstract Interpretation
• Proceedings of the 5th ACM Workshop on Programming Languages Meets Program Verification
• Refinement Types