3 papers
cs.NI2026
SPAC: Automating FPGA-based Network Switches with Protocol Adaptive Customization
Guoyu Li, Yang Cao, Lucas H L Ng +9
With network requirements diverging across emerging applications, latency-critical services demand minimal logic delay, while hyperscale training and collectives require sustained…
cs.PL2026
Backwards Data-Flow Analysis using Prophecy Variables in the BuildIt System
Ajay Brahmakshatriya, Saman Amarasinghe, Martin Rinard
Many program transformations and optimizations require information about the future behavior of the program. A standard way to obtain this information is to build an intermediate p…
cs.SE2025
Eliminating Hallucination-Induced Errors in LLM Code Generation with Functional Clustering
Chaitanya Ravuri, Saman Amarasinghe
Modern code-generation LLMs can already solve a large fraction of programming problems, yet they still hallucinate subtle bugs that make their outputs unsafe for autonomous deploym…