3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.DC2017★ 3 cited
Parallel Work Inflation, Memory Effects, and their Empirical Analysis
Umut A. Acar, Arthur Charguéraud, Mike Rainey
In this paper, we propose an empirical method for evaluating the performance of parallel code. Our method is based on a simple idea that is surprisingly effective in helping to ide…
cs.PL2015★ 2 cited
Improving Type Error Messages in OCaml
Arthur Charguéraud
Cryptic type error messages are a major obstacle to learning OCaml or other ML-based languages. In many cases, error messages cannot be interpreted without a sufficiently-precise m…