RAPL

Rutgers Architecture and Programming Languages Research Group

CoRE 329, Department of Computer Science, Rutgers University

We investigate techniques to build robust and secure computer systems with program analysis and lightweight formal methods. The source code for the active projects are available on Rutgers-APL github.

News

Members

Former members

Publications

Support

Our research group is supported by gifts and grants from the Intel Corporation, Google Inc, and the National Science Foundation: NSF CAREER Award, the NSF-STARSS Grant, and the NSF-TC Sub-award