AESOP home

People

Dr Richard A. Hayden

Picture of Dr Richard A. Hayden

Left AESOP in August 2013.

Past member
Home page
email
rh@doc.ic.ac.uk
Office
Room 348 Huxley

Performance analysis has always suffered from the state-space explosion problem which directly prohibits the scalability of stochastic modelling as a tool for resolving resource provisioning and quality of service questions. This is especially true when applied to the recent ubiquitous breed of massively parallel distributed and peer-to-peer systems.

My research focuses on scalable asymptotic techniques based around functional laws of large numbers such as so-called fluid and mean-field analysis. In a similar vein to classical heavy-traffic analysis in the context of queueing networks, and also borrowing from ideas in chemistry and biology, these approaches have recently experienced something of a revival in the context of more general massive interacting computational systems such as might be specified formally using a stochastic process algebra or stochastic Petri nets.

40 Publications with AESOP

Book Chapters
GPA - A multiformalism, multisolution approach to efficient analysis of large scale population models [PDF]
Jeremy T. Bradley, Marcel C. Guenther, Richard Hayden, Anton Stefanek
Theory and Application of Multi-Formalism Modeling
2013
Scalable Stochastic Modelling for Resilience [PDF]
Jeremy T. Bradley, Lucia Cloth, Richard Hayden, Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
Resilience Assessment and Evaluation of Computing Systems
November, 2012
Journal Articles
Bounds on the deviation of discrete-time Markov chains from their mean-field model [PDF]
Luca Bortolussi, Richard Hayden
Performance Evaluation
2013
Product-forms in batch networks: approximation and asymptotics [PDF]
Peter G. Harrison, Richard Hayden, William J. Knottenbelt
Performance Evaluation
2013
Fluid computation of passage time distributions in large Markov models [PDF]
Richard Hayden, Anton Stefanek, Jeremy T. Bradley
Theoretical Computer Science
January, 2012
Performance specification and evaluation with Unified Stochastic Probes and fluid analysis [PDF]
Richard Hayden, Jeremy T. Bradley, A Clark
IEEE Transactions on Software Engineering
January, 2012
Fluid computation of the performance-energy trade-off in large scale Markov models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
SIGMETRICS Performance Evaluation Review
December, 2011
Mean-field approximations for performance models with generally-timed transitions [PDF]
Richard Hayden
SIGMETRICS Performance Evaluation Review
December, 2011
Invited Response to Computer Journal Lecture by Prof. Jane Hillston [PDF]
Jeremy T. Bradley, Nigel Thomas, Richard Hayden, Anton Stefanek
The Computer Journal
November, 2011
A fluid analysis framework for a Markovian process algebra [PDF]
Richard Hayden, Jeremy T. Bradley
Theoretical Computer Science
May, 2010
Evaluating fluid semantics for passive stochastic process algebra cooperation [PDF]
Richard Hayden, Jeremy T. Bradley
Performance Evaluation
April, 2010
Conference and Workshop Papers
Bounds on the deviation of discrete-time Markov chains from their mean-field model [PDF]
Luca Bortolussi, Richard Hayden
31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
2013
Product-forms in batch networks: approximation and asymptotics [PDF]
Peter G. Harrison, Richard Hayden, William J. Knottenbelt
31st International Symposium on Computer Performance, Modeling, Measurements and Evaluation (IFIP PERFORMANCE)
2013
Mean field for performance models with deterministically-timed transitions [PDF]
Richard Hayden
9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
2012
Specification and efficient computation of passage-time distributions in GPA [PDF]
Matej Kohut, Anton Stefanek, Richard Hayden, Jeremy T. Bradley
9th International Conference on Quantitative Evaluation of Systems (QEST 2012)
2012
Mean-field analysis of Markov models with reward feedback [PDF]
Anton Stefanek, Richard Hayden, Marc Mac Gonagle, Jeremy T. Bradley
ASMTA 2012, 19th International Conference on Analytic and Stochastic Modelling Techniques and Applications
2012
GPA - A tool for fluid scalability analysis of massively parallel systems [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
QEST'11, 8th International Conference on Quantitative Evaluation of Systems
October, 2011
Fluid analysis of energy consumption using rewards in massively parallel Markov models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
ICPE 2011, 2nd ACM/SPEC International Conference on Performance Engineering, March 14-16, 2011, Karlsruhe, Germany
March, 2011
A new tool for the performance analysis of massively parallel computer systems [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), March 27-28, 2010, Paphos, Cyprus
March, 2010
Shared Transaction Markov Chains for Fluid Analysis of Massively Parallel Systems [PDF] [GZipped Postscript]
Richard Hayden, Jeremy T. Bradley
MASCOTS '09, 17th Annual Meeting of the IEEE International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems
September, 2009
Fluid semantics for passive stochastic process algebra cooperation [PDF] [GZipped Postscript]
Richard Hayden, Jeremy T. Bradley
VALUETOOLS'08, 3rd International Conference on Performance Evaluation Methodologies and Tools
October, 2008
Extracting Response Times from Fluid Analysis of Performance Models [PDF] [GZipped Postscript]
Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
SIPEW'08, SPEC International Performance Evaluation Workshop, Darmstadt, 27-28 June 2008
June, 2008
Visualising Dynamic Memory Allocators [PDF]
Andrew Cheadle, A. J. Field, J.W. Ayres, N. Dunn, Richard Hayden, J. Nystrom-Persson
ISMM'06, ACM International Symposium on Memory Management
June, 2006
Tutorial
Basic Theory and Some Applications of Martingales [PDF]
Richard Hayden
12th Joint ACM SIGMETRICS/IFIP Performance Conference on Measurement and Modeling of Computer Systems
2012
Seminars
Scalable Performance Analysis of Massively Parallel Stochastic Systems
Richard Hayden
Seminar Series on Advances in Telecommunications, Networking and Computing, Budapest University of Technology and Economics (BME)
November, 2012
Scalable Performance Analysis of Massively Parallel Stochastic Systems
Richard Hayden
Laboratory for Foundations of Computer Science, University of Edinburgh
October, 2012
Scalable Performance Analysis of Massively Parallel Stochastic Systems
Richard Hayden
11th INFORMS Telecommunications Conference 2012
March, 2012
National Workshop Papers
Mean-field models for interacting battery-powered devices [PDF]
Richard Hayden
Imperial College Energy and Performance Colloquium (ICEP)
May, 2012
Toward efficient parameter sweeping and optimisation of fluid performance models by Taylor-model based symbolic numerical integration [PDF]
Richard Hayden
10th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2011)
September, 2011
Convergence of ODE approximations and bounds on performance models in the steady-state [PDF]
Richard Hayden
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
September, 2010
Hybrid analysis of large scale PEPA models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
9th Workshop on Process Algebra and Stochastically Timed Activities (PASTA 2010)
September, 2010
GPA - Tool for rapid analysis of very large scale PEPA models [PDF]
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
UKPEW'10, 26th UK Performance Engineering Workshop. 7-8th July, University of Warwick
July, 2010
A functional central limit theorem for PEPA [PDF]
Richard Hayden, Jeremy T. Bradley
8th Workshop on Process Algebra and Stochastically Timed Activities
August, 2009
Extracting Fluid Response times from PEPA models
Jeremy T. Bradley, Richard Hayden, William J. Knottenbelt, Tamas Suto
PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
July, 2008
ODE-based general moment approximations for PEPA [PDF]
Richard Hayden, Jeremy T. Bradley
PASTA'08, 7th Workshop on Process Algebra and Stochastically Timed Activities
July, 2008
Fluid-flow solutions in PEPA to the state space explosion problem [PDF] [GZipped Postscript]
Richard Hayden, Jeremy T. Bradley
PASTA 2007, 6th Workshop on Process Algebra and Stochastically Timed Activities
July, 2007
PhD Thesis
Scalable Performance Analysis of Massively Parallel Stochastic Systems [PDF]
Richard Hayden
Imperial College London
April, 2011
Technical Reports
Proceedings of Imperial College Energy and Performance Colloquium (ICEP 2012) [PDF]
Department of Computing, Imperial College London
June, 2012
Capturing the energy-performance trade-off in virtualised computing models
Anton Stefanek, Richard Hayden, Jeremy T. Bradley
Dept of Computing, Imperial College London
2011
Undergraduate project
Addressing the state space explosion problem for PEPA models through fluid-flow approximation [PDF]
Richard Hayden
Imperial College London
July, 2007

Information from pubs.doc.ic.ac.uk/authors/rh.