Seminars at the Faculty of Informatics

The Faculty of Informatics is pleased to announce a seminar given by Petr Tuma

DATE: Monday, January 16th, 2012
PLACE: USI Università della Svizzera italiana, room A33, Red building (Via G. Buffi 13)
TIME: 15.30

We present Stochastic Performance Logic (SPL), a many-sorted logic with interpretation that makes it possible to express assertions on code performance in relative, hardware-independent terms. We show prototype integration of SPL formulas with Java code using performance annotations, for performance testing and documentation purposes.

Petr Tuma is currently associate professor and head with the Department of Distributed and Dependable Systems, Charles University. His main research interests include distributed middleware and performance evaluation of software systems; he has participated in international projects such as ITEA OSMOSE, ITEA OSIRIS, FP7 Q-ImPrESS, FP7 ASCENS.

HOST: Prof. Walter Binder

URL 1: