This inventor holds 2 USPTO granted patents. Top assignee: International Business Machines Corporation. Active years: 2014-2015.
Location History:
- New York, NY (US) (2014)
- Rishon le Tzion, IL (2015)
Company Filing History:
Years Active: 2014-2015
Title: Michael Kuperstein: Innovator in Memory Models
Introduction
Michael Kuperstein is a notable inventor based in Rishon Letzion, Israel. He has made significant contributions to the field of computer science, particularly in the area of memory models for concurrent programming. With a total of 2 patents, Kuperstein's work focuses on enhancing the reliability and efficiency of concurrent systems.
Latest Patents
Kuperstein's latest patents include "Automatic verification and synthesis for weak memory models" and "Synthesis of memory barriers." The first patent provides techniques for automatic verification and inference of memory fences in concurrent programs. It aims to determine whether a program employing a relaxed memory model satisfies a safety specification. The abstract memory model represents concrete program states as a finite number of abstract states, allowing for the evaluation of safety specifications effectively. The second patent offers a framework for automatic inference of memory fences in concurrent programs. It generates a set of ordering constraints that prevent executions of a program from violating a specification, thereby enhancing program reliability.
Career Highlights
Michael Kuperstein is currently employed at International Business Machines Corporation (IBM), where he continues to innovate in the field of computer science. His work has been instrumental in advancing the understanding and implementation of memory models in concurrent programming.
Collaborations
Kuperstein has collaborated with esteemed colleagues such as Martin Vechev and Eran Yahav. Their combined expertise has contributed to the development of groundbreaking techniques in memory verification and synthesis.
Conclusion
Michael Kuperstein's contributions to the field of memory models and concurrent programming are noteworthy. His patents reflect a deep understanding of complex systems and a commitment to improving software reliability. His ongoing work at IBM continues to influence the landscape of computer science.