Skip to content
@focs-lab

FOCS Lab

Foundations of Computer Systems Lab, headed by Prof Umang Mathur
README.md

FOCS Lab @ NUS

The Foundations of Computer Systems Lab (FOCS lab for short) is led by Umang Mathur.

See lab website for more details.

Popular repositories Loading

  1. rapid rapid Public

    Dynamic Analysis for Concurrent Programs

    Java 33 12

  2. gct gct Public

    Controlled Concurrency Testing for Go

    Go 8

  3. LinP LinP Public

    C++ 5 1

  4. lean-relational-algebra lean-relational-algebra Public

    Kleene algebra, KAT, and relation algebra in Lean 4 / Mathlib, with completeness proofs and proof-producing tactics. Based on Damien Pous’s relation-algebra library.

    Lean 4

  5. llvm-project-tsan llvm-project-tsan Public

    Forked from llvm/llvm-project

    The LLVM Project fork for TSan contributions.

    LLVM 3

  6. llvm-project llvm-project Public

    Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    LLVM 2 2

Repositories

Showing 10 of 26 repositories
  • focs-lab.github.io Public
    focs-lab/focs-lab.github.io's past year of commit activity
    HTML 0 MIT 1 0 0 Updated Oct 7, 2026
  • llvm-project Public Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    focs-lab/llvm-project's past year of commit activity
    LLVM 2 19,377 22 0 Updated Oct 6, 2026
  • tsan-experiments Public

    Benchmarks and script for TSan and improved TSan performance evaluation

    focs-lab/tsan-experiments's past year of commit activity
    Shell 1 0 21 0 Updated Oct 6, 2026
  • trace-theory-lean Public
    focs-lab/trace-theory-lean's past year of commit activity
    Lean 0 1 0 0 Updated Oct 4, 2026
  • lean-relational-algebra Public

    Kleene algebra, KAT, and relation algebra in Lean 4 / Mathlib, with completeness proofs and proof-producing tactics. Based on Damien Pous’s relation-algebra library.

    focs-lab/lean-relational-algebra's past year of commit activity
    Lean 4 0 0 0 Updated Sep 19, 2026
  • wtc Public

    WTC: Well-tempered Compiler for Multithreading

    focs-lab/wtc's past year of commit activity
    C++ 0 0 0 1 Updated Sep 19, 2026
  • llvm-project-wtc Public Forked from llvm/llvm-project

    The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

    focs-lab/llvm-project-wtc's past year of commit activity
    LLVM 0 19,377 0 0 Updated Sep 17, 2026
  • llvm-project-tsan Public Forked from llvm/llvm-project

    The LLVM Project fork for TSan contributions.

    focs-lab/llvm-project-tsan's past year of commit activity
    LLVM 3 19,377 5 0 Updated Sep 8, 2026
  • compiler-verification-tutorial Public
    focs-lab/compiler-verification-tutorial's past year of commit activity
    HTML 2 LGPL-2.1 0 0 0 Updated Sep 8, 2026
  • rapid Public

    Dynamic Analysis for Concurrent Programs

    focs-lab/rapid's past year of commit activity
    Java 33 MIT 12 1 0 Updated Aug 8, 2026
View all repositories

Most used topics

Loading…