Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
FSBOL is an F# implementation of the Synthetic Biology Open Language (SBOL) Data Model.
This implements F# for Jupyter notebooks. View the Feature Notebook for some of the features that are included.
LSM-based KV stores are designed to offer good write performance by capturing client writes in memory and only later flushing them to storage. Writes are later compacted into a tree-like data structure on disk to…
Vale (Verified Assembly Language for Everest) is a tool for constructing formally verified high-performance assembly language code, with an emphasis on cryptographic code. It uses existing verification frameworks, such as Dafny and F*, for formal…
