Skip to content
@DavisPL

UC Davis PL

Research in Programming Languages at UC Davis, led by Caleb Stanford
README.md

Programming Languages at UC Davis

Welcome! This organization collects research projects in programming languages led by Caleb Stanford (GitHub: cdstanford) at UC Davis. If you're interested in getting involved, please get in touch with me by email (cdstanford ucdavis edu); you can also reach me on Twitter.

Sister organizations

Check out these related organizations at UC Davis!

Popular repositories Loading

  1. cargo-sherlock cargo-sherlock Public

    Cargo Sherlock šŸ•µļø is an automated reasoning tool for quantify trust in Rust software.

    Rust 17 1

  2. lhs lhs Public

    Yet another Rust MIR analysis tool

    Rust 16

  3. rust-counterexamples rust-counterexamples Public

    Examples violating memory safety in safe Rust.

    Rust 12

  4. PCCC PCCC Public

    Proof-carrying code completions in Dafny

    C# 11

  5. many-regex many-regex Public

    A Regex execution engine that tests a pattern with many different engines

    Python 6 1

  6. coenobita-popl-src-24 coenobita-popl-src-24 Public

    Zero-cost capabilities for Rust

    Rust 4

Repositories

Showing 10 of 14 repositories
  • cargo-sherlock Public

    Cargo Sherlock šŸ•µļø is an automated reasoning tool for quantify trust in Rust software.

    DavisPL/cargo-sherlock's past year of commit activity
    Rust 17 MIT 1 5 0 Updated Sep 4, 2026
  • cargo-scan Public Forked from PLSysSec/cargo-scan

    A tool for auditing Rust crates (DavisPL Fork)

    DavisPL/cargo-scan's past year of commit activity
    Rust 0 MIT 7 0 0 Updated Jul 25, 2026
  • many-regex Public

    A Regex execution engine that tests a pattern with many different engines

    DavisPL/many-regex's past year of commit activity
    Python 6 1 1 1 Updated Jun 10, 2026
  • usr-solver Public

    SMT solver for regular expressions over uninterpreted string variables

    DavisPL/usr-solver's past year of commit activity
    SMT 4 MIT 0 0 0 Updated May 29, 2026
  • coenobita Public

    Static capabilities and information flow control for Rust šŸš

    DavisPL/coenobita's past year of commit activity
    Rust 4 MIT 0 0 0 Updated Oct 15, 2025
  • lhs Public

    Yet another Rust MIR analysis tool

    DavisPL/lhs's past year of commit activity
    Rust 16 MIT 0 1 0 Updated Aug 22, 2025
  • PCCC Public

    Proof-carrying code completions in Dafny

    DavisPL/PCCC's past year of commit activity
    C# 11 0 4 1 Updated Apr 4, 2025
  • latex-template Public template

    LaTeX paper template

    DavisPL/latex-template's past year of commit activity
    Shell 0 MIT 1 1 0 Updated Mar 26, 2025
  • coenobita-case-studies Public
    DavisPL/coenobita-case-studies's past year of commit activity
    Rust 0 0 0 0 Updated Mar 17, 2025
  • rust-plugin Public template
    DavisPL/rust-plugin's past year of commit activity
    Rust 3 MIT 0 0 0 Updated Jan 9, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loadingā€¦

Most used topics

Loadingā€¦