Andrea Lattuada's repositories
spsc-bip-buffer
A concurrent, spsc ring-buffer with sized reservations
infinity-rust
A rust wrapper for Infinity, a lightweight RDMA library for InfiniBand
timely-viz
Tools to visualise and debug a timely-dataflow program
timely-affinity
Numa-aware `execute` for timely dataflow
streaming-harness
A benchmarking harness for streaming systems
blip
A queue of queues
creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
database-stream-processor
Streaming and Incremental Computation Framework
differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
dotnet-core-sdk-make-perf-docker
Dockerfile for dotnet core with make and perf
hdrhist-cpp
Small footprint hdr histogram in c++ (header-only)
mergequeue-benchmarker
Simple benchmark for MergeQueues
node-replicated-kernel
Experimental kernel with built-in replication.
rust
Empowering everyone to build reliable and efficient software.
signalling
A lightweight signal to (un)park a single thread
snailtrail
SnailTrail 2019
timely-dataflow
A modular implementation of timely dataflow in Rust
timely-programs
Programs that run with timely and can be easily benchmarked
verified-betrfs
A verified high-performance file system
verus
Verified Rust for low-level systems code
z3
The Z3 Theorem Prover