Abstract: Many existing sequential components, libraries, and applications will need to be re-engineered for parallelism. This work proposes a dynamic analysis of sequential Java programs that helps a ...

Writing correct concurrent programs is harder than writing sequential ones. This is because the set of potential risks and failure modes is larger - anything that can go wrong in a sequential program ...

Abstract: When a program is nondeterministic, it is difficult to test and debug. Nondeterminism occurs even in sequential programs iterating over the elements of a hash table. We have created a type ...

Currently the existing example programs should be good enough to demonstrate the capabilities of Pascal-FC I should think, but adding some more example programs might not hurt. I already have several ...

Programming used to be simple. Many of us miss that simplicity. Now you can have it back, at least for straightforward, sequential programs. And lest you think that this category is too limiting, bear ...