Putting Compilers with Programming languages and theoretical CS is probably not a good idea. The issues in compiler construction and optimization are orthogona

Putting Compilers with Programming languages and theoretical CS is probably not a good idea. The issues in compiler construction and optimization are orthogonal to those observed in designing programming languages, type systems, theorem provers etc. Systems will be a better idea, or its own category.