Category Archives: Concurrent Unit Testing

My work on unit testing for concurrent programs.

volatile For Synchronizing non-volatile Data

Posted on October 28, 2008 by Mathias

Jevgeni Kabanov on dow.ngra.de made an interes…

Continue reading →
Posted in Concurrent Unit Testing, Ramblings, Uncategorized | Leave a comment

 

Still Working on Subtyped Annotation API

Posted on December 23, 2007 by Mathias

Just when I thought I had a complete working AP…

Continue reading →
Posted in Concurrent Unit Testing, Research, xajavac | Leave a comment

 

@Inherited for Invariant Annotations?

Posted on December 3, 2007 by Mathias

When I wrote the API code for xajavac, my Java …

Continue reading →
Posted in Concurrent Unit Testing, xajavac | Leave a comment

 

Small Things

Posted on November 28, 2007 by Mathias

In the last few days, I’ve worked on a few smal…

Continue reading →
Posted in Concurrent Unit Testing, DrJava, xajavac | Leave a comment

 

Submitted!

Posted on October 31, 2007 by Mathias

I submitted my thesis today. I had verified and…

Continue reading →
Posted in Concurrent Unit Testing, Graduate School, MS Thesis | Leave a comment

 

Thesis: A Framework for Testing Concurrent Programs

Posted on October 30, 2007 by Mathias

A Framework for Testing Concurrent Programs

Continue reading →
Posted in Concurrent Unit Testing, MS Thesis, Publications | Leave a comment

 

Final Stages

Posted on October 29, 2007 by Mathias

I’m about to start with the final submission pr…

Continue reading →
Posted in Concurrent Unit Testing, Graduate School, MS Thesis | Leave a comment

 

What Has Happened?

Posted on October 12, 2007 by Mathias

I haven’t written in 1.5 months. Hard to believ…

Continue reading →
Posted in Concurrent Unit Testing, DrJava, Graduate School, MS Thesis | Leave a comment

 

Presentation: Testing Concurrent Programs

Posted on October 4, 2007 by Mathias

Testing Concurrent Programs

Continue reading →
Posted in Concurrent Unit Testing, Publications | Leave a comment

 

First Day of the Semester

Posted on August 27, 2007 by Mathias

Today is the first day of the semester again, a…

Continue reading →
Posted in Concurrent Unit Testing, Graduate School, MS Thesis | Leave a comment

 

Presentation: A Framework for Testing Concurrent Programs

Posted on August 27, 2007 by Mathias

A Framework for Testing Concurrent Programs

Continue reading →
Posted in Concurrent Unit Testing, Publications | Leave a comment

 

Lists and Implication Done

Posted on July 30, 2007 by Mathias

I’m back in Los Angeles now. I didn’t have time…

Continue reading →
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

 

Lists Instead of Sets

Posted on July 28, 2007 by Mathias

I’m currently being anti-social and sitting in …

Continue reading →
Posted in Concurrent Unit Testing | Leave a comment

 

San Diego

Posted on July 27, 2007 by Mathias

We just got to San Diego and checked into the h…

Continue reading →
Posted in Concurrent Unit Testing | Leave a comment

 

Implication for @Combine

Posted on July 26, 2007 by Mathias

As during the last few days, I’m in the process…

Continue reading →
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

 

Connexions

Posted on July 25, 2007 by Mathias

Ok, Moesday (Monday+Tuesday) was a little rough…

Continue reading →
Posted in Concurrent Unit Testing, DrJava, Ramblings | Leave a comment

 

Exceptions in Predicates

Posted on July 14, 2007 by Mathias

Today, I finished going through the simple mist…

Continue reading →
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

 

Timing an Interpreter in Java

Posted on July 13, 2007 by Mathias

The last two days I’ve helped Walid with one of…

Continue reading →
Posted in Concurrent Unit Testing, MS Thesis, Research | Leave a comment

 

Topological Sort

Posted on July 10, 2007 by Mathias

Following Corky’s suggestion, I’ve been trying …

Continue reading →
Posted in Concurrent Unit Testing | Leave a comment

 

Expensive Textbooks

Posted on July 9, 2007 by Mathias

I really need to use the library more, textbook…

Continue reading →
Posted in Concurrent Unit Testing, Ramblings | Leave a comment