7 citations · 7 across the 5 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.PL2025
Optimism in Equality Saturation
Russel Arbore, Alvin Cheung, Max Willsey
Equality saturation is a program optimization technique based on non-destructive rewriting and a form of abstract interpretation called e-class analysis. Existing e-class analyses…
cs.CL2025
Structure-Aware Fill-in-the-Middle Pretraining for Code
Linyuan Gong, Alvin Cheung, Mostafa Elhoushi +1
Fill-in-the-Middle (FIM) is a common pretraining method for code LLMs, where models complete code segments given surrounding context. However, existing LLMs treat code as plain tex…