Communications of the ACM
Latest Research
From Communications of the ACM
Technical Perspective: Is There a Geek Gene?
"Evidence that Computer Science Grades Are Not Bimodal" uses empirical methods to determine if belief in innate differences may explain why CS teachers see a bimodality...
From Communications of the ACM
Evidence That Computer Science Grades Are Not Bimodal
There is a common belief that grades in computer science courses are bimodal. We devised a psychology experiment to understand why CS educators hold this belief...
From Communications of the ACM
Technical Perspective: The Scalability of CertiKOS
The authors of "Building Certified Concurrent OS Kernels" illustrate that formal verification can scale up to a moderate-size program (6,500 lines of C) that has...
From Communications of the ACM
Building Certified Concurrent OS Kernels
In this work, we present CertiKOS, a novel compositional framework for building verified concurrent OS kernels.
From Communications of the ACM
Technical Perspective: Do You Know Why Your Web Pages Load Faster?
"Taking a Long Look at QUIC," by Arash Molavi Kakhki et al., is a bold attempt to unearth the reasons why QUIC works better than TCP.
From Communications of the ACM
Taking a Long Look at QUIC: An Approach for Rigorous Evaluation of Rapidly Evolving Transport Protocols
There is a need for alternative techniques for understanding and evaluating QUIC when compared with previous transport-layer protocols.
From Communications of the ACM
Technical Perspective: Back to the Edge
"Heterogeneous Von Neumann/Dataflow Microprocessors" describes an innovative approach to exploit both CDFG and EDGE computation models.
From Communications of the ACM
Heterogeneous Von Neumann/Dataflow Microprocessors
This work studies the potential of a paradigm of heterogeneous execution models by developing a specialization engine for explicit-dataflow (SEED) and integrating...
From Communications of the ACM
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...
From Communications of the ACM
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'...
From Communications of the ACM
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...
From Communications of the ACM
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.
From Communications of the ACM
Technical Perspective: Making Sleep Tracking More User Friendly
"LIBS: A Bioelectrical Sensing System from Human Ears for Staging Whole-Night Sleep Study" provides a nice balance in terms of minimizing the burden on users and...
From Communications of the ACM
LIBS: A Bioelectrical Sensing System from Human Ears for Staging Whole-Night Sleep Study
We explore a new form of wearable systems, called LIBS, that can continuously record biosignals such as brain wave, eye movements, and facial muscle contractions...
From Communications of the ACM
Technical Perspective: Backdoor Engineering
"Where Did I Leave My Keys?" by Checkoway et al. reports on the amazing independent reconstruction of a backdoor, discovered in the firmware of a VPN router commonly...
From Communications of the ACM
Where Did I Leave My Keys?: Lessons from the Juniper Dual EC Incident
In this paper, we describe the results of a full independent analysis of the ScreenOS randomness and VPN key establishment protocol subsystems, which we carried...
From Communications of the ACM
Technical Perspective: Is Your WiFi a Sensor?
"Emotion Recognition Using Wireless Signals" shows that not only can the heartrate be counted with accuracy comparable to ECG devices, but the variabilities of...
From Communications of the ACM
Emotion Recognition Using Wireless Signals
This paper demonstrates a new technology that can infer a person's emotions from RF signals reflected off his body.
From Communications of the ACM
Technical Perspective: Graphs, Betweenness Centrality, and the GPU
"Accelerating GPU Betweenness Centrality" by McLaughlin and Bader ably addresses the challenges to authors of efficient graph implementations in the important context...
From Communications of the ACM