Behavioural Properties and Dynamic Software Update for Concurrent Programs

Gabrielle Austen Anderson

Research output: Contribution to conferencePaper

Abstract

I provide two verification techniques for concurrent code. The first guarantees that values obtained from shared resources are of the expected type, and that accesses to shared resources will not deadlock. The second enforces access control on sequences of actions using policy automata. I also provide the first definition and proof of safe dynamic software update for behavioural properties of concurrent systems. I include techniques that reduce verification costs of behavioural properties and update safety.
Original languageEnglish
Publication statusPublished - 2011
EventGrace Hopper Celebration of Women in Computing - Portland, Oregon, United States
Duration: 9 Nov 201112 Nov 2011

Conference

ConferenceGrace Hopper Celebration of Women in Computing
CountryUnited States
CityPortland, Oregon
Period9/11/1112/11/11

Fingerprint

Access control
Costs

Cite this

Anderson, G. A. (2011). Behavioural Properties and Dynamic Software Update for Concurrent Programs. Paper presented at Grace Hopper Celebration of Women in Computing, Portland, Oregon, United States.

Behavioural Properties and Dynamic Software Update for Concurrent Programs. / Anderson, Gabrielle Austen.

2011. Paper presented at Grace Hopper Celebration of Women in Computing, Portland, Oregon, United States.

Research output: Contribution to conferencePaper

Anderson, GA 2011, 'Behavioural Properties and Dynamic Software Update for Concurrent Programs' Paper presented at Grace Hopper Celebration of Women in Computing, Portland, Oregon, United States, 9/11/11 - 12/11/11, .
Anderson GA. Behavioural Properties and Dynamic Software Update for Concurrent Programs. 2011. Paper presented at Grace Hopper Celebration of Women in Computing, Portland, Oregon, United States.
Anderson, Gabrielle Austen. / Behavioural Properties and Dynamic Software Update for Concurrent Programs. Paper presented at Grace Hopper Celebration of Women in Computing, Portland, Oregon, United States.
@conference{a15be198803b47e8be94b78b1cc16192,
title = "Behavioural Properties and Dynamic Software Update for Concurrent Programs",
abstract = "I provide two verification techniques for concurrent code. The first guarantees that values obtained from shared resources are of the expected type, and that accesses to shared resources will not deadlock. The second enforces access control on sequences of actions using policy automata. I also provide the first definition and proof of safe dynamic software update for behavioural properties of concurrent systems. I include techniques that reduce verification costs of behavioural properties and update safety.",
author = "Anderson, {Gabrielle Austen}",
year = "2011",
language = "English",
note = "Grace Hopper Celebration of Women in Computing ; Conference date: 09-11-2011 Through 12-11-2011",

}

TY - CONF

T1 - Behavioural Properties and Dynamic Software Update for Concurrent Programs

AU - Anderson, Gabrielle Austen

PY - 2011

Y1 - 2011

N2 - I provide two verification techniques for concurrent code. The first guarantees that values obtained from shared resources are of the expected type, and that accesses to shared resources will not deadlock. The second enforces access control on sequences of actions using policy automata. I also provide the first definition and proof of safe dynamic software update for behavioural properties of concurrent systems. I include techniques that reduce verification costs of behavioural properties and update safety.

AB - I provide two verification techniques for concurrent code. The first guarantees that values obtained from shared resources are of the expected type, and that accesses to shared resources will not deadlock. The second enforces access control on sequences of actions using policy automata. I also provide the first definition and proof of safe dynamic software update for behavioural properties of concurrent systems. I include techniques that reduce verification costs of behavioural properties and update safety.

M3 - Paper

ER -