معرفی
Deepak Garg is a researcher at the Max Planck Institute for Software Systems (MPI-SWS) in Germany. His work primarily focuses on secure compilation, type theory, and formal verification of software systems.
- Conference Roles: He has served as an author and committee member in premier programming language conferences such as POPL, PLDI, ICFP, and ESOP since 2015.
Research Interests include:
- Secure compilation techniques for hyperproperty preservation.
- Modal and refined type theories for cost analysis and concurrency.
- Formal verification of C code and probabilistic programs.
- Compiler correctness and decentralized multi-language verification.
Contributions span foundational research in programming languages, with a focus on security, complexity, and concurrency. His work has been published in tracks like PriSC, OOPSLA, and ESOP, addressing topics such as data-flow back-translation and robust property preservation.
۰مقاله منتشرشده
