hi, I’m vac
/posts /prism /about

Search

No results 1 result $NUMBER results
ASPLOS Paper: Frightening Small Children and Disconcerting Grown-ups: Concurrency in the Linux Kernel.
Posted on 2022-08-31 :: 67 Words

All in all, our LK model specifies the cumulative effect of a language-level model (the subset of C specific to the LK) and the hardware models targeted by the LK.

Link

Syntax and semantics of the weak consistency model specification language cat

Herding Cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory