SHANKAR AJEET

Leveraging garbage collection to dynamically infer heap invariants