Professor
UNC Computer Science, Chapel Hill, North Carolina, United StatesThe Computer Science Department of the University...
Communications of the ACM
January 2019
- Using Remote Cache Service for Bazel
- Research for Practice: Security for the Modern Age
- SQL Is No Excuse to Avoid DevOps
- The Church-Turing Thesis: Logical Limit or Breachable Barrier?
- Framework for Implementing a Big Data Ecosystem in Organizations
- Autonomous Tools and Design: A Triple-Loop Approach to Human-Machine Learning
More Replicas of Historical Calculating Machines Found
01.11.2019Documenting the discovery of several previously unknown replicas of historical computing devices made by Roberto A. Guatelli.
The Ethical Responsibilities of the Student or End-User Programmer
01.06.2019If a student's program goes awry, who is responsible? How do we protect society and encourage people to learn about …
Computer Science Relies on the Opposite of Godel's Results
12.26.2018The first-order theories of Gödel's results necessarily leave mathematical objects ill-defined.
National Health Service Trials AI Software to Diagnose Breast Cancer
01.17.2019Several European companies have trained artificial intelligence to detect signs …
Efficiency, Innovation Mark Research In Future Memories
01.17.2019The U.S. National Science Foundation is exploring multiple approaches.
Proof-of-Concept Malware Reveals Smart Building Vulnerabilities
01.16.2019Researchers warn smart building-targeting malware is the next step in …
Who Owns 3D Scans of Historic Sites?
Three-dimensional scanning can be used to protect or rebuild historic structures, but who owns that digital data?
Quantum Leap
A new proof supports a 25-year-old claim of the unique power of quantum computing.
