1. Greedy Algorithm for approximation of the Maximum Induced Matching problem in regular graphs of girth at least six Open Access Author: Patel, Chaitanya Title: Greedy Algorithm for approximation of the Maximum Induced Matching problem in regular graphs of girth at least six Area of Honors: Computer Science Keywords: Graph TheoryInduced MatchingRegular graphsComputer Science File: Download Patel_Chaitanya_inducedmatchinginregulargraphs.pdf Thesis Supervisors: Piotr Berman, Thesis SupervisorDr. John Joseph Hannan, Thesis Honors Advisor
2. 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
3. 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