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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

10:45 - 12:15: TalksCurry On at Mancy
10:45 - 11:30
Talk
Curry On
Thomas BallMicrosoft Research
11:30 - 12:15
Talk
Curry On