CS congratulates Prof.
Yossi Gil and Mr.
Tomer Levy on
receiving the
ECOOP 2016 Distinguished Paper Award for their
paper: "Formal Language Recognition with the Java Type Checker". This award
is given for high quality submissions describing original and unpublished
results in programming languages.