tag:blogger.com,1999:blog-5135517.post110408661149423594..comments2023-11-05T03:54:44.710-08:00Comments on Making it stick.: Concurrency Oriented ProgrammingPatrick Loganhttp://www.blogger.com/profile/02088461489050417591noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-5135517.post-1104957841277892662005-01-05T12:44:00.000-08:002005-01-05T12:44:00.000-08:00I wanted to post this to Tim Bray but his blog did...I wanted to post this to Tim Bray but his blog didn't allow posts. I've worked with a group here at Carnegie Mellon called the Fluid project. They have developed the ability to statically assure that your concurrency model matches your code. The tools also make it trivial for you to indicate your concurrency model by guiding you in adding minimal annotations in the code (think javadoc). The fluid web site is at:<br /><br />http://www.fluid.cs.cmu.edu:8080/Fluid<br /><br />The publications (including Aaron Greenhouse's PhD thesis) are at:<br /><br />http://www.fluid.cs.cmu.edu:8080/Fluid/fluid-publications<br /><br />I post it here as a guide to how this might be done in dynamic languages but also to help Tim out with his java concurrency issues. Could someone see that it gets to Tim?<br /><br />Larry Maccherone<br />LMaccherone ..at.. cmu ..dot.. eduAnonymousnoreply@blogger.com