Alex Portland AlexanderPortland

• Providence, RI
• 13:34 (UTC -05:00)

Pinned Loading

1. Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions

   Rust 11

2. Kani Rust Verifier

   Rust 3k 141

3. Our high-performance optimizing solver for capacitated vehicle routing problems (a variant on classic traveling salesman)

   Rust

4. The toy compiler I'm developing as part of Brown's Topics in PL course

   Rust