2016
PhD defenses
[2016/12/01]
On December 13, my PhD student Gillian Greene successfully
defended her thesis "Concept-Based Exploration of
Rich Semi-Structured Data Collections" in Stellenbosch.
At the same time in Southampton, my PhD student Geoff
Birch passed with minor corrections the viva on his thesis "Fast,
Fully-Automated, Model-Based Fault Localisation
and Repair with Test Suites as Specification".
Congratulations Drs. Greene and Birch, a job well done!
GPCE 2016
[2016/04/10]
I'm serving as General Chair for the 15th International Conference on Generative Programming: Concepts & Experience (GPCE'16), together with
Ina Schaefer as
Program Committee Chair. The call for papers is available here,
abstracts are due on June 17, full papers on June 24.
Gold and Silver medals for CSeq
[2016/04/07]
CSeq
and ESBMC participated in
the 5th
Intl. Competition on Software Verification
(SV-COMP16), which is associated with TACAS 2016
in Eindhoven, Netherlands.
CSeq won the Gold and Silver medals in the
Concurrency category, while ESBMC won the Gold medal in the
Arrays and the Silver medal in the BitVectors category.
A paper describing the CSeq approach is on the publications page.
2015
ESBMC now open-source software
[2015/06/30]
With the release of version 2.0 our ESBMC
model checker is now open-source software. Sources are availble from
our github-repository.
Announcements and discussions are via the
ESBMC mailing list.
SPIN program online
[2015/06/30]
The program for
SPIN 2015 is now online:
an invited tutorial by Michael Tautschnig,
two invited talks by Tevfik Bultan,
and Shaz Qadeer
and 18 contribued papers.
Early registration
closes on July 13.
TAP paper accepted
[2015/04/13]
Our paper "Fast Model-Based Fault
Localisation with Test Suites" was accepted at
TAP'15. Joint work with
Mike Poppleton
and our joint PhD student Geoff Birch.
[Paper]
TACAS paper presented
[2015/04/10]
Our paper "Verifying Concurrent
Programs by Memory Unwinding" was presented at
TACAS'15. Joint work with Omar Inverso, Ermenegildo
Tomasco, Salvatore La Torre, and Gennaro Parlato.
[Paper |
Presentation ]
JLPP journal paper accepted
[2015/03/28]
Our paper "Synthesizing MPI
Implementations from Functional Data-Parallel Programs"
has been acccepted to the
International Journal of Parallel Programming.
Joint work with my PhD student
Tristan Aubrey-Jones.
[Paper]
Congratulations on successful PhD vivas
[2015/03/20]
My PhD students Meng Tian,
Jeremy Morse,
and Tristan Aubrey-Jones
successfully defended their PhD theses in their vivas.
Thanks to the co-supervisors and examiners, and
congratulations to Meng, Jeremy, and Tristan!
SoSyM journal paper published
[2015/02/06]
Our paper "Model checking LTL properties over ANSI-C programs with bounded traces"
has now appeared in
Software & Systems Modeling.
Joint work with Jeremy Morse, Lucas Cordeiro, and
Denis Nicole.
[Paper]
SPIN 2015 in Stellenbosch
[2015/02/01]
This August Jaco Geldenhuys and I
are hosting SPIN 2015, the 22nd
International SPIN Workshop on Model Checking of Software here in Stellenbosch.
The call for papers is available here,
abstracts are due on April 17, full papers on April 24.
Gold medals for CSeq and ESBMC
[2015/01/04]
CSeq
and ESBMC participated in
the 4th
Intl. Competition on Software Verification
(SV-COMP15), which is associated with TACAS 2015
in London, UK.
CSeq won the Gold and Silver medals in the
Concurrency category, while ESBMC won the Gold medal in the
Bitvectors and Sequentialized Concurrency categores and received two Bronze medals.
Papers describing the different approaches are on the publications page.
2014
STTT journal paper published
[2014/09/09]
ESBMC participated in
the RERS Grey Box Challenge 2012. Our paper "Applying symbolic
bounded model checking to the 2012 RERS greybox challenge"
describing that work has now appeared in the
International Journal on Software Tools for Technology Transfer.
Joint work with Jeremy Morse, Lucas Cordeiro, and
Denis Nicole.
[Paper]
FSE tool paper accepted
[2014/08/18]
Our tool paper "ConceptCloud: A Tagcloud Browser for
Software Archives"
was accepted at the FSE'14
research tool demonstrations track. Joint work
with my MSc student Gillian Greene.
[Preprint]
Inaugural Lecture
[2014/08/05]
On August 5 I gave my inaugural lecture "Seeing Things in the Clouds: Browsing
Semi-Structured Data with Tag Clouds over Concept Lattices".
[Invitation |
Presentation |
Picture]
HLPP paper presented
[2014/06/18]
Our paper "Synthesizing MPI
Implementations from Functional Data-Parallel Programs"
was accepted and presented at HLPP'14.
Joint work with my PhD student Tristan Aubrey-Jones.
[Paper |
Presentation |
Slides]
CAV paper accepted
[2014/06/18]
Our paper "Bounded Model Checking
of Multi-Threaded C Programs via Lazy Sequentialization" was accepted at
CAV'14. Joint work with Omar Inverso, Ermenegildo
Tomasco, Salvatore La Torre, and Gennaro Parlato.
[Paper |
Presentation |
Slides]
Gold medals for CSeq and ESBMC
[2014/06/18]
CSeq
and ESBMC participated in
the recent 3rd
Intl. Competition on Software Verification
(SV-COMP14), which was held at TACAS 2014 in
Grenoble, France. CSeq won the Gold and Silver medals in the
Concurrency category, while ESBMC won the Gold medal in the
Sequentialized Concurrency category and scored the fourth
place overall. Papers describing the different approaches are on the publications page.
New home page
[2014/06/18]
You are looking at it! I guess after ten years without a home(page) it was about
time. Hopefully it won't take another ten years to fix and complete it...
