114 search results - page 11 / 23 » Points-To Analysis for Java using Annotated Constraints |
110
click to vote
PPOPP
2011
ACM
14 years 2 months ago
2011
ACM
Developing parallel software using current tools can be challenging. Even experts find it difficult to reason about the use of locks and often accidentally introduce race condit...
ICSE
2009
IEEE-ACM
16 years 13 days ago
2009
IEEE-ACM
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of...
96
Voted
ATVA
2004
Springer
15 years 5 months ago
2004
Springer
Data races do not cover all kinds of concurrency errors. This paper presents a data- ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
103
Voted
CADE
2005
Springer
15 years 12 months ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
BMCBI
2008
14 years 11 months ago
2008
Background: With the amount of influenza genome sequence data growing rapidly, researchers need machine assistance in selecting datasets and exploring the data. Enhanced visualiza...