Nadia Polikarpova

From MaRDI portal
Person:832156

Available identifiers

zbMath Open polikarpova.nadiaMaRDI QIDQ832156

List of research outcomes





PublicationDate of PublicationType
Synthesis of Safe Pointer-Manipulating Programs (Invited Talk)2023-06-20Paper
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers2022-10-13Paper
Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)2022-03-25Paper
Synthesis of Recursive ADT Transformations from Reusable Templates2020-08-05Paper

Research outcomes over time

This page was built for person: Nadia Polikarpova

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:832156&oldid=7704316"
Powered by MediaWiki