I'm a student in Technion, Israel. I'm doing research on Java memory model
as part of my M.Sc. thesis.
I have proved the Coherency of the Java memory model, along with some
other facts about it. The results have been published in IPPS'98. Now I'm
working on applying these results to compilation of Java (unless the
consistency model is changed drastically ;).
This is the JavaMemoryModel mailing list, managed by Majordomo 1.94.4.
To send a message to the list, email JavaMemoryModel@cs.umd.edu
To send a request to the list, email firstname.lastname@example.org and put
your request in the body of the message (use the request "help" for help).
For more information, visit http://www.cs.umd.edu/~pugh/java/memoryModel
This archive was generated by hypermail 2b29 : Thu Oct 13 2005 - 07:00:15 EDT