Search

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

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