How Google Code Search Worked: Regex Matching with a Trigram Index (2012)swtch.com434 pointskbumsik8 years ago