Systems Research at Brown University
- 20 followers
- Providence, RI
- https://systems.cs.brown.edu
- @SystemsAtBrown
Pinned Loading
Repositories
- paralegal Public
Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below
brownsys/paralegal’s past year of commit activity - flowistry Public Forked from willcrichton/flowistry
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
brownsys/flowistry’s past year of commit activity - redis-soft-mem Public Forked from redis/redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
brownsys/redis-soft-mem’s past year of commit activity - rust-verification-tools Public Forked from project-oak/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
brownsys/rust-verification-tools’s past year of commit activity - tracing-framework Public
Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing
brownsys/tracing-framework’s past year of commit activity - GDPRbench Public Forked from GDPRbench/GDPRbench
Benchmarking how quickly storage systems respond to GDPR queries
brownsys/GDPRbench’s past year of commit activity