Scalable Software for Multicores
Project: Research
- Chockler, Gregory (PI)
| 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