Ayelet Hen

Title: Ayelet Hen: Innovator in Static Memory Allocation

Introduction

Ayelet Hen is a prominent inventor based in Tel Aviv, Israel. She has made significant contributions to the field of computer science, particularly in memory allocation techniques. Her innovative approach has led to the development of a unique patent that addresses critical challenges in static memory allocation.

Latest Patents

Ayelet Hen holds a patent for a method titled "Static memory allocation using SAT solver." This invention involves a sophisticated process of statically allocating memory for computer programs. The method includes splitting a computational graph associated with various static memory allocation constraints into multiple subgraphs. It determines memory allocation for each combination of these subgraphs using an SAT solver and a set of Boolean conditions that formalize the constraints. Additionally, the method subdivides subgraphs into tiles when hardware memory size constraints cannot be satisfied. A performance analysis is then performed on all possible subgraphs and tiles, leading to the selection of the combination that offers the best overall performance.

Career Highlights

Ayelet Hen is currently employed at Samsung Electronics Ltd., where she continues to push the boundaries of innovation in technology. Her work focuses on enhancing memory allocation strategies, which are crucial for optimizing computer program performance.

Collaborations

Ayelet collaborates with talented colleagues, including Yotam Avraham Platner and Or Davidi. These partnerships foster a creative environment that encourages the exchange of ideas and advancements in their respective fields.

Conclusion

Ayelet Hen's contributions to static memory allocation represent a significant advancement in computer science. Her innovative patent showcases her expertise and commitment to improving technology. Through her work at Samsung Electronics Ltd., she continues to influence the future of memory allocation techniques.