As you can see, this post is late. Very late. PLDI was in June. At
least I posted this in the right year. I had some trip notes but never got around to turning them into a post.
I was presenting a
paper about a static
analysis to infer memory ownership properties for C libraries at ISMM
this year, co-located with PLDI. Overall, I enjoyed the conference.
Presenting is always fun, as is putting faces to all of the names you
read about. I just want to cover a few papers that stood out for me