Dr Gregory Chockler
Dr Gregory Chockler
Reader in Computer Science
Phone: +44 1784 443690
Personal profile
Personal Home page: www.gchockler.com
- Published
A Constructive Approach for Proving Data Structures’ Linearizability
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Brief Announcement: Space Bounds for Reliable Multi-Writer Data Store: Inherent Cost of Read/Write Primitives
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Space Bounds for Reliable Storage: Fundamental Limits of Coding
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Information Processing Letters
Activity: Ongoing editorial work / peer review › Editor of research journal
Special Issue on Cloud Computing
Activity: Ongoing editorial work / peer review › Editor of research journal
ID: 9898182