Fetching the paper…
Reading the bibliography…
Optimizing programs to run efficiently on modern parallel hardware is hard but crucial for many applications.
An Introduction to OBJ 3. In Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings . 258–263
Joseph A. Goguen, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis, José Meseguer, and Timothy C. Winkler. 1987 · 1987
Earlier work this paper cites.
Reverse Engineering and Design Recovery: A Taxonomy
Elliot J. Chikofsky and James H. Cross II. 1990 · 1990
Earlier work this paper cites.
ELAN: A logical framework based on computational systems
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, and Marian Vittek. 1996 · 1996
Earlier work this paper cites.
Algebra of Programming
Richard Bird and Oege de Moor. 1997 · 1997
Earlier work this paper cites.
The TAMPR program transformation system: Simplifying the development of numerical software
James M Boyle, Terence J Harmer, and Victor L Winter. 1997 · 1997
Earlier work this paper cites.
Specification of rewriting strategies
Sebastiaan Pascal Luttik, Eelco Visser, et al · 1997
Earlier work this paper cites.
An overview of ELAN
Peter Borovanský, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, and Christophe Ringeissen. 1998 · 1998
Earlier work this paper cites.
Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs. In POPL ’98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998 . 184–196
Christian S. Collberg, Clark D. Thomborson, and Douglas Low. 1998 · 1998
Earlier work this paper cites.
Building Program Optimizers with Rewriting Strategies. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP ’98), Baltimore, Maryland, USA, September 27-29, 1998. 13–26
Eelco Visser, Zine-El-Abidine Benaissa, and Andrew P. Tolmach. 1998 · 1998
Earlier work this paper cites.
Refactoring - Improving the Design of Existing Code
Martin Fowler. 1999 · 1999
Earlier work this paper cites.
Playing by the rules: rewriting as a practical optimisation technique in GHC. In 2001 Haskell Workshop (2001 haskell workshop ed.). ACM SIGPLAN
Simon Peyton Jones, Andrew Tolmach, and Tony Hoare. 2001 · 2001
Earlier work this paper cites.
The ASF+SDF Meta-environment: A Component-Based Language Development Environment. In Compiler Construction, 10th International Conference, CC 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings . 365–370
Mark van den Brand, Arie van Deursen, Jan Heering, H. A. de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, and Joost Visser. 2001 · 2001
Earlier work this paper cites.
Stratego: A Language for Program Transformation Based on Rewriting Strategies. In Rewriting Techniques and Applications, 12th International Conference, RTA 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings . 357–362
Eelco Visser. 2001a · 2001
Earlier work this paper cites.
A Survey of Strategies in Program Transformation Systems
Eelco Visser. 2001b · 2001
Earlier work this paper cites.
Rewriting Strategies for Instruction Selection. In Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings . 237–251
Martin Bravenboer and Eelco Visser. 2002 · 2002
Earlier work this paper cites.
Maude: specification and programming in rewriting logic
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and Jose F. Quesada. 2002 · 2002
Cited alongside, same era.
Building Interpreters with Rewriting Strategies
Eelco Dolstra and Eelco Visser. 2002 · 2002
Cited alongside, same era.
Strategies for Source-to-Source Constant Progagation
Karina Olmos and Eelco Visser. 2002 · 2002
Cited alongside, same era.
Program transformation with Stratego/XT
Eelco Visser. 2004 · 2004
Cited alongside, same era.
A survey of strategies in rule-based program transformation systems
Eelco Visser. 2005 · 2004
Cited alongside, same era.
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory Hierarchies
Sylvain Girbal, Nicolas Vasilache, Cédric Bastoul, Albert Cohen, David Parello, Marc Sigler, and Olivier Temam. 2006 · 2006
Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. In ICFP . ACM, 205–217
Michel Steuwer, Christian Fensch, Sam Lindley, and Christophe Dubach. 2015 · 2015
Later among the works it cites.
Matrix multiplication beyond auto-tuning: rewrite-based GPU code generation. In CASES . ACM, 15:1–15:10
Michel Steuwer, Toomas Remmelg, and Christophe Dubach. 2016 · 2016
Later among the works it cites.
Strategy Preserving Compilation for Parallel Functional Code
Robert Atkey, Michel Steuwer, Sam Lindley, and Christophe Dubach. 2017 · 2017
Later among the works it cites.
Automatic differentiation in PyTorch
Adam Paszke, Sam Gross, Soumith Chintala, Gregory Chanan, Edward Yang, Zachary DeVito, Zeming Lin, Alban Desmaison, Luca Antiga, and Adam Lerer. 2017 · 2017
Later among the works it cites.
PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. In 17ème Journées Francophones Extraction et Gestion des Connaissances, EGC 2017, 24-27 Janvier 2017, Grenoble, France . 473–476
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Cited alongside, same era.
CHiLL: A framework for composing high-level loop transformations
Chun Chen, Jacqueline Chame, and Mary Hall. 2008 · 2008
Cited alongside, same era.
Loop transformation recipes for code generation and auto-tuning. In International Workshop on Languages and Compilers for Parallel Computing . Springer, 50–64
Mary Hall, Jacqueline Chame, Chun Chen, Jaewook Shin, Gabe Rudy, and Malik Murtaza Khan. 2009 · 2009
Cited alongside, same era.
PORGY: Strategy-Driven Interactive Transformation of Graphs. In Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011. 54–68
Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, Olivier Namet, and Bruno Pinaud. 2011 · 2011
Cited alongside, same era.
A Strategy Language for Graph Rewriting. In Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers . 173–188
Maribel Fernández, Hélène Kirchner, and Olivier Namet. 2011 · 2011
Cited alongside, same era.
AlphaZ: A System for Design Space Exploration in the Polyhedral Model. In Languages and Compilers for Parallel Computing, 25th International Workshop, LCPC 2012, Tokyo, Japan, September 11-13, 2012, Revised Selected Papers . 17–31
Tomofumi Yuki, Gautam Gupta, DaeGon Kim, Tanveer Pathan, and Sanjay V. Rajopadhye. 2012 · 2012
Cited alongside, same era.
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. In PLDI . ACM, 519–530
Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand, and Saman P. Amarasinghe. 2013 · 2013
Cited alongside, same era.
Bruno Pinaud, Oana Andrei, Maribel Fernández, Hélène Kirchner, Guy Melançon, and Jason Vallet. 2017 · 2017
Later among the works it cites.
Lift: a functional data-parallel IR for high-performance GPU code generation. In Proceedings of the 2017 International Symposium on Code Generation and Optimization, CGO 2017, Austin, TX, USA, February 4-8, 2017 . 74–85
Michel Steuwer, Toomas Remmelg, and Christophe Dubach. 2017 · 2017
Later among the works it cites.
TVM: An Automated End-to-End Optimizing Compiler for Deep Learning. In 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018 . 578–594
Tianqi Chen, Thierry Moreau, Ziheng Jiang, Lianmin Zheng, Eddie Q. Yan, Haichen Shen, Meghan Cowan, Leyuan Wang, Yuwei Hu, Luis Ceze, Carlos Guestrin, and Arvind Krishnamurthy. 2018 · 2018
Later among the works it cites.
High performance stencil code generation with lift. In Proceedings of the 2018 International Symposium on Code Generation and Optimization, CGO 2018, Vösendorf / Vienna, Austria, February 24-28, 2018 . 100–112
Bastian Hagedorn, Larisa Stoltzfus, Michel Steuwer, Sergei Gorlatch, and Christophe Dubach. 2018 · 2018
Later among the works it cites.
Halide: decoupling algorithms from schedules for high-performance image processing
Jonathan Ragan-Kelley, Andrew Adams, Dillon Sharlet, Connelly Barnes, Sylvain Paris, Marc Levoy, Saman P. Amarasinghe, and Frédo Durand. 2018 · 2018
Later among the works it cites.
GraphIt: a high-performance graph DSL
Yunming Zhang, Mengjiao Yang, Riyadh Baghdadi, Shoaib Kamil, Julian Shun, and Saman P. Amarasinghe. 2018 · 2018
Later among the works it cites.
Tiramisu: A Polyhedral Compiler for Expressing Fast and Portable Code. In IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2019, Washington, DC, USA, February 16-20, 2019 . 193–205
Riyadh Baghdadi, Jessica Ray, Malek Ben Romdhane, Emanuele Del Sozzo, Abdurrahman Akkas, Yunming Zhang, Patricia Suriana, Shoaib Kamil, and Saman P. Amarasinghe. 2019 · 2019
Later among the works it cites.
Machine Learning Systems are Stuck in a Rut. In HotOS . ACM, 177–183
Paul Barham and Michael Isard. 2019 · 2019
Later among the works it cites.
A new golden age for computer architecture
John L. Hennessy and David A. Patterson. 2019 · 2019
Later among the works it cites.
Efficient differentiable programming in a functional array-processing language
Amir Shaikhha, Andrew Fitzgibbon, Dimitrios Vytiniotis, and Simon Peyton Jones. 2019 · 2019
Later among the works it cites.