Time for a quick recap of what's been life like. I finished my masters on informatics, the thesis is online. The work is the formalization of a compiler from the π-calculus into a multithreaded TAL. I've learned a lot these past two years! Particularly in the value of (provable) specification for an algorithm.
On another front I have been working on Callas (which needs a big brush up on its site). Once again, I have been defining a translation function, this time from Callas (a functional, declarative language with modules) to a byte-code language based on Java (with some simplifications). I now have a more influent position and am giving some (small) input on the design of the language.
Meanwhile work has continued on the MIL. We have released a new version of the interpreter, which includes a deadlock checker. Technically this amounted to integrate the typechecker with a Prolog engine (we are using JLog).
Finally, I am eager for the acceptance of my PhD application in FCUL. The acceptance process usually takes one month (sigh), so I should know the results any time soon.
All in all things are working out smoothly ;-)
