Day 2 of PhD, first day actually in the lab

[compilerbitch]

It went really nicely, I think. Alan is taking on two other students this year, so he did a bit of an intro for us all. I also had a separate meeting with him to talk about my project. He really likes the 5-value logic, and wants me to write it up as a paper straight away for submission to a conference in Barcelona in March. I'm going to have to do quite a lot of background reading, however, so I'm going to have some work to do.

Alan realised that I could use the existing literature on abstract interpretation to help justify my ideas. I just pulled out a couple of papers by Cousot & Cousot that date back to 1977 and 1979. Heavy lattice theory. Valium embodied as paper. But, read them I shall. As a tangental comment, it is really weird now reading mathematical papers that date back to the pre-LaTeX era. They just look so ugly by comparison, and are so much less readable.

Comments

[trurl.livejournal.com]

submission to a conference in Barcelona in March.



That wouldn't be colocated with ESOP would it?

[compilerbitch.livejournal.com]

Apparently it is to be held just before TACAS, which also includes ETAPS. The conference title is 'Designing Correct Circuits', March 27-28.

Beyond that, best thing is probably to read the call for papers. :-)

[trurl.livejournal.com]

Yeah, ESOP is part of ETAPS. With luck we'll both have papers there.