uncertain<t> is a sigplan research highlight!
and add the cool news to the paper too