Select Publications
Preprints
, 2025, Help or Hurdle? Rethinking Model Context Protocol-Augmented Large Language Models, http://dx.doi.org/10.48550/arxiv.2508.12566
, 2025, ai.txt: A Domain-Specific Language for Guiding AI Interactions with the Internet, http://dx.doi.org/10.48550/arxiv.2505.07834
, 2022, Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework, http://arxiv.org/abs/2210.14436v1
, 2020, Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices, http://dx.doi.org/10.48550/arxiv.2010.16165
, 2019, A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing, http://dx.doi.org/10.48550/arxiv.1905.01405