Sotabase

Career

· Professor, KU Leuven1999–
· Research Assistant and Postdoc, KU Leuven1983–1999
· Degree in Applied Sciences (Computer Science), Catholic University of Leuven1978–1983
· Humaniora (Latin-Mathematics), Sint-Lutgardisschool Antwerpen1972–1978
· Doctoral Studies, KU Leuven

Publications (286)

Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation
The Journal of Logic Programming · 1990
177
cited
Abstract Interpretation: Towards the Global Optimization of Prolog Programs
International Conference on Spoken Language Processing · 1987
123
cited
An Instance of Abstract Interpretation Integrating Type and Mode Inferencing
ICLP/SLP · 1988
107
cited
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems · 1996
93
cited
Equivalence checking of static affine programs using widening to handle recurrences
TOPL · 2008
83
cited
Query Transformations for Improving the Efficiency of ILP Systems
Journal of machine learning research · 2003
81
cited
Multi-dimensional incremental loop fusion for data locality
Proceedings IEEE International Conference on Application-Specific Systems, Architectures, and Processors. ASAP 2003 · 2003
69
cited
Executing Query Packs in ILP
International Conference on Inductive Logic Programming · 2000
56
cited
Towards digesting the alphabet-soup of statistical relational learning
2008
49
cited
The Impact of Abstract Interpretation: An Experiment in Code Generation
International Conference on Logic Programming · 1989
46
cited
Storage Size Reduction by In-place Mapping of Arrays
International Conference on Verification, Model Checking and Abstract Interpretation · 2002
43
cited
Verification of Source Code Transformations by Program Equivalence Checking
International Conference on Compiler Construction · 2005
36
cited
Functional equivalence checking for verification of algebraic transformations on array-intensive source code
Design, Automation and Test in Europe · 2005
35
cited
Scheduling for PPCG
2017
35
cited
Dedicated Tabling for a Probabilistic Setting
International Conference on Logic Programming · 2010
33
cited
Predicate logic as a modeling language: the IDP system
Declarative Logic Programming · 2018
30
cited
Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
International Conference on Logic Programming · 2001
25
cited
On the Practicality of Abstract Equation Systems
International Conference on Logic Programming · 1995
24
cited
Transformation to Dynamic Single Assignment Using a Simple Data Flow Analysis
Asian Symposium on Programming Languages and Systems · 2005
23
cited
Under Consideration for Publication in Theory and Practice of Logic Programming the Kb Paradigm and Its Application to Interactive Configuration
23
cited
Sotabase
Gerda Janssens | Researcher Profile | Sotabase | Sotabase