Visited IST Austria

A couple of days ago, I visited the Institute of Science and Technology (IST) Austria in Klosterneuburg near Vienna. IST Austria is a brand new research institution on track to become a world-class research center. I was invited by its president Prof. Tom Henzinger to give a talk about my research on verification of concurrent systems code. I was impressed by smooth organization of my visit, people who work there and their research, as well as institute's surroundings in the Vienna Woods.
Thanks again to everybody at the IST Austria who made my stay a very pleasant one!

Attending Dagstuhl Seminar

I am attending Dagstuhl Seminar titled "Interaction versus Automation: The two Faces of Deduction". I gave a talk there about my work on the verification of concurrent systems code using SMT solvers.

Visited Intel Strategic CAD Labs in Hillsboro

I was invited recently to visit John O'Leary's group at Intel Strategic CAD Labs in Hillsboro, OR, USA. So, last week I visited them for a day. I gave a talk about my work on verification of concurrent systems code. Also, I had interesting in-depth conversations with John, Amit, and Jim about my tool SMACK and my concurrency related research, as well as their software verification work. I am glad there are a few more guys out there working on software verification and checking. They are very interested in using SMACK or parts of it in their own projects, so I am excited about this possible future collaboration.

Visited Verimag in Grenoble

I gave an invited talk about my recent work on finding concurrency errors in systems code at Verimag in Grenoble, France. Verimag is a very nice place and it was a pleasant visit. I would like to thank Radu Iosif again for hosting me.

Final version of my CAV 2009 paper is out

I posted the final version of my CAV 2009 paper "Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers" on my homepage. Check it out!
And comments and/or questions are always appreciated.

Paper accepted to CAV 2009!

The paper on static context-bounded analysis of systems software I coauthored with Shuvendu and Shaz got accepted to 21st International Conference on Computer Aided Verification (CAV 2009). I am really excited about this work and glad it got in. I'll put the final version of the paper on my homepage soon, so be sure to stop by again and check it out. And off to France in June!

STTT paper published - my first journal publication

Almost two years ago, me and my coauthors got invited to submit the extended version of our TACAS 2007 paper to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). Last weekend I received an email that our journal paper titled "A Low-Level Memory Model and an Accompanying Reachability Predicate" got published. Finally :)!