I attended at the 20th meeting of the Virtualization Implementation Technology Workshop (Meeting?) tonight.
Today, there were 4 speakers, and three of them gave us reports of SOSP '09, and the other one talked about Japan Linux Symposium.
For me, the most interesting topic was about formal verification work of L4 microkernel(!?), seL4. Although the authors from NICTA, Australia, had to assume various restrictions, but anyway they won the best paper award.
BTW, I attended at another meeting yesterday evening. It was a really really boring and fucking one. It was a waste of time. :(
But I had happy time about 3 hours today, and I can go to bed with happy feeling. :)
No comments:
Post a Comment