Charon wins PLDI19 distinguished paper award!

with No Comments

Greg and Shankara’s paper “Optimization + Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness” won a PLDI’19 distinguished paper award! Congrats to Greg & Shankara!

Leave a Reply

You must be logged in to post a comment.