Scalable Software for Multicores - Research - Royal Holloway, University of London

Home > Computer Science home > Research > Profile > Projects > Scalable Software for Multicores

Scalable Software for Multicores

Project: Research

Chockler, Gregory (PI)

Department of Computer Science

Status	Finished
Effective start/end date	1/01/14 → 1/01/14

Funding

Royal Society: £12,000

Research outputs

A Constructive Approach for Proving Data Structures’ Linearizability
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
On Correctness of Data Structures under Reads-Write Concurrency
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

ID: 21722984

Computer Science home

Research

Profile

Royal Holloway, University of London
Egham,
Surrey,
TW20 0EX

T: +44 (0)1784 434455 T: +44 (0)1784 434455