gasche/popl2014-papers — pull request #13 by kaoudis (2013-10-20 23:16:32+00:00)
Title: Add Sriram's web page.

I am currently taking a class from Dr. Sankaranarayanan and figured it might be good to add his web site to this list of papers/people.