Lindsey Kuper
Lindsey Kuper
See [my notes on the reviews](https://github.com/lkuper/dissertation/blob/master/dissertation/jfp-reviews-notes.md) for some of the justification for this change. I think it actually won't be that much work to update the existing lambdaLVar determinism proof...
Both reviewers brought this up. It's true that the claim is a bit strong! This is mentioned in both the intro and the conclusion, if not in other places.
Checklist: - [ ] Move arbitrary updates over to lambdaLVar (issue #3) (@lkuper) - [ ] Systematic presentation of LVish API (issue #6) (@rrnewton) - [ ] Resolve question about...
We don't need to show the entire API, but in addition to the series of examples in section 4.2, we should give a systematic presentation of the most important API...
From reviewer 2's review: > It is rather unfortunate that the determinism result (Theorem 2.1) > specifically does not address consistent termination (i.e., that if > one run terminates with...
When using ParallelAccelerator with OpenBLAS on either Mac or Linux, ParallelAccelerator fails to compile one of the transpose tests. This is happening because ParallelAccelerator is generating code that uses `domatcopy`,...
For users who haven't done `ParallelAccelerator.embed`, there should be an easy way to compile the package from the REPL before the first time it is used in that Julia session....
As of recently, using `ParallelAccelerator.embed()` causes several of our examples to break; not only the PA versions we distribute but also the plain Julia versions of the examples that we...
From @ViralBShah : > https://github.com/JuliaLang/julia/issues/15874 > > Folks, this is another non-trivial benchmark. It is the ALS algorithm. We have some work to improve the multi-threading performance, but figured that...
To figure out how robust ParallelAccelerator is, one useful thing to do would be to "fuzz" ParallelAccelerator against [the Julia test suite](https://github.com/JuliaLang/julia/tree/master/test). The idea would be to wrap each test...