TITLES IN DEVELOPMENT

Forthcoming titles in the ACM Books Series are subject to change and will be published as they become available, with 25 titles to be published in each Collection. Upon publication, each of the following books will appear in the ACM Digital Library and be accessible to those with full-text access in both PDF and ePub formats. Individual titles will be available for purchase at Amazon and Barnes & Noble. Please click on the title names below for more information.


In Development


Artificial Intelligence and Society
(Collection III)
Author(s): Ayan Mukhopadhyay and Yevgeniy Vorobeychik

Abstract:

The collection of essays on Artificial Intelligence and Society provides the first systematic and comprehensive coverage of how the field of Artificial Intelligence (AI) has impacted society. The book is centered around five sections---sustainability, health, smart cities and urban planning, privacy and security, and fairness, accountability, and transparency. Each section will consist of several tutorial-style essays discussing specific societal challenges, relevant background material (mathematical and algorithmic), a brief literature review, the core algorithmic content, and a description of how the societal challenge has been addressed. The ultimate aim of this edited volume is to enlighten students about how AI algorithms and data-driven modeling have impacted society from a diverse range of perspectives and impact areas.

Behavior Informatics
Author(s): Longbing Cao

Abstract:

Behavior Informatics emerges as an important tool for discovering behavior intelligence and behavior insight. As a computational concept, behavior captures the aspects of the demographics of behavioral subjects and objects. Accordingly, a behavior model captures the subject and the object of a behavior or behavior sequence, the activities conducted by its subject on objects, and the relationships between activities. This book introduces some of the real-life applications of behavior informatics in core business, capital markets and government services.

Big Sequence Management and Analytics
Author(s): Themis Palpanas and Kostas Zoumpatianos

Abstract:

This books describes recent efforts in designing techniques for indexing and mining truly massive collections of data series that will enable scientists to easily analyze their data, and presents a vision for the future in big sequence management research.

Curiosity, Clarity, and Caring: How Jim Gray’s Passion for Learning, Teaching, and People Changed Computing
(Collection III)
Author(s): Pat Helland

Abstract:

This book in the ACM Turing Award series focuses on the life and contributions of Jim Gray. Jim was dedicated to the mentoring, nurturing, and development of individuals and the scientific community with a special emphasis on computer science education, and his curiosity and passion for learning led him into new and uncharted areas within systems computing. The book follows Jim’s exploration of eight major areas of systems computing: systems, transactions, databases, availability, performance, sort, scale, and eScience.

Electronic Voting Systems
Author(s): Thomas Haines and Peter Roenne

Abstract:

Historically, lack of transparency and low standards for e-voting system implementations have resulted in a culture where open source code is seen as a gold standard; however, this ignores the issue of the comprehensibility of that code. This books makes concrete empirical recommendations based on experiences and findings from examining the source code of e-voting systems. It highlights that any solution used for significant elections should be well-designed, carefully analyzed, deftly built, accurately documented and expertly maintained.

Foundations of Computation and Machine Learning: The Work of Leslie Valiant
(Collection III)
Author(s): Rocco Servedio

Abstract:

ACM Books is pleased to announce the signing of a new book in our Turing Award series, Foundations of Computation and Machine Learning: The Work of Leslie Valiant, edited by Rocco Servedio of Columbia University.

Valiant received the prestigious ACM Turing Award in 2010 for "transformative contributions to the theory of computation, including the theory of probably approximately correct (PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing." The book will feature a short biography of Valiant, as well as analysis of his seminal works by today's leading computer scientists.

Functional Algorithms, Verified
Author(s): Tobias Nipkow et al.

Abstract:

This book is an introduction to data structures and algorithms for functional languages, with a focus on proofs. It covers both functional correctness and running time analysis.

Human-centric Software Engineering
Author(s): Josh Grundy

Pointer Analysis: Theory and Practice
(Collection III)
Author(s): Uday Khedker

Abstract:

Pointer analysis provides information to disambiguate indirect reads and writes of data through pointers and indirect control flow through function pointers or virtual functions. The book focuses on fundamental concepts instead of trying to cover the entire breadth of the literature on pointer analysis. Bibliographic notes point the reader to relevant literature for more details. Rather than being driven completely by pointer analysis’s practical effectiveness, the book evolves the concepts from the first principles based on the language features, brings out the interactions of different abstractions at the level of ideas, and finally, relates them to practical observations and the nature of practical programs.

Science of Software Product Lines
Author(s): Don Batory

View Published Titles