If you want a more comprehensive list, here's a list of all the employees anonymized by title that were laid off in California (the only state with google warn filings that publicizes titles in their warn records): https://www.warntracker.com/?company=Google