Categories
- Code Pranger (8)
- DrJava (207)
- Graduate School (31)
- Pictures (95)
- Programming (4)
- Publications (44)
- Ramblings (117)
- Research (408)
- Concurrent Unit Testing (292)
- Mint (73)
- OOP Book (7)
- xajavac (29)
- Teaching (26)
- Thesis (31)
- MS Thesis (30)
- Uncategorized (209)
Search
Archive
- January 2025 (1)
- January 2024 (2)
- March 2021 (1)
- January 2021 (3)
- September 2020 (1)
- February 2020 (1)
- September 2019 (1)
- April 2019 (1)
- July 2018 (3)
- May 2018 (1)
- February 2018 (1)
- December 2017 (1)
- October 2017 (1)
- August 2017 (3)
- July 2017 (3)
- June 2017 (3)
- May 2017 (1)
- April 2017 (1)
- March 2017 (2)
- February 2017 (1)
- January 2017 (4)
- December 2016 (1)
- October 2016 (4)
- September 2016 (1)
- August 2016 (8)
- July 2016 (7)
- June 2016 (7)
- May 2016 (2)
- April 2016 (2)
- October 2015 (2)
- June 2015 (4)
- February 2015 (1)
- December 2014 (2)
- August 2014 (1)
- May 2014 (2)
- April 2014 (4)
- March 2014 (2)
- February 2014 (3)
- September 2013 (3)
- July 2013 (1)
- June 2013 (1)
- May 2013 (2)
- March 2013 (2)
- November 2012 (4)
- October 2012 (3)
- September 2012 (2)
- June 2012 (3)
- April 2012 (4)
- March 2012 (4)
- February 2012 (2)
- 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)
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