Programming languages and software engineering
Project
Infer.NET
Infer.NET is a .NET library for machine learning. It provides state-of-the-art algorithms for probabilistic inference from data. Various Bayesian models such as Bayes Point Machine classifiers, TrueSkill matchmaking, hidden Markov models, and Bayesian networks can…
Tool
Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities
Distribution for the standalone Subpolyhedra library, a new numerical abstract domain for scalable inference and propagation of linear inequalities.
Publication
Code-Carrying Authorization
Publication
Flexible Immutability with Frozen Objects
Project
Automated Test Generation (ATG)
Overview We are conducting research on automating software testing using (static and dynamic) program analysis with the goal of building testing tools that are automatic, scalable and check many properties. Our work combines program analysis,…
Project
CHESS: Find and Reproduce Heisenbugs in Concurrent Programs
CHESS is a tool for finding and reproducing Heisenbugs in concurrent programs. CHESS repeatedly runs a concurrent test ensuring that every run takes a different interleaving.