Keyword

program optimization

Description: The process of modifying computer programs to improve their efficiency, performance, or resource use in software development.

Primary topic: Logic, programming, and type systems (27%)

Wikidata ID: wiki/Q1156793

OpenAlex ID: keywords/program-optimization

Compilers: Principles, Techniques, and Tools

1986 · Alfred V. Aho, Ravi Sethi, et al. · 8,173

Abstract interpretation

1977 · Patrick Cousot, Radhia Cousot · ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) · 6,284

PHASTER: a better, faster version of the PHAST phage search tool

2016 · David Arndt, Jason R. Grant, et al. · Nucleic Acids Research · 3,566

PDF

The program dependence graph and its use in optimization

1987 · Jeanne Ferrante, Karl J. Ottenstein, et al. · ACM Transactions on Programming Languages and Systems · 2,756

PDF

Advanced Compiler Design and Implementation

1997 · Steven S. Muchnick · 2,324

Efficiently computing static single assignment form and the control dependence graph

1991 · Ron Cytron, Jeanne Ferrante, et al. · ACM Transactions on Programming Languages and Systems · 2,270

PDF

Automatically characterizing large scale program behavior

2002 · Timothy Sherwood, Erez Perelman, et al. · International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) · 1,679

The Theory of Parsing, Translation, and Compiling

1972 · Alfred V. Aho, Jeffrey D. Ullman · CERN Document Server (European Organization for Nuclear Research) · 1,400

A Transformation System for Developing Recursive Programs

1977 · R. M. Burstall, John Darlington · Journal of the ACM · 1,300

PDF

Slither: A Static Analysis Framework for Smart Contracts

2019 · Josselin Feist, Gustavo Grieco, et al. · 1,014

PDF

Theano: new features and speed improvements

2012 · Bastien, Frédéric, Lamblin, Pascal, et al. · arXiv (Cornell University) · 1,005

PDF

Compiling with Continuations

1991 · Andrew W. Appel · Cambridge University Press eBooks · 826

Control flow analysis

1970 · Frances E. Allen · ACM SIGPLAN Notices · 765

Timing assumptions and verification of finite-state concurrent systems

1990 · David L. Dill · Lecture notes in computer science · 750

Deforestation: transforming programs to eliminate trees

1990 · Philip Wadler · Theoretical Computer Science · 699

PDF

Genetic algorithms + data structures = evolution programs (2nd, extended ed.)

1994 · Zbigniew Michalewicz · Springer eBooks · 660

Syntax-guided synthesis

2013 · Rajeev Alur, Rastislav Bodik, et al. · Formal Methods in Computer-Aided Design · 643

PDF

Advances in Cryptology – CRYPTO 2020

2020 · Lecture notes in computer science · 628

Constant propagation with conditional branches

1991 · Mark N. Wegman, F. Kenneth Zadeck · ACM Transactions on Programming Languages and Systems · 606

PDF

Genetic algorithms + data structures = evolution programs (3rd ed.)

1996 · Zbigniew Michalewicz · Springer eBooks · 551

An Efficient Program for Many-Body Simulation

1985 · Andrew W. Appel · SIAM Journal on Scientific and Statistical Computing · 546

Unifying Theories of Programming

1998 · Tony Hoare · 528

Global value numbers and redundant computations

1988 · B. K. Rosen, M. N. Wegman, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 493

There’s plenty of room at the Top: What will drive computer performance after Moore’s law?

2020 · Charles E. Leiserson, Neil C. Thompson, et al. · Science · 472

An efficient method of computing static single assignment form

1989 · R. Cytron, J. Ferrante, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 467

Works count: 12,760

Citation count: 130,600