anthezium / CS510-Advanced-Topics-in-Concurrency

Related projects ⓘ

Alternatives and complementary repositories for CS510-Advanced-Topics-in-Concurrency

• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆33Updated 5 years ago
• twizzler-operating-system / twizzler-public
  Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.
  ☆65Updated 4 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated 2 years ago
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆16Updated 9 years ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last week
• cadets / loom
  The LOOM IR instrumentation framework
  ☆19Updated 7 months ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• tlaplus / foundation
  TLA+ Foundation
  ☆23Updated this week
• luceracloud / libfasttime
  Fast time calls from user space.
  ☆11Updated 8 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆19Updated 4 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated last year
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• josefbacik / log-writes
  Helper code for dm-log-writes target.
  ☆12Updated 4 months ago
• plasma-umass / memory-landscape
  The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).
  ☆19Updated 3 years ago
• gwsystems / ps
  Parallel sections library for parallel data-structures
  ☆14Updated last year
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• compiler-explorer / compiler-workflows
  Workflows to build daily and ad hoc compilers for Compiler Explorer
  ☆18Updated last month
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆20Updated 9 months ago
• sunshowers / z3.rkt
  Racket bindings for Z3
  ☆19Updated 12 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 2 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆12Updated 6 years ago
• lemmy / lets-prove-blocking-queue
  Proving a blocking queue deadlock free in a dozen different ways
  ☆43Updated 3 weeks ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆34Updated 7 months ago
• bpowers / mstat
  fine-grained, cgroup-based tool for profiling memory usage over time of a process tree
  ☆42Updated 4 months ago
• coq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆22Updated 3 months ago
• stonebuddha / eopl
  Essentials of Programming Languages, with OCaml implementations & Coq proofs
  ☆32Updated 7 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• nelhage / bemu
  A just-in-time compiler for MIT 6.004's "Beta" processor.
  ☆38Updated 9 years ago