Towards Critical Abstraction for Software

Abstract:

Abstraction in computer science is typically understood as the process of generalization that removes non-essential details and captures key shared characteristics across multiple instances. This is a limited view of abstraction when contrasted with fields like art, architecture, media theory, or philosophy, where abstraction has been repeatedly re-examined and re-imagined, providing space for self-reflection and critical discourse. To show that abstraction can play a similarly critical role in computer science, we examine three pairs of related software artifacts where one part of each pair uses abstraction in a conventional way, while the other invites critical reflection. We demonstrate how different modes of abstraction express critical ideas about computing, in the form of software artifacts. Taken together, we argue that pluralistic approaches to abstraction can make computing a more self-reflective field aware of the methodological and sociopolitical issues it faces.

BibTeX:

@inproceedings{chung_towards_2026,
    title = {{Towards Critical Abstraction for Software}},
    author = {Chung, Alice Mira and Hayatpur, Devamardeep and Guo, Philip J. and Petricek, Tomas},
    year = {2026},
    booktitle = {{Proceedings of the 2026 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software}},
    publisher = {Association for Computing Machinery},
    series = {{Onward! '26}},
    location = {New York, NY, USA},
    doi = {10.1145/3840586.3843748},
    isbn = {979-8-4007-2934-8},
    pages = {215--228},
    url = {https://dl.acm.org/doi/10.1145/3840586.3843748},
}

Proceedings paper