Sign In

Communications of the ACM

Research Archive


Archives

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

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

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.

Read CACM in a free mobile app!
Access the latest issue, plus archived issues and more
ACM Logo
  • ACM CACM apps available for iPad, iPhone and iPod Touch, and Android platforms
  • ACM Digital Library apps available for iOS, Android, and Windows devices
  • Download an app and sign in to it with your ACM Web Account
Find the app for your mobile device
ACM DL Logo