Category Archives: Research

Research work.

From the Trenches

Posted on November 8, 2007 by Mathias

I’m still working on the API improvements to su… Continue reading →

Share
Posted in Research, xajavac | Leave a comment

Print This Post Print This Post  

Subtyping for Annotations

Posted on November 5, 2007 by Mathias

Last night, I managed to change the Java compil… Continue reading →

Share
Posted in Research, xajavac | Leave a comment

Print This Post Print This Post  

Submitted!

Posted on October 31, 2007 by Mathias

I submitted my thesis today. I had verified and… Continue reading →

Share
Posted in Concurrent Unit Testing, Graduate School, MS Thesis | Leave a comment

Print This Post Print This Post  

Thesis: A Framework for Testing Concurrent Programs

Posted on October 30, 2007 by Mathias

A Framework for Testing Concurrent Programs Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis, Publications | Leave a comment

Print This Post Print This Post  

Final Stages

Posted on October 29, 2007 by Mathias

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

Share
Posted in Concurrent Unit Testing, Graduate School, MS Thesis | Leave a comment

Print This Post Print This Post  

What Has Happened?

Posted on October 12, 2007 by Mathias

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

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

Print This Post Print This Post  

Presentation: Testing Concurrent Programs

Posted on October 4, 2007 by Mathias

Testing Concurrent Programs Continue reading →

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

Print This Post Print This Post  

First Day of the Semester

Posted on August 27, 2007 by Mathias

Today is the first day of the semester again, a… Continue reading →

Share
Posted in Concurrent Unit Testing, Graduate School, MS Thesis | Leave a comment

Print This Post Print This Post  

Presentation: A Framework for Testing Concurrent Programs

Posted on August 27, 2007 by Mathias

A Framework for Testing Concurrent Programs Continue reading →

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

Print This Post Print This Post  

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 →

Share
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post Print This Post  

Lists Instead of Sets

Posted on July 28, 2007 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

San Diego

Posted on July 27, 2007 by Mathias

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

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Implication for @Combine

Posted on July 26, 2007 by Mathias

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

Share
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post Print This Post  

Connexions

Posted on July 25, 2007 by Mathias

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

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

Print This Post Print This Post  

Thesis, Quantitatively

Posted on July 19, 2007 by Mathias

Google added a few figures to their "Word Count… Continue reading →

Share
Posted in MS Thesis, Ramblings, Research | Leave a comment

Print This Post Print This Post  

DrJava and the Order of the Phoenix

Posted on July 18, 2007 by Mathias

Today I took another look at the DrJava 1.6 com… Continue reading →

Share
Posted in DrJava, Ramblings, Research | Leave a comment

Print This Post Print This Post  

Exceptions in Predicates

Posted on July 14, 2007 by Mathias

Today, I finished going through the simple mist… Continue reading →

Share
Posted in Concurrent Unit Testing, MS Thesis | Leave a comment

Print This Post Print This Post  

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 →

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

Print This Post Print This Post  

Topological Sort

Posted on July 10, 2007 by Mathias

Following Corky’s suggestion, I’ve been trying … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Expensive Textbooks

Posted on July 9, 2007 by Mathias

I really need to use the library more, textbook… Continue reading →

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

Print This Post Print This Post