Time approximation tool for concurrent programs
Services provided by cloud service providers are in general regulated by a service-level agreement (SLA). Violations of SLA may entail expensive penalties. The service provider needs to ensure that the service is able to meet the SLA, for example, in terms of the end-user response time, by deciding on a resource management policy and determining the appropriate number of virtual machine instances (or containers) and their parameter settings (e.g., their CPU speeds).
A basic theory  has been developed to approximate execution time of current tasks running on virtual machine instances. The challenge now is to turn the theory into a useful tool for practical use. A prospective student would try to implement the analysis for concurrent programs written in the ABS language , which is an executable, high-level, object-oriented concurrent modelling language developed
 E. Giachino, E. B. Johnsen, C. Laneve, and K. I Pun (2015). Time Complexity of Concurrent Programs. FACS 2015, LNCS Vol. 9539, pp. 199 - 216.