Behavioural Properties and Dynamic Software Update for Concurrent Programs

Gabrielle Austen Anderson

Research output: Contribution to conferenceUnpublished paperpeer-review

18 Downloads (Pure)

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
Country/TerritoryUnited States
CityPortland, Oregon
Period9/11/1112/11/11

Fingerprint

Dive into the research topics of 'Behavioural Properties and Dynamic Software Update for Concurrent Programs'. Together they form a unique fingerprint.

Cite this