The following pages link to Nadia Polikarpova (Q832156):
Displaying 4 items.
- Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper) (Q832157) (← links)
- Synthesis of Recursive ADT Transformations from Reusable Templates (Q3303897) (← links)
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers (Q5041091) (← links)
- Synthesis of Safe Pointer-Manipulating Programs (Invited Talk) (Q6157242) (← links)
