No I don’t think Google is on the forefront of that type of thing. It’s more of a practical craft. There may be people doing interesting PL research at Google but they aren’t in the language platform team. That said these are probably some of the tightest, safest, and best-tested large-scale C++ programs ever.