Experimental Design for Comparing Static Concurrency Analysis

Authors:
A. T. Chamillard;L. A. Clarke;G. S. Avrunin
Affiliations:
-;-;-
Venue:
Experimental Design for Comparing Static Concurrency Analysis
Year:
1996

Citing 0
Cited 9

Types for Safe Locking

ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Formal Methods in System Design
Flow analysis for verifying properties of concurrent software systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Types for safe locking: Static race detection for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Type inference against races

Science of Computer Programming
Atomizer: A dynamic atomicity checker for multithreaded programs

Science of Computer Programming
Types for atomicity: Static checking and inference for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
FastTrack: efficient and precise dynamic race detection

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper reports the results of an empirical comparison of several static analysis tools for evaluating properties of concurrent software and also reports the resuilts of our attempts to build predictive models for each of the tools based on program and property characteristics. Although this area seems well suited to empirical investigation, we encountered a number of significant issues that make designing a sound and unbiased study surprisingly difficult. These experiment design issues are also discussed in this paper.