微软研究院
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Learn how OSIsoft used Project Springfield, a cloud-based bug detector from Microsoft Research, to help Deschutes Brewery focus on what they do best: Making great beer. To find out more about Project Springfield, visit https://cm-edgetun.pages.dev/springfield…
The presentation slide and the complete schedule of Dr. TLA+ Series are available at https://github.com/tlaplus/DrTLAPlus. A snapshot of the state of a running program is useful in several ways. For example, it can serve as…
UndoDB is a reversible debugger based on a proprietary JIT binary instrumentation implementation. It runs on Linux and Android user-mode processes, on 32-bit and 64-bit x86 and ARM. It is integrated with gdb’s reversible debugging…
Abstract: Program verification tools such as Dafny and F* rely on Z3, an SMT-based automated theorem prover, to dispatch verification conditions. Z3’s powerful automation relieves programmers of the burden of writing tedious manual proofs. However,…
We are excited to be a part of the first Research Software Engineers Conference. Research Software Engineers are the people who work in research, but write code not papers. The RSE Conference is the first…
