anthezium / CS510-Advanced-Topics-in-Concurrency

Related projects: ⓘ

• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆69Updated 2 years ago
• rlu-sync / rlu-rht
  RLU resizable hash-table
  ☆16Updated 9 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
• cadets / loom
  The LOOM IR instrumentation framework
  ☆19Updated 4 months ago
• PrincetonUniversity / DeepSpecDB
  ☆27Updated last week
• frdwarf / dwarf-synthesis
  ☆24Updated 4 years ago
• josefbacik / log-writes
  Helper code for dm-log-writes target.
  ☆12Updated 2 months ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆42Updated last year
• travisdowns / concurrency-hierarchy-bench
  Supporting code for the concurrency hierarchy described in this blog post: https://travisdowns.github.io/blog/2020/07/06/concurrency-cost…
  ☆26Updated 2 years ago
• yosefk / heapprof
  A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries
  ☆48Updated 10 years ago
• elfsternberg / riggedregex
  Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust
  ☆19Updated 4 years ago
• RN-dev-repo / GAPP
  Generic Automatic Parallel Profiler
  ☆28Updated 3 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆36Updated 11 months ago
• allvm / allvm-tools
  ALLVM Tools
  ☆55Updated 2 years ago
• rutgers-apl / TaskProf
  A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
  ☆12Updated 6 years ago
• facebookarchive / Rseq
  Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations
  ☆32Updated 5 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 12 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆18Updated 10 months ago
• NanXiao / using-dtrace-stories
  ☆22Updated last year
• informalsystems / modelator-py
  Utilities for the TLA+ ecoystem and model-based testing using TLA+.
  ☆28Updated last year
• MPACT-ORG / llvm-project
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…
  ☆32Updated 2 weeks ago
• nelhage / bemu
  A just-in-time compiler for MIT 6.004's "Beta" processor.
  ☆38Updated 9 years ago
• mit-pdos / ward
  ☆30Updated 2 years ago
• tchajed / futex-tutorial
  ☆8Updated last month
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 4 years ago
• d99kris / cpuusage
  Instrumentation CPU profiler for Linux and macOS applications
  ☆19Updated last year
• jfbastien / jit-talk
  ☆47Updated 3 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆52Updated 6 years ago
• travisdowns / page-info
  Programatically obtain information about the pages backing a given memory region
  ☆71Updated 2 years ago