That seems like a solid start on a list. I was also going to suggest looking into Franklin & Marshall and Dickinson, and I similarly do not really understand Maryland, VT, or Cornell based on the stated criteria.
Any interest in Georgetown? I know it is not high on the list of things they are known for, but my sense is their CS department is pretty good.