2008
November 2008
A new version of the ESC/Java2 plugin for Eclipse 3.4 is now available.
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.
February 2008
Joseph Kiniry and Daniel Zimmerman's paper Secret Ninja Formal Methods has been accepted to the 15th International Symposium on Formal Methods (FM 2008).
We have one open position for a Ph.D. student and two open positions for research software and hardware engineers.
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 VERIFY 2008.
Joe Kiniry is on the Program Committee of VAMP 2009 which will take place at ETAPS.
January 2008
Joe Kiniry is on the Program Committee of WOTE 2008.
Joe Kiniry is on the Program Committee of ICTAC 2008.
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.