Downloads
Neural Invariant Ranker
February 2024
Official code release of our EMNLP 2023 work NeuralInvariantRanker. We have designed a ranker that can distinguish between correct inductive invariants and incorrect attempts based on the problem definition. The ranker is optimized as a contrastive ranker. Experimental results demonstrate…
F* language and verifier
May 2018
Automata
April 2015
Automata is a .NET library that provides algorithms for composing and analyzing regular expressions, automata, and transducers. In addition to classical word automata, it also includes algorithms for analysis of tree automata and tree transducers. The library covers algorithms over…
Code Contracts for .NET
March 2017
Source code for the CodeContracts tools for .NET Code Contracts provide a language-agnostic way to express coding assumptions in .NET programs.
P family of languages, compilers, and runtimes
November 2017
P family of languages, compilers and runtimes.
Bosque Programming Language
May 2019
The Bosque programming language is an experiment in regularized design for a machine-assisted rapid and reliable software development.
CCI (Common Compiler Infrastructure)
January 2017
CCI provides a rich infrastructure for working with .NET Assemblies: generating them from source, or rewriting them.
RESTler-Fuzzer
November 2020
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.