-
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
Category Archives: Concurrent Unit Testing
PPPJ 2009 Program Posted
The PPPJ 2009 program has been posted. I don’t … Continue reading
Long Overdue Update
It is the end of July already. The last time I … Continue reading
Book: A Framework for Concurrent Unit Testing: Concutest
A Framework for Testing Concurrent Programs: Co… Continue reading
volatile For Synchronizing non-volatile Data
Jevgeni Kabanov on dow.ngra.de made an interes… Continue reading
Still Working on Subtyped Annotation API
Just when I thought I had a complete working AP… Continue reading
@Inherited for Invariant Annotations?
When I wrote the API code for xajavac, my Java … Continue reading
Small Things
In the last few days, I’ve worked on a few smal… Continue reading
Submitted!
I submitted my thesis today. I had verified and… Continue reading
Thesis: A Framework for Testing Concurrent Programs
A Framework for Testing Concurrent Programs Continue reading
Final Stages
I’m about to start with the final submission pr… Continue reading
What Has Happened?
I haven’t written in 1.5 months. Hard to believ… Continue reading
Presentation: Testing Concurrent Programs
Testing Concurrent Programs Continue reading
First Day of the Semester
Today is the first day of the semester again, a… Continue reading
Presentation: A Framework for Testing Concurrent Programs
A Framework for Testing Concurrent Programs Continue reading
Lists and Implication Done
I’m back in Los Angeles now. I didn’t have time… Continue reading
Lists Instead of Sets
I’m currently being anti-social and sitting in … Continue reading
San Diego
We just got to San Diego and checked into the h… Continue reading
Implication for @Combine
As during the last few days, I’m in the process… Continue reading
Connexions
Ok, Moesday (Monday+Tuesday) was a little rough… Continue reading
Exceptions in Predicates
Today, I finished going through the simple mist… Continue reading