Category Archives: Research

Research work.

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 →

Share
Posted in Mint | Leave a comment

Print This Post Print This Post  

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.gz JavaMint-r15405-binaries.zip drjava-r5246-mint-r15405.jar The DrJava team released a second beta version of DrJava yesterday, drjava-beta-20100507-r5246. … Continue reading →

Share
Posted in DrJava, Mint | Leave a comment

Print This Post Print This Post  

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 →

Share
Posted in DrJava, Mint | Leave a comment

Print This Post Print This Post  

Short Summary

Posted on April 6, 2010 by Mathias

The last few days summed up: Happy Easter! Still working on propagating reachability-from information into the methods. That should allow me to do a simple run-once-run-many analysis. I noticed my scanner was broken too, not just the power supply. FedEx … Continue reading →

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

Print This Post Print This Post  

Soot May-Happen-in-Parallel Analysis

Posted on April 1, 2010 by Mathias

I got Soot’s “may happen in parallel” (MHP) analysis to work, but only on a very small, completely unrealistic example which I used to test my “shared volatile” code (source below). Even for this, I needed to set the heap … Continue reading →

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

Camera-Ready Version of PLDI Paper Submitted

Posted on March 24, 2010 by Mathias

This afternoon, I submitted the final camera-ready version of our Mint paper that was accepted to PLDI 2010, Mint: Java Multi-stage Programming Using Weak Separability. Eddy and I incorporated some more suggestions we had received from Julia Lawall and Sam … Continue reading →

Share
Posted in Mint | Leave a comment

Print This Post Print This Post  

Back and Wanting More

Posted on March 18, 2010 by Mathias

This is my second day back from my talks at SIGCSE and Purdue, and I’m already wanting more. We’re finalizing our Mint paper for PLDI, and I’m thinking about a nifty assignment for the SPLASH/OOPSLA Educators’ Symposium. I couldn’t really … Continue reading →

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

Print This Post Print This Post  

Happy About Purdue Talk

Posted on March 15, 2010 by Mathias

I’m really quite happy about the Mint talk I just gave at Purdue University. As a recurrent theme, I could have used a bit more practice, but it went a lot smoother than I would have expected, after just having … Continue reading →

Share
Posted in Mint, Pictures | 1 Comment

Print This Post Print This Post  

Mint Talk at Purdue

Posted on March 4, 2010 by Mathias

I’m visiting my friend Luke at Purdue after SIGCSE, and we arranged for me to give a talk to the CS department. If you have the chance, come grill me on Monday, March 15, 2010 at 3:30 PM. Computer Science … Continue reading →

Share
Posted in Mint | Leave a comment

Print This Post Print This Post  

Short, Non-Technical Talks Are Hard

Posted on February 25, 2010 by Mathias

I just gave my talk Testing Concurrent Programs, A 7-Minute Jargon-Free Introduction to the students of the Thesis Writing Seminar of the School of Engineering here at Rice. It went very well, but I’ve got to say that this was … Continue reading →

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

Print This Post Print This Post  

New Mint Release: r15116

Posted on February 17, 2010 by Mathias

I just created a new release of Mint and DrJava with Mint: February 17, 2010 (r15116). The release is available from the Mint implementation page: JavaMint-r15116.tar.gz JavaMint-r15116-binaries.zip drjava-r5178-mint-r15116.jar There were some small changes in the approximation of weak separability to … Continue reading →

Share
Posted in Mint | Leave a comment

Print This Post Print This Post  

<clinit> in The Thread of First Use

Posted on February 16, 2010 by Mathias

Question: In which thread does <clinit> run? Answer: is being executed in whatever thread uses the class first. package testers; import java.awt.EventQueue; public class CLInit { public static void main(String[] args) throws Exception { new CLInit2().doSomething(); EventQueue.invokeAndWait(new Runnable() { public … Continue reading →

Share
Posted in Concurrent Unit Testing | 1 Comment

Print This Post Print This Post  

Code<?> Escaped As Statement

Posted on February 16, 2010 by Mathias

A few days ago, I changed the Mint compiler to allow non-void code objects to be spliced in where statement form is required: Code x = ; Code c = ; This essentially generates the code below, which allows the … Continue reading →

Share
Posted in Mint | Leave a comment

Print This Post Print This Post  

<clinit> in Which Thread?

Posted on February 16, 2010 by Mathias

Question: In which thread does <clinit> run? Answer tomorrow.

Share
Posted in Concurrent Unit Testing | Leave a comment

Print This Post Print This Post  

The Free Java Book

Posted on February 15, 2010 by Mathias

Corky just informed me that there is a talk by Daniel L. Schuster at SIGCSE 2010 about Java, games, and the Free Java Book. I’ll definitely check out the talk and the book. I’ll also examine how concurrency is handled … Continue reading →

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

Print This Post Print This Post  

New Mint Release: r15085

Posted on February 12, 2010 by Mathias

I just created a new release of Mint and DrJava with Mint: February 12, 2010 (r15085). The release is available from the Mint implementation page: JavaMint-r15085.tar.gz JavaMint-r15085-binaries.zip drjava-r5178-mint-r15085.jar The two changes since the last release involve CSP values and escapes … Continue reading →

Share
Posted in Mint | 1 Comment

Print This Post Print This Post  

Mint Talk Video

Posted on February 12, 2010 by Mathias

The video recording of the Mint talk I gave on Monday is now available on vimeo: Mint: A Multi-stage Extension of Java (Mathias Ricken) from Mathias Ricken on Vimeo.

Share
Posted in Mint, Pictures | Leave a comment

Print This Post Print This Post  

Pictures from Yesterday’s Talk

Posted on February 9, 2010 by Mathias

Here are a few pictures from yesterday’s talk about Mint.

Share
Posted in Graduate School, Mint, Pictures | Leave a comment

Print This Post Print This Post  

Mint Talk in COMP 600

Posted on February 8, 2010 by Mathias

I just gave the first presentation about Mint in the COMP 600 graduate seminar at Rice. The slides for “Mint: A Multi-stage Extension of Java” are available (PowerPoint, PDF, view embedded). This weekend, I was kicking myself why I had … Continue reading →

Share
Posted in Graduate School, Mint | 1 Comment

Print This Post Print This Post  

Presentation: Mint: A Multi-stage Extension of Java

Posted on February 8, 2010 by Mathias

Mint: A Multi-stage Extension of Java (PowerPoint, PDF, view embedded) Video recording available on vimeo. Where: Rice University Computer Science Department, COMP 600 Graduate Seminar When: February 8, 2010 Multi-stage programming (MSP) provides a safe way of generating code at … Continue reading →

Share
Posted in Mint, Publications | 2 Comments

Print This Post Print This Post