Static Deep Error Checking in Large System Applications using Parfait
In this paper, we introduce Parfait, a static bug-checking tool for C/C++ applications. Parfait achieves precision and scalability at the same time by employing a layered program analysis framework. In...
View ArticleBoosting the Performance of Flow-sensitive Points-to Analysis using Value Flow
Points-to analysis is a fundamental static analysis technique which computes the set of memory objects that a pointer may point to. Many different applications, such as security-related program...
View ArticleThe SOM Family: Virtual Machines for Teaching and Research
The talk gives an overview of the development of a family of Smalltalk virtual machine implementations called SOM (Simple Object Machine). The SOM VM, originating from the University of Aarhus,...
View ArticleSystem Considerations for Capacitive Chip-to-Chip Signaling
This paper is a submission to the IEEE Radio Frequency Integration Technology (RFIT) conference, http://www.ieee-rfit.org. This is an invited submission to be presented at a special session on...
View ArticleESEC-FSE11 tool demo: Static Deep Error Checking in Large System Applications...
Slides of our tool demo "Static Deep Error Checking in Large System Applications Using Parfait " (archivist id 2011-0190), to present at the joint conference of European Software Engineering Conference...
View ArticleESEC-FSE11 presentation: Boosting the performance of flow-sensitive points-to...
Slides of our paper "Boosting the performance of flow-sensitive points-to analysis using Value Flow" (archivist id 2011-0189), to present at the joint conference of European Software Engineering...
View ArticleTowards Formally Specifying and Verifying Transactional Memory
Over the last decade, great progress has been made in developing practical transactional memory (TM) implementations, but relatively little attention has been paid to precisely specifying what it means...
View ArticleArchitecture of the JInterval library
This is a translation from Russian of the paper for the conference "Statistics, Simulation, Optimization - 2011" to be held in Chelyabinsk, Russia. The JInterval library is an interval arithmetic...
View ArticleFormal Machine-Checked Verification of a Real Transactional Memory Algorithm
Slides for talk at WTTM 2011
View Article
