Communications of the ACM
Research Archive
The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
November 2015
From Communications of the ACM
Technical Perspective: Treating Networks Like Programs
"Software Dataplane Verification" takes existing static checking of networks to a new level by checking the real code in the forwarding path of a Click router using classical software verification tools, and not just a model…
From Communications of the ACM
Technical Perspective: The Path to Light Transport
"Geometric Tools for Exploring Manifolds of Light Transport Paths" presents a technique to address the challenging problems of light transport.
From Communications of the ACM
Software Dataplane Verification
We present the result of working iteratively on two tasks: designing a domain-specific verification tool for packet-processing software, while trying to identify a minimal set of restrictions that packet-processing software must…
From Communications of the ACM
Geometric Tools For Exploring Manifolds of Light Transport Paths
We provide a geometric solution to the longstanding problem of light simulations by representing light paths as points in an abstract high-dimensional configuration space that is defined by a system of constraint equations.