S
Sergio Yovine
Researcher at University of Buenos Aires
Publications - 23
Citations - 293
Sergio Yovine is an academic researcher from University of Buenos Aires. The author has contributed to research in topics: Memory management & Region-based memory management. The author has an hindex of 8, co-authored 23 publications receiving 285 citations. Previous affiliations of Sergio Yovine include National Scientific and Technical Research Council.
Papers
More filters
Proceedings ArticleDOI
Parametric prediction of heap memory requirements
TL;DR: This work presents a technique to compute symbolic polynomial approximations of the amount of dynamic memory required to safely execute a method without running out of memory, for Javalike imperative programs.
Journal ArticleDOI
A Static Analysis for Synthesizing Parametric Specifications of Dynamic Memory Consumption.
TL;DR: A general procedure for synthesizing non-linear formulas which conservatively estimate the quantity of memory explicitly allocated by a method as a function of its parameters is proposed.
Proceedings ArticleDOI
Synthesis of safe, QoS extendible, application specific schedulers for heterogeneous real-time systems
Christos Kloukinas,Sergio Yovine +1 more
TL;DR: A new scheduler architecture, which permits adding QoS (quality of service) policies to the scheduling decisions, and a new scheduling synthesis method which allows a designer to obtain a safe scheduler for a particular application is presented.
Journal ArticleDOI
Program Instrumentation and Run-Time Analysis of Scoped Memory in Java
TL;DR: In this article, the authors present a method to analyze, monitor and control dynamic memory allocation in Java, which first performs pointer and escape analysis to detect memory scopes and then dynamically maps allocation places to the region stack at runtime via a registering mechanism.
Journal ArticleDOI
Fast Escape Analysis for Region-based Memory Management
TL;DR: An algorithm for escape analysis inspired by, but more precise than, the one proposed by Gay and Steensgaard is presented, to produce useful information to allocate memory using a region-based memory manager.