I successfully defended and wrapped up my PhD! Yaaaay! Big thanks goes to my advisor Alan Hu, committee members Mark Greenstreet and Ken McMillan, university examiners Gail Murphy and Karthik Pattabiraman, as well as my external examiner Ranjit Jhala. The final version of my PhD thesis is available online and can be found here. Soon after I wrapped [...]
Read the rest of this entry »I just learned that Boogie recently switched to using .NET 4, and therefore the tutorial on how to run Boogie under Linux using .NET 2 I wrote a couple of months ago is now deprecated. I played a little bit with the latest version of Boogie under Linux and managed to get it to work, [...]
Read the rest of this entry »Domagoj and I recently added some new material to our Guidebook for Graduate Studies Abroad and this 2nd extended online edition is now available for download.
Read the rest of this entry »Word cloud summary of the POPL 2011 paper. The final, camera-ready version of the delay-bounded scheduling paper is now available and can be obtained here. Inspired by others, I also started playing with word clouds a little bit, and on the right you can find a nice word cloud summary of this paper. Enjoy!
Read the rest of this entry »The paper titled “Delay-Bounded Scheduling” I coauthored with Michael Emmi and Shaz Qadeer got accepted to the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2011). The camera-ready version will be ready and available in a couple of weeks. In the meantime, those of you who are eager to learn what delay-bounded scheduling [...]
Read the rest of this entry »
