Stocator: A high performance object store connector for spark
Gil Vernik, Michael Factor, et al.
SYSTOR 2017
We present a framework for statically reasoning about temporal heap safety properties. We focus on local temporal heap safety properties, in which the verification process may be performed for a program object independently of other program objects. We apply our framework to produce new conservative static algorithms for compile-time memory management, which prove for certain program points that a memory object or a heap reference will not be needed further. These algorithms can be used for reducing space consumption of Java programs. We have implemented a prototype of our framework, and used it to verify compile-time memory management properties for several small, but interesting example programs, including JavaCard programs. © 2005 Elsevier B.V. All rights reserved.
Gil Vernik, Michael Factor, et al.
SYSTOR 2017
Martin Vechev, Eran Yahav, et al.
ISMM 2010
Sharon Shoham, Eran Yahav, et al.
IEEE Transactions on Software Engineering
Matthew Arnold, Martin Vechev, et al.
ACM TOSEM