It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
Proposals for narrowing the gap between the formal methods and networking communities.
Jonathan M. Smith
Advertisement
Author Archives
Toward Algorithmic Transparency and Accountability
There is a common misconception that algorithms automatically result in unbiased decisions.
Programming the Quantum Future
The Quipper language offers a unified general-purpose programming framework for quantum computation.
On Public Service and Computer Science
Members of the computer science community should become more involved in public service by becoming program managers at federal agencies, the opportunities and benefits of which are outlined here.
Fighting Physics: A Tough Battle
The laws of physics and the Internet's routing infrastructure affect performance in a big way.
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 Involved