Rutgers Architecture and Programming Languages Research Group

CoRE 333, Department of Computer Science, Rutgers University

santosh Matan Shachnai Sehyeok Park Harishankar Vishwanathan Alborz Jelvani
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.



Former members



Our research group is supported by gifts and grants from the Intel Corporation, Google Inc, Facebook, and the National Science Foundation: NSF SHF Grant 2021, NSF FMITF Track I grant, NSF FMiTF Track II grant, NSF SHF Grant, NSF CAREER Award, NSF-STARSS Grant, and NSF-TC Sub-award

Old Group Photos

rapl-students Adarsh-PLDI 2015 David PLDI 2015