SONYC: A System for Monitoring, Analyzing, and Mitigating Urban Noise Pollution
SONYC integrates sensors, machine listening, data analytics, and citizen science to address noise pollution in New York City.
Research and Advances
Advertisement
Blockchains From a Distributed Computing Perspective
The roots of blockchain technologies are deeply interwoven in distributed computing.
Separation logic is a key development in formal reasoning about programs, opening up new lines of attack on longstanding problems.
Technical Perspective: How Economic Theories Can Help Computers Beat the Heat
The authors of "Distributed Strategies for Computational Sprints" bring the rich theory of allocating scarce resources to the challenge of managing computational sprinting in datacenters.
Scalable Computation of High-Order Optimization Queries
We present a complete system that supports package queries, a new query model that extends traditional database queries to handle complex constraints and preferences over answer sets, allowing the declarative specification and efficient evaluation of a significant class of constrained optimization problems—ILP—within a database.
Distributed Strategies for Computational Sprints
We describe a computational sprinting architecture in which many, independent chip multiprocessors share a power supply and sprints are constrained by the chips' thermal limits and the rack's power limits.
Technical Perspective: Attacking Cryptographic Key Exchange with Precomputation
"Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice," by David Adrian et al., illustrates the importance of taking preprocessing attacks into account when choosing cryptographic parameters.
Imperfect Forward Secrecy: How Diffie-Hellman Fails in Practice
We investigate the security of Diffie-Hellman key exchange as used in popular Internet protocols and find it to be less secure than widely believed.
The Church-Turing Thesis: Logical Limit or Breachable Barrier?
In its original form, the Church-Turing thesis concerned computation as Alan Turing and Alonzo Church used the term in 1936—human computation.
Framework for Implementing a Big Data Ecosystem in Organizations
Featuring the various dimensions of data management, it guides organizations through implementation fundamentals.
Autonomous Tools and Design: A Triple-Loop Approach to Human-Machine Learning
In addition to having a detailed understanding of the artifacts they intend to create, designers need to guide the software tools they use.
Intelligent Systems for Geosciences: An Essential Research Agenda
A research agenda for intelligent systems that will result in fundamental new capabilities for understanding the Earth system.
Deception, Identity, and Security: The Game Theory of Sybil Attacks
Classical mathematical game theory helps to evolve the emerging logic of identity in the cyber world.
Face2Face: Real-Time Face Capture and Reenactment of RGB Videos
Face2Face is an approach for real-time facial reenactment of a monocular target video sequence (e.g., Youtube video). Our goal is to animate the facial expressions of the target video by a source actor and re-render the manipulated output video in a photo-realistic fashion.
Technical Perspective: Photorealistic Facial Digitization and Manipulation
If facial performance capture is possible for conventional RGB videos in real time, then believable facial expressions can be transferred effortlessly from one person to another in a live-action scenario. This capability is demonstrated by the system of Thies et al. detailed in "Face2Face: Real-Time Face Capture and Reenactment of RGB Videos."
Uncertainty in Current and Future Health Wearables
Expect inherent uncertainties in health-wearables data to complicate future decision making concerning user health.
Designing Emotionally Sentient Agents
Emotionally sentient systems will enable computers to perform complex tasks more effectively, making better decisions and offering more productive services.
Search-based Program Synthesis
A promising, useful tool for future programming development environments.
How to Implement Any Concurrent Data Structure
We propose a method called Node Replication (NR) to implement any concurrent data structure.
Bringing the Web Up to Speed with WebAssembly
WebAssembly is the first mainstream language designed from the start with a formal semantics. It not only demonstrates the feasibility of applying formal techniques, but also that they lead to a remarkably clean and simple design.
Promoting Common Sense, Reality, Dependable Engineering
Peter G. Neumann traces a lifetime devoted to identifying computing risks.
Technical Perspective: WebAssembly: A Quiet Revolution of the Web
"Bringing the Web Up to Speed with WebAssembly," by Rossberg et al., gives an overview of the initial design of WebAssembly, a new low-level programming language for Web-based software.
Technical Perspective: Node Replication Divides to Conquer
In "How to Implement Any Concurrent Data Structure," Calciu et al. show that a concurrent data structure can be built automatically and that its performance is actually competitive with state-of-the-art designs for a series of important workloads.
A Century-Long Commitment to Assessing Artificial Intelligence and Its Impact on Society
A series of reports promises the general public a technologically accurate view of the state of AI and its societal implications.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More