Programming languages and software engineering
Video
How OSIsoft and Deschutes Brewery used Microsoft Security Risk Detection
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://www.microsoft.com/springfield…
Video
How OSIsoft and Deschutes Brewery used Project Springfield (Full)
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://www.microsoft.com/springfield…
Video
Dr. TLA+ Series – Global Snapshot
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…
Video
Effective reversible (aka time travel) debugging of arbitrary native code
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…
Publication
Pattern Synonyms
Publication