[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"detail-sidebar-cat-0-en-105":3,"doc-seo-672872-105":59,"doc-detail-672872-en":130},{"code":4,"msg":5,"data":6},0,"success",[7,13,18,23,28,33,38,43,48,51,55],{"id":8,"doc_module":4,"doc_module_name":9,"category_name":10,"show_sort_weight":11,"slug":12},1,"Document","Story & Novel",90,"story-novel",{"id":14,"doc_module":4,"doc_module_name":9,"category_name":15,"show_sort_weight":16,"slug":17},2,"Literature",80,"literature",{"id":19,"doc_module":4,"doc_module_name":9,"category_name":20,"show_sort_weight":21,"slug":22},4,"Exam",70,"exam",{"id":24,"doc_module":4,"doc_module_name":9,"category_name":25,"show_sort_weight":26,"slug":27},5,"Comic",60,"comic",{"id":29,"doc_module":4,"doc_module_name":9,"category_name":30,"show_sort_weight":31,"slug":32},6,"Technology",50,"technology",{"id":34,"doc_module":4,"doc_module_name":9,"category_name":35,"show_sort_weight":36,"slug":37},7,"Healthcare",40,"healthcare",{"id":39,"doc_module":4,"doc_module_name":9,"category_name":40,"show_sort_weight":41,"slug":42},8,"Research & Report",30,"research-report",{"id":44,"doc_module":4,"doc_module_name":9,"category_name":45,"show_sort_weight":46,"slug":47},9,"Religion & Spirituality",20,"religion-spirituality",{"id":46,"doc_module":4,"doc_module_name":9,"category_name":49,"show_sort_weight":46,"slug":50},"World Cup","world-cup",{"id":52,"doc_module":4,"doc_module_name":9,"category_name":53,"show_sort_weight":52,"slug":54},10,"Lifestyle","lifestyle",{"id":56,"doc_module":4,"doc_module_name":9,"category_name":57,"show_sort_weight":24,"slug":58},19,"General","general",{"code":4,"msg":60,"data":61},"ok",{"site_id":62,"language":63,"slug":64,"title":65,"keywords":66,"description":67,"schema_data":68,"social_meta":123,"head_meta":125,"extra_data":127,"updated_unix":129},105,"en","google-techs-for-developers","Google techs for developers","","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.",{"@graph":69,"@context":122},[70,84,105],{"@type":71,"itemListElement":72},"BreadcrumbList",[73,77,79,82],{"item":74,"name":75,"@type":76,"position":8},"https://docshare.wps.com","Home","ListItem",{"item":78,"name":9,"@type":76,"position":14},"https://docshare.wps.com/document/",{"item":80,"name":30,"@type":76,"position":81},"https://docshare.wps.com/document/technology/",3,{"item":83,"name":65,"@type":76,"position":19},"https://docshare.wps.com/document/google-techs-for-developers/672872/",{"url":83,"name":65,"@type":85,"image":86,"author":91,"headline":65,"publisher":94,"fileFormat":97,"inLanguage":63,"description":67,"dateModified":98,"datePublished":99,"encodingFormat":97,"isAccessibleForFree":100,"interactionStatistic":101},"DigitalDocument",{"url":87,"@type":88,"width":89,"height":90},"https://docshare.wps.com/thumbnails/google-techs-for-developers/672872.png","ImageObject",300,407,{"name":92,"@type":93},"Aran","Person",{"url":74,"name":95,"@type":96},"DocShare","Organization","application/pdf","2026-11-04","2026-11-02",true,{"@type":102,"interactionType":103,"userInteractionCount":14},"InteractionCounter",{"@type":104},"ViewAction",{"@type":106,"mainEntity":107},"FAQPage",[108,114,118],{"name":109,"@type":110,"acceptedAnswer":111},"What does the document cover about Google technologies for developers?","Question",{"text":112,"@type":113},"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.","Answer",{"name":115,"@type":110,"acceptedAnswer":116},"Which Google learning resources are linked in the document?",{"text":117,"@type":113},"The document includes links to Google developers, the Tech Dev Guide, YouTube channels related to Google Developers, and the Google GitHub repository.",{"name":119,"@type":110,"acceptedAnswer":120},"What is the author’s background and how is it connected to the topics?",{"text":121,"@type":113},"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.","https://schema.org",{"og:url":83,"og:type":124,"og:title":65,"og:site_name":95,"og:description":67},"article",{"robots":126,"canonical":83},"index,follow",{"doc_id":128,"site_id":62},672872,1793611839,{"code":4,"msg":5,"data":131},{"doc_id":128,"user_id":132,"nickname":92,"user_avatar":133,"doc_module":4,"category_id":29,"category_name":30,"doc_title":65,"doc_description":67,"doc_content":134,"file_id":135,"file_url":136,"file_type":137,"file_size":138,"view_count":14,"is_deleted":4,"is_public":8,"is_downloadable":8,"audit_status":8,"page_count":139,"language":140,"language_code":63,"site_id":62,"html_lang":63,"table_of_contents":141,"faqs":142,"seo_title":143,"seo_description":67,"update_tm":129,"read_time":144},137455076865,"https://ap-avatar.wpscdn.com/davatar_29158cc5080c5b710cf443261637dec0","© 2023 Jieung Kim, All rights reserved  \nGoogle techs for developers  \nJIEUNG KIM [jieungkim@inha.ac.kr](jieungkim@inha.ac.kr)  \nContents  \n• Who am I?  \n• Websites and Youtube channels for Google techs and lives  \n• Google technologies: Programming language style guides  \n• Google technologies: Googletest framework  \n• Google technologies: Machine learning related tools  \n• Colab  \n• Tensorflow and Keras  \n• Tensorflow model optimization toolkit  \n• Tensorflow hub and model garden  \n• Tensorboard  \n• Summary  \n© 2023 Jieung Kim, All rights reserved  \n© 2023 Jieung Kim, All rights reserved  \nWho am I?  \nWho am I?  \n© 2023 Jieung Kim, All rights reserved  \n• Who am I?– [https://jieung.kim](https://jieung.kim)  \n• I am an assistant professor in Computer Engineering Department, College of Software and Convergence, Inha University (Incheon, South Korea)  \n• Before that, I was a research engineer at Google  \n• Worked on machine learning model optimizations (2022 .03~2022 .08)  \n• Worked on pKVM formal verification (2020 .05~2022 .02)  \n• pKVM: a new software stack in the Android ecosystem to increase security  \n• Formal verification: the strongest method to show the correctness and security properties of software with using mathematical and computational logic methods  \n• Even before that, I was at Yale University as a graduate student , worked on other formal verification projects  \n• Verify OS & hypervisor based on xv6 ( CertiKOS )  \n• Provide unified and verified APIs for distributed protocol (ADO)  \n• I received my M.S. and B.S. from KAIST and SKKU (South Korea), respectively  \nWebsites and Youtube channels for Google techs and lives  \n© 2023 Jieung Kim, All rights reserved  \nGoogle developers  \n[https://developers.google.com/](https://developers.google.com/)  \n© 2023 Jieung Kim, All rights reserved  \nTech dev guide  \n© 2023 Jieung Kim, All rights reserved  \n[https://techdevguide.withgoogle.com/](https://techdevguide.withgoogle.com/)  \nYoutube, Life at Google  \n© 2023 Jieung Kim, All rights reserved  \n[https://www.youtube.com/l](https://www.youtube.com/l)ifeatgoogle  \nYoutube, Google Developers  \n[https://www.youtube.com/GoogleDevelopers](https://www.youtube.com/GoogleDevelopers)  \n© 2023 Jieung Kim, All rights reserved  \nGoogle repository at Github  \n[https://github.com/google](https://github.com/google)  \n© 2023 Jieung Kim, All rights reserved","cbCaib3heaxjLC1E","https://ap.wps.com/l/cbCaib3heaxjLC1E","pdf",3641055,55,"English","# Who am I?\n# Websites and Youtube channels for Google techs and lives\n# Google technologies: Programming language style guides\n# Google technologies: Googletest framework\n# Google technologies: Machine learning related tools\n# Colab\n# Tensorflow and Keras\n# Tensorflow model optimization toolkit\n# Tensorflow hub and model garden\n# Tensorboard\n# Summary","[{\"question\":\"What does the document cover about Google technologies for developers?\",\"answer\":\"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.\"},{\"question\":\"Which Google learning resources are linked in the document?\",\"answer\":\"The document includes links to Google developers, the Tech Dev Guide, YouTube channels related to Google Developers, and the Google GitHub repository.\"},{\"question\":\"What is the author’s background and how is it connected to the topics?\",\"answer\":\"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.\"}]","Google techs for developers | PDF",139]