Communications of the ACM
Refine your search:
Soundness and Completeness: With Precision
The two key properties of program analysis are dual of each other.
From [email protected]
The Artificialistic Fallacy
Ethics discussions of artificial intelligence reveal a fallacy of omission.
From [email protected]
What Is a Variable?
A stab at a definition, for outsiders, of what we in computing mean by the term "variable" raises more questions than it answers.
From [email protected]
FictionStein
Science fiction like Frankenstein nudges readers to confer humanity but nudges them away from moral fortitude.
From [email protected]
Tech User Responsibility
User support presents serious challenges that are aggravated by indeterminate client responsibility.
From [email protected]
First-Class Philosophical Failure
Interrogation of "first-class object" as an analog to human life goes nowhere.
From [email protected]
Articulation of Decision Responsibility
Can we establish a locution for the results of a program that does not ascribe decision-making power?
From [email protected]
Examples of Phenomenology in Computing
The branch of philosophy known as phenomenology can broaden our understanding of what is really going on in the tasks we address with computing.
From [email protected]
Tech Ethics at Work
Ethics for Tech must address how professional issues play out in the workplace, in real life.
From [email protected]
Human Acts and Computer Apps
Our behaviors often seem to mimic the procedures that we induce in computers. What questions does that raise?
From [email protected]
It's Not the 'Why' Chromosome, It's the 'How'
Women do like the raw technical aspects of computer science.
From [email protected]
On the Ethics of Cyberwar
Keith Abney of the Ethics + Emerging Sciences group of California Polytechnic State University surveys the moral landscape of cyberwar.
From [email protected]
Deep Dictionary
The abstraction from big data on English words of distributed vector representations computing simple semantic aspects has drawn interest from the computing community...
From [email protected]
The Ethical Problem of Software Neglect
We call the problem of mediocre sofware "neglect," and we pitch it in ethical terms by noting that it illustrates a failure of the ethics of care.
From [email protected]
Operating Systems as Possible Worlds
Is a comparison between operating systems, which are analyzed by software engineers for conditional execution paths, and possible worlds, which are analyzed by...
From [email protected]
Ethical Theories Spotted in Silicon Valley
Some of the prevailing theories of ethics surface in modern high tech. We take a quick and rather superficial look at their tracks on the ground, noting especially...
From [email protected]
Fact Versus Frivolity in Facebook
Facebook, for the sake of its own business integrity and for the sake of the public, should give up any attempt to guarantee veracity in items posted by users.
From [email protected]
The Work and Inspiration of the Commission on the History and Philosophy of Computing
The international organization HaPoC promotes and sponsors research that brings together the history and the philosophy of computing.
From [email protected]
Fiction as Model Theory
Like model theory, fiction deploys a theory and an interpretation. An interpretation that makes the statements of the theory true demonstrates consistency, in...
From [email protected]
The Work and Inspiration of the APA Newsletter on Philosophy and Computers
The Newsletter of the Committee on Computing and Philosophy of the American Philosophical Association offers a wide range of scholarly work in the philosophy of...
From [email protected]
What Makes a Program Elegant?
Most programmers would agree that some programs are elegant, and that elegant programs are better than others.12