26Fall CS PhD in PL / Formal Methods 求定位

967
6
陆本转学美本, math+cs 本科 (均有honor, 也就是多上几门课+毕业论文), 研究方向为PL/Formal Methods, 有4段正经PL相关科研, 但均无pub(x), 其中两段接近投稿但是这学期太忙应该来不及了...
推荐信构成为美国综排 top50 专排 top10-20 的三位年轻ap (来自不同学校) 强推, 和一位英国某学校 lecturer (相当于ap) 强推, 分别对应四段科研.
现在的计划是基本梭哈PhD. 下面列出的是PhD的offer.1point3acres.com, 默认是CS. 没有按照"彩票/冲刺/主申/保底"进行分类因为感觉没什么可以保底的(x
MIT CMU(CS+ECE) Cornell Penn Princeton UW-Madison UIUC(CS+ECE) UCSD UT-Austin UChi BU UMich UW NEU Purdue GaTech NYU UMD StonyBrook
想听听大家的建议, any suggestion would be appreciated. 本人因为没有pub而慌得一批, 周围可以交流PL申请的朋友也比较少