Communications of the ACM 2015: all accepted papers
- 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
- Estonia ↗Gary Anthes57 citations
- Why people post benevolent and malicious comments online ↗SoHyun Lee, Hee‐Woong Kim53 citations
- Reaching a broader population of students through "unplugged" activities ↗Thomas J. Cortina52 citations
- The new smart cities ↗Gregory Mone51 citations
- Challenges of memory management on modern NUMA systems ↗Fabien Gaud, Baptiste Lepers, Justin Funston et al.50 citations
- Programming in K-12 science classrooms ↗Pratim Sengupta, Amanda Dickes, Amy Voss Farris et al.49 citations
- The arbitrariness of reviews, and advice for school administrators ↗John C. Langford, Mark Guzdial49 citations
- Permissionless innovation ↗Henry W. Chesbrough, Marshall Van Alstyne48 citations
- Privacy behaviors after Snowden ↗Sören Preibusch47 citations
- Why knowledge representation matters ↗Yoav Shoham47 citations
- Smart data pricing ↗Soumya Sen, Carlee Joe‐Wong, Sangtae Ha et al.46 citations
- Growing pains for deep learning ↗Chris Edwards45 citations
- Programming the quantum future ↗Benoît Valiron, Neil J. Ross, Peter Selinger et al.43 citations
- Evaluation without ground truth in social media research ↗Reza Zafarani, Huan Liu40 citations
- Software dataplane verification ↗Mihai Dobrescu, Katerina Argyraki40 citations
- Immutability changes everything ↗Pat Helland39 citations
- Network science, web science, and internet science ↗Thanassis Tiropanis, Wendy Hall, Jon Crowcroft et al.37 citations
- On the categorization of scientific citation profiles in computer science ↗Tanmoy Chakraborty, Suhansanu Kumar, Pawan Goyal et al.37 citations
- Who builds a house without drawing blueprints? ↗Leslie Lamport37 citations
- Model-based testing ↗Robert V. Binder, Bruno Legeard, Anne Krämer36 citations
- Security for mobile and cloud frontiers in healthcare ↗David F. Kotz, Kevin Fu, Carl A. Gunter et al.36 citations
- The moral challenges of driverless cars ↗Keith Kirkpatrick36 citations
- Is "good enough" computing good enough? ↗Logan Kugler33 citations
- Hacking nondeterminism with induction and coinduction ↗Filippo Bonchi, Damien Pous32 citations
- Hadoop superlinear scalability ↗Neil J. Günther, Paul Puglia, Kristofer Tomasette32 citations
- Trustworthy hardware from untrusted components ↗Simha Sethumadhavan, Adam Waksman, Matthew Suozzo et al.32 citations
- Keys under doormats ↗Harold Abelson, Ross Anderson, Steven M. Bellovin et al.31 citations
- What's the best way to teach computer science to beginners? ↗Mark Guzdial31 citations
- Convolution engine ↗Wajahat Qadeer, Rehan Hameed, Ofer Shacham et al.30 citations
- Information cartography ↗Dafna Shahaf, Carlos Guestrin, Eric Horvitz et al.30 citations
- Natural language translation at the intersection of AI and HCI ↗Spence Green, Jeffrey Heer, Christopher D. Manning29 citations
- Algebraic fingerprints for faster algorithms ↗Ioannis Koutis, Ryan Williams28 citations
- Debugging high-performance computing applications at massive scales ↗Ignacio Laguna, Dong H. Ahn, Bronis R. de Supinski et al.27 citations
- Personalizing maps ↗Andrea Ballatore, Michela Bertolotto27 citations
- Who owns IT? ↗Stephen J. Andriole27 citations
- Designing statistical privacy for your data ↗Ashwin Machanavajjhala, Daniel Kifer26 citations
- Python for beginners ↗Esther Shein24 citations
- Decoding femininity in computer science in India ↗Roli Varma, Deepak Kapur23 citations
- Discovering genes involved in disease and the mystery of missing heritability ↗Eleazar Eskin23 citations
- Innovators assemble ↗Thomas Haigh, Mark Priestley23 citations
- Non-volatile storage ↗Mihir Nanavati, Malte Schwarzkopf, Jake Wires et al.23 citations
- Automotive systems get smarter ↗Samuel Greengard22 citations
- Forging relationships ↗Neil J. Savage22 citations
- Future internets escape the simulator ↗Mark Berman, Piet M. A. Demeester, Jae Wook Lee et al.22 citations
- Learning through computational creativity ↗Leen‐Kiat Soh, Duane F. Shell, Elizabeth Ingraham et al.22 citations
- Where code comes from ↗Thomas Haigh, Mark Priestley22 citations
- Bare-metal performance for virtual machines with exitless interrupts ↗Nadav Amit, Abel Gordon, Nadav Har’El et al.21 citations
- How to de-identify your data ↗Olivia Angiuli, Joe Blitzstein, Jim Waldo21 citations
- Computing is history ↗Thomas J. Misa20 citations
- Electronic health records and patient safety ↗Muhammad Zia Hydari, Rahul Telang, William M. Marella20 citations
- Surveillance and falsification implications for open source intelligence investigations ↗Petra Saskia Bayerl, Babak Akhgar20 citations
- Teach foundational language principles ↗Thomas Ball, Benjamin G. Zorn20 citations
- Turing lectureThe computer science of concurrency ↗Leslie Lamport20 citations
- Sketch-Thru-Plan ↗Philip R. Cohen, Edward Kaiser, M. Cecelia Buchanan et al.19 citations
- Automated support for diagnosis and repair ↗Dalal Alrajeh, Jeff Kramer, Alessandra Russo et al.18 citations
- Guided exploration of physically valid shapes for furniture design ↗Nobuyuki Umentani, Takeo Igarashi, Niloy J. Mitra18 citations
- Putting the data science into journalism ↗Keith Kirkpatrick18 citations
- The case for banning killer robots ↗Ronald C. Arkin18 citations
- Toward more secure software ↗Dorothy E. Denning18 citations
- We need a building code for building code ↗Carl E. Landwehr18 citations
- Computing numerically with functions instead of numbers ↗Lloyd N. Trefethen17 citations
- Crash consistency ↗Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram V, Ramnatthan Alagappan et al.17 citations
- Fail at scale ↗Ben Maurer17 citations
- IllumiRoom ↗Brett R. Jones, Hrvoje Benko, Eyal Ofek et al.17 citations
- The science of managing data science ↗Kate Matsudaira17 citations
- Can traditional programming bridge the ninja performance gap for parallel computing applications? ↗Nadathur Satish, Changkyu Kim, Jatin Chhugani et al.16 citations
- Increasing the participation of individuals with disabilities in computing ↗Richard E. Ladner, Sheryl E. Burgstahler16 citations
- NoDB ↗Ioannis Alagiannis, Renata Borovica‐Gajic, Miguel Branco et al.16 citations
- There is no now ↗Justin Sheehy16 citations
- What can be done about gender diversity in computing? ↗Moshe Y. Vardi16 citations
- Why did computer science make a hero out of Turing? ↗Maarten Bullynck, Edgar Graham Daylight, Liesbeth De Mol16 citations
- Testing web applications with state objects ↗Arie van Deursen15 citations
- Answering enumeration queries with the crowd ↗Beth Trushkowsky, Tim Kraska, Michael J. M. Franklin et al.14 citations
- Is information technology destroying the middle class? ↗Moshe Y. Vardi14 citations
- Optimization as motion selection principle in robot action ↗Jean‐Paul Laumond, Nicolas Mansard, Jean Bernard Lasserre14 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/communications-of-the-acm/2015/papers/