Mon 15 Jul 2019 10:45 - 11:30 at Mancy - Talks

What do the topics of data center configuration, device drivers, cryptography, message parsers and protocols have in common? In three words: logic and languages! In this talk, I’ll describe how Microsoft Research has developed and applied logic engines, such as Z3, and new languages, such as Ivy and F*, to the specification, proof and testing of critical subsystems of Microsoft Azure. F*, Ivy, and Z3 are all open source technologies.

Mon 15 Jul

10:45 - 12:15: Curry On - Talks at Mancy
curry-on10:45 - 11:30
Thomas BallMicrosoft Research
curry-on11:30 - 12:15