Category Archives: Research

Research work.

String Pool Interning Saves the Weakly Separable Day

Posted on August 31, 2010 by Mathias

I just took a swim in the string pool. Who would have thought that interning strings would be so useful for weak separability in Mint? I knew before that we had some problems calling String.equals in a separable method, like … Continue reading →

Posted in Mint | Leave a comment

 

New Mint Release: r15716

Posted on August 30, 2010 by Mathias

As mentioned before, Eddy and I discovered a problem with type variables in code generated by the Mint compiler. We have now fixed this problem in the new release of Mint and DrJava with Mint: August 30, 2010 (r15716). The … Continue reading →

Posted in Mint | Leave a comment

 

Passing a Class<T> for Every Type Variable T

Posted on August 30, 2010 by Mathias

When working on our GPCE Mint tutorial, Eddy and I realized that there is a problem when programmers use type variables inside brackets. A method like 1234public separable <X> Code<X> fun(Code<X> c1, Code<X> c2) { return <| ( `(lfTest.eval(e,f).booleanCodeValue()) ? … Continue reading →

Posted in Mint | Leave a comment

 

New Mint Release: r15707

Posted on August 24, 2010 by Mathias

When working on our GPCE tutorial, Eddy and I discovered a small bug in the Mint compiler which I have now fixed in the new release of Mint and DrJava with Mint: August 24, 2010 (r15707). The latest release is, … Continue reading →

Posted in Mint | Leave a comment

 

New Mint Release: r15700

Posted on August 21, 2010 by Mathias

On Friday, I created a new release of Mint and DrJava with Mint: August 20, 2010 (r15700). The latest release is, as always, available from the Mint implementation page: JavaMint-r15700.tar.gzJavaMint-r15700-binaries.zipdrjava-r5372-mint-r15700.jar The only changes that we made were a small change … Continue reading →

Posted in Mint | Leave a comment

 

GPCE’10 Tutorial Lecture: Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint

Posted on August 16, 2010 by Mathias

Eddy, Walid, and I proposed a tutorial lecture for GPCE’10, and we’re delighted to report that it has been accepted for presentation on Sunday, October 10, 2010. Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint Domain-specific languages … Continue reading →

Posted in Mint | 3 Comments

 

New Version of DrJava with Mint: drjava-r5366-mint-r15665

Posted on August 16, 2010 by Mathias

The DrJava team released a new stable version of DrJava today, drjava-stable-20100816-r5366. I therefore created a new release of DrJava with Mint: August 16, 2010 (drjava-r5366-mint-r15665.jar). The latest release is available from the Mint implementation page: JavaMint-r15665.tar.gzJavaMint-r15665-binaries.zipdrjava-r5366-mint-r15665.jar Nothing has changed … Continue reading →

Posted in DrJava, Mint | Leave a comment

 

I’m Going to Eindhoven

Posted on August 15, 2010 by Mathias

The Java Mint tutorial lecture called “Agile and Efficient Domain-Specific Languages using Multi-stage Programming in Java Mint“, which Eddy and I proposed, has been accepted at GPCE 2010. I’m looking forward to being in Eindhoven in October. Before that, on … Continue reading →

Posted in Mint | Leave a comment

 

New Mint Release: r15665

Posted on July 29, 2010 by Mathias

I just created a new release of Mint and DrJava with Mint: July 28, 2010 (r15665). It’s been over a year since we made the first version of Mint available! The latest release is, as always, available from the Mint … Continue reading →

Posted in Mint | Leave a comment

 

New Mint Release: r15637

Posted on July 22, 2010 by Mathias

I just created a new release of Mint and DrJava with Mint: July 22, 2010 (r15637). It’s been over a year since we made the first version of Mint available! The latest release is, as always, available from the Mint … Continue reading →

Posted in Mint | Leave a comment

 

javac Regression and Unit Tests

Posted on July 22, 2010 by Mathias

Joseph D. Darcy posted an informative article on writing regression and unit tests for new Java language features using JCK. This would have been useful for the Mint co-author who was supposed to write tests but ended up doing absolutely … Continue reading →

Posted in Mint, Ramblings | Leave a comment

 

New Version of DrJava with Mint: drjava-r5246-mint-r15405

Posted on July 11, 2010 by Mathias

The DrJava team released a third beta version of DrJava today, drjava-beta-20100711-r5314. I therefore created a new release of DrJava with Mint: May 8, 2010 (r15405). The latest release is available from the Mint implementation page: JavaMint-r15405.tar.gzJavaMint-r15405-binaries.zipdrjava-r5246-mint-r15405.jar Nothing has changed … Continue reading →

Posted in DrJava, Mint | Leave a comment

 

No Nifty Assignment for the Educators Symposium

Posted on June 29, 2010 by Mathias

I started writing too late and I discovered I still have some strange source of nondeterminism in my supposedly deterministic single-threaded application, so I won’t be submitting a Nifty Assignment to the Educators Symposium at OOPSLA/SPLASH this year. Too bad. … Continue reading →

Posted in Concurrent Unit Testing | Leave a comment

 

PLDI 2010 Was Great Fun

Posted on June 9, 2010 by Mathias

PLDI 2010 in Toronto is over, and I have to say it was great fun. I met some old friends again, like Gregory and Luke, chatted with old acquaintances, and made many new connections. There was concurrency and parallelism everywhere, … Continue reading →

Posted in Mint, Pictures, Ramblings | Leave a comment

 

PLDI Talk Went Well

Posted on June 9, 2010 by Mathias

Eddy did a great job with the Mint talk at PLDI 2010 here in Toronto. Congratulations (in more than one way), Eddy! And thank you very much for the repeated shout-out to me in the audience. The slides for the … Continue reading →

Posted in Mint, Pictures | Leave a comment

 

Back in Houston for a Bit

Posted on June 3, 2010 by Mathias

I’m back in Houston for five days again. I was looking forward to sleeping in my own bed again, but that turned out to be less comfortable than I expected: My air conditioning unit had broken again, and it 31 … Continue reading →

Posted in DrJava, Mint, Ramblings | 1 Comment

 

Beethoven and Brainstorming

Posted on May 16, 2010 by Mathias

I went on a walk today, on the prettiest day so far, for some Beethoven and brainstorming. I think I came up with some more nice ties back to my Master’s thesis.

Posted in Concurrent Unit Testing, Pictures | Leave a comment

 

Travel Arrangements for PLDI 2010

Posted on May 16, 2010 by Mathias

A few days ago I registered for PLDI 2010, just in time for early registration, and booked my flights from Houston to Toronto and back. I’m looking forward to being back in Canada and seeing my third Canadian city. I’ll … Continue reading →

Posted in Mint | Leave a comment

 

New Mint Release: r15405

Posted on May 8, 2010 by Mathias

I just created a new release of Mint and DrJava with Mint: May 8, 2010 (r15405). The release is available from the Mint implementation page: JavaMint-r15405.tar.gzJavaMint-r15405-binaries.zipdrjava-r5246-mint-r15405.jar The DrJava team released a second beta version of DrJava yesterday, drjava-beta-20100507-r5246. Nothing has … Continue reading →

Posted in DrJava, Mint | Leave a comment

 

New DrJava with Mint Version

Posted on April 15, 2010 by Mathias

The DrJava team released a new beta version of DrJava today, drjava-beta-20100415-r5220. I have integrated the February 17, 2010 of Mint with the new DrJava beta release and am happy to provide to you a new version of DrJava with … Continue reading →

Posted in DrJava, Mint | Leave a comment