3 citations · 3 across the 2 of their papers we have counts for
3 papers
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…
cs.LO2006★ 3 cited
Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight
Karl Crary, Robert Harper
This article responds to a critique of higher-order abstract syntax appearing in Logic Column 14, ``Nominal Logic and Abstract Syntax'', cs.LO/0511025.