eHT Explore

Start Over Thesis Supervisor John Joseph Hannan Author Last Name Patel Access Level restricted_to_institution

1. Compiler Support for Offloading off-the-shelf Applications to PIM Cores

restricted_to_institution

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:: LLVM
PIM
Compiler
Processing in memory
File:: Login to Download
Thesis Supervisors:: Anand Sivasubramaniam, Thesis Supervisor
John Joseph Hannan, Thesis Honors Advisor
Vijaykrishnan Narayanan, Faculty Reader

2. Formal verification of approximate differential privacy via the characteristic function

restricted_to_institution

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 Privacy
Formal Verification
Programming Languages
File:: Login to Download
Thesis Supervisors:: Danfeng Zhang, Thesis Supervisor
Danfeng Zhang, Thesis Honors Advisor
John Joseph Hannan, Faculty Reader