Keyword

program analysis

Description: The automated or formal examination of computer programs to determine properties such as correctness, safety, or behavior.

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

Wikidata ID: wiki/Q2112188

OpenAlex ID: keywords/program-analysis

LLVM: a compilation framework for lifelong program analysis & transformation

2004 · C. Lattner, V. Adve · 2,685

The algorithmic analysis of hybrid systems

1995 · R. Alur, C. Courcoubetis, et al. · Theoretical Computer Science · 1,884

PDF

Principles of Program Analysis

1999 · Flemming Nielson, Hanne Riis Nielson, et al. · Springer eBooks · 1,836

Symbolic Logic and Mechanical Theorem Proving

1973 · Elsevier eBooks · 1,474

Partial evaluation and automatic program generation

1993 · Neil D. Jones, Carsten K. Gomard, et al. · Medical Entomology and Zoology · 1,440

Precise interprocedural dataflow analysis via graph reachability

1995 · Thomas Reps, Susan Horwitz, et al. · ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL) · 1,178

Algorithmic Program Debugging

1983 · Ehud Y. Shapiro · The MIT Press eBooks · 1,075

CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs

2002 · George C. Necula, Scott McPeak, et al. · Lecture notes in computer science · 983

A sound type system for secure flow analysis

1996 · Dennis Volpano, Cynthia Irvine, et al. · Journal of Computer Security · 976

Program Analysis and Specialization for the C Programming Language

2005 · Lars Ole Andersen, Peter Lee · 904

Symbolic execution for software testing

2013 · Cristian Cadar, Koushik Sen · Communications of the ACM · 779

Finding bugs is easy

2004 · David Hovemeyer, William Pugh · Companion to the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA Companion) · 768

Handbook of Model Checking

2018 · Springer eBooks · 732

Flow Analysis of Computer Programs

1977 · Matthew S. Hecht · 732

Metric Learning: A Survey

2013 · Brian Kulis · Foundations and Trends® in Machine Learning · 700

An empirical study of FORTRAN programs

1971 · Donald E. Knuth · Software Practice and Experience · 681

Two approaches to interprocedural data flow analysis

2011 · Micha Sharir, Amir Pnueli · 658

Typestate: A programming language concept for enhancing software reliability

1986 · Robert E. Strom, Shaula Yemini · IEEE Transactions on Software Engineering · 628

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

2004 · John Whaley, Monica S. Lam · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 582

Abstract interpretation and application to logic programs

1992 · Patrick Cousot, Radhia Cousot · The Journal of Logic Programming · 582

Maximizing multiprocessor performance with the SUIF compiler

1996 · M.W. Hall, J.M. Anderson, et al. · Computer · 572

Visibly pushdown languages

2004 · Rajeev Alur, P. Madhusudan · ACM Symposium on Theory of Computing (STOC) · 568

PDF

AMNESIA

2005 · William G. J. Halfond, Alessandro Orso · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 527

First-Order Theorem Proving and Vampire

2013 · Laura Kovács, Andrei Voronkov · Lecture notes in computer science · 489

Metric Learning: A Survey

2013 · Brian Kulis · now publishers, Inc. eBooks · 481

Works count: 10,680

Citation count: 108,700