Projects
Established:
Currently, developing new electronic devices requires significant expertise and resource, and such hardware products are often only practical at scale. We want to make the design and manufacture of new electronic devices quicker, cheaper, easier and more accessible. We feel…
Established:
F* is a verification-oriented dialect of ML. For more information, please visit https://fstar-lang.org or click on the logo below.
Established:
SymDiff is a tool for performing differential program verification. Differential program verification concerns with specifying and proving interesting properties over program differences, as opposed to the program itself. Such properties include program equivalence, but can also capture more general differential/relational…
Established:
This project is focused on creating a low-overhead Time-Traveling Debugger in the Chakra JavaScript engine (and Node.js). This debugger supports reverse variations of the step forward operations in a debugger to enable a developer to easily reverse program execution time…
Established:
Corral is a whole-program analysis tool for Boogie programs. Corral uses goal-directed symbolic search techniques to find assertion violations. It leverages the powerful theorem prover Z3. It is available open source on GitHub. Corral, by default, does a bounded search up to a recursion depth…
Established:
The Bosque Programming Language project is investigating the implications of explicitly designing a program intermediate representation with the goal of supporting automated reasoning tools while simultaneously providing an accessible and agile surface programming language for developers.
Established:
Connect and code electronics. Instantly. Jacdac (opens in new tab) is an open source hardware/software platform that makes it easy for everyone to create custom electronic solutions from a wide variety of hardware devices, (opens in new tab)with standardized PCB-based…
Microsoft MakeCode is a joint project between Microsoft Research and Visual Studio to make it simple to program microcontroller-based devices using a modern web app.
Established:
The mission of Microsoft’s One Engineering System (formerly known as Tools for Software Engineers) team is to enable the world’s best product engineering teams with world-class tools and systems that help them ship products their customers love. 1ES provides tools…