http://www.cs.utah.edu/~regehr/papers/ismm15-rafkind.pdf Abstract Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that inte- gers are not confused with pointers, and the liveness of a pointer is apparent at the source level. Precise GC is primarily useful for long-running programs and programs that interact with untrusted co..