A Simple Abstraction for Complex Concurrent Indexes

Title:	A Simple Abstraction for Complex Concurrent Indexes
Authors:	Da Rocha Pinto, P Dinsdale-Young, T Dodds, M Gardner, PA Wheelhouse, M
Item Type:	Conference Paper
Issue Date:	22-Oct-2011
Date of Acceptance:	22-Oct-2011
URI:	http://hdl.handle.net/10044/1/30346
DOI:	https://dx.doi.org/10.1145/2048066.2048131
ISBN:	978-1-4503-0940-0
Publisher:	Association for Computing Machinery
Start Page:	845
End Page:	864
Journal / Book Title:	OOPSLA '11 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Copyright Statement:	©2011 ACM New York, NY, USA. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in OOPSLA '11 Proceedings, (2011) http://doi.acm.org/10.1145/2048066.2048131
Conference Name:	2011 ACM international conference on Object oriented programming systems languages and applications
Keywords:	Science & Technology Technology Computer Science, Information Systems Computer Science, Software Engineering Computer Science Concurrency Indexes B-Trees Separation Logic
Start Date:	2011-10-22
Finish Date:	2011-10-27
Conference Place:	Portland, OR
Appears in Collections:	Computing Faculty of Engineering