Selected publications related to SOUL

The language in its current incarnation

The SOUL Tool Suite for Querying Programs in Symbiosis with Eclipse 
Coen De Roover, Carlos Noguera, Andy Kellens and Viviane Jonckers
Proceedings of the 9th International Conference on the Principles and Practice of Programming in Java (PPPJ 2011)

Present and past applications

SOUL has been applied to detecting (micro|bug|design) patterns, querying version repositories, enforcing design rules, automatically correcting design rule violations, program testing, aspect-oriented programming, specifying user interfaces and composing program generators:

An LMP Foundation for Example-Driven Pattern Detection in Object-Oriented Programs 
Coen De Roover
Proceedings of the 27th IEEE International Conference on Software Maintenance, Post-doctoral Symposium (ICSM 2011)

Reasoning over the Evolution of Source Code using Quantified Regular Path Expressions 
Andy Kellens, Coen De Roover, Carlos Noguera, Reinout Stevens, Viviane Jonckers
Proceedings of the 18th Working Conference on Reverse Engineering, Short Papers (WCRE 2011)

Enforcing structural regularities in software using IntensiVE
Johan Brichau, Andy Kellens, Sergio Castro, Theo D'Hondt
In Science of Computer Programming: Experimental Software and Toolkits (EST 3), ISSN 0167-6423, 2010

Co-evolving Annotations and Source Code through Smart Annotations
Andy Kellens, Carlos Noguera, Kris De Schutter, Coen De Roover, Theo D'Hondt
Proceedings of the 14th European Conference on Software Maintenance and Reengineering (CSMR 2010)

Diagnosing and Correcting Design Inconsistencies in Source Code with Logical Abduction 
Sergio Castro, Coen De Roover, Andy Kellens, Angela Lozano, Kim Mens, Theo D'Hondt
In Elsevier Journal on Science of Computer Programming - Special issue on Software Evolution, Adaptability and Variability, ISSN 0167-6423, 2011

An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification
Coen De Roover, Isabel Michiels, Kim Gybels, Kris Gybels, Theo D'Hondt
Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006)

Managing the Evolution of Aspect-Oriented Software with Model-based Pointcuts
Andy Kellens, Kim Mens, Johan Brichau, Kris Gybels
Proceedings of the 20th European Conference on Object-Oriented Programming (ECOOP 2006)

Arranging language features for more robust pattern-based crosscuts
Kris Gybels, Johan Brichau
Proceedings of the 2nd Second International Conference on Aspect-Oriented Software Development
 (AOSD 2003)

Doctoral Dissertations

A Logic Meta Programming Foundation for Example-Driven Pattern Detection in Object-Oriented Programs 
Coen De Roover, 2009

On the Separation of User Interface Concerns
Sofie Goderis, 2008

Maintaining Causality between Design Regularities and Source Code 
Andy Kellens, 2007

A Goal-Driven Approach for Documenting and Verifying Design Invariants
Isabel Michiels, 2007

Integrative Composition of Program Generators  
Johan Brichau, 2005

Hybrid Aspects for Integrating Rule-Based Knowledge and Object-Oriented Functionality.
Maja D'Hondt, 2004

Automated Support For Framework-Based Software Evolution  
Tom Tourwé, 2002

A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation  
Roel Wuyts, 2001

Automating Architectural Conformance Checking by means of Logic Meta Programming  
Kim Mens, 2000