Member of the B-IT Emeritus Research Group: Artificial Intelligence Foundations.

Bonn-Aachen International Center for Information Technology B-IT
Endenicher Allee 19a, Room 1.129
D - 53115 Bonn

(Directions)

dsp at bit.uni-bonn.de

• Cultivate
  • Currently a smorgasbord of different code analysis and visualization features.
  • Behind the scenes there is a consistent set of ideas soon to break through. (Example)

• P3ML
  • Projektgekoppelter, Potentialorientierter und Praxisintegrierter Erwerb von ML Engineering Wissen
  • Jupyter Notebooks: https://p3ml.github.io/

• Context Sensitive Intelligence
  • Research towards an infrastructure for context-driven software adaptation.
  • Support developers in building adaptive software
  • Support end-users with intelligent self-adaptive software.

• ADOC-Pro
  • ADOC-Pro - our adaptive document prompter - is not a new application.
  • The situation-specific adaptation of already existing applications.
  • Proof of concept realization of the CSI approach.

• SwitchFinder
  • Web-Application based on an implementation in R developed by Dr. Svetlana Bulashevska

• Object Oriented Software Construction in 2006 till 2015. (future open)
• Advanced Topics in Software Construction in 2008 till 2013/14.
  • Was part of Information Systems Engineering in 2008 and 2009.
  • Evolved from Organizational Requirements Engineering in 2005-2007.
• Aspect Oriented Software Development in 2006-2009.
• Software Technologie in 2004-2006 (mainly exercises only).

• Seminars
  • Seminar "Programming Styles" 2014, B-IT
  • Seminar as part of the Agile Lab 2013
  • Seminar on Research Topics in Program Comprehension and -Measurements in 2012
  • Seminar as part of the Agile Lab 2011
  • Seminar as part of the project group "Model Analysis" 2010 (plus Lab)
  • Statische Programm-Analyse, WS07
  • Component and Aspect Engineering in 2003

• Agile/XP Labs
  • As one of the main organizers:
    • XP 2004 (Spring, Fall), 2005 (Spring, Fall), 2006 (Fall), 2007 (Spring), 2007 (Summer in Nanjing)
    • Agile 2008 (Fall), 2009 (Spring), 2011 (Fall), 2013 (Fall)
  • In a part time supporting role:
    • Agile 2008 (Spring), XP 2010 (Summer in Nanjing), Agile 2010 (Fall)

• Projektgruppen (Bachelor)
  • Angewandte Software Technologie: 2012, 2013

• There are some tutorials that were used in more than one lecture or lab:
  • Tutorials

• Diploma and Master Theses (Supervised by Prof. Cremers, with some contribution from my side.)
  • 2015
    • DA Sönke Gluch, “Assoziationsanalyse für die Suche nach Abweichungen im Programmcode”, 2015 (Thesis Advisor: Prof. Dr. Janis Voigtländer)
  • 2014
    • DA Nail Kücükkaya, “Interaktive Analyse von Quellcodeentwicklung”
    • DA Dennis Molter, “Transparente Typflussanalyse für Java in Cultivate”
  • 2013
    • DA Sandro Koll, “Summer Framework - An Enhanced IoC Container and AOP Framework”, 2013
    • DA Oliver Klee, “Tainted Object Propagation Analysis for PHP 5 based on Pixy”, 2013
    • MT Yahya Achmed Nahshal, “Cultivating Power Awareness in Android Applications”, 2013
  • 2012
    • DA Paul Heckmann, “Structural Concepts - Mining Structural Concepts in Object-Oriented Software”, 2012
    • DA Richard Tantius, “Predicting Refactoring Impact on Cohesion Metrics via Update Propagation”, 2012
    • DA Andri Bremm, “Klon-Refactorings - Automatische Erkennung geeigneter Refactorings zur Klon-Entfernung”, 2012
    • DA Matthias Berg, “Benutzerfreundliche Testfallentwicklung für Steuergeräte”, 2012
  • 2011
    • DA Jan Nonnen, “Naming Consistency in Source Code Identifiers”, 2011
    • DA Christopher Kurtz, “Code Gestalt - From UML Class Diagrams to Software Landscapes”, 2011, (Thesis Advisor: Prof. Dr. Jan Borchers)
    • BA Bastian Hafer, “Bad Smells und Design Pattern - Eine empirische Untersuchung”, 2011
  • 2010
    • DA Sebastian Jancke, “Smell Detection in Context”, 2010
    • DA Andreas Gasper, “Guided Automated Method Extraction Refactoring”, 2010
    • MT Heinrich Wendel, “Using Provenance to Trace Software Development Processes”, 2010
  • 2008
    • DA Sven Bartel, “Werkzeugunterstützung zur Einführung von Adaptionsstrukturen basierend auf einer Service-orientierten Architektur”, 2008
    • DA Bernd Wahlen, “Entwurf kontextsensitiver adaptiver Anwendungen: Von einer systematischen Anforderungsanalyse zu geeigneten Adaptionsstrukturen”, 2008
  • 2006
    • MT Ravindra Chilaka, “A Comparative Study of Static Software Analysis Tools with a Special Focus on Software Visualization”, 2006
    • DA Dagmar de Haan, “Refactorings als Bedingte Transformationen”, 2006

The focus of my own work is the definition of statically verifiable statements about desired structures (e.g. design pattern or properties like immutability) or unwanted structures (e.g., so-called “bad smells”), including the evolution of these statements [Speicher 2013, Speicher 2016]. As our infrastructure [Speicher, Rho, Kniesel 2007] 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 [Tantius, Speicher, Behrend 2012]. As further elements of static analysis, we used the program dependence graph to identify the similarities and differences in cloned methods [Speicher, Bremm 2012]. We used type constraints for type generalization analysis [Speicher, Appeltauer, Kniesel, 2007, Speicher, Rho, Kniesel 2007]. In an existing approach for finding recurring patterns in software using formal concept analysis, we were able to elaborate the aspect of interaction [Heckmann, Speicher 2012]. In [Speicher, Nonnen, Bremm 2012] 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.

• Daniel Speicher: “Did JHotDraw Respect the Law of Good Style? - A Deep Dive into the Nature of False Positives of Bad Code Smells.” The Art, Science, and Engineering of Programming 4.3 (2020), https://doi.org/10.22152/programming-journal.org/2020/4/14 (data)
• Andreas Metzger, Christian Kästner, Daniel Speicher: Agile Development of AI/ML-based Systems. Abstract. In Kersting, K., Kim, M., den Broeck, G. Van, & Zimmermann, T. (2020). SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091). https://doi.org/10.4230/DagRep.10.2.76 Dagstuhl Reports, 10(2), 76–87.
• Daniel Speicher, Armin Cremers: “Computational Notebooks in Public Repositories”, IPSI BgD Transactions on Internet Research 16, 1 (January 2020), http://tir.ipsitransactions.org/ (preprint)

• Daniel Speicher, Tiansi Dong, Olaf Cremers, Christian Bauckhage, Armin B. Cremers: Notes on the Code Quality Culture on Jupyter (Notebooks), 21. Workshop Software-Reengineering & Evolution (WSRE) 2019, Bad Honnef, Germany (preprint, slides, improved slides for another workshop)
• Eingeladener Vortrag bei https://www.alles-ausser-scrum.de/ zu unseren Praktika (slides).
• Presentation “P3ML's Grey Literature: Jupyter Notebooks” as part of the panel “The Open Science Publishing Flood and Collaborative Authoring”, Twenty-First International Conference on Grey Literature (notes, video)
• Christian Bauckhage, Daniel Speicher, Olaf Cremers: Accompanying Notebooks for the “NumPy / SciPy Recipes for Data Science” Series
• Daniel Speicher, Tiansi Dong: Notebooks about “Latent Dirichlet Allocation”
• Christian Bauckhage, Daniel Speicher, Lecture Notes on Machine Learning, 10 Technical Reports as part of the P3ML project, see “Project Log” at ResearchGate

• Tiansi Dong, Christian Bauckhage, Hailong Jin, Juanzi Li, Olaf Cremers, Daniel Speicher, Armin B. Cremers, Joerg Zimmermann (2019). Imposing Category Trees Onto Word-Embeddings Using A Geometric Construction . ICLR-19 Seventh International Conference on Learning Representations, May 6 – 9, New Orleans, Louisiana, USA. (Preprint at ResearchGate)
• Daniel Speicher, Tiansi Dong, Christian Bauckhage, Armin B. Cremers: Growing Executable Code-Quality-Knowledge Organically, 20. Workshop Software-Reengineering & Evolution (WSRE) 2018, Bad Honnef, Germany (preprint)

• Daniel Speicher: Concept Lattices as a Versatile Tool to Discover Knowledge in Software, Invited Talk, 7th International Workshop on Software Knowledge (SKY) 2016, Talk open to 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K) 2016, Porto, Portugal (video)
• Daniel Speicher: Mining Source Code Regularities with FCA and Association Rules, Tutorial, 7th International Workshop on Software Knowledge (SKY) 2016, Intensive School, Porto, Portugal
• Svetlana Bulashevska, Colin Priest, Daniel Speicher Jörg Zimmermann, Frank Westermann, Armin B. Cremers: SwitchFinder - a novel method and query facility for discovering dynamic gene expression patterns. BMC Bioinformatics.2016, 17:532 (http://www.biomedcentral.com/1471-2105/17/532)
• Daniel Speicher: Polishing Design Flaw Definitions, 18. Workshop Software-Reengineering & Evolution (WSRE) 2016, Bad Honnef, Germany (preprint, slides)

• Holger Mügge, Daniel Speicher, Olaf Cremers, Armin B. Cremers: Learning in Community Through Mobile Storytelling and Location-Based Game, The 8th International Conference of the ESREA Network – Perspectives on community practices - Living and learning in community, Ljubljana 2015 (preprint at sam.iai)
• Iaakov Exman, Daniel Speicher: Linear Software Models: Equivalence of Modularity Matrix to Its Modularity Lattice, International Joint Conference on Software Technologies, Colmar, Alsace, France, page 109-116. SciTePress, 2015

• Daniel Speicher, Pascal Bihler, Paul Imhoff, Günter Kniesel, Holger Mügge, Jan Nonnen, Tobias Rho, Mark von Zeschau, Armin B. Cremers: 10 Years of Agile Lab Courses for International Students, SAG WAS Workshop, GI-Jahrestagung 2013: 235-237 (abstract, poster, slides
• Daniel Speicher: Code Quality Cultivation, in A. Fred, J. Dietz, K. Liu, J. Filipe (Eds.): Knowledge Discovery, Knowledge Engineering and Knowledge Management - Communications in Computer and Information Science Volume 348, 2013, pp 334-349 (preprint, data with a correction!)
• Paul Heckmann, Daniel Speicher: Interactive Exploration of Structural Concepts in Code, in A. Fred, J. Dietz, K. Liu, J. Filipe (Eds.): Knowledge Discovery, Knowledge Engineering and Knowledge Management - Communications in Computer and Information Science Volume 415, 2013, pp 260-270 (preprint)
• Daniel Speicher, Paul Heckmann: Interaktive Exploration von Mustern in Software, WSR 2013, Extended Abstract
• Jan Nonnen, Jan Paul Imhoff, Daniel Speicher: Kanban im Universitätspraktikum - Ein Erfahrungsbericht, SEUH 2013 (paper, slides)

• Paul Heckmann, Daniel Speicher: Assisted Software Exploration using Formal Concept Analysis, SKY 2012, (slides)
• Richard Tantius, Daniel Speicher, Andreas Behrend: Towards an Application of Update Propagation on Logic Programs Representing Java Source Code, WLP 2012, (preprint, slides, CoRR)
• Daniel Speicher, Andri Bremm: Clone Removal in Java Programs as a Process of Stepwise Unification, WLP 2012, (preprint, slides, CoRR)
• Daniel Speicher: Was meint Ihr Programm? Ein gelassenes Plädoyer für Verständlichkeit in der Programmierung, OBJEKTspektrum - Ausgabe Architekturen/2012, (artikel)
• Daniel Speicher, Jan Nonnen, Andri Bremm: Code Museums as Functional Tests for Static Analyses, WSR 2012, Extended Abstract (preprint, slides)

• Daniel Speicher: Evolving Software Quality Knowledge, SKY 2011 (Paper evolved itself to Code Quality Cultivation, slides)
• Daniel Speicher, Jan Nonnen, Holger Mügge: How many realities fit into a program - Notes on the meaning of meaning for programs, SKY 2011 (preprint)
• Jan Nonnen, Daniel Speicher, Paul Imhoff: Locating the Meaning of Terms in Source Code - Research on ”Term Introduction”, WCRE 2011 (See Jan's publication list)
• Jan Nonnen, Daniel Speicher: Locating Term Introductions to support Code Comprehension, 13. Workshop Software-Reengineering(WSR) 2011, Bad Honnef, Germany (See Jan's publication list)
• Armin B. Cremers, Daniel Speicher: Remarks on Agile Labs in Bonn and Nanjing, Unpublished presentation about the history and state of our collaboration with the NUST in Nanjing and Agile in general, 2011 (slides)

• Daniel Speicher, Jan Nonnen: Consistent Considerations of Naming Consistency, 12. Workshop Software-Reengineering(WSR) 2010, Bad Honnef, Germany (preprint, slides)
• Daniel Speicher, Sebastian Jancke: Smell Detection in Context, 12. Workshop Software-Reengineering(WSR) 2010, Bad Honnef, Germany (preprint, slides)

• Daniel Speicher, Malte Appeltauer, Günter Kniesel: Code Analyses for Refactoring by Source Code Patterns and Logical Queries, WRT ’07 – 1st Workshop on Refactoring Tools, at ECOOP 2007, July 31, 2007, Berlin, Germany. (preprint)
• Daniel Speicher, Tobias Rho, Günter Kniesel: JTransformer – Eine logikbasierte Infrastruktur zur Codeanalyse, WSR'07 - 9. Workshop Software-Reengineering der GI-Fachgruppe Software-Reengineering, May 02-04, 2007, Bad Honnef, Germany ( preprint)
• Holger Mügge, Tobias Rho, Daniel Speicher, Pascal Bihler, Armin B. Cremers: Programming for Context-based Adaptability – Lessons learned about OOP, SOA, and AOP, Workshop Selbstorganisierende, Adaptive, Kontextsensitive verteilte Systeme, Bern, 2007 (See CSI publications)

• Holger Mügge, Tobias Rho, Daniel Speicher, Julia Kuck, Armin B. Cremers: Towards an Infrastructure for Context-Sensitive Intelligence. Workshop Selbstorganisierende, Adaptive, Kontextsensitive verteilte Systeme, Kassel, 2006 (See CSI publications)

• Holger Mügge, Daniel Speicher, Günter Kniesel: Extreme Programming in der Informatik-Lehre - Ein Erfahrungsbericht, In: Informatik 2004 - Beiträge der 34. Jahrestagung der GI, Lecture Notes in Informatics, P-51, ISSN 1617-5468, p. 127-141, 2004. (paper)
• Daniel Speicher, Composition of refactorings for Aspects, Poster, AOSD 2004

• Daniel Speicher, Zeitdiskrete Martingale auf metrischen Räumen nicht positiver und strikt negativer Krümmung, Diplomarbeit, August 2002, Universität Bonn

• http://aif.bit.uni-bonn.de/sam/people/DanielSpeicher/index.html

• Favorite Talks
• Favorite Books