2 papers
cs.PL2025
Program Skeletons for Automated Program Translation
Bo Wang, Tianyu Li, Ruishi Li +2
Translating software between programming languages is a challenging task, for which automated techniques have been elusive and hard to scale up to larger programs. A key difficulty…
cs.AR2025
Anvil: A General-Purpose Timing-Safe Hardware Description Language
Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur +2
Expressing hardware designs using hardware description languages (HDLs) routinely involves using stateless signals whose values change according to their underlying registers. Unin…