ACM Digital Library

ACM Authors

Science of Software Product Lines

Don Batory

2026

This text is about compositional programming, where programs are constructed by composing prewritten software building blocks. Three modern compositional paradigms are covered, listed in order of decreasing emphasis:

A Software Product Line is a design ...

NEW

Turing’s Children: How His Ideas Have Shaped the Modern World

2026

This book explores the profound legacy of Alan Turing, and how his five great ideas have been developed by the winners of the Turing Prize to shape the digital world we live in today. These five groundbreaking concepts–universal computability and ...

NEW

Turning Points in the Analog and Digital World

Herbert Bruderer

2025

This book presents “the digital age” as a central theme, covering digital transformation, social media, artificial intelligence, autonomous drones and mobile robots as well as self-driving vehicles. Among many other topics, the author also discusses ...

NEW

Multi-LLM Agent Collaborative Intelligence: The Path to Artificial General Intelligence

Edward Y. Chang

2025

Today’s large language models excel at pattern recall yet falter on long-range planning, self-critique, context loss, and the tendency of maximum-likelihood training to reward popularity over quality. MACI offers a promising route to AGI by orchestrating ...

NEW

Biomedical Embedded Systems: From Design to Security

2025

Biomedical systems—such as pacemakers and automated insulin pumps—are Cyber-Physical Systems (CPSs) that must operate safely and reliably at all times. This book introduces a systematic design methodology for Medical CPSs (MCPSs) using the synchronous ...

NEW

Functional Data Structures and Algorithms: A Proof Assistant Approach

Tobias Nipkow

2025

This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic ...

View All New Releases

ACM Special Interest Groups (SIGs)

EIGREP Emerging Interest Group on Reproducibility and Replicability

The Emerging Interest Group on Reproducibility and Replicability (REP) provides a distinct community of researchers focused on the reproducibility, sustainability, independent verification, model testing, benchmark data, guidelines and standard; while simultaneously promoting best practice across the ACM by working with interested parties to include their requirements into the tools, technologies, methodologies and techniques developed as best practice within the EIG. The EIG is not only an extension of the work already underway via the ACM SIG Governing Board and the ACM Publications Board, but supports developers of future tools, technologies, methodologies and techniques; outreaches into communities which may not feel/be included; disseminates best practice and training resources interested parties; and, supports and advises in the practical implementation of our work at conferences, journals, and other venues. Further, by gathering and disseminating the collective knowledge obtained by the different SIGs in their reproducibility efforts we can capitalize on the work already invested in ACM's Reproducibility and Replicability community and ensure the legacy of the effort, within the ACM and externally to other organizations.

SIGACCESS Special Interest Group on Accessible Computing

ACM SIGACCESS supports the international community of researchers and professionals applying computing and information technologies to empower individuals with disabilities and older adults. The SIG also promotes the professional interests of students and computing personnel with disabilities and strives to educate the public to support careers for people with disabilities.

SIGACT Special Interest Group on Algorithms & Computation Theory

The ACM Special Interest Group on Algorithms and Computation Theory is an international organization that fosters and promotes the discovery and dissemination of high quality research in theoretical computer science (TCS), the formal analysis of efficient computation and computational processes. SIGACT, through its awards program, recognizes individuals who have made significant contributions to the field in research and service. TCS covers a wide variety of topics including algorithms, data structures, computational complexity, parallel and distributed computation, probabilistic computation, quantum computation, automata theory, information theory, cryptography, program semantics and verification, machine learning, computational biology, computational economics, computational geometry, and computational number theory and algebra. Work in this field is often distinguished by its emphasis on mathematical technique and rigor.

SIGAI Special Interest Group on Artificial Intelligence

The scope of SIGAI, ACM's Special Interest Group on Artificial Intelligence, consists of the study of intelligence and its realization in computer systems. SIGAI's mission is to promote and support AI-related conferences. Members receive reduced registration rates to all affiliated conferences. Members also receive proceedings from the major SIGAI-sponsored conferences. SIGAI publishes a quarterly newsletter, AI Matters, with ideas and announcements of interest to the AI community.

SIGAPP Special Interest Group on Applied Computing

The ACM Special Interest Group on Applied Computing, ACM's primary applications-oriented SIG, offers practitioners and researchers the opportunity to share mutual interests in innovative applications, technology transfer, experimental computing, strategic research, and the management of computing. This SIG also promotes widespread cooperation among business, government, and academic computing programs. Members receive reduced rates to the SAC Conference.

SIGARCH Special Interest Group on Computer Architecture

SIGARCH serves a unique community of computer professionals working at the forefront of computer design in both industry and academia. It is ACM's primary forum for interchange of ideas about tomorrow's hardware and its interactions with compilers and operating systems. SIGARCH sponsors or co-sponsors a number of conferences, including the annual international Symposium on Computer Architecture (ISCA). SIGARCH also offers Member Plus proceedings benefits to members when available.

SIGBED Special Interest Group on Embedded Systems

SIGBED is intended to be a focal point within ACM for all aspects of embedded computing systems, including both software and hardware. Embedded systems has come to be recognized as a key discipline, which includes new computer and systems science foundations, new design technology, and new hardware and software frameworks. Members of the SIGBED community serve on the editorial board of ACM's publication, "ACM Transactions on Embedded Computing Systems" and the upcoming "ACM Transactions on Sensor Networks".

SIGBio Special Interest Group on Bioinformatics, Computational Biology

The ACM Special Interest Group on Bioinformatics, Computational Biology, and Biomedical Informatics (SIGBio) bridges computer science, mathematics, statistics with biology and biomedicine. The mission of ACM SIGBio is to improve our ability to develop advanced research, training, and outreach in Bioinformatics, Computational Biology, and Biomedical Informatics by stimulating interactions among researchers, educators and practitioners from related multi-disciplinary fields.