Greta Yorsh

Title: Greta Yorsh: Innovations in Program Analysis and Data Prefetching.

Introduction

Greta Yorsh is an inventor associated with Cambridge, Great Britain, whose work includes innovations in program analysis, verification, and remote data access. She is associated with International Business Machines Corporation and has 3 patents.

Latest Patents

One of Yorsh’s latest patents, “Speculative Prefetching of Remote Data,” describes a system for identifying remote data accesses that may be performed independently. A profiler identifies potentially independent accesses, and a program rewriter uses that information to generate a prefetcher designed to preserve the original program’s behavior. An execution engine can run the prefetcher alongside the program and decide which accesses to execute speculatively in parallel. Shared memory stores data returned from the remote source for use by both.

Another patent, “Abstraction-Guided Synthesis,” concerns verifying whether a program satisfies a specification under a given abstraction. When verification finds a counterexample trace, the method can refine the abstraction or derive a constraint that avoids the trace. The resulting constraints can then be used to modify the program.

Career Highlights

Yorsh’s listed patent work addresses challenges in software reliability and performance. Her inventions describe approaches to improving remote data access and guiding program modification through verification results.

Collaborations

Yorsh’s listed collaborators include Eran Yahav and Martin Vechev, whose work is also associated with program analysis and software verification.

Conclusion

Greta Yorsh’s patents highlight practical innovations in speculative data prefetching and abstraction-guided program synthesis.