How to build a recommendation system for software engineering -- behaviors as design components of cyber-physical systems -- a control-theoretic approach to self-adaptive systems and an application to cloud-based software -- consistency in distributed systems -- software mining studies: goals, approaches, artifacts, and replicability -- theory of programs.