Program analysis

Known as: Computer program analysis, Program analysis (computer science), Program analyzer

In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is…

2012

This paper describes features and applications of a simulation framework for software-in-the-loop testing of realtime embedded…

2011

This dissertation explores classes of compiler optimization techniques that are applicable late in the compilation process, after…

2007

3S is an efficient program instrumentation and profiling framework. 3S is only 288 lines of framework code, yet it can produce…

2005

We present a theoretically sound and automated model-based design, analysis, and implementation framework for synthesizing…

2004

The paper presents an approach to extract and to analyze the semantic content (i.e., problem and solution domain semantics) of…

2001

We study the connection between algorithmic techniques for symbolic model checking [ACJT96,FS98,AJ99], and declarative and…

1998

ix Acknowledgments I am very grateful to my supervisors, Remko Scha, Peter van Emde Boas and Bipin Indurkhya, for their…

1996

1992