Aug. 27th, 2004

compilerbitch: That's me, that is! (Default)
Other than hitting a wrong key and having to page through 20 or so slides painfully slowly (evil hex on Acrobat for being slow), it wasn't too bad. Like the paper, I think I suffered from trying to cram too much in, but as it was all new theory that to an extent all depended on itself, I couldn't really split it up because of chicken and egg problems.

But yes, I now have a proper publication and everything. It's in an actual book, too. Here's the reference, (its nice to be able to say that at long last!):

S. Thompson and Mycroft, A., Abstract Interpretation of Combinational Asynchronous Circuits, In Proc. SAS 2004, LNCS 3148, pp. 181-196, R. Giacobazzi (Ed.), Springer-Verlag Berlin Heidelberg, 2004

Phew... I can relax and enjoy the rest of the conference now. My jet lag is nearly gone now, so I'm not having to fight to stay awake so much. Ugh -- 9 hours of eastwards shift is pretty icky.

Profile

compilerbitch: That's me, that is! (Default)
compilerbitch

January 2016

S M T W T F S
     12
3 45 6789
10111213 141516
17181920212223
24 252627282930
31      
Page generated Aug. 22nd, 2025 10:09 pm

Style Credit

Expand Cut Tags

No cut tags