1. Compiler Support for Offloading off-the-shelf Applications to PIM Cores Restricted (Penn State Only) Author: Patel, Aditya Title: Compiler Support for Offloading off-the-shelf Applications to PIM Cores Area of Honors: Computer Science Keywords: LLVMPIMCompilerProcessing in memory File: Login to Download Thesis Supervisors: Anand Sivasubramaniam, Thesis SupervisorJohn Joseph Hannan, Thesis Honors AdvisorVijaykrishnan Narayanan, Faculty Reader
2. Formal verification of approximate differential privacy via the characteristic function Restricted (Penn State Only) Author: Patel, Aaryan Title: Formal verification of approximate differential privacy via the characteristic function Area of Honors: Computer Science Keywords: Differential PrivacyFormal VerificationProgramming Languages File: Login to Download Thesis Supervisors: Danfeng Zhang, Thesis SupervisorDanfeng Zhang, Thesis Honors AdvisorJohn Joseph Hannan, Faculty Reader