Categories
- Code Pranger (5)
- DrJava (205)
- Graduate School (31)
- Pictures (37)
- Publications (44)
- Ramblings (113)
- Research (404)
- Concurrent Unit Testing (289)
- Mint (72)
- OOP Book (7)
- xajavac (29)
- Teaching (26)
- Thesis (31)
- MS Thesis (30)
- Uncategorized (157)
Blogroll
Concutest
JavaPLT
JSR Watchlist
- JSR 014 (Generics)
- JSR 047 (Logging)
- JSR 108 (Units)
- JSR 133 (Memory Model)
- JSR 166 (Concurrency Utilities)
- JSR 175 (Annotations)
- JSR 199 (javac API)
- JSR 202 (Class File Update)
- JSR 250 (Common Annotations)
- JSR 260 (Javadoc Update)
- JSR 269 (Annotation Processing)
- JSR 269 Article
- JSR 290 (XML UI)
- JSR 296 (Swing)
- JSR 305 (Defect Detection Annotations)
- JSR 305 Article
- JSR 308 (Annotations on Types)
- JSR 901 (JLS)
- JSR 924 (JVM Specs)
- Pure Danger Tech: Java 7
More Links
My Links
Meta
Archives
- February 2012 (1)
- January 2012 (5)
- November 2011 (2)
- October 2011 (4)
- September 2011 (11)
- August 2011 (6)
- July 2011 (7)
- June 2011 (4)
- May 2011 (3)
- April 2011 (3)
- March 2011 (2)
- February 2011 (7)
- January 2011 (10)
- December 2010 (2)
- November 2010 (7)
- October 2010 (17)
- September 2010 (17)
- August 2010 (23)
- July 2010 (16)
- June 2010 (16)
- May 2010 (14)
- April 2010 (15)
- March 2010 (15)
- February 2010 (16)
- January 2010 (15)
- December 2009 (6)
- November 2009 (16)
- October 2009 (20)
- September 2009 (25)
- August 2009 (13)
- July 2009 (2)
- June 2009 (1)
- May 2009 (3)
- April 2009 (2)
- March 2009 (3)
- February 2009 (3)
- December 2008 (2)
- November 2008 (6)
- October 2008 (16)
- September 2008 (7)
- August 2008 (10)
- July 2008 (4)
- June 2008 (4)
- May 2008 (7)
- April 2008 (3)
- March 2008 (7)
- February 2008 (11)
- January 2008 (3)
- December 2007 (5)
- November 2007 (15)
- October 2007 (5)
- August 2007 (2)
- July 2007 (19)
- June 2007 (8)
- May 2007 (9)
- April 2007 (18)
- March 2007 (23)
- February 2007 (5)
- January 2007 (12)
- December 2006 (5)
- November 2006 (17)
- October 2006 (18)
- September 2006 (22)
- August 2006 (21)
- July 2006 (15)
- June 2006 (1)
- May 2006 (4)
- April 2006 (3)
- March 2006 (1)
- February 2006 (1)
- January 2006 (26)
- December 2005 (6)
- November 2005 (6)
- October 2005 (2)
- September 2005 (7)
- August 2005 (20)
- July 2005 (21)
- June 2005 (23)
- February 2005 (1)
- December 2004 (1)
- November 2004 (2)
- October 2004 (2)
- September 2004 (1)
- August 2004 (2)
- June 2004 (3)
- March 2004 (1)
- September 2003 (1)
Category Archives: Uncategorized
What Phone to Get?
I really don’t know what phone I should get to replace my trusted Palm Treo 755p. I really think there won’t be a phone that can match its utility. It’s not a flashy phone (my friends call it “the brick”), … Continue reading
Tricky Computer Repair
I’m finally making some progress on a tricky computer repair I’ve been dealing with in my downtime basically this entire past week. The 10.5-year-old Pentium II computer that I have been using as web and media server in my home … Continue reading
Gmail Account Lockdown
Oh great… Account Lockdown: Unusual Activity Detected This account has been locked down due to unusual account activity. It may take up to 24 hours for you to regain access. And all I did was send 86 MB of vacation … Continue reading
Turing Completeness and the Halting Problem for Sexbots
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
A Nice Monday
I had a very nice Monday today. Corky asked me to take over his lecture in COMP 311 today while he is at SPLASH/OOPSLA. I handed out the exam and reviewed the sample midterm. I’m quite happy about how the … Continue reading
Rear-Ended
A friend and I got rear-ended tonight. Not our fault, but our backs and necks hurt, and the car is probably totaled. I think the moral of the story is: You could be killed any time, so if someone offers … Continue reading
Bookmark Google Calendar Searches
I think I have finally figured out how how to bookmark Google Calendar searches. The problem was that the search parameters did not seem to be passed using URL “get” parameters. The Google Calendar URL was always just https://www.google.com/calendar/render and … Continue reading
Java Versions on the Mac
Stephen had some questions about Java on the Mac. I tried to answer them. From the DrJava site, I see notes that a JDK is already installed on OS X machines—that explains why I can’t find downloads for it. There … Continue reading
Rice University Virtual Tour
These are really cool panorama pictures of my university: Experience Rice University’s 300-acre campus and its urban surroundings by taking our virtual tour http://bit.ly/a7Yt0I If you click on the fourth image from the left in the navigation bar at the … Continue reading
I <3 Unix
find . -name \*html -or -name \*inc | xargs grep -l "\.owlnet\." | xargs -n 1 -i bash -c ‘p4 edit {}; sed -i "s/\.owlnet\./.clear./g" {}’
Cats That Program
I guess it was only a question of time before someone wrote a programming language in LOLcat dialect: LOLcode. This listing, for example, prints out the numbers one to ten: 123456789HAI CAN HAS STDIO? I HAS A VAR IM IN … Continue reading
A Conversation
Friend: “Do you really want an academic job?” Mathias: “Yes.” Friend: “Why? Is that what you’re comfortable with?” Mathias: “It actually isn’t the most comfortable, but it is the most rewarding.” *sigh*
Hurricane Alex
Hurricane Alex, the first hurricane of the 2010 season, is predicted to make landfall south of the US-Mexico border. Still, it’s a reminder to stock up and start paying attention again. And to realize that, nearly two years after Ike, … Continue reading
Upgrade to WordPress 3.0
I just did an upgrade to WordPress 3.0, and I also gave the site a small face lift. The new default theme, Twenty Ten, actually looks quite nice. Everything seems to be working, but if you notice any problems, please … Continue reading
Home after Lots of Traveling
I’m finally home again for a bit, after a lot of traveling: During the last month and a half, I’d slept in my own bed for only eight nights.
Now I Want an Apple iPad Too: Papers for iPad
OK, now I also want an Apple iPad: Papers for iPad has been released. I still haven’t made it to the Apple Store to play with an iPad since it was released, but the visit is firmly on my To … Continue reading
Body Worlds – Koerperwelten Bremen
My mother and I visited the Koerperwelten Bremen exhibition today. It is one of the Body Worlds traveling exhibitions that display real human bodies that have undergone plastination. Here are some images from the exhibition in Bremen. There has been … Continue reading
Python is Pretty Cool, And So Is DrJava
I’ve got to admit: Python is pretty cool when it comes to quickly writing powerful scripts. I wanted to extract the number of all-time downloads from DrJava’s SourceForge statistics page, but it wasn’t on the same line as the “Total” … Continue reading
Short Summary
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
Subversion Word Diff
While looking for information on Soot, I found this little gem here by Chris Pickett: swd, Subversion Word Diff. This is perfect for writing LaTeX papers in a group. For example, when I do an svn diff on our Mint … Continue reading

