Prototype gRPC server with a customizable topology; principally used for Hindsight evaluation.
Barebones C++ implementation of X-Trace compatible with latest brown tracing framework + baggage version
Practical verification of numerical kernels
Parallel reactive synthesis for omega-regular specifications under the transition fairness condition
Controller synthesis for stochastic dynamical system by means of finite abstraction
Prototype DNN Serving System that can support thousands of models, dozens of worker machines, and low-latency SLOs. (OSDI '20)