MDCC

by Simon Peyton Jones, Principal Researcher, Microsoft Research Today's most widely used technology, by far, for static program verification is the ubiquitous type checker. Alas, static type systems inevitably exclude some good programs; and allow some bad ones.  Thus motivated, Simon describes…

by Nikolaj Bjorner, Senior Researcher, Microsoft Research The Research in Software Engineering (RiSE) group at Microsoft Research in Redmond works on several dimensions related to software engineering, including logical foundations, program verification, testing, analysis, empirical software…

by Mike Ehrenberg The emergence of cloud technology represents a significant generational shift in software architecture. Mike will share insights in what customers seek in a move to cloud-delivered software, and how delighting those customers impacts the architecture, design and development of…