FOCS Lab
@ NUS
FOCS Lab
@ NUS
People
Projects
Publications
Research Support
IndiCS 2026
Light
Dark
Automatic
Prateek Saxena
Latest
A Type System for Communication Safe Hardware Design
Anvil: A General-Purpose Timing-Safe Hardware Description Language
Program Skeletons for Automated Program Translation
Cite
×