A new version of the ESC/Java2 plugin for Eclipse 3.4 is now available.
Mikoláš Janota gave a talk presenting work exploring the application of a SAT solver to a configuration problem at ASPL'08. A prototype demonstrating the ideas has been released.
An article Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax by Mikoláš Janota, Victoria Kuzina, and Andrzej Wasowski has been accepted to MODELS '08.
Joe Kiniry has been nominated as the Chair of Working Group #4: Tool Integration of the COST Program Action IC0701 "Formal Verification of Object-Oriented Software." He also sits on the Management Committee as he formally represents Ireland within the Action.
Joe Kiniry gave a talk this week on Verified Gaming at the GC6 Workshop on Pilot Projects for the Grand Challenge in Verified Software at Formal Methods 2008.
Our two open positions are now
listed on the UCD HR website:
Hardware Engineer in Dependable Scientific Computing and
Software Engineer in Dependable Scientific Computing
Mikoláš Janota presented a paper Formal Approach to Integrating Feature and Architecture Models, written with Goetz Botterweck, at FASE'08.
Our ETAPS 2008 tutorial "Verification-centric Development in Java with JML and ESC/Java2" was a big success. There were around 20 participants, including active verification researchers, academics looking to use JML and ESC/Java2 in their teaching and research, junior and senior PhD students, and commercial software developers.
Joe Kiniry was an invited speaker (along with Jim Woodcock and Tony Hoare) at the British Computer Society-FACS Town Hall meeting on 4 February 2008. His talk was titled "Program Verification for the Masses".
Joe Kiniry is on the Program Committee of VAMP 2009 which will take place at ETAPS.
Our ETAPS 2008 tutorial "Verification-centric Development in Java with JML and ESC/Java2" has been scheduled for 30 March 2008. Sign up now!
ESC/Java 2.0b4 has been released.