Search Sciweavers | Sciweavers

184 search results - page 5 / 37

» Monitoring Atomicity in Concurrent Programs

click to vote

FASE
2009
Springer

174views Software Engineering» more FASE 2009»

HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis

14 years 2 months ago

Download www.cs.sunysb.edu

Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is diﬃcult. Atomicity violation, which is ...

Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D....

claim paper

Read More »

click to vote

PPOPP
2005
ACM

110views Distributed And Parallel Com...» more PPOPP 2005»

Static analysis of atomicity for programs with non-blocking synchronization

14 years 1 months ago

Download www.cs.purdue.edu

In concurrent programming, non-blocking synchronization is very eﬃcient but diﬃcult to design correctly. This paper presents a static analysis to show that code blocks are ato...

Liqiang Wang, Scott D. Stoller

claim paper

Read More »

click to vote

CAV
2006
Springer

120views Hardware» more CAV 2006»

Model Checking Multithreaded Programs with Asynchronous Atomic Methods

13 years 11 months ago

Download osl.cs.uiuc.edu

Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...

Koushik Sen, Mahesh Viswanathan

claim paper

Read More »

click to vote

HOPL
1993

93views Programming Languages» more HOPL 1993»

Monitors and Concurrent Pascal: A Personal History

13 years 11 months ago

Download brinch-hansen.net

Per Brinch Hansen

claim paper

Read More »