Recent News (approximately the last six months)

November 2008

The latest version of the ESC/Java2 plugin for Eclipse 3.4 is now available from either of the the following two update sites:

If all goes well then this is the final release, pending any major problems. ESC/Java2 is now entering its end-of-life transition period. It will be integrated with the Mobius Program Verification Environment (PVE) for Eclipse and perhaps also with JML4. Please us know if you are interested in co-authoring a journal paper about ESC/Java2 over the next several months.

Joe Kiniry is on the Program Committee of CBSE 2009.

September 2008

Mikoláš Janota gave a talk on interactive model derivation at MODELS '08.

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.

Joe Kiniry is on the Program Committee of TOOLS 2009.

August 2008

Joe Kiniry is co-chair of the VSTTE 2008 workshop VS-EXPERIMENTS: Experiments in Verified Software.

Mikoláš Janota visited his collaborator Andrzej Wąsowski at the IT University of Copenhagen. As a part of the visit he gave a talk on two-tiered SPL modeling.

Joe Kiniry is giving a course entitled Verification-centric Software Engineering at the GLOBAN Summer School in September, 2008 at the Institute of Informatics, University of Warsaw, Warsaw, Poland.

July 2008

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.

Mikoláš Janota's article Do SAT Solvers Make Good Configurators? has been accepted to the First Workshop on Analyses of Software Product Lines (ASPL'08).

June 2008

Joe Kiniry is on the program committee of SAVCBS 2008, which is affiliated with SIGSOFT 2008/FSE 16, and will be held in Atlanta, Georgia.

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 is on the Program Committee of SLE 2008, the 1st International Conference on Software Language Engineering that will take place at MODELS 2008 in September, 2008 in Toulouse.

May 2008

Joe Kiniry and Dan Zimmerman gave a talk this week on their FM'08 paper Secret Ninja Formal Methods at Formal Methods 2008.

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.

Joe Kiniry gave a talk this week summarizing the Mobius Program Verification Environment at a special session on formal methods tools at Formal Methods 2008.

Our two open positions are now listed on the UCD HR website: Research Hardware Engineer in Dependable Scientific Computing and Research Software Engineer in Dependable Scientific Computing

March 2008

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.