Domain Housekeeping

I’m in the process of doing some housekeeping with my domains. In particular, I will drop the domains and, among a few other, less frequently used domains. used to point to my old personal homepage, but since I hadn’t updated it in a while, I just pointed pointed it to my professional homepage, which had been available at for years already. will go away, will stay.

The story for is a little more complex. It is the domain for my research project Concutest, but also had a subdomain for the Mint multi-stage Java research project I was a part of. There was also, which was a synonym for this blog at;, which was part of a community effort to identify concurrency invariants of the Java API, which I ended some time in 2016; and, which hosted an internal DrJava blog, also taken offline in 2016.

I have create two subdomains for Concutest and Mint:

These subdomains are already active. I hope this will not cause too much inconvenience.


About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply