The Essence of Multi-stage Evaluation in LMS-Reference-Cited by-同舟云学术

The Essence of Multi-stage Evaluation in LMS

Published:2016 Issue: Volume: Page:318-335
ISSN:0302-9743
Container-title:A List of Successes That Can Change the World
language:
Short-container-title:

Author:

Rompf Tiark

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-30936-1_17

Reference70 articles.

1. Ager, M.S., Danvy, O., Rohde, H.K.: Fast partial evaluation of pattern matching in strings. ACM Trans. Program. Lang. Syst. 28(4), 696–714 (2006)

2. Amarasinghe, S.P.: Petabricks: a language and compiler based on autotuning. In: Katevenis, M., Martonosi, M., Kozyrakis, C., Temam, O. (eds.) Proceedings of the 6th International Conference on High Performance Embedded Architectures and Compilers, HiPEAC 2011, Heraklion, Crete, Greece, 24–26 January 2011, p. 3. ACM (2011)

3. Lecture Notes in Computer Science;E Axelsson,2011

4. Lecture Notes in Computer Science;O Beckmann,2004

5. Boehm, H., Flanagan, C. (eds.) ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2013, Seattle, WA, USA, 16–19 June 2013. ACM (2013)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies;Proceedings of the ACM on Programming Languages;2023-10-16

2. Compiling symbolic execution with staging and algebraic effects;Proceedings of the ACM on Programming Languages;2020-11-13

3. Staged abstract interpreters: fast and modular whole-program analysis via meta-programming;Proceedings of the ACM on Programming Languages;2019-10-10

4. Demystifying differentiable programming: shift/reset the penultimate backpropagator;Proceedings of the ACM on Programming Languages;2019-07-26

5. Generating mutually recursive definitions;Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019;2019