Daniel Speicher Email & Phone Number

Research statement: The focus of my own work is the definition of statically verifiable statements about desired structures (e.g. design pattern or as well immutability) or unwanted structures (e.g., so-called "bad smells"), including the evolution of these statements [5]. As our infrastructure [7] uses Prolog at its core, we were able to prototypically apply results about update propagation. Based on these we can calculate how analysis results would change in consequence of a code restructuring, without having to carry out the restructuring [2]. As further elements of static analysis, we used the program dependence graph to identify the similarities and differences in cloned methods [3]. We used type constraints for type generalization analysis [6,7]. In an existing approach for finding recurring patterns in software using formal concept analysis, we were able to elaborate the aspect of interaction [1]. In [4] I sketched the proposal to implement tests for static analysis as annotated source code. Our plug-in displays as well the test result in the code. Using this approach, our students wrote significantly more tests than before. In this respect, I envision the integration of elements of prototyping into the process of developing static analyses.[1] Heckmann, Speicher: Interactive Exploration of Structural Concepts in Code, IC3K 2012[2] Tantius, Speicher, Behrend: Towards an Application of Update Propagation on Logic Programs Representing Java Source Code, WLP 2012[3] Speicher, Bremm: Clone Removal in Java Programs as a Process of Stepwise Unification, WLP 2012[4] Speicher, Nonnen, Bremm: Code Museums as Functional Tests for Static Analyses, WSR 2012, Extended Abstract[5] Speicher: Code Quality Cultivation, IC3K 2011[6] Speicher, Appeltauer, Kniesel: Code Analyses for Refactoring by Source Code Patterns and Logical Queries, WRT ’07[7] Speicher, Rho, Kniesel: JTransformer – Eine logikbasierte Infrastruktur zur Codeanalyse, WSR 2007

Listed skills include Software Engineering, Design Patterns, Computer Science, Refactoring, and 22 others.