Program analysis and specialization for the c programming language

@inproceedings{Andersen2005ProgramAA,
  title={Program analysis and specialization for the c programming language},
  author={Lars Ole Andersen},
  year={2005}
}
Software engineers are faced with a dilemma. They want to write general and wellstructured programs that are flexible and easy to maintain. On the other hand, generality has a price: efficiency. A specialized program solving a particular problem is often significantly faster than a general program. However, the development of specialized software is time-consuming, and is likely to exceed the production of today’s programmers. New techniques are required to solve this so-called software crisis… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 654 CITATIONS

Morph algorithms on GPUs

VIEW 23 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Practical Integrated Analysis of Pointers, Dataflow and Control Flow

  • ACM Trans. Program. Lang. Syst.
  • 2013
VIEW 21 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Formally-Verified Alias Analysis

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Mapping kernel objects to enable systematic integrity checking

  • ACM Conference on Computer and Communications Security
  • 2009
VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Summary-based pointer analysis framework for modular bug finding

VIEW 11 EXCERPTS
CITES BACKGROUND, RESULTS & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1995
2019

CITATION STATISTICS

  • 106 Highly Influenced Citations

  • Averaged 32 Citations per year from 2017 through 2019

References

Publications referenced by this paper.
SHOWING 1-10 OF 141 REFERENCES

Hoare Series

N. D. Jones, C. K. Gomard, +3 authors C.A.R
  • Prentice-Hall,
  • 1993
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Master’s thesis

L. Birkedal, M. Welinder, ML PartialEvaluationofStandard
  • DIKU, University of Copenhagen, August
  • 1993
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

PA 15213

N. Heintze, Set-Based Program Analysis, +3 authors Pittsburgh
  • October
  • 1992
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Master’s thesis

L. O. Andersen, C Program Specialization
  • DIKU, University of Copenhagen, Denmark, December
  • 1991
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Compilers: Principles, Techniques, and Tools

  • Addison-Wesley series in computer science / World student series edition
  • 1986
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

in Conf

W. E. Weihl, Interprocedural Data Flow Analysis in the Presence of Pointers, Proceure Variables, Label Variables
  • Record of the seventh Annual ACM Symposium on Principles of Programming Languages, pages 83–94, ACM, January
  • 1980
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

in In proc

R. Cytron, R. Gershbein, Efficient Accommodation of May-Alias Information in SSA Form
  • of ACM SIGPLAN’93 Conference on Programming Language Design and Implementation, pages 36–45, ACM, June
  • 1993
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL