PLDI

Congrats to Zhe and Qianchuan on their upcoming PLDI paper on HATS– a new technique for automatically reasoning about clients of effectful data structure libraries using a combination automata and refinement types.