2007
December 2007
Joe Kiniry is on the Program Committee of IFM 2008.
Joe Kiniry is on the Program Committee of CBSE 2008.
November 2007
Joe Kiniry is on the Program Committee of OSS 2008.
August 2007
Our old friend and collaborator Dr. Daniel Zimmerman from the University of Washington, Tacoma is visiting us for five weeks.
Joe Kiniry is on the Program Committee of TOOLS 2008.
Joe Kiniry is on the Program Committee of AFM 2008.
July 2007
Joe Kiniry is on the Program Committee of SAS II, the Static Analysis Summit II at SIGAda 2007, in November, 2007.
Mikoláš Janota, Radu Grigore, and Michał Moskal's article on reachability analysis in ESC/Java2 has been accepted to SAVCBS '07.
Joe Kiniry is traveling to conferences and visiting collaborators during the month of July. In particular, he is speaking at ICECCS in Auckland, New Zealand, visiting the University of Melbourne in Australia where he will be giving an invited talk and discussing research collaboration opportunities, visiting the University of Newcastle to work on a new grant proposal, and participating in the Schloss Dagstuhl seminar "Frontiers of Electronic Voting".
June 2007
Mikoláš Janota, Radu Grigore, and Michał Moskal, "Reachability Analysis for Annotated Code". Submitted to SAVCBS 2007.
Joe Kiniry's paper, "Formally Counting Electronic Votes (But Still Only Trusting Paper)", has been accepted at ICECCS 2007.
Joe Kiniry, Dermot Cochran and Patrick Tierney's paper on A Verification-Centric Realization of e-Voting has been accepted as a paper for EVT07.
May 2007
Joe Kiniry has been invited to join the programme committee for the IFIP Working Conference VSTTE'08 to be held during the 6th-9th of October 2008 in Toronto, Canada.
Mikoláš Janota's article on loop invariant generation has been accepted to WING 2007.
Mikoláš Janota and Joe Kiniry's article on feature formalization has been accepted by SPLC 2007.
April 2007
Joe Kiniry has been invited to sit on the Governing Board of the Grand Challenge 6: Verified Software Repository project.
March 2007
Mikoláš Janota submitted an article on loop invariant generation to WING 2007 workshop.
February 2007
Mikoláš Janota and Joe Kiniry submitted an article on feature formalization to SPLC 2007.
Joe Kiniry and Fintan Fairmichael submitted a paper on semantic properties for lightweight specification to IFM 2007.
Joe Kiniry is on the Program Committee of SEFM 2007.
January 2007
Joe Kiniry is on the Program Committee of VERIFY 2007.
We have several open positions available, including two Ph.D. student positions and a research programmer or postdoctoral scholar position!
A paper entitled Automated Regression Testing for UNIX Command Line Applications by Joe Kiniry and Niall O'Higgins has been submitted to USENIX 2007.
The Odysseus UREKA grant proposal, supported by our research group, has been accepted by the Science Foundation Ireland.
Odysseus (ODCSSS) is the Online Dublin Computer Science Summer School, a three-year collaborative paid summer internship program between the School of Computer Science and Informatics at University College Dublin and the School of Computing at Dublin City University, supported by Adaptive Information Cluster.
Joe Kiniry is the advisor on one of the Odysseus projects. His research project focuses on improving the memory of software developers and mathematicians.
In 2007 Odysseus starts on June 4th and runs for twelve weeks. Students who are successful in their application will be offered a paid, tax-free internship scholarship. The primary goal of this school is to afford exceptional undergraduate students the opportunity to participate and contribute to exciting yet challenging research projects at leading research facilities and inspire them to go on to undertake research careers.
Joe Kiniry is the advisor on one of the Odysseus projects. His research project focuses on improving the memory of software developers and mathematicians.
Joe Kiniry is on the Program Committee, and is an organizer of VAMP 2007.