Skip to content

@open-s4c Open, Safe and Scalable System Software Concurrency

Change the repository type filter

All

    Repositories list

    10 repositories

    • vsyncer

      Public
      Verification and optimization tool for concurrent code
      Go
      •
      MIT License
      •7•22•4•0•Updated Feb 3, 2025Feb 3, 2025

    • genmc

      Public
      Generic model checker for concurrent C programs (mirror repository)
      C++
      •
      GNU General Public License v3.0
      •20•0•0•0•Updated Feb 3, 2025Feb 3, 2025

    • libvsync

      Public
      A verified library of synchronization primitives and concurrent data structures
      C
      •
      MIT License
      •4•26•1•0•Updated Jan 29, 2025Jan 29, 2025

    • vsyncer-demo

      Public
      C
      •
      MIT License
      •0•0•0•0•Updated Jan 28, 2025Jan 28, 2025

    • benchkit

      Public
      A push-button end-to-end performance evaluation pipeline for automatically exploring the parameter space
      Python
      •
      MIT License
      •17•12•9•2•Updated Jan 28, 2025Jan 28, 2025

    • kittens

      Public
      A toolkit to generate test cases out of cat models
      Scheme
      •
      MIT License
      •0•2•0•0•Updated Jan 23, 2025Jan 23, 2025

    • .github

      Public
      0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

    • vatomic

      Public
      C
      •
      MIT License
      •0•0•0•0•Updated Sep 27, 2024Sep 27, 2024

    • demo-asplos24

      Public archive
      VSync at OpenHarmony Tutorial, ASPLOS'24
      C
      •
      MIT License
      •1•4•0•1•Updated Sep 12, 2024Sep 12, 2024

    • tilt

      Public
      Framework to interpose pthread mutex
      C
      •
      MIT License
      •0•1•0•0•Updated Jun 22, 2024Jun 22, 2024