51 citations · 96 across the 12 of their papers we have counts for
Showing 2018 · cs.PLShow all
2 papers · 2 filters
cs.PL2018
Shape Neutral Analysis of Graph-based Data-structures
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
Malformed data-structures can lead to runtime errors such as arbitrary memory access or corruption. Despite this, reasoning over data-structure properties for low-level heap manipu…
cs.PL2018★ 3 cited
An Extended Low Fat Allocator API and Applications
Gregory J. Duck, Roland H. C. Yap
The primary function of memory allocators is to allocate and deallocate chunks of memory primarily through the malloc API. Many memory allocators also implement other API extension…