Practical dynamic software updating for C

I Neamtiu, M Hicks, G Stoyle, M Oriol - ACM SIGPLAN Notices, 2006 - dl.acm.org
Software updates typically require stopping and restarting an application, but many systems
cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) …

Mutatis Mutandis Safe and predictable dynamic software updating

G Stoyle, M Hicks, G Bierman, P Sewell… - ACM Transactions on …, 2007 - dl.acm.org
This article presents Proteus, a core calculus that models dynamic software updating, a
service for fixing bugs and adding features to a running program. Proteus permits a program's …

Mutatis mutandis: safe and predictable dynamic software updating

G Stoyle, M Hicks, G Bierman, P Sewell… - ACM SIGPLAN …, 2005 - dl.acm.org
Dynamic software updates can be used to fix bugs or add features to a running program
without downtime. Essential for some applications and convenient for others, low-level dynamic …

Dynamic rebinding for marshalling and update, with destruct-time?

G Bierman, M Hicks, P Sewell, G Stoyle… - ACM SIGPLAN …, 2003 - dl.acm.org
Most programming languages adopt static binding, but for distributed programming an exclusive
reliance on static binding is too restrictive: dynamic binding is required in various guises…

Charting a course through the CDS Big Bang

…, D Brigo, D Schiemert, G Stoyle - Available at SSRN …, 2009 - papers.ssrn.com
Following the recent introduction of new forms of Credit Default Swap (CDS) contracts
expressed as upfront payments plus a fixed coupon, this note examines the methodology …

The analysis of short-term rating migration in synthetic CDOs

R Hrvatin, M Neugebauer, G Stoyle - The Journal of Structured …, 2006 - pm-research.com
The credit rating on a tranche of a synthetic CDO transaction addresses the probability that
losses in the reference portfolio will not exceed that tranche's available credit enhancement (…

Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction

P Sewell, G Stoyle, M Hicks, G Bierman… - Journal of Functional …, 2008 - cambridge.org
Most programming languages adopt static binding, but for distributed programming an exclusive
reliance on static binding is too restrictive: dynamic binding is required in various guises…

[PDF][PDF] Toward practical dynamic software updating

I Neamtiu, G Stoyle, M Oriol, M Hicks - Toward practical dynamic software …, 2005 - Citeseer
Software systems are imperfect, so software updates are a fact of life. While typical software
updates require stopping and restarting the program in question, many systems cannot …

[PDF][PDF] Dynamic Rebinding for Distributed Programming

G Bierman, M Hicks, P Sewell, G Stoyle, K Wansbrough - researchgate.net
Most programming languages adopt static binding, but for distributed programming an exclusive
reliance on static binding is too restrictive: dynamic binding is required in various guises…

[PDF][PDF] Practical Dynamic Software Updating for C

INMHG Stoyle, M Oriol - pdfs.semanticscholar.org
… Iulian Neamtiu Michael Hicks Gareth Stoyle … Practical Dynamic Software Updating for
C - Neamtiu, Hicks, Stoyle, Oriol … Practical Dynamic Software Updating for C - Neamtiu …