This morning I came across this great paper: Decompilation of .Net Bytecode: Computer Science Tripos Part II by Stephen Horne. (more stuff at his project's web site: http://hal.trinhall.cam.ac.uk/~srh38/project/)

I also came across this interesting paper: Transforming the .NET Intermediate Language Using Path Logic Programming by Stephen Drape, Oege de Moor and Ganesh Sittampalam

Wouldn't it be great if Lutz would publish a book on his writing of Reflector?