Communications of the ACM 2015 — papers

The works of Communications of the ACM published in 2015 that our library holds (publisher: Association for Computing Machinery): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

279works that year 1work in our library 508citations of these works

Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

Commonsense reasoning and commonsense knowledge in artificial intelligenceErnest Davis, Gary F. Marcus428 citations · our summary
Exascale computing and big data ↗Daniel A. Reed, Jack J. Dongarra418 citations
How Amazon web services uses formal methods ↗Chris Newcombe, Tim Rath, Fan Zhang et al.349 citations
Bitcoin ↗Aviv Zohar327 citations
Passwords and the evolution of imperfect authentication ↗Joseph Bonneau, Cormac Herley, Paul C. van Oorschot et al.258 citations
In defense of soundiness ↗Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis et al.238 citations
Framing sustainability as a property of software quality ↗Patricia Lago, Sedef Akinli Koçak, Ivica Crnković et al.229 citations
Propositions as types ↗Philip L. Wadler177 citations
Security challenges for medical devices ↗Johannes R. Sametinger, Jerzy W. Rozenblit, Roman Lysecky et al.167 citations
Verifying computations without reexecuting them ↗Michael Walfish, Andrew J. Blumberg164 citations

All works of the year (279)

The most cited first; 1 with our summary link to their page here, the others to the original.

Commonsense reasoning and commonsense knowledge in artificial intelligenceErnest Davis, Gary F. Marcus428 citations · our summary
Exascale computing and big data ↗Daniel A. Reed, Jack J. Dongarra418 citations
How Amazon web services uses formal methods ↗Chris Newcombe, Tim Rath, Fan Zhang et al.349 citations
Bitcoin ↗Aviv Zohar327 citations
Passwords and the evolution of imperfect authentication ↗Joseph Bonneau, Cormac Herley, Paul C. van Oorschot et al.258 citations
In defense of soundiness ↗Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis et al.238 citations
Framing sustainability as a property of software quality ↗Patricia Lago, Sedef Akinli Koçak, Ivica Crnković et al.229 citations
Propositions as types ↗Philip L. Wadler177 citations
Security challenges for medical devices ↗Johannes R. Sametinger, Jerzy W. Rozenblit, Roman Lysecky et al.167 citations
Verifying computations without reexecuting them ↗Michael Walfish, Andrew J. Blumberg164 citations
Colored Petri nets ↗Kurt Jensen, Lars Michael Kristensen155 citations
What makes Paris look like Paris? ↗Carl Doersch, Saurabh Singh, Abhinav Gupta et al.151 citations
Inductive programming meets the real world ↗Sumit Gulwani, José Hernández‐Orallo, Emanuel Kitzelmann et al.136 citations
Local Laplacian filters ↗Sylvain Paris, Samuel William Hasinoff, Jan Kautz133 citations
Soylent ↗Michael S. Bernstein, Greg Little, Robert C. Miller et al.116 citations
Open data and civic apps ↗Melissa Lee, Esteve Almirall, Jonathan Douglas Wareham88 citations
Spatial computing ↗Shashi Shekhar, Steven Feiner, Walid G. Aref87 citations
Internet use and psychological well-being ↗Robert E. Kraut, Moira Burke81 citations
Rise of concerns about AI ↗Thomas G. Dietterich, Eric Horvitz76 citations
Unifying logic and probability ↗Stuart Russell75 citations
Using rhetorical structure in sentiment analysis ↗Alexander Hogenboom, Flavius Frăsincar, Franciska M. G. de Jong et al.71 citations
Managing your digital life ↗Serge Abiteboul, Benjamin André, Daniel Kaplan65 citations
The real software crisis ↗Shriram Krishnamurthi, Jan Vítek64 citations
Privacy implications of health information seeking on the web ↗Timothy Libert63 citations
To govern IT, or not to govern IT? ↗Carlos Juiz, Mark Toomey61 citations