Special Session Modular Analysis of Software: Theory and Applications
organized by Michel Schellekens, NUI, Cork
The special session focuses on modular quantitative analysis of
software. Quantitative aspects of software include running time, power use
and memory use. The study of these topics is relevant to Real-Time
programmers, Embedded Systems designers and broadly the areas of Programming
Languages, Software Engineering and Analysis of Algorithms. The purpose of
the session is to unite researchers with a common interest in these areas
and to encourage interaction with industry. During the session an overview
and demonstration will be given of the Modular Average-Case Timing
techniques developed at CEOL.
Contributed Papers
Modular Timing; An overview of CEOL research
M. Schellekens
A comparative study of new MOQA algorithms
D. Devlin, D. Hickey
A Randomness-Preserving Binary Search
C. Gosset
Evaluation of MOQA Theoretical Average-Case Timing; Results on a
Real-Time Platform.
M. Boubekeur, D. Hickey, M. Schellekens
Sorting algorithms in MOQA - a programming language that enables
automated Average-Case Analysis
J. Townley
Functionally-Generalised MOQA Operations
T. Vallee
Reconstruction of Partial Orders
J. Manning, T. Vallee
To the list of special sessions
