Fixing the Java memory model

JOMP—an OpenMP-like interface for Java

Proceedings of the ACM 2000 conference on Java Grande

A high performance cluster JVM presenting a pure single system image

Proceedings of the ACM 2000 conference on Java Grande

Improving the Java memory model using CRF

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Application isolation in the Java Virtual Machine

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Guava: a dialect of Java without data races

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Java consistency: nonoperational characterizations for Java memory behavior

ACM Transactions on Computer Systems (TOCS)

Core semantics of multithreaded Java

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande

Sapphire: copying GC without stopping the world

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande

Kava: a Java dialect with a uniform object model for lightweight classes

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande

Runtime optimizations for a Java DSM implementation

Proceedings of the 2001 joint ACM-ISCOPE conference on Java Grande

Source-level global optimizations for fine-grain distributed shared memory systems

PPoPP '01 Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming

A parameterized type system for race-free Java programs

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Object race detection

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Hiding Relaxed Memory Consistency with a Compiler

IEEE Transactions on Computers - Special issue on the parallel architecture and compilation techniques conference

Specifying multithreaded Java semantics for program verification

Proceedings of the 24th International Conference on Software Engineering

Lock reservation: Java locks can mostly do without atomic operations

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Specifying Java thread semantics using a uniform memory model

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande

Immutability specification and its applications

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande

Programming dynamically reconfigurable open systems with SALSA

ACM SIGPLAN Notices

Dependence Analysis for Java

LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing

Optimizing Java Programs in the Presence of Exceptions

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming

The Optimistic Readers Transformation

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming

Formal Reasoning about Hardware and Software Memory Models

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

Analysis of Multithreaded Programs

SAS '01 Proceedings of the 8th International Symposium on Static Analysis

Effective Enhancement of Loop Versioning in Java

CC '02 Proceedings of the 11th International Conference on Compiler Construction

Investigating Java Concurrency Using Abstract State Machines

ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications

Comprehensive synchronization elimination for Java

Science of Computer Programming - Special issue on static analysis (SAS'99)

Automatic fence insertion for shared memory multiprocessing

ICS '03 Proceedings of the 17th annual international conference on Supercomputing

Stack allocation and synchronization optimizations for Java using escape analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)

Thin locks: featherweight Synchronization for Java

ACM SIGPLAN Notices - Best of PLDI 1979-1999

Scheme fair threads

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming

Impact of Java Memory Model on Out-of-Order Multiprocessors

Proceedings of the 13th International Conference on Parallel Architectures and Compilation Techniques

The Java memory model

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Partial redundancy elimination for access expressions by speculative code motion

Software—Practice & Experience

Compiler techniques for high performance sequentially consistent java programs

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming

Making Sequential Consistency Practical in Titanium

SC '05 Proceedings of the 2005 ACM/IEEE conference on Supercomputing

Safe Concurrency for Aggregate Objects with Invariants

SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods

Runtime Analysis of Atomicity for Multithreaded Programs

IEEE Transactions on Software Engineering

Dependable software needs pervasive debugging

EW 10 Proceedings of the 10th workshop on ACM SIGOPS European workshop

The Problem with Threads

Computer

Interprocedural side-effect analysis for incomplete object-oriented software modules

Journal of Systems and Software

A type system for preventing data races and deadlocks in the java virtual machine language: 1

Proceedings of the 2007 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems

Modularity: a first class concept to address distributed systems

ACM SIGACT News

A unified formal specification and analysis of the new java memory models

ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice

An efficient optimization algorithm of java bytecode to reduce network traffic

ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII

MemSAT: checking axiomatic specifications of memory models

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation

Local redundant polymorphism query elimination

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java

There is nothing wrong with out-of-thin-air: compiler optimization and memory models

Proceedings of the 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness

Concurrent semantics without the notions of state or state transitions

FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems

Automatic implementation of programming language consistency models

LCPC'02 Proceedings of the 15th international conference on Languages and Compilers for Parallel Computing

Extending JML for modular specification and verification of multi-threaded programs

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming

Formal modeling of a slicing algorithm for java event spaces in PVS

TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics