Microsoft Research Blog

RiSE4fun

  1. Z3 wins 2015 ACM SIGPLAN Award 

    June 16, 2015

    On Monday, June 15, Microsoft Research’s Z3 theorem prover received the 2015 ACM SIGPLAN Programming Languages Software Award. This prestigious award honors an institution or individuals for “developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance,…

  2. Testing Tools at a Conference Week in Zurich 

    July 21, 2011

    The beautiful interior of the Eidgenössische Technische Hochschule’s (ETH, the Swiss Federal Institute of Technology) main building in Zurich is always abuzz with conferences at the end of June, including TOOLS—and this year was no exception. Now in its forty-ninth iteration, TOOLS was a week-long…