Google techs for developers

Nov 2, 2026

Uploaded by Aran

A developer-focused overview of Google technologies, career background, and learning resources. It introduces the author’s experience in machine learning model optimization and formal verification, then links to relevant Google developer sites, tech dev guides, and YouTube channels. The document surveys programming language style guides, the Googletest framework, machine-learning tooling, and topics including Colab, TensorFlow and Keras, model optimization, TensorFlow Hub and Model Garden, and TensorBoard, finishing with a summary.

LanguageEnglish

CategoryTechnology

FormatPDF

Pages55

Reading Time2 h 19 min

AccessFree to download

Who am I?

Websites and Youtube channels for Google techs and lives

Google technologies: Programming language style guides

Google technologies: Googletest framework

Google technologies: Machine learning related tools

Colab

Tensorflow and Keras

Tensorflow model optimization toolkit

Tensorflow hub and model garden

Tensorboard

Summary

© 2023 Jieung Kim, All rights reserved Google techs for developers JIEUNG KIM [jieungkim@inha.ac.kr](jieungkim@inha.ac.kr) Contents • Who am I? • Websites and Youtube channels for Google techs and lives • Google technologies: Programming language style guides • Google technologies: Googletest framework • Google technologies: Machine learning related tools • Colab • Tensorflow and Keras • Tensorflow model optimization toolkit • Tensorflow hub and model garden • Tensorboard • Summary © 2023 Jieung Kim, All rights reserved © 2023 Jieung Kim, All rights reserved Who am I? Who am I? © 2023 Jieung Kim, All rights reserved • Who am I?– [https://jieung.kim](https://jieung.kim) • I am an assistant professor in Computer Engineering Department, College of Software and Convergence, Inha University (Incheon, South Korea) • Before that, I was a research engineer at Google • Worked on machine learning model optimizations (2022 .03~2022 .08) • Worked on pKVM formal verification (2020 .05~2022 .02) • pKVM: a new software stack in the Android ecosystem to increase security • Formal verification: the strongest method to show the correctness and security properties of software with using mathematical and computational logic methods • Even before that, I was at Yale University as a graduate student , worked on other formal verification projects • Verify OS & hypervisor based on xv6 ( CertiKOS ) • Provide unified and verified APIs for distributed protocol (ADO) • I received my M.S. and B.S. from KAIST and SKKU (South Korea), respectively Websites and Youtube channels for Google techs and lives © 2023 Jieung Kim, All rights reserved Google developers [https://developers.google.com/](https://developers.google.com/) © 2023 Jieung Kim, All rights reserved Tech dev guide © 2023 Jieung Kim, All rights reserved [https://techdevguide.withgoogle.com/](https://techdevguide.withgoogle.com/) Youtube, Life at Google © 2023 Jieung Kim, All rights reserved [https://www.youtube.com/l](https://www.youtube.com/l)ifeatgoogle Youtube, Google Developers [https://www.youtube.com/GoogleDevelopers](https://www.youtube.com/GoogleDevelopers) © 2023 Jieung Kim, All rights reserved Google repository at Github [https://github.com/google](https://github.com/google) © 2023 Jieung Kim, All rights reserved

FAQs

What does the document cover about Google technologies for developers?

It surveys programming language style guides, the Googletest framework, and machine-learning tooling, then expands into Colab, TensorFlow/Keras, optimization toolkits, TensorFlow Hub/Model Garden, and TensorBoard.

Which Google learning resources are linked in the document?

The document includes links to Google developers, the Tech Dev Guide, YouTube channels related to Google Developers, and the Google GitHub repository.

What is the author’s background and how is it connected to the topics?

The author describes work at Google on machine learning model optimizations and on pKVM formal verification, providing context for the machine-learning and verification topics included in the document.

Nov 2, 2026

Uploaded by Aran