Browse by Tags

  • Blog Post: Gulwani Wins 2014 Robin Milner Young Researcher Award

    Tweet Posted by Rob Knies Sumit Gulwani is a kind and accomplished person, the type who doesn’t simply display concern when he sees something amiss, but actually rolls up his sleeves and begins to fix it. While his day job is as a Microsoft researcher, he also serves on the...
  • Blog Post: Programming Languages in the Eternal City

    Posted by Rob Knies The Symposium on Principles of Programming Languages (POPL) is an annual gathering of thought leaders from around the world to discuss all aspects of programming languages and systems, so it is a given that as the 40th instance of the event gets under way in Rome on Jan. 23...