Category Archives: Research

Research work.

Parsing Compound Predicate Annotations

Posted on October 16, 2006 by Mathias

I’ve enhanced the parser of the Thread Checker … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Compound Predicate Annotations

Posted on October 14, 2006 by Mathias

I think I have found an acceptable, relatively … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Sleepy Tests

Posted on October 13, 2006 by Mathias

Last night, just before I passed out into comat… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Predicate Implementation

Posted on October 12, 2006 by Mathias

During the night and this morning, I worked on … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Syntax for the Predicates

Posted on October 12, 2006 by Mathias

Here is a description of the syntax for the Thr… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Predicates for the Thread Checker

Posted on October 12, 2006 by Mathias

Corky has made the thread checker a core part o… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Comments and Questions about LAPT-javac

Posted on October 11, 2006 by Mathias

When I posted my hacked version of javac, LAPT-… Continue reading →

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

Print This Post Print This Post  

Java Generics Unsound?

Posted on October 10, 2006 by Mathias

Just a few days ago, I complained about the fac… Continue reading →

Share
Posted in Research | Leave a comment

Print This Post Print This Post  

GrobuUtils

Posted on October 9, 2006 by Mathias

Corky scared me this morning. He found an artic… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Hacking javac

Posted on October 8, 2006 by Mathias

I just finished hacking javac; I only had to to… Continue reading →

Share
Posted in xajavac | Leave a comment

Print This Post Print This Post  

Poster: Practical Tools for Testing Concurrent Programs

Posted on October 6, 2006 by Mathias

Practical Tools for Testing Concurrent Programs Continue reading →

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

Print This Post Print This Post  

Temporary URL Changes

Posted on October 5, 2006 by Mathias

I’ve temporarily redirected www.concutest.org t… Continue reading →

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

Print This Post Print This Post  

We’re Being Naughty…

Posted on October 5, 2006 by Mathias

I just ran the DrJava unit tests with Concutest… Continue reading →

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

Print This Post Print This Post  

Preliminary Versions of Concutest-JUnit

Posted on October 5, 2006 by Mathias

I have made preliminary versions of Concutest-J… Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Corporate Affiliates Meeting 2006 Poster

Posted on October 2, 2006 by Mathias

I just finished creating a new poster for the 2… Continue reading →

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

Print This Post Print This Post  

Trying to Categorize

Posted on September 28, 2006 by Mathias

I’m way behind on my schedule, originally I was… Continue reading →

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

Print This Post Print This Post  

Generic Class May Not Extend Throwable

Posted on September 28, 2006 by Mathias

Another bit of Java trivia I just learned: A ge… Continue reading →

Share
Posted in Research | Leave a comment

Print This Post Print This Post  

javac Is Ugly But Easy

Posted on September 27, 2006 by Mathias

Even though I’d sworn I wouldn’t look at the LA… Continue reading →

Share
Posted in xajavac | Leave a comment

Print This Post Print This Post  

Modifying javac to do LAPT’s Job?

Posted on September 25, 2006 by Mathias

I think I may have started on the wrong end wit… Continue reading →

Share
Posted in xajavac | Leave a comment

Print This Post Print This Post  

So Where Were We?

Posted on September 25, 2006 by Mathias

I haven’t written in a while. I also haven’t re… Continue reading →

Share
Posted in xajavac | Leave a comment

Print This Post Print This Post