Static conflict analysis for multi-threaded object-oriented programs.

Christoph von Praun, Thomas R. Gross

Browse the full PLDI paper archive.