Monthly Archives: November 2010

Automatic Generation of Optimized Domain-Specific Operations, by Jason Eckhardt

Posted on November 22, 2010 by Mathias

Jason Eckhardt, a student of Keith Cooper, had an interesting COMP 600 talk about StencilDSL and simplifying writing certain stencil-based array operations: Automatic Generation of Optimized Domain-Specific Operations In previous work, we introduced a compiler-based algorithm for eliminating inter-iteration redundancies … Continue reading →

Share
Posted in Mint | Leave a comment

Print This Post Print This Post   Email This Email This

Integrating the Habanero Java Race Detector into DrJava

Posted on November 22, 2010 by Mathias

Jarred, Vincent and the guys of the Habanero Java group are planning to add a race detector to the Habanero Java compiler adapter in DrJava. I won’t have much time to help them with this, but I gave them some … Continue reading →

Share
Posted in DrJava | Leave a comment

Print This Post Print This Post   Email This Email This

DrJava Listed in Overview of Java IDEs

Posted on November 22, 2010 by Mathias

DrJava was included in this overview of Java IDEs: Dr. Java- This is a lightweight IDE geared towards students in introductory level classes, including the Advanced Placement Computer Science course. Dr. Java has support for evaluating snippets of code without … Continue reading →

Share
Posted in DrJava | Leave a comment

Print This Post Print This Post   Email This Email This

DrJava Preferences Stored in Project Files

Posted on November 16, 2010 by Mathias

I told myself I wouldn’t work on DrJava anymore, but here I go again. I Implemented feature request 3081586, Store Preferences within Projects, mainly because this was something I had wanted for a long time (I kept going back and … Continue reading →

Share
Posted in DrJava | Leave a comment

Print This Post Print This Post   Email This Email This

Turing Completeness and the Halting Problem for Sexbots

Posted on November 12, 2010 by Mathias

Mathias: Now, a computer is Turing complete if and only if it can compute everything that can be computed with such a Turing machine, i.e. with a device that has a read/write tape and a finite state automaton. And that’s … Continue reading →

Share
Posted in Uncategorized | Leave a comment

Print This Post Print This Post   Email This Email This

Working on a Recent Plane Trip

Posted on November 10, 2010 by Mathias

I just received two pictures from a recent plane trip. One of them even shows me diligently working on my MacBook and studying my quad-ruled paper notebook. You can see DrJava open on the MacBook.

Share
Posted in Pictures | 1 Comment

Print This Post Print This Post   Email This Email This

AdBlock Plus and Gmail, And Other Issues

Posted on November 8, 2010 by Mathias

I’m experiencing an AdBlock Plus problem in Gmail. At least now I’m sure it’s not a more severe display problem, because I’ve just witnessed it on a second machine. Both are Macs, though. The columns for some emails are messed … Continue reading →

Share
Posted in Ramblings | Leave a comment

Print This Post Print This Post   Email This Email This