-
Archives
- July 2026
- January 2026
- September 2025
- August 2025
- July 2025
- June 2025
- March 2025
- February 2025
- January 2025
- January 2024
- March 2021
- January 2021
- September 2020
- February 2020
- September 2019
- April 2019
- July 2018
- May 2018
- February 2018
- December 2017
- October 2017
- August 2017
- July 2017
- June 2017
- May 2017
- April 2017
- March 2017
- February 2017
- January 2017
- December 2016
- October 2016
- September 2016
- August 2016
- July 2016
- June 2016
- May 2016
- April 2016
- October 2015
- June 2015
- February 2015
- December 2014
- August 2014
- May 2014
- April 2014
- March 2014
- February 2014
- September 2013
- July 2013
- June 2013
- May 2013
- March 2013
- November 2012
- October 2012
- September 2012
- June 2012
- April 2012
- March 2012
- February 2012
- January 2012
- November 2011
- October 2011
- September 2011
- August 2011
- July 2011
- June 2011
- May 2011
- April 2011
- March 2011
- February 2011
- January 2011
- December 2010
- November 2010
- October 2010
- September 2010
- August 2010
- July 2010
- June 2010
- May 2010
- April 2010
- March 2010
- February 2010
- January 2010
- December 2009
- November 2009
- October 2009
- September 2009
- August 2009
- July 2009
- June 2009
- May 2009
- April 2009
- March 2009
- February 2009
- December 2008
- November 2008
- October 2008
- September 2008
- August 2008
- July 2008
- June 2008
- May 2008
- April 2008
- March 2008
- February 2008
- January 2008
- December 2007
- November 2007
- October 2007
- August 2007
- July 2007
- June 2007
- May 2007
- April 2007
- March 2007
- February 2007
- January 2007
- December 2006
- November 2006
- October 2006
- September 2006
- August 2006
- July 2006
- June 2006
- May 2006
- April 2006
- March 2006
- February 2006
- January 2006
- December 2005
- November 2005
- October 2005
- September 2005
- August 2005
- July 2005
- June 2005
- February 2005
- December 2004
- November 2004
- October 2004
- September 2004
- August 2004
- June 2004
- March 2004
- September 2003
-
Meta
Monthly Archives: October 2006
Unsolved Problems
There are still a few unsolved problems, most o… Continue reading
@Combine Almost Done
It has taken me longer than expected, but I jus… Continue reading
@PredicateLink Implemented
It looks like I just finished implementing the … Continue reading
Parsing Compound Predicate Annotations
I’ve enhanced the parser of the Thread Checker … Continue reading
Compound Predicate Annotations
I think I have found an acceptable, relatively … Continue reading
Sleepy Tests
Last night, just before I passed out into comat… Continue reading
Predicate Implementation
During the night and this morning, I worked on … Continue reading
Syntax for the Predicates
Here is a description of the syntax for the Thr… Continue reading
Predicates for the Thread Checker
Corky has made the thread checker a core part o… Continue reading
Comments and Questions about LAPT-javac
When I posted my hacked version of javac, LAPT-… Continue reading
Java Generics Unsound?
Just a few days ago, I complained about the fac… Continue reading
GrobuUtils
Corky scared me this morning. He found an artic… Continue reading
Hacking javac
I just finished hacking javac; I only had to to… Continue reading
Poster: Practical Tools for Testing Concurrent Programs
Practical Tools for Testing Concurrent Programs Continue reading
Temporary URL Changes
I’ve temporarily redirected www.concutest.org t… Continue reading
We’re Being Naughty…
I just ran the DrJava unit tests with Concutest… Continue reading
Preliminary Versions of Concutest-JUnit
I have made preliminary versions of Concutest-J… Continue reading
Corporate Affiliates Meeting 2006 Poster
I just finished creating a new poster for the 2… Continue reading