( en | de | ru )

 

Disambiguation of "Garg, Deepak"

Author of the publication

copydeleteadd this publication to your clipboard
A relational logic for higher-order programs.

, , , , and . Proc. ACM Program. Lang., 1 (ICFP): 21:1-21:29 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Neil Garg

Animesh Garg

Deepak Bararia

Deepak Ajwani

Priya Garg

 

Other publications of authors with the same name

Asymmetric Secure Multi-execution with Declassification., and . POST, volume 9635 of Lecture Notes in Computer Science, page 24-45. Springer, (2016)Online Financial Algorithms Competitive Analysis, and . CoRR, (2012)ERIM: Secure and Efficient In-process Isolation with Memory Protection Keys., , , and . CoRR, (2018)Sparse low rank factorization for deep neural network compression., , , and . Neurocomputing, (2020)A Proof-Carrying File System with Revocable and Use-Once Certificates., , and . STM, volume 7170 of Lecture Notes in Computer Science, page 40-55. Springer, (2011)Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud., , , , , and . USENIX Security Symposium, page 2819-2838. USENIX Association, (2022)Thoth: Comprehensive Policy Compliance in Data Retrieval Systems., , , , and . USENIX Security Symposium, page 637-654. USENIX Association, (2016)Superficially substructural types., , , and . ICFP, page 41-54. ACM, (2012)Early detection of faults related to database schematic changes., and . JAMAICA@ISSTA, page 1-6. ACM, (2013)Transfusion of Extended Vigenere Table and ASCII Conversion for Encryption Contrivance., , , , and . IBICA, volume 939 of Advances in Intelligent Systems and Computing, page 36-45. Springer, (2018)