티스토리 수익 글 보기

티스토리 수익 글 보기

Taylor Blau
taylor

Current

Principal Software Engineer at GitHub, Inc., working on Git.

Projects

Writing

Presentations

  • New Techniques in Repacking Monorepos September, 2025 (Git Merge) (Slides, Recording)
  • Scaling Git September, 2024 (Git Merge) (Slides, Recording)
  • Older presentations:
    • Git Concepts: Demystified March, 2023 (CSE 374) (Slides, Course)
    • Distributed Systems at GitHub March, 2023 (CSE 452) (Slides, Course)
    • Git at GitHub Scale September, 2022 (Git Merge) (Slides, Recording)

Previous

  • Student at the University of Washington. 2017-2020
    • Spring 2020: CSE 490, FRENCH 103
    • Winter 2020: CSE 421, FRENCH 102, MATH 380
    • Autumn, 2019: CSE 401, CSE 431, CSE 498, FRENCH 101, MATH 324
    • Spring, 2019: CSE 446, CSE 452, GERMAN 295, MUSIC 131
    • Winter, 2019: CSE 333, CSE 490, CSE 390, MATH 309, PHIL 100
    • Autumn, 2018: CLAS 314, CSE 312, CSE 332, CSE 590, MATH 307
    • Spring, 2018: CSE 311, CSE 351, CSE 391, LING 233, PHIL 149
    • Winter, 2018: ART H 309, CSE 331, GERMAN 210, MATH 308
    • Autumn, 2017: CSE 341, ENGL 131, MATH 126
  • Beam (became Mixer, acquired by Microsoft, now defunct) 2015-2016
  • Overcast Network (now defunct) 2013-2014

Publications

  • (Local Copy, Slides, arXiv) Verifying Strong Eventual Consistency in δ-CRDTs
    Advisors: Dan Grossman, Talia Ringer
  • ICFP 2018 (Local Copy, ACM) Functional Programming for Compiling and Decompiling Computer-Aided Design
    C. Nandi, J. R. Wilcox, P. Panchekha, T. Blau, D. Grossman, and Z. Tatlock.