Viewing profile — tiarkrompf

Great question! Unary operators are really simple to add: you just look for the operator symbol first thing at the right level of precedence. Same idea as "if (peek == '(') ..." fo…

I just pushed a fix for Chrome (apparently it doesn't report affected selection ranges for input events). Hope it works now!

Thanks - very glad to hear. RSS should be doable

Author here - happy to answer questions, as always. Thanks also for feedback on the format of the article. It's a bit of an experiment on how to present dense information effective…

For starters, what if you want to differentiate through code that traverses a collection, for example: val x = ... ys.map(y => y + x) Each loop iteration needs to contribute a grad…

Hi Noel, can you clarify how this corresponds to reverse mode AD? To me it seems more like a delayed or on-demand version of forward AD.

Co-author here - nice to see this discussed and happy to answer questions

Thanks! Fixed now.

Thanks! Yes, it wasn't obvious at all when we started looking at AD either. Lantern supports a good deal of PyTorch (via Snek, our Python front-end similar to AutoGraph) and can al…

It's different -- instead of returning a closure, we take a closure as additional parameter (check paper for details). This means that the call stack stays intact and all intermedi…

We also have a more recent and slightly longer draft with additional explanations and GPU training results for ResNet 50 and DeepSpeech2: "Demystifying Differentiable Programming: …

Co-author here. Happy to answer any questions, as usual ...

No surprise here, as Martin was my PhD advisor :)

Hi all, Author here, great to see our paper on the front page today. Happy to answer any questions! Since Spark was already mentioned in the comments, you might be interesting in t…

Thank you -- made my day!

Sounds interesting. About the role of CPS: for specialization purposes, CPS can have some benefits by splitting control flow. For example, if your input is "if (c) a else b" and c …

I'm one of the authors. Happy to answer questions.

It's a nice piece of code. I like to use it to explain how to turn interpreters into compilers through staging/specialization: https://scala-lms.github.io/tutorials/regex.html

The talk was part of a summer school at EPFL: http://vjovanov.github.io/dsldi-summer-school/ Afaik, everything was videotaped. I'm sure the videos will appear soon.

"precision" JIT: I'm not sure -- can you tell it what to do? More predictable performance model than HotSpot: absolutely.

(author here) Yes, one of our points is that 'register' is much too low-level, because one can't abstract over it. The same holds e.g. for OpenMP directives. In the paper we propos…

Author here. Thought I should share the github link as well: https://github.com/TiarkRompf/lancet

Relite author here. I'd love to learn more about your use cases, feel free to get in touch!

Here is a collection of all his papers: http://infoscience.epfl.ch/search?ln=en&p=bagwell