Simon Spinner

Main research areas:

• Software Performance Engineering
• System Modeling and Simulation
• Run-Time Performance and Resource Management
• Online Performance Model Extraction

Technology domains:

• Virtualization
• Cloud Computing
• Enterprise Systems

• Google Faculty Research Award
  On-the-fly resource demand estimation during system operation
• PRISMA
  Efficient Algorithms and Methods for Online Extraction of Performance Models in Virtualized Environments (funded by DFG)
• VMware Academic Research Award
  Online model-based performance and resource management in virtualized application environments.
• LibReDE
  LibReDE is an open-source library for resource demand estimation providing a set of ready-to-use implementations of common estimation approaches.
• Descartes Modeling Language
  A modeling language for online performance and resource management.
• QPME
  QPME (Queueing Petri net Modeling Environment) is an open-source tool for stochastic modeling and analysis based on the Queueing Petri Net (QPN) modeling formalism.
• MetASys
  Industrial project developing a method for requirements specification and modelling for large-scale naval systems.

I am involved in teaching the following regular lecture: Software-Technik.

Supervised Theses:

• Jürgen Walter. Parallel Simulation of Queueing Petri Net Models. Master's thesis, Karlsruhe Institute of Technology (KIT), October 2013.
• Can Alexander Yavuz. Überwachung des effektiven Kontrollflusses einer mehrschichtigen Anwendung. Bachelor's thesis (in German), Karlsruhe Institute of Technology (KIT), April 2013.
  

• IEEE International Conference on Data Engineering (ICDE), 2014
• IEEE/IFIP Network Operations And Management Symposium (NOMS), 2014
• International Conference on Software Engineering (ICSE), 2013
• International Conference on Parallel Processing (ICPP), 2013
• International Conference on Autonomic Computing (ICAC), 2013
• International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS), 2012
• International Conference on Performance Engineering (ICPE), 2012
• International Conference on the Quality of Software Architectures (QoSA), 2012