Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Wed 16 Jan 2019 18:00 - 18:30 at Sala I - Wednesday Evening Program I

I will give a brief overview of Microsoft Research (MSR), focusing on opportunities to engage with MSR on problems and projects in programming languages, distributed systems and verification.

Wed 16 Jan

Displayed time zone: Belfast change

18:00 - 18:30
Wednesday Evening Program IResearch Papers at Sala I
Microsoft Research: Engage, Verify, Open
Research Papers
Thomas Ball Microsoft Research
Media Attached