Matthew Lentz

Conference Proceedings of the Annual International Symposium on Microarchitecture Micro · October 17, 2025 As the parameter size of large language models (LLMs) continues to expand, the need for a large memory footprint and high communication bandwidth have become significant bottlenecks for the training and inference of LLMs. To mitigate these bottlenecks, var ... Full text Cite

Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark

Conference HOTOS 2025 Proceedings of the 2025 Workshop in Hot Topics in Operating Systems · June 6, 2025 Large language models (LLMs) have demonstrated remarkable coding capabilities. They excel in code synthesis benchmarks across diverse domains and have become ubiquitous in coding tools. Recently, they have also shown promise in generating mathematical proo ... Full text Cite

MCCS: 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 Cite

DrSec: Flexible Distributed Representations for Efficient Endpoint Security

Conference 2024 IEEE Symposium on Security and Privacy (SP) · May 19, 2024 Full text Cite

Dissecting Overheads of Service Mesh Sidecars

Conference Socc 2023 Proceedings of the 2023 ACM Symposium on Cloud Computing · October 30, 2023 Service meshes play a central role in the modern application ecosystem by providing an easy and flexible way to connect microservices of a distributed application. However, because of how they interpose on application traffic, they can substantially increa ... Full text Cite

Remote Procedure Call as a Managed System Service

Conference Proceedings of the 20th Usenix Symposium on Networked Systems Design and Implementation Nsdi 2023 · January 1, 2023 Remote Procedure Call (RPC) is a widely used abstraction for cloud computing. The programmer specifies type information for each remote procedure, and a compiler generates stub code linked into each application to marshal and unmarshal arguments into messa ... Cite

Poirot: Private contact summary aggregation: Poster abstract

Conference Sensys 2020 Proceedings of the 2020 18th ACM Conference on Embedded Networked Sensor Systems · November 16, 2020 Physical distancing between individuals is key to preventing the spread of a disease such as COVID-19. On the one hand, having access to information about physical interactions is critical for decision makers; on the other, this information is sensitive an ... Full text Cite

Matthew Lentz

Scholarly Works - Conferences

LLM.265: Video Codecs are Secretly Tensor Codecs

Can Large Language Models Verify System Software? A Case Study Using FSCQ as a Benchmark

MCCS: A Service-based Approach to Collective Communication for Multi-Tenant Cloud

DrSec: Flexible Distributed Representations for Efficient Endpoint Security

Dissecting Overheads of Service Mesh Sidecars

Remote Procedure Call as a Managed System Service

Poirot: Private contact summary aggregation: Poster abstract

enClosure: Group Communication via Encounter Closures

Secloak: ARM TrustZone-based Mobile Peripheral Control

Drowsy Power Management

Encore: Private, Context-based Communication for Mobile Social Apps

SDDR: Light-Weight, Secure Mobile Encounters

Brave New World: Privacy Risks for Mobile Users

D-mystifying the D-root Address Change