Deepak Garg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
45
Venues
30
Active years
2005–2026
Best venue rank
A*
Where they publish
- AESOP4 papers
- AEuroSys3 papers
- A*PLDI3 papers
- AESORICS3 papers
- A*SP3 papers
- A*NDSS2 papers
- BCONCUR2 papers
- AICFP2 papers
- A*CCS2 papers
- A*ACL1 paper
- BCPP1 paper
- CWoWMoM1 paper
- A*SOSP1 paper
- A*MOBICOM1 paper
- UnrankedUCC1 paper
- BIJCNN1 paper
- AHotOS1 paper
- MulticonferenceICASSP1 paper
- A*POPL1 paper
- A*OSDI1 paper
- A*UIST1 paper
- A*CAV1 paper
- AECOOP1 paper
- AISSTA1 paper
- CAPSEC1 paper
- AICST1 paper
- A*LICS1 paper
- BAINA1 paper
- NationalICISS1 paper
- BFOSSACS1 paper
Papers
45 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | Fine-tuning vs. In-context Learning in Large Language Models: A Formal Language Learning Perspective. | Bishwamittra Ghosh, Soumi Das, Till Speicher, Qinyuan Wu, Mohammad Aflah Khan, Deepak Garg, Krishna P. Gummadi, Evimaria Terzi |
| 2026 | CPP | A Recipe for Modular Verification of Generic Tree Traversals. | Laila Elbeheiry, Michael Sammler, Robbert Krebbers, Derek Dreyer, Deepak Garg |
| 2025 | WoWMoM | Deep Reinforcement Learning Based Resource Allocation Method in Future Wireless Networks with Blockchain Assisted MEC Network. | Prakhar Consul, Ishan Budhiraja, Deepak Garg, Sachin Sharma, Ammar Muthanna |
| 2023 | EuroSys | Groundhog: Efficient Request Isolation in FaaS. | Mohamed Alzayat, Jonathan Mace, Peter Druschel, Deepak Garg |
| 2023 | SOSP | Blueprint: A Toolchain for Highly-Reconfigurable Microservice Applications. | Vaastav Anand, Deepak Garg, Antoine Kaufmann, Jonathan Mace |
| 2022 | MOBICOM | Federated learning based energy efficient scheme for MEC with NOMA underlaying UAV. | Himanshu Sharma, Ishan Budhiraja, Prakhar Consul, Neeraj Kumar, Deepak Garg, Liang Zhao, Lie Liu |
| 2022 | PLDI | Islaris: verification of machine code against authoritative ISA semantics. | Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell |
| 2022 | UCC | FLBCPS: Federated Learning based Secured Computation Offloading in Blockchain-Assisted Cyber-Physical Systems. | Prakhar Consul, Ishan Budhiraja, Rajat Chaudhary, Deepak Garg |
| 2021 | IJCNN | ScreenSeg: On-Device Screenshot Layout Analysis. | Manoj Goyal, Rachit S. Munjal, Sukumar Moharana, Deepak Garg, Debi Prasanna Mohanty, Siva Prasad Thota |
| 2021 | PLDI | RefinedC: automating the foundational verification of C code with refined ownership types. | Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg |
| 2020 | ESOP | Trace-Relating Compiler Correctness and Secure Compilation. | Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, ric Tanter, Jrmy Thibault |
| 2020 | NDSS | Finding Safety in Numbers with Secure Allegation Escrows. | Venkat Arun, Aniket Kate, Deepak Garg, Peter Druschel, Bobby Bhattacharjee |
| 2019 | ESOP | Robustly Safe Compilation. | Marco Patrignani, Deepak Garg |
| 2019 | EuroSys | ConfLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code. | Ajay Brahmakshatriya, Piyus Kedia, Derrick Paul McKee, Deepak Garg, Akash Lal, Aseem Rastogi, Hamed Nemati, Anmol Panda, Pratik Bhatu |
| 2019 | HotOS | Composing Abstractions using the null-Kernel. | James Litton, Deepak Garg, Peter Druschel, Bobby Bhattacharjee |
| 2019 | PLDI | Bidirectional type checking for relational properties. | Ezgi iek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg |
| 2018 | ESOP | Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. | Alejandro Aguirre, Gilles Barthe, Lars Birkedal, Ales Bizjak, Marco Gaboardi, Deepak Garg |
| 2017 | ESORICS | WebPol: Fine-Grained Information Flow Policies for Web Browsers. | Abhishek Bichhawat, Vineet Rajani, Jinank Jain, Deepak Garg, Christian Hammer |
| 2017 | ICASSP | Performance bounds for Poisson compressed sensing using Variance Stabilization Transforms. | Deepak Garg, Ajit Rajwade |
| 2017 | POPL | Relational cost analysis. | Ezgi iek, Gilles Barthe, Marco Gaboardi, Deepak Garg, Jan Hoffmann |
| 2016 | CONCUR | Causally Consistent Dynamic Slicing. | Roly Perera, Deepak Garg, James Cheney |
| 2016 | ICFP | A type theory for incremental computational complexity with control flow changes. | Ezgi iek, Zoe Paraskevopoulou, Deepak Garg |
| 2016 | OSDI | Light-Weight Contexts: An OS Abstraction for Safety and Performance. | James Litton, Anjo Vahldiek-Oberwagner, Eslam Elnikety, Deepak Garg, Bobby Bhattacharjee, Peter Druschel |
| 2015 | CCS | Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits. | Omar Chowdhury, Deepak Garg, Limin Jia, Anupam Datta |
| 2015 | ESOP | Refinement Types for Incremental Computational Complexity. | Ezgi iek, Deepak Garg, Umut A. Acar |
| 2015 | EuroSys | Guardat: enforcing data policies at the storage layer. | Anjo Vahldiek-Oberwagner, Eslam Elnikety, Aastha Mehta, Deepak Garg, Peter Druschel, Rodrigo Rodrigues, Johannes Gehrke, Ansley Post |
| 2015 | UIST | Investigating the "Wisdom of Crowds" at Scale. | Alok Shankar Mysore, Vikas S. Yaligar, Imanol Arrieta Ibarra, Camelia Simoiu, Sharad Goel, Ramesh Arvind, Chiraag Sumanth, Arvind Srikantan, Bhargav HS, Mayank Pahadia, Tushar Dobha, Atif Ahmed, Mani Shankar, Himani Agarwal, Rajat Agarwal, Sai Anirudh-Kondaveeti, Shashank Arun-Gokhale, Aayush Attri, Arpita Chandra, Yogitha Chilukur, Sharath Dharmaji, Deepak Garg, Naman Gupta, Paras Gupta, Glincy Mary Jacob, Siddharth Jain, Shashank Joshi, Tarun Khajuria, Sameeksha Khillan, Sandeep Konam, Praveen Kumar-Kolla, Sahil Loomba, Rachit Madan, Akshansh Maharaja, Vidit Mathur, Bharat Munshi, Mohammed Nawazish, Venkata Neehar-Kurukunda, Venkat Nirmal-Gavarraju, Sonali Parashar, Harsh Parikh, Avinash Paritala, Amit Patil, Rahul Phatak, Mandar Pradhan, Abhilasha Ravichander, Krishna Sangeeth, Sreecharan Sankaranarayanan, Vibhor Sehgal, Ashrith Sheshan, Suprajha Shibiraj, Aditya Singh, Anjali Singh, Prashant Sinha, Pushkin Soni, Bipin Thomas, Kasyap Varma-Dattada, Sukanya Venkataraman, Pulkit Verma, Ishan Yelurwar |
| 2014 | CAV | Temporal Mode-Checking for Runtime Monitoring of Privacy Policies. | Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta |
| 2014 | ECOOP | Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis. | Abhishek Bichhawat, Vineet Rajani, Deepak Garg, Christian Hammer |
| 2013 | ISSTA | Early detection of faults related to database schematic changes. | Deepak Garg, Amitava Datta |
| 2012 | APSEC | A Two-Level Prioritization Approach for Regression Testing of Web Applications. | Deepak Garg, Amitava Datta, Tim French |
| 2012 | ICFP | Superficially substructural types. | Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg |
| 2012 | ICST | Test Case Prioritization Due to Database Changes in Web Applications. | Deepak Garg, Amitava Datta |
| 2012 | LICS | Countermodels from Sequent Calculi in Multi-Modal Logics. | Deepak Garg, Valerio Genovese, Sara Negri |
| 2011 | AINA | A Publish/Subscribe Communication Infrastructure for VANET Applications. | Tulika Mishra, Deepak Garg, Manoj Madhava Gore |
| 2011 | CCS | Policy auditing over incomplete logs: theory, implementation and applications. | Deepak Garg, Limin Jia, Anupam Datta |
| 2011 | ICISS | Understanding and Protecting Privacy: Formal Semantics and Principled Audit Mechanisms. | Anupam Datta, Jeremiah Blocki, Nicolas Christin, Henry DeYoung, Deepak Garg, Limin Jia, Dilsun Kirli Kaynar, Arunesh Sinha |
| 2011 | SP | Verification of Information Flow and Access Control Policies with Dependent Types. | Aleksandar Nanevski, Anindya Banerjee, Deepak Garg |
| 2010 | SP | A Proof-Carrying File System. | Deepak Garg, Frank Pfenning |
| 2009 | ESORICS | PCAL: Language Support for Proof-Carrying Authorization Systems. | Avik Chaudhuri, Deepak Garg |
| 2009 | SP | A Logic of Secure Systems and its Application to Trusted Computing. | Anupam Datta, Jason Franklin, Deepak Garg, Dilsun Kirli Kaynar |
| 2008 | FOSSACS | A Modal Deconstruction of Access Control Logics. | Deepak Garg, Martn Abadi |
| 2007 | NDSS | Consumable Credentials in Linear-Logic-Based Access-Control Systems. | Kevin D. Bowers, Lujo Bauer, Deepak Garg, Frank Pfenning, Michael K. Reiter |
| 2006 | ESORICS | A Linear Logic of Authorization and Knowledge. | Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pfenning, Michael K. Reiter |
| 2005 | CONCUR | Type-Directed Concurrency. | Deepak Garg, Frank Pfenning |