Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 chapters)
About this book
Authors and Affiliations
About the authors
Dennis Shasha is a Julius Silver Professor of computer science at the Courant Institute of New York University and an Associate Director of NYU Wireless. In addition tohis long fascination with concurrent algorithms, he works on meta-algorithms for machine learning to achieve guaranteed correctness rates; with biologists on pattern discovery for network inference; with physicists and financial people on algorithms for time series; on database tuning; and tree and graph matching. Because he likes to type, he has written six books of puzzles about a mathematical detective named Dr. Ecco, a biography about great computer scientists, and a book about the future of computing. He has also written technical books about database tuning, biological pattern recognition, time series, DNA computing, resampling statistics, and causal inference in molecular networks. He has written the puzzle column for various publications including Scientific American, Dr. Dobb’s Journal, and currently the Communications of the ACM. He is a fellow of the ACM and an INRIA International Chair.
Thomas Wies is an Associate Professor in computer science at the Courant Institute of New York University and a member of the Analysis of Computer Systems Group. His research interests are in programming languages and formal methods with a focus on program analysis and verification, automated deduction, and correctness of concurrent software. He is the recipient of an NSF CAREER Award and has won multiple best paper awards. His fascination with concurrent tree traversals extends to his spare time: he enjoys hikes in the woods.
Bibliographic Information
Book Title: Automated Verification of Concurrent Search Structures
Authors: Siddharth Krishna, Nisarg Patel, Dennis Shasha, Thomas Wies
Series Title: Synthesis Lectures on Computer Science
DOI: https://doi.org/10.1007/978-3-031-01806-0
Publisher: Springer Cham
eBook Packages: Synthesis Collection of Technology (R0), eBColl Synthesis Collection 10
Copyright Information: Springer Nature Switzerland AG 2021
Softcover ISBN: 978-3-031-00678-4Published: 01 June 2021
eBook ISBN: 978-3-031-01806-0Published: 31 May 2022
Series ISSN: 1932-1228
Series E-ISSN: 1932-1686
Edition Number: 1
Number of Pages: X, 182