20Fall 偏弱三维 申请CS MS，明确准备读PL（编程语言）的PhD，非找工向，求定位

关于课程除了Compiler和计算机组成结构都已修齐，但本科科研和实习都不直接与PL相关，因此打算找研究向的MS过渡。自学过不少PL相关的书和文献（经历了岁月沉淀的那种论文，还未使用TeX排版）......TOEFL 11.17最后考一次，希望过线，能安全一些吧......

目前的选校：
彩票：无
冲刺：Purdue-CS、NEU-CS、NWU-CS（这仨基本不抱希望）
主申：IUB-CS、Utah-CS、Umass-CS/ECE、Tufts-CS、Maryland-CS、PSU-CS、TAMU-CS
保底（不确定，求推荐）：雪城-CS（无PL group，个人不是很想选它）、NCSU-CS

求补充推荐......

顺便请问以下“软的不能再软”的背景是否该体现一下？该如何体现在申请材料里？：
1. 读过的PL相关的书和文献，以及自己读完这些材料之后的收获/想法
2. 实现的一些玩具级别的call-by-XX 的lambda calculus 和抽象机的解释器、类型推导代码等
3. 跟着2009年IUB的R. Kent Dybvig上的Compiler课写过Scheme子集的Nanopass Compiler
没有github，有必要临时搞一个吗？

谢谢大家