[Back to the news index]
CS congratulates Prof.
2016 Distinguished Paper Award for their
: "Formal Language Recognition with the Java Type Checker". This award
is given for high quality submissions describing original and unpublished
results in programming languages.
All the best to Yossi and Tomer!