Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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.
