ACM Digital Library home
ACM home

ACM Digital Library

Skip slideshow

Recognizing that many computing researchers, practitioners, and academics continue to work remotely, the ACM DL has implemented several options for remote access through subscribing institutions. Please contact your library or ACM to request this access. [email protected]

Welcome to the ACM Digital Library

A community engaged with a repository of resources to support computing research and practice

Please explore and use the [Feedback] button on any page to help us

shape the new site.

Youtube Channel

华夏配资

View Profile
View Profile
View Profile
View Profile
View Profile
View Profile
View Profile
View Profile
View Profile
View Profile

Ayanna Maccalla Howard

ACM Athena Lecturer Award 2021
For fundamental contributions to the development of accessible human-robotic systems and artificial intelligence along with forging new paths to broaden participation in computing through entrepreneurial and mentoring efforts
View Profile

Margaret Martonosi

ACM-IEEE CS Eckert-Mauchly Award 2021
For contributions to the design, modeling, and verification of power-efficient computer architecture
View Profile

Satoshi Matsuoka

ACM Gordon Bell Prize 2021
For "Digital transformation of droplet/aerosol infection risk assessment realized on "Fugaku" for the fight against COVID-19"
View Profile

Mert Hidayetoğlu

ACM-IEEE CS George Michael Memorial HPC Fellowships 2021
For contributions in scalable sparse applications using fast algorithms and hierarchical communication on supercomputers with multi-GPU nodes
View Profile

David A Abramson

ACM-IEEE CS Ken Kennedy Award 2021
For innovation in parallel and distributed computing tools with broad applications, as well as leadership contributions to professional service, creating international technical communities, and mentoring
View Profile

George Em Karniadakis

SIAM/ACM Prize in Computational Science and Engineering 2021
For advancing spectral elements, reduced-order modeling, uncertainty quantification, dissipative particle dynamics, fractional PDEs, and scientific machine learning, while pushing applications to extreme computational scales and mentoring many leaders.
View Profile

Alfred V Aho

ACM A. M. Turing Award 2020
For fundamental algorithms and theory underlying programming language implementation and for synthesizing these results and those of others in their highly influential books, which educated generations of computer scientists.
View Profile

Jeffrey D. Ullman

ACM A. M. Turing Award 2020
For fundamental algorithms and theory underlying programming language implementation and for synthesizing these results and those of others in their highly influential books, which educated generations of computer scientists.
View Profile

Hector Joseph Levesque

ACM AAAI Allen Newell Award 2020
For fundamental contributions to knowledge representation and reasoning, and their broader influence within theoretical computer science, databases, robotics, and the study of Boolean satisfiability
View Profile

Moshe Y Vardi

ACM AAAI Allen Newell Award 2020
For contributions to the development of logic as a unifying foundational framework and a tool for modeling computational systems
View Profile

华夏配资_十大炒股可靠_个人配资公司_场外配资官网

ACM Authors

Shuchi Grover

Stanford University
K-12 education

Vicki L Hanson

University of Dundee
Touch screens

Alireza Ahadi

University of Technology Sydney
Computer science education

Dejan Kostić

KTH Royal Institute of Technology
Distributed architectures

Meng Wang

Hefei University of Technology
Functional languages

Frank Wm Tompa

University of Waterloo
Database design and models

Derek Foster

University of Lincoln
Education

Luca Padovani

University of Turin
Type structures

Gopinaath Kannabiran

Indiana University Bloomington
Human computer interaction (HCI)

Philippe Bonnet

IT University of Copenhagen
Database query processing and optimization (theory)

Viktor Vafeiadis

Max Planck Institute for Software Systems
Formal languages and automata theory

C. Kupke

University of Strathclyde
Logic

Sydney Pratte

University of Calgary
Human-centered computing

Daniel J. Finnegan

University of Bath
Interaction design

Rommel Sánchez Verdejo

Universitat Politécnica de Catalunya
Massively parallel and high-performance simulations

Lorrie Faith Cranor

Carnegie Mellon University
Human and societal aspects of security and privacy

Martha A. Kim

Columbia University
Embedded and cyber-physical systems

Kaori Ikematsu

Ochanomizu University
Human computer interaction (HCI)

Till Kletti

Naver Labs Corporation

M. L. Bourguet

Queen Mary University of London
Human computer interaction (HCI)
View all

ACM Books

Book CoverNEW

Probabilistic and Causal Inference: The Works of Judea Pearl

2022

Professor Judea Pearl won the 2011 Turing Award “for fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning.” This book contains the original articles that led to the award, as ...

Read More
Book CoverNEW

Applied Affective Computing

2022

Affective computing is a nascent field situated at the intersection of artificial intelligence with social and behavioral science. It studies how human emotions are perceived and expressed, which then informs the design of intelligent agents and systems ...

Read More
Book CoverNEW

Theories of Programming: The Life and Works of Tony Hoare

2021

Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have been widely recognised: He was awarded the ACM’s Turing ...

      Read More
      Book CoverNEW

      The Handbook on Socially Interactive Agents: 20 years of Research on Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics Volume 1: Methods, Behavior, Cognition

      2021

      The Handbook on Socially Interactive Agents provides a comprehensive overview of the research fields of Embodied Conversational Agents, Intelligent Virtual Agents, and Social Robotics. Socially Interactive Agents (SIAs), whether virtually or physically ...

      Read More
      View All New Releases

      ACM Special Interest Groups (SIGs)

      Skip slideshow

      • 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.
        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.
        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.

      • SIGAda Special Interest Group on Ada Programming Language

        The ACM Special Interest Group on Ada Programming Language provides a forum on all aspects of the Ada language and technologies, including usage, education, standardization, design methods, and compiler implementation. SIGAda's annual conference addresses Ada's role in building industrial-strength applications that support mission-critical, safety-critical, real-time, distributed, high-assurance, and high-integrity requirements. Supporting technologies that SIGAda focuses on include software engineering, software development processes, object technology, computer science education, tools, Common Object Request Broker Architecture (CORBA), and Java.
        The ACM Special Interest Group on Ada Programming Language provides a forum on all aspects of the Ada language and technologies, including usage, education, standardization, design methods, and compiler implementation. SIGAda's annual conference addresses Ada's role in building industrial-strength applications that support mission-critical, safety-critical, real-time, distributed, high-assurance, and high-integrity requirements. Supporting technologies that SIGAda focuses on include software engineering, software development processes, object technology, computer science education, tools, Common Object Request Broker Architecture (CORBA), and Java.

      • 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.
        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.
        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.
        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".
        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.
        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.
      View all SIGs

      ACM Collections

      Skip slideshow

      ACM International Conference Proceeding Series (ICPS)

      The ACM International Conference Proceeding Series (ICPS) provides a mechanism to publish the contents of conferences, technical symposia and workshops in the ACM Digital Library, increasing their visibility among the international computing community.

      View More
      ACM classic books collection
      classic badge

      ACM Classic Book Series

      This list of classic books is the result of a poll ACM conducted where members named their favorite computer science books.

      View More

      Hosted Content

      Collection of Journals from affiliated publishers.

      View More
      ACM Oral History interviews

      ACM Oral History interviews

      View More
      ACM Curricula Recommendations

      ACM Curricula Recommendations

      In the decades since the 1960s, ACM, along with leading professional and scientific computing societies, has endeavored to tailor...

      View More

      NSF Workshop Reports

      The National Science Foundation's (NSF) Directorate for Computer and Information Science and Engineering (CISE) has a long history of funding community “visioning” workshops that aim to bring together experts from academia, industry, and government to engage in open discussions about future...

      View More
      Dataset Artifacts

      Dataset Artifacts

      View More
      Software Artifacts

      Software Artifacts

      View More
      Computing Reviews

      Computing Reviews

      View More

      Case Studies

      Case studies look retrospectively at challenges and problems already addressed, while attempting to draw out some of the lessons learned in the course of those endeavors (so readers needn't learn those lessons for themselves the hard way).

      View More

      ACM TechBriefs

      ACM TechBriefs is a series of short technical bulletins, which present a balanced perspective on the impact of specific developments or applications of technology.

      View More

      ACM Journals

      Skip slideshow
      View all Journals

      ACM Proceedings

      View all ACM Conferences

      Most Popular ACM Articles

      ACM Conferences

      IUI '22

      IUI '22: 27th International Conference on Intelligent User Interfaces

      March 22 - 25, 2022
      Helsinki , Finland
      ISPD '22

      ISPD '22: International Symposium on Physical Design

      March 27 - 30, 2022
      Virtual Event , Canada
      PPoPP '22

      PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

      April 2 - 6, 2022
      Seoul , Republic of Korea
      CGO '22

      CGO '22: 22nd IEEE/ACM International Symposium on Code Generation and Optimization

      April 2 - 6, 2022
      Seoul , Republic of Korea
      EuroSys '22

      EuroSys '22: Seventeenth European Conference on Computer Systems

      April 5 - 8, 2022
      RENNES , France
      SAC '22

      SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing

      April 25 - 29, 2022
      Virtual Event ,
      View All Conferences

      ACM Magazines

      Skip slideshow
      View all Magazines

      Recently Loaded Issues and Proceedings

      RSS

      Available in the DL within the past 2 weeks:

      ACM Computing Surveys

      Vol 55, Issue 3

      ACM Computing Surveys

      Vol 55, Issue 2

      ACM Computing Surveys

      Vol 55, Issue 1

      ACM Journal of Experimental Algorithmics

      Vol 27

      ACM Computing Surveys

      Vol 54, Issue 9

      ACM SIGWEB Newsletter

      Issue Winter

      ACM Transactions on Multimedia Computing, Communications, and Applications

      Vol 18, Issue 4

      ACM Computing Surveys

      Vol 54, Issue 8

      ACM Transactions on Knowledge Discovery from Data

      Vol 16, Issue 5

      ACM Transactions on Information Systems

      Vol 40, Issue 4

      ACM Transactions on Spatial Algorithms and Systems

      Vol 8, Issue 3

      ACM Transactions on Management Information Systems

      Vol 13, Issue 3

      ACM Transactions on Reconfigurable Technology and Systems

      Vol 15, Issue 3

      ACM Computing Surveys

      Vol 54, Issue 7

      ACM Transactions on Multimedia Computing, Communications, and Applications

      Vol 18, Issue 3

      ACM Transactions on Internet Technology

      Vol 22, Issue 3

      ACM Transactions on Knowledge Discovery from Data

      Vol 16, Issue 4

      ACM Transactions on Software Engineering and Methodology

      Vol 31, Issue 3

      ACM Transactions on Asian and Low-Resource Language Information Processing

      Vol 21, Issue 4

      ACM Transactions on Design Automation of Electronic Systems

      Vol 27, Issue 4

      ACM Transactions on Information Systems

      Vol 40, Issue 3

      ACM Journal on Emerging Technologies in Computing Systems

      Vol 18, Issue 3

      ACM Computing Surveys - Invited Tuturial

      Vol 54, Issue 6

      ACM Transactions on Computing Education

      Vol 22, Issue 2

      Journal of Data and Information Quality

      Vol 14, Issue 2

      ACM Transactions on Management Information Systems

      Vol 13, Issue 2

      ACM Transactions on Graphics

      Vol 41, Issue 3

      ACM Transactions on Architecture and Code Optimization

      Vol 19, Issue 2

      ACM Transactions on Human-Robot Interaction

      Vol 11, Issue 2

      ACM Transactions on Quantum Computing

      Vol 3, Issue 2

      ACM Transactions on Intelligent Systems and Technology

      Vol 13, Issue 3

      ACM Transactions on Reconfigurable Technology and Systems

      Vol 15, Issue 2

      ACM Transactions on Spatial Algorithms and Systems

      Vol 8, Issue 2

      ACM Transactions on Computer-Human Interaction

      Vol 29, Issue 3

      Digital Threats: Research and Practice

      Vol 3, Issue 2

      ACM Computing Surveys

      Vol 54, Issue 5

      ACM Transactions on Knowledge Discovery from Data

      Vol 16, Issue 3

      ACM Transactions on Internet of Things

      Vol 3, Issue 2

      ACM Transactions on Sensor Networks

      Vol 18, Issue 2

      ACM Transactions on Storage

      Vol 18, Issue 2

      ACM Transactions on Privacy and Security

      Vol 25, Issue 2

      ACM Transactions on Multimedia Computing, Communications, and Applications

      Vol 18, Issue 2

      ACM Transactions on Design Automation of Electronic Systems

      Vol 27, Issue 3

      ACM Transactions on Asian and Low-Resource Language Information Processing

      Vol 21, Issue 3

      ACM Computing Surveys

      Vol 54, Issue 4

      ACM Transactions on the Web

      Vol 16, Issue 2

      ACM Transactions on Internet Technology

      Vol 22, Issue 2

      ACM Journal on Emerging Technologies in Computing Systems

      Vol 18, Issue 2

      ACM Transactions on Algorithms

      Vol 18, Issue 2

      Journal of the ACM

      Vol 69, Issue 2

      ACM Transactions on Intelligent Systems and Technology

      Vol 13, Issue 2

      ACM Transactions on Software Engineering and Methodology

      Vol 31, Issue 2

      ACM Transactions on Modeling and Computer Simulation

      Vol 32, Issue 2

      ACM Transactions on Computing for Healthcare

      Vol 3, Issue 2

      ACM Transactions on Graphics

      Vol 41, Issue 2

      ACM Transactions on Computational Logic

      Vol 23, Issue 2

      ACM Transactions on Information Systems

      Vol 40, Issue 2

      ACM Transactions on Computer-Human Interaction

      Vol 29, Issue 2

      ACM Computing Surveys

      Vol 54, Issue 3

      ACM Transactions on Knowledge Discovery from Data

      Vol 16, Issue 2

      ACM Transactions on Architecture and Code Optimization

      Vol 19, Issue 1

      ACM Transactions on Computation Theory

      Vol 14, Issue 1

      ACM Transactions on Spatial Algorithms and Systems

      Vol 8, Issue 1

      ACM Computing Surveys

      Vol 54, Issue 2

      ACM Transactions on Interactive Intelligent Systems

      Vol 12, Issue 1

      ACM Transactions on Embedded Computing Systems

      Vol 21, Issue 2

      ACM Transactions on Accessible Computing

      Vol 15, Issue 1

      ACM Transactions on Mathematical Software

      Vol 48, Issue 1

      ACM Transactions on Design Automation of Electronic Systems

      Vol 27, Issue 2

      ACM Transactions on Economics and Computation

      Vol 10, Issue 1

      ACM Transactions on Human-Robot Interaction

      Vol 11, Issue 1

      Journal of Data and Information Quality

      Vol 14, Issue 1

      ACM Transactions on Parallel Computing

      Vol 9, Issue 1

      ACM Transactions on Asian and Low-Resource Language Information Processing

      Vol 21, Issue 2

      ACM Transactions on Reconfigurable Technology and Systems

      Vol 15, Issue 1

      ACM Transactions on Quantum Computing

      Vol 3, Issue 1

      ACM Transactions on Programming Languages and Systems

      Vol 44, Issue 1

      Digital Threats: Research and Practice

      Vol 3, Issue 1

      ACM Transactions on Management Information Systems

      Vol 13, Issue 1

      ACM Transactions on Computing Education

      Vol 22, Issue 1

      ACM Transactions on Evolutionary Learning and Optimization

      Vol 2, Issue 1

      LAK22: 12th International Learning Analytics and Knowledge Conference

      LAK22

      ACM SIGIR Conference on Human Information Interaction and Retrieval

      CHIIR '22

      Proceedings of the 23rd Annual International Workshop on Mobile Computing Systems and Applications

      HotMobile '22

      Proceedings of the 2022 ACM/IEEE International Conference on Human-Robot Interaction

      HRI '22

      Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V. 2

      SIGCSE 2022

      Proceedings of the 1st Conference on Mile-High Video

      MHV '22

      Ubiquity

      Vol 2022, Issue March

      Interactions

      Vol 29, Issue 2

      ACM Inroads

      Vol 13, Issue 1

      Communications of the ACM

      Vol 65, Issue 3

      Queue - Persistence

      Vol 20, Issue 1

      Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems

      ASPLOS '22

      Probabilistic and Causal Inference: The Works of Judea Pearl

      ACM Books

      ACM Transactions on Storage

      Vol 18, Issue 1

      ACM Transactions on Intelligent Systems and Technology

      Vol 13, Issue 1

      Journal of the ACM

      Vol 69, Issue 1

      ACM Transactions on Graphics

      Vol 41, Issue 1

      ACM Transactions on Multimedia Computing, Communications, and Applications

      Vol 18, Issue 1s

      ACM Transactions on Internet Technology

      Vol 22, Issue 1

      Journal on Computing and Cultural Heritage

      Vol 15, Issue 1

      ACM Transactions on Computer-Human Interaction

      Vol 29, Issue 1

      ACM Transactions on Privacy and Security

      Vol 25, Issue 1

      ACM Transactions on Internet of Things

      Vol 3, Issue 1

      ACM Transactions on Sensor Networks

      Vol 18, Issue 1

      ACM Transactions on the Web

      Vol 16, Issue 1

      ACM Transactions on Knowledge Discovery from Data

      Vol 16, Issue 1
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!