Explore projects
-
-
-
Coq development for the Semantics course taught at Saarland University
Updated -
Updated
-
Prototype DNN Serving System that can support thousands of models, dozens of worker machines, and low-latency SLOs. (OSDI '20)
Updated -
-
-
-
Updated
-
-
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
-
Updated
-
-
golang implementation of X-Trace and pubsub, also including some funky rewriting in order to get goroutine local variables.
Currently, the golang imports still point back to the repository hosted on GitHub. Depends on the tracingplane-go repository.
Updated -
-
-
-
A combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)
Updated -