William Cook's Fusings

Why don't North Americans (US+CA) publish work at the MODELS conference ? The conference is often outside the US, but even when it is l...

I tweeted about the relationship between UML and MDD . There was also some discussion on StackExchange . It has since become clear to me...

Managed Data: Modular Strategies for Data Abstraction Alex Loh, Tijs van der Storm, and William R. Cook Object Grammars: Composition...

Does anybody else think the new MacOS Skype 5.x user interface is terrible? The contact list takes up a huge amount of real estate, and if ...

My essay On Understanding Data Abstraction, Revisited ( PDF with corrected figure 8 ) is not likely to get many academic citations, but it...

I ran into Bob Harper at POPL in Philadelphia . We chatted briefly in the hallway. We invariably disagree on most topics when we talk, but ...

This is an automated email sent from Dell Chat. The following information is a log of your session. Please save the log for your record...

I recently gave a talk on Batches at Microsoft Research . I think them for being nice enough to host my visit and record the talk. Batches a...

I have been telling people that we need to work on guided synthesis over verification. I believe that guided synthesis is the only way we ar...

Channel 9 interviews from SPLASH 2011 . I talked with Charles Torre of Channel 9 .

I have always felt that zoning regulations are an insidious evil that have caused our communities to be built in ways that are impractical a...

Austin recently started conversion of its old Mueller airport into a housing development . There are some things right about it: mixed use, ...

On Tuesday I gave a tutorial on partial evaluation , called " Build your own partial evaluator in 90 minutes " at the working conf...

I recently found out that Facebook is incredibly easy to hack. It allows you to access the reset password page without any email confirmatio...

I posted a message recently to the Ensō blog about grammars .

I've been busy working on Ensō, but took time out to write something about what we are doing. This post introduces the Schema Schema . N...

I know that this is just a teaser, but it is the introduction of the paper on Ensō that Tijs and I are writing. If you want to know more or ...

I recently gave a lecture in my programming language class concluded by explaining that Java does not support inheritance of interfaces. I...

A great language should let you think useful thoughts you have never been able to think before. This new project I'm working on, whose c...

I recently said that I'm working on creating the "Smalltalk of Modeling". To me, this means creating an elegant system that is...