Monthly Archives: January 2010

Paper: Mint: Java Multi-stage Programming Using Weak Separability

Posted on January 31, 2010 by Mathias

Mint: Java Multi-stage Programming Using Weak Separability 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2010) Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how … Continue reading →

Posted in Mint, Publications | 2 Comments

Print This Email This

Java Bug 4396719 Work-Around?

Posted on January 31, 2010 by Mathias

It seems like I can get around the garbage collector bug if I use -XX:+UseConcMarkSweepGC JVM argument. Now I’m having more Soot problems, but they actually make sense. In addition to being cross-platform, DrJava is also “cross-JDK version”: We support … Continue reading →

Posted in Concurrent Unit Testing, DrJava | 1 Comment

Print This Email This

Soot Build Instructions

Posted on January 30, 2010 by Mathias

While trying to create a call graph of DrJava using Soot, I ran into some problems that were supposed to have been fixed in the Soot nightly builds already. Unfortunately, the nightly builds I could find were all many months … Continue reading →

Posted in Concurrent Unit Testing | 1 Comment

Print This Email This

A HotSpot Java Error, a Bus Error and a Segmentation Fault

Posted on January 30, 2010 by Mathias

When I run Soot to create a call graph of DrJava, I get the aforementioned HotSpot Java error on Windows with Java 1.6.0_18. On Mac OS X 10.4 with Java 1.5.0_19, I get a “Bus error” (Java exit status 138). … Continue reading →

Posted in Concurrent Unit Testing, Ramblings | Leave a comment

Print This Email This

Mint Paper Accepted to PLDI 2010

Posted on January 30, 2010 by Mathias

I’m happy to report that our Mint paper “Mint: Java Multi-stage Programming Using Weak Separability” has been accepted to PLDI 2010 in Toronto! I couldn’t find the deadline for submitting the camera-ready version yet, and the reviewer and referee comments … Continue reading →

Posted in Mint | Leave a comment

Print This Email This

Subversion “obliterate”

Posted on January 29, 2010 by Mathias

Apparently, Subversion is adding support for an “obliterate” command that can delete a file completely, including from the revision history. I once had to do this because I accidentally added a license file that needed to be kept private into … Continue reading →

Posted in Uncategorized | Leave a comment

Print This Email This

More Details on Soot and -allow-phantom-refs

Posted on January 29, 2010 by Mathias

In the previous post I mentioned that I’m trying to create a call graph of all of DrJava using Soot. Since DrJava is a cross-platform application, there are classes that get compiled and used only on certain operating systems. The … Continue reading →

Posted in Concurrent Unit Testing, DrJava | 1 Comment

Print This Email This

Java Bug 4396719 – Mark Sweep stack overflow on deeply nested Object arrays

Posted on January 29, 2010 by Mathias

I’m trying to create a call graph of all of DrJava using Soot. DrJava is a cross-platform application that has some classes that get compiled and used only on certain operating systems; for example, the com.apple.eawt package is only used … Continue reading →

Posted in Concurrent Unit Testing, DrJava, Ramblings | 4 Comments

Print This Email This

Sometimes I Love Myself

Posted on January 25, 2010 by Mathias

Sometimes I have those moments when something small that I did brings me tremendous joy. This just happened when I was using DrJava with Soot. I don’t know the Soot framework, so the “Additional Javadoc URLs” feature that I introduced … Continue reading →

Posted in DrJava, Ramblings | Leave a comment

Print This Email This

IT Hell

Posted on January 22, 2010 by Mathias

Building emacs22 to replace emacs21, so I can install yasnippet, so I can install scala-tool-support, because I can’t install Eclipse since it requires Mac OS 10.5 and I only have 10.4 because Apple doesn’t support Java 6 on 32-bit Macs… … Continue reading →

Posted in Ramblings | 2 Comments

Print This Email This

Broken Things 2010

Posted on January 17, 2010 by Mathias

So far, it seems like 2010 is a year of broken things. Mr. Coffee, my coffee maker, broke. I loved the guy, so I immediately replaced him with his younger brother. The power supply fan in my Dell at home … Continue reading →

Posted in Ramblings | 1 Comment

Print This Email This

Another Possible Improvement

Posted on January 12, 2010 by Mathias

On the other hand, I think I can re-enable checking if the event thread has finished and generating EventThreadStillProcessingErrors in the “update” Runnable that sets the test thread group the event thread uses, at least in certain cases. It is … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Email This

Another Possible Problem

Posted on January 12, 2010 by Mathias

I think I have just realized that this still isn’t good enough. Now we know that there aren’t any more events, but it is conceivable that a Runnable executing just before the token Runnable has started new threads. Those threads … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Email This

New Release of ConcJUnit: 20100112

Posted on January 12, 2010 by Mathias

I’ve just made a new release of ConcJUnit: 20100112. This release contains an important addition that I had been thinking about for a while. ConcJUnit already detected failures and uncaught exceptions in the event thread, but since the event thread … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

Print This Email This

Auto-Upgrade to WordPress 2.9

Posted on January 3, 2010 by Mathias

I just performed an WordPress auto-upgrade to version 2.9. Version 2.9 requires MySQL version 4.1.2, and 1&1 was only running version 4.0.27. However, I found out that MySQL 5.0 is also running, so I needed to export the MySQL 4.0 … Continue reading →

Posted in Uncategorized | Leave a comment

Print This Email This