DK Shin's contributions to CS