RAPL

Rutgers Architecture and Programming Languages Research Group

CoRE 333, Department of Computer Science, Rutgers University

rapl-students
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