Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
Project Parade is a novel approach to parallelizing a large class of seemingly sequential applications wherein dependencies are, at runtime, treated as symbolic values.
