Deepak Garg

Home Papers Research group Teaching Service Contact

Current

Ph.D. students:
- Vaastav Anand (co-advised with Antoine Kaufmann)
- Kimaya Bedarkar (co-advised with Derek Dreyer and Björn Brandenburg)
- Roberta De Viti (co-advised with Peter Druschel)
- Pierfrancesco Ingo (co-advised with Peter Druschel)
- Janine Lohse (co-advised with Derek Dreyer)
- Jan Christian Menz
- Niklas Mück (co-advised with Derek Dreyer)

Past

Ph.D. students:
- Michael Sammler
  Automated and Foundational Verification of Low-Level Programs .
  Thesis defended December, 2023 at Saarland University.
  - Recipient of the Dr.-Eduard-Martin-Prize
  Co-advised with Derek Dreyer.
- Mohamed Alzayat
    Efficient request isolation in Function-as-a-Service.
    Thesis defended March, 2023 at Saarland University.
    Co-advised with Peter Druschel.
- Akram El-Korashy
  In absentia from July, 2022
- Aastha Mehta
    Ensuring Compliance with Data Privacy and Usage Policies in Online Services.
    Thesis defended November, 2020 at Saarland University.
    Co-advised with Peter Druschel.
- Eslam Elnikety
    Comprehensive and Practical Policy Compliance in Data Retrieval Systems.
    Thesis defended June, 2020 at Saarland University.
    Co-advised with Peter Druschel.
- Dave Swasey
  Quit in June, 2020
  Co-advised with Derek Dreyer.
- Vineet Rajani
  A type-theory for higher-order amortized analysis.
  Thesis defended April, 2020 at Saarland University.
- Anjo Vahldiek-Oberwagner
    Techniques to protect confidentiality and integrity of persistent and in-memory data.
    Thesis defended February, 2019 at Saarland University.
    Co-advised with Peter Druschel.
- Abhishek Bichhawat
    Practical dynamic information flow control.
    Thesis defended June, 2018 at Saarland University.
    Co-advised with Christian Hammer.
- Ezgi Cicek
  Relational cost analysis.
  Thesis defended January, 2018 at Saarland University.
Post-docs:
- Andrew Hirsch, 2019-2022.
- Willard Rafnsson, 2016-18.
- Marco Patrignani, 2015-17.
- Roly Perera, 2012-13 (6 months).
Masters' students:
- Janine Lohse
  Expected Cost Analysis in Iris.
  Finished September, 2024 at Saarland University.
- Maxi Wuttke
  Sound and Relatively Complete Coeffect and Effect Refinement Type Systems for Call-by-push-value PCF.
  Finished July, 2021 at Saarland University.
- Iulia Bastys (Bolosteanu)
  Asymmetric secure multi-execution.
  Finished December, 2016 at Saarland University.
- Akram El-Korashy
  A formal model for capability machines: An illustrative case study towards secure compilation to CHERI.
  Finished September, 2016 at Saarland University.
- Mohamed Alzayat
    PolSim: Automatic policy validation via meta-data flow simulation.
    Finished September, 2016 at Saarland University.
    Co-advised with Peter Druschel.
- Zoe Paraskevopoulou
  Self-adjusting computation for CostIt.
  Finished August, 2015 at ENS Cachan.
Interns:
- Kushagra Gupta, undergraduate intern, IIT-Delhi, 05/24-07/24.
- Rohan Srinivasan, undergraduate intern, BITS-Pilani, 01/24-05/24.
- Paul Eichler, research immersion lab, Saarland University, 09/22-02/24.
- Marcel Ullrich, research immersion lab, Saarland University, 11/20-04/21.
- Julian Rosemann, research immersion lab, Saarland University, 01/20-10/20.
- Joseph Cutler, undergraduate intern, Wesleyan University, 05/20-08/20.
- Navneel Singhal, undergraduate intern, IIT-Delhi, 04/20-07/20.
- Peixuan Li, Penn State University, 06/19-09/19.
- Hizbullah Abdul Aziz, Saarland University, 09/18-06/19.
- Jan Menz, Saarland University, 09/18-04/19.
- Michael Sammler, FAU Erlangen-Nuremberg, 08/18-12/18.
- Maximilian Schwenger, research immersion lab, Saarland University, 02/17-04/17.
- Venkat Arun, undergraduate intern, IIT-Guwahati, 05/16-07/16.
- Ivan Radicek, TU-Vienna, 08/15-12/15.
- Anirban Chatterjee, Amazon, 04/15-08/15.
- Jinank Jain, undergraduate intern, IIT-Jodhpur, 05/15-07/15.
- Pierre-Léo Bégay, undergraduate intern, ENS Cachan, 06/14-08/14.

Imprint / Data Protection