on the developed theory were proposed. This made statistical learning theory not only a tool for the theoretical analysis but also a tool for creating practical algorithms for estimating multidimensional functions. This article presents a very general overview of statistical learning theory including both

Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we have developed a new instrumentation system called Pin. Our goals are to provide easy-to-use, portable, transparent

research relevant to the design and application of high performance scientific computers. We test our ideas by designing, building, and using real systems. The systems we build are research prototypes; they are not intended to become products. There is a second research laboratory located in Palo Alto, the Systems Research Center (SRC). Other Digital research groups are located in Paris (PRL) and in Cambridge,

It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evaluations are usually run on mature, stable code after it has passed developer testing. However, program analysis tools

The research and industrial communities have made great strides in developing advanced software defect detection tools based on program analysis. Most of the work in this area has focused on developing novel program analysis algorithms to find bugs more efficiently or accurately, or to find more

The validation of static program analysis tools is an extremely hard and time consuming process since those tools process source code of computer programs that are usually extremely large and complex. In this paper we argue that static program analysis tools can be validated by self-application, i

Sophisticated instrumentation-based systems exist for building dynamic analysis tools but to use these systems a developer must write the instrumentation and analysis code by hand. This paper describes how analysis tools can be generated automatically by specifying analysis algorithms using

of iterative programs: feasibility and progress. This method can be easily applied to trivial and simple code but an automated tool is required to generate the properties for more realistic code. Therefore, an automated program visualization tool was developed to illustrate the program's behavior in terms

Copyright © 2007, by the author(s).

Syntax Tree Abstract Syntax Tree Relation Tuple Relation Figure 4: UQ# syntactic structures Syntactic structures are represented as abstract syntax trees. These are augmented with n-ary relations (as shown in Figure 4) to represent connections between elements in the abstract syntax tree. Relational elements can be abstract syntax trees, nodes within abstract syntax trees, relations, strings or numeric data. In general, UQ# relations are N-ary and bi-directional; hence the underlying model of UQ# relations is more akin to that used in relational databases.