Category Archives: Research

Research work.

Summer School Wrap-Up

Posted on July 25, 2006 by Mathias

The 12 days of summer school are over already. … Continue reading →

Share
Posted in Concurrent Unit Testing, DrJava, Research | Leave a comment

Print This Post Print This Post  

Apple Records

Posted on July 13, 2006 by Mathias

I just managed to make my first sync point reco… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

More Nightly Work

Posted on July 13, 2006 by Mathias

I’m again trying to squeeze in some work on my … Continue reading →

Share
Posted in Concurrent Unit Testing, Uncategorized | Leave a comment

Print This Post Print This Post  

Quick Update

Posted on July 11, 2006 by Mathias

During the last few days, I’ve been trying to a… Continue reading →

Share
Posted in Concurrent Unit Testing, Uncategorized | Leave a comment

Print This Post Print This Post  

Shower Ideas

Posted on July 7, 2006 by Mathias

I have realized that, as long as the bootclass … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

The Mac, The Mac…

Posted on July 7, 2006 by Mathias

Somehow Apple had problems getting Corky’s orde… Continue reading →

Share
Posted in Concurrent Unit Testing, Uncategorized | Leave a comment

Print This Post Print This Post  

Identity Hash Code as Object ID

Posted on July 6, 2006 by Mathias

At our meeting today, Corky again reminded me t… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Object IDs for Class Objects

Posted on July 6, 2006 by Mathias

I have realized that it is of crucial importanc… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Towards a Compact Deadlock Detector

Posted on July 6, 2006 by Mathias

On the way to a version of the deadlock detecto… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Compact Object IDs Again

Posted on July 5, 2006 by Mathias

I have begun to reimplement the deadlock detect… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

The Gap

Posted on July 5, 2006 by Mathias

I’m bad. I guess I have to quickly summarize wh… Continue reading →

Share
Posted in Concurrent Unit Testing, DrJava, Research | Leave a comment

Print This Post Print This Post  

Paper: Programming for Change

Posted on June 30, 2006 by Mathias

Programming for Change – Nifty Assignment Continue reading →

Share
Posted in OOP Book, Publications | Leave a comment

Print This Post Print This Post  

Even Better Notion of Program End

Posted on May 6, 2006 by Mathias

I found another problem with the way I determin… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Better Notion of Program End

Posted on May 1, 2006 by Mathias

When I started my tests with several threads th… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Wrong Insertion Method

Posted on April 21, 2006 by Mathias

I finally found the problem why the boolean $$$… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Shame on Me

Posted on April 12, 2006 by Mathias

I’ve been avoiding posting to the blog, because… Continue reading →

Share
Posted in DrJava, Research | Leave a comment

Print This Post Print This Post  

Workshop: Object-Oriented Design Festival

Posted on March 1, 2006 by Mathias

Object-Oriented Design Festival Continue reading →

Share
Posted in OOP Book, Publications | Leave a comment

Print This Post Print This Post  

Added Instrumentor for Inlining monitorEnter, monitorExit, isOldThread, and setOldThread

Posted on January 29, 2006 by Mathias

Now I’ve written an instrumentor, MarkerInlineS… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Ported Back to Java

Posted on January 28, 2006 by Mathias

I’ve ported the Promela algorithm back to Java…. Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Synchronization During Java VM Initialization and Termination

Posted on January 27, 2006 by Mathias

For my 590 research class, Corky asked me to wr… Continue reading →

Share
Posted in Concurrent Unit Testing, DrJava, Graduate School, xajavac | Leave a comment

Print This Post Print This Post