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 # 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
