🦞🌯 Lobster Roll

Thread

Future Directions for Optimizing Compilers (arxiv.org)
Abstract: "As software becomes larger, programming languages become higher-level, and processors continue to fail to be clocked faster, we'll increasingly require compilers to reduce code bloat, eliminate abstraction penalties, and exploit interesting instruction sets. At the same time, compiler exe...

Stories related to "Future Directions for Optimizing Compilers" across the full archive.

Future Directions for Optimizing Compilers (arxiv.org)
Abstract: "As software becomes larger, programming languages become higher-level, and processors continue to fail to be clocked faster, we'll increasingly require compilers to reduce code bloat, eliminate abstraction penalties, and exploit interesting instruction sets. At the same time, compiler exe...
The Once and Future Shell [PDF] (angelhof.github.io)
Future Directions for Optimizing Compilers (2018) (arxiv.org)
Applying Optimizations for Dynamically-typed Languages to Java (ssw.uni-linz.ac.at)
Optimizing software in C++ (agner.org)
Near Future of Programming Languages (dev.stephendiehl.com)
I'm not sure I agree about the statement that LLVM is bad for functional languages - maybe for purely functional or lazy languages, i.e. Haskell, but for something like ML I think it's definitely a valid option for a backend. That said, while I'm working on my own compiler for a functional language ...
A Catalogue Of Optimizing Transformations (1972) (grosser.es)
Can Logic Programming Execute as Fast as Imperative Programming? (1990) (www2.eecs.berkeley.edu)
Abstract: "The purpose of this dissertation is to provide constructive proof that the logic programming language [Prolog](https://en.wikipedia.org/wiki/Prolog) can be implemented an order of magnitude more efficiently than the best previous systems, so that its speed approaches imperative languages ...
Finding Missed Compiler Optimizations by Differential Testing (complang.tuwien.ac.at)
Abstract: "Randomized differential testing of compilers has had greatsuccess in finding compiler crashes and silent miscompilations. In this paper we investigate whether we can use similar techniques to improve the quality of the generated code: Can we compare the code generated by different compil...
Scaling up Superoptimization (2016) (people.eecs.berkeley.edu)
Abstract: "Developing a code optimizer is challenging, especially for new, idiosyncratic ISAs. Superoptimization can, in principle, discover machine-specific optimizations automatically by searching the space of all instruction sequences. If we can increase the size of code fragments a superoptimiz...
Verifying Optimizations Using SMT Solvers (llvm.org)
Implementing and Optimizing Functional Reactive Programming (2016) (cs.nott.ac.uk)
Future directions for treatment of undefined behaviour in C (youtube.com)
BOLT: A Practical Binary Optimizer for Data Centers and Beyond (arxiv.org)
Abstract: > Performance optimization for large-scale applications has recently become more important as computation continues to move towards data centers. Data-center applications are generally very large and complex, which makes code layout an important optimization to improve their performance. ...
Whole, Program Compilation in MLton (2006) (mlton.org)
Compiler Transformations for High-Performance Computing (1994) (engineering.purdue.edu)
Abstract: " In the last three decades a large number of compiler transformations for optimizing programs have been implemented. Most optimizations for uniprocessors reduce the number of instructions executed by the program using transformations based on the analysis of scalar quantities and data-fl...
What makes LLD so fast? (fosdem.org)
Fast compilers for fast programs (crawshaw.io)
Optimizations in C++ Compilers - A practical journey (queue.acm.org)
How do compilers optimize divisions? (zneak.github.io)
A bit of background on compilers exploiting signed overflow (gist.github.com)
Do humans or compilers produce faster code? (nibblestew.blogspot.com)
Guaranteed Optimization: Proving Nullspace Properties of Compilers (2002) (help.luddy.indiana.edu)
Benchmark comparison between C compilers for the 6502 (videogamesage.com)
This post is in the middle of a forum thread about the developer's NES game. Compares cc65, KickC, 6502-gcc, vbcc and handwritten 6502 assembly for some common in-game usages.
Advanced Optimization and New Capabilities of GCC 10 (documentation.suse.com)
Back to the future: the story of Squeak, a practical Smalltalk written in itself (1997) (vpri.org)
Optimizing Compilers for Parallel Computers [1994] (youtube.com)
AST vs. Bytecode: Interpreters in the Age of Meta-Compilation (stefan-marr.de)
Rust GPU: The future of GPU programming (rust-gpu.github.io)
Rvsdg: An Intermediate Representation for Optimizing Compilers [pdf] (arxiv.org)