Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Reliable Systems Lab at SFU

community
sfu-rsl
Activity Feed

AI & ML interests

We develop techniques and tools for building reliable, efficient, and secure systems software.

Tarek Elsayed's profile picture Steve Ko's profile picture

spaces 2

pinned
Sleeping
Agents

RustMizan Leaderboard

🚀

Evaluating LLMs on Rust memory safety vulnerability analysis

Jul 12
Running

Rust Mizan Logs

🐨

View and explore application logs in a web interface

Jun 11

models 0

None public yet

datasets 1

sfu-rsl/mizan-vanilla

Viewer • Updated Jun 19 • 173 • 36
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs