Sriram Rajamani

• Obt'15 : Off the Beaten Track
• POPL'15
• Proceedings of the Programming Languages Mentoring Workshop