Explore projects

A modified version of StochasticSynthesis that we used for our TAC '21 and TACAS '22 submissions. The original repo is here: https://github.com/gtfactslab/StochasticSynthesis

The Coq development for Iris. [project website] [coqdoc]

This project contains some scripts and other files that are used by many Iris project for their CI

An extended "Standard Library" for Coq. [coqdoc]

The Coq development for Iris. [project website] [coqdoc]

The public repository accompanying the paper 'Paracosm: A Test Framework for Autonomous Driving Simulations'.

Integrates programming and direct manipulation for CAD.

A Programming and Direct Manipulation Environment for creating test environments/scenarios, especially for the case of Autonomous Driving.

A simulator to visualize/analyze tracking data from VR

3D visualization of asynchronous program executions.

Public repository of the paper 'Constraint Synthesis for Parametric CAD'.

The public repository of the paper "Interactive Programming for Parametric CAD".

Practical verification of numerical kernels