6. SAS 1999: Venice, Italy

Synchronization in JAVA Programs

Synchronous Languages

Abstract Domains

Concurrency

Static Single Assignment

Optimizations

Foundations

Invited Talks and Tutorials