[engineerblaze]

This reminds me of when I was your age and bummed about not getting into a great school. Then, when I went to a state school, I learned: there's plenty of programs at less selective schools which do great work. For example, Santosh Nagarakatte at Rutgers, who has a PhD from Upenn and has had PhD students get bronze and gold awards at PLDI for a couple years, and he would be perfect to guide you in your PL Theory journey.

Your undegrad is less important than you think, it is like driving a Civic vs a Ferrari, one is more sexy and might get you there a bit faster, but both will get you there. Just do well in school, make relationships with professors, go to conferences, and keep learning!!! and consider this: there's more qualified people for these great schools than they can expect so that's why a lot of these public schools have an overflow of those smart people who go on to do great work and end up in the same position as the people who go to these selective schools. So, enjoy your undergrad, don't put other people down for "not knowing math", and re-calibrate. For your goals, grad school is what you really want to optimize for.