Sriram Rajamani profile picture

Sriram Rajamani

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Proceedings of the Programming Languages Mentoring Workshop
Obt'15 Off the Beaten Track: New Frontiers for Programming Languages Research