3 citations · 3 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2019
Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency
Michael J. Sullivan, Karl Crary, Salil Joshi
Crary and Sullivan's Relaxed Memory Calculus (RMC) proposed a new declarative approach for writing low-level shared memory concurrent programs in the presence of modern relaxed-mem…
cs.PL2018
Hygienic Source-Code Generation Using Functors
Karl Crary
Existing source-code-generating tools such as Lex and Yacc suffer from practical inconveniences because they use disembodied code to implement actions. To prevent this problem, suc…