blog

Absinthe presentation at WCRE2011

Mon, 21 Nov 2011 11:28:46 +0100

Reasoning over the evolution of source code using QRPE <div style="padding:5px 0 12px" mce_style="padding:5px 0 12px">View more <a href="http://www.slideshare.net/" mce_href="http://www.slideshare.net/" target="_blank">presentations</a> from <a href="http://www.slideshare.net/stevensreinout" mce_href="http://www.slideshare.net/stevensreinout" target="_blank">stevensreinout</a></div> </div>

Soul-related presentation and demo at ICSM11

Thu, 17 Nov 2011 17:04:42 +0100

ICSM 2011 saw its fair share of SOUL this year. Carlos Noguera and Andy Kellens demonstrated Program Querying with a SOUL: the Barista Tool Suite. Coen De Roover presented An LMP Foundation for Example-Driven Pattern Detection in Object-Oriented Programs, a summary of his doctoral disseration:</p>

Three SOUL-related presentations at SATToSE 2011

Mon, 11 Apr 2011 18:31:09 +0200

The 2011 edition of SATToSE (Seminar Series on Advanced Techniques & Tools for Software Evolution) in Koblenz featured three SOUL-related presentations. Andy Kellens and Coen De Roover presented our group's work-in-progress on "Source Code Archeology using Logic Program Queries across Version Repositories" (slides) and "Logic-based program transformation in symbiosis with Eclipse" (slides) respectively. Both presentations can be found on the presentations page of SATToSE. In addition, Sergio Castro presented his work on "Generation of corrective actions to code design problems" for which he relies on abductive reasoning within SOUL.

New SOUL website about to launch

Tue, 08 Mar 2011 09:47:03 +0100

This is a draft of the new website for the SOUL program query language.