Z3

 The Singularity project (an OS written in managed code used for research purposes) has provided several very useful research results and opened new avenues for exploration in operating system design. Recently, MSR released a paper covering an operating system research project that…

If you've spent any time on C9 over the years, then you've probably met some of the people from the RiSE team in MSR and are familiar with at least some of the great technologies they've developed. RiSE, which stands for Research in Software Engineering, is a rock star…

Nikolaj Bjørner and Leonardo de Moura are Researchers in the Research in Software Engineering (RiSE) team at Microsoft Research. They are talking and demoing Z3, a high-performance SMT constraint solver. Solving constraint systems is the root of of many software…