You might turn a little bit pro teen pregnancy if you read Bee's article which appeared in the Guardian. Congratulations to Bee, as the Guardian has picked this article as one of its best articles of the year.
PS. Happy holidays from snowy Colorado!
En route to San Francisco/Colorado/CMU
text-only web browsing!
Trends in concurrency summer school
PhD students: I'm teaching at the Trends in Concurrency summer school in Prague. Be sure to apply for a spot, as space will be very limited.
Marktoberdorf summer school
PhD students: I will be teaching at Marktoberdorf this summer. The list of lecturers has been announced, and the application process will open soon. Be sure to apply soon as space will be limited.
SLAM/SDV rule kit now available!
The Static Driver Verifier (SDV) Rule Development Kit (RDK) is now available. The RDK is an extension to SDV that allows you to adapt SDV to support additional frameworks (or APIs) and write custom SLIC rules for this framework. The goal of the RDK is to allow researchers to experiment with writing SLIC rules for APIs and to gain experience using the SLAM verification engine that underlies SDV. To request a copy of the RDK, please e-mail rdk_req@microsoft.com
Ranking abstractions
Subscribe to:
Posts (Atom)