Congratulations to Rutgers CS PhD student Jay Lim on winning the Gold Medal in the Student Research Competition at PLDI 2018 in the graduate category. Jay is a PhD student under the supervision of Prof. Santosh Nagarakatte. His project was titled "Automatic Verification of Assembly Implementations of Cryptography Software". Widely used cryptography software such as OpenSSL have thousands of lines of hand-written and perl-generated assembly for performance. Jay's research proposes a novel procedure for showing the equivalence of assembly implementations and a reference implementation.
Jay wins a prize of $500, an award medal, and a one-year complimentary student membership to the ACM. He is also invited to participate in the ACM SRC Grand Finals.
See more details on the competition and other award winners on the PLDI 2018 SRC webpage: https://pldi18.sigplan.org/track/pldi-2018-src
Congratulations Jay Lim!
