Overview
Operating Systems, Embedded Systems, Networking, and Security.
Current Appointments & Affiliations
Assistant Professor of Computer Science
·
2021 - Present
Computer Science,
Trinity College of Arts & Sciences
Recent Publications
Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark
Conference Proceedings of the Workshop on Hot Topics in Operating Systems · May 14, 2025 Full text CiteMCCS: A Service-based Approach to Collective Communication for Multi-Tenant Cloud
Conference ACM SIGCOMM 2024 Proceedings of the 2024 ACM SIGCOMM 2024 Conference · August 4, 2024 Performance of collective communication is critical for distributed systems. Using libraries to implement collective communication algorithms is not a good fit for a multi-tenant cloud environment because the tenant is not aware of the underlying physical ... Full text CiteDrSec: Flexible Distributed Representations for Efficient Endpoint Security
Conference 2024 IEEE Symposium on Security and Privacy (SP) · May 19, 2024 Full text CiteRecent Grants
CC* Compute - Regional: NCShare Accelerating Impact ¿ GPUs-as-a-Service (NCShare AI-GaaS)
ResearchSenior Investigator · Awarded by National Science Foundation · 2024 - 2026View All Grants
Education, Training & Certifications
University of Maryland, College Park ·
2020
Ph.D.