Categories
- Code Pranger (5)
- DrJava (205)
- Graduate School (31)
- Pictures (36)
- Publications (44)
- Ramblings (112)
- Research (404)
- Concurrent Unit Testing (289)
- Mint (72)
- OOP Book (7)
- xajavac (29)
- Teaching (26)
- Thesis (31)
- MS Thesis (30)
- Uncategorized (157)
Blogroll
Concutest
JavaPLT
JSR Watchlist
- JSR 014 (Generics)
- JSR 047 (Logging)
- JSR 108 (Units)
- JSR 133 (Memory Model)
- JSR 166 (Concurrency Utilities)
- JSR 175 (Annotations)
- JSR 199 (javac API)
- JSR 202 (Class File Update)
- JSR 250 (Common Annotations)
- JSR 260 (Javadoc Update)
- JSR 269 (Annotation Processing)
- JSR 269 Article
- JSR 290 (XML UI)
- JSR 296 (Swing)
- JSR 305 (Defect Detection Annotations)
- JSR 305 Article
- JSR 308 (Annotations on Types)
- JSR 901 (JLS)
- JSR 924 (JVM Specs)
- Pure Danger Tech: Java 7
More Links
My Links
Meta
Archives
- January 2012 (5)
- November 2011 (2)
- October 2011 (4)
- September 2011 (11)
- August 2011 (6)
- July 2011 (7)
- June 2011 (4)
- May 2011 (3)
- April 2011 (3)
- March 2011 (2)
- February 2011 (7)
- January 2011 (10)
- December 2010 (2)
- November 2010 (7)
- October 2010 (17)
- September 2010 (17)
- August 2010 (23)
- July 2010 (16)
- June 2010 (16)
- May 2010 (14)
- April 2010 (15)
- March 2010 (15)
- February 2010 (16)
- January 2010 (15)
- December 2009 (6)
- November 2009 (16)
- October 2009 (20)
- September 2009 (25)
- August 2009 (13)
- July 2009 (2)
- June 2009 (1)
- May 2009 (3)
- April 2009 (2)
- March 2009 (3)
- February 2009 (3)
- December 2008 (2)
- November 2008 (6)
- October 2008 (16)
- September 2008 (7)
- August 2008 (10)
- July 2008 (4)
- June 2008 (4)
- May 2008 (7)
- April 2008 (3)
- March 2008 (7)
- February 2008 (11)
- January 2008 (3)
- December 2007 (5)
- November 2007 (15)
- October 2007 (5)
- August 2007 (2)
- July 2007 (19)
- June 2007 (8)
- May 2007 (9)
- April 2007 (18)
- March 2007 (23)
- February 2007 (5)
- January 2007 (12)
- December 2006 (5)
- November 2006 (17)
- October 2006 (18)
- September 2006 (22)
- August 2006 (21)
- July 2006 (15)
- June 2006 (1)
- May 2006 (4)
- April 2006 (3)
- March 2006 (1)
- February 2006 (1)
- January 2006 (26)
- December 2005 (6)
- November 2005 (6)
- October 2005 (2)
- September 2005 (7)
- August 2005 (20)
- July 2005 (21)
- June 2005 (23)
- February 2005 (1)
- December 2004 (1)
- November 2004 (2)
- October 2004 (2)
- September 2004 (1)
- August 2004 (2)
- June 2004 (3)
- March 2004 (1)
- September 2003 (1)
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 readingParsing Compound Predicate Annotations
I’ve enhanced the parser of the Thread Checker …
Continue readingCompound Predicate Annotations
I think I have found an acceptable, relatively …
Continue readingSleepy Tests
Last night, just before I passed out into comat…
Continue readingPredicate Implementation
During the night and this morning, I worked on …
Continue readingSyntax for the Predicates
Here is a description of the syntax for the Thr…
Continue readingPredicates for the Thread Checker
Corky has made the thread checker a core part o…
Continue readingComments and Questions about LAPT-javac
When I posted my hacked version of javac, LAPT-…
Continue readingJava Generics Unsound?
Just a few days ago, I complained about the fac…
Continue readingGrobuUtils
Corky scared me this morning. He found an artic…
Continue readingHacking javac
I just finished hacking javac; I only had to to…
Continue readingPoster: Practical Tools for Testing Concurrent Programs
Practical Tools for Testing Concurrent Programs
Continue readingTemporary URL Changes
I’ve temporarily redirected www.concutest.org t…
Continue readingWe’re Being Naughty…
I just ran the DrJava unit tests with Concutest…
Continue readingPreliminary Versions of Concutest-JUnit
I have made preliminary versions of Concutest-J…
Continue readingCorporate Affiliates Meeting 2006 Poster
I just finished creating a new poster for the 2…
Continue reading