Deepak Garg · PaperMetrix

Intelligent text classification system based on self-administered ontology

2015 · TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES

Over the last couple of decades, web classification has gradually transitioned from a syntax- to semantic-centered approach that classifies the text based on domain ontologies. These ontologies are either built manually or populated automatically using …

Secure Compilation and Hyperproperty Preservation

2017

The area of secure compilation aims to design compilers which produce hardened code that can withstand attacks from low-level co-linked components. So far, there is no formal correctness criterion for secure compilers that comes with …

A unifying type-theory for higher-order (amortized) cost analysis

2021 · Proceedings of the ACM on Programming Languages

This paper presents λ-amor, a new type-theoretic framework for amortized cost analysis of higher-order functional programs and shows that existing type systems for cost analysis can be embedded in it. λ-amor introduces a new modal …

Listening to Bluetooth Beacons for Epidemic Risk Mitigation

2021 · Research Square

Abstract During the ongoing COVID-19 pandemic, there have been burgeoning efforts to develop and deploy smartphone apps to expedite contact tracing and risk notification. Unfortunately, the success of these apps has been limited, partly owing …

DimSum: A Decentralized Approach to Multi-language Semantics and Verification

2023 · Proceedings of the ACM on Programming Languages

Prior work on multi-language program verification has achieved impressive results, including the compositional verification of complex compilers. But the existing approaches to this problem impose a variety of restrictions on the overall structure of multi-language …

Machine Learning-based Framework for Malware Detection in Critical Infrastructures for Smart Cities

2024