FOCS Lab @ NUS
FOCS Lab @ NUS
People
Publications
Research Support
P. Madhusudan
Latest
Decidable Synthesis of Programs with Uninterpreted Functions
Deciding Memory Safety for Single-Pass Heap-Manipulating Programs
What's Decidable About Program Verification Modulo Axioms?
Decidable Verification of Uninterpreted Programs
Decidable Fragment of Second Order Logic With Applications to Program Synthesis
Cite
×