Congratulations Professor Tim Wahls!  He recently had a paper accepted for the ACM Symposium on Applied Computing, Software verification and Testing Track. The title is: "Translating B Machines to JML Specifications", and the conference will be held in Riva del Garda, Italy in March 2012.  The paper is coauthored with Danni Yu ('11), Nestor Catano and Victor Rivera of the University of Madeira (Portugal), and Camilo Rueda of Pontificia Universidad Javeriana (Columbia).