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...

Posted by Andrew Blake, managing director of Microsoft Research Cambridge As ever, at the core of Microsoft Research Cambridge ’s work is participation in academic research across the world. Our publication activity is too prolific to detail, but we regularly hit the top conferences and journals...