清茶云打不开了-outline

• 10 October 2016

  I'm now a System Software Engineer at Apple, building tools to help engineers.

• 17 August 2016

  Successfully defended last Friday and submitted the final version of my dissertation! Thank you to everyone who has helped me along the way! I'll be starting at Apple down in Cupertino in October!

• 01 August 2016

  Our paper on Disciplined Inconsistency will appear at SoCC 2016 in October, and other work I've been involved in on the Diamond mobile/cloud data synchronization system will appear at OSDI 2016!

• 比较好的付费ssr节点

  Just finished my first quarter of teaching, CSE 351: The Hardware Software Interface. Had a fantastic time, thanks to all the help from TAs, previous instructors, and my students!

• 06 June 2016

  Our full-length paper on Disciplined Inconsistency, currently in submission, is now available as a tech report.

• 15 December 2015

  I passed my Generals exam and am now a real PhD candidate! The unusually curious can check out my generals document on Mitigating Contention in Distributed Systems.

• Older news…

清茶云打不开了-outline

I'm a Systems Software Engineer at Apple. I design and build tools to help other engineers at Apple make amazing things. I got my PhD in Computer Science at the University of Washington, advised by Luis Ceze and Mark Oskin and part of the fantastic Sampa group at UW. My interests include computer architecture, systems, and programming languages. I enjoy optimizing low-level interactions between hardware and software, orchestrating complex distributed systems, and cleanly capturing high-level semantics through specialized programming models.

清茶云打不开了-outline

I'm interested in helping people solve tough computational problems as quickly as possible, in whatever way makes the most sense for them, but particularly if it involves scaling up from a single machine to many distributed machines. I love learning about and working at pretty much every layer of the software stack: from harnessing the power of particular hardware features, through compilers and language runtimes, programming models, all the way up to the details of whatever scientific or business problem is being tackled. I enjoy hacking LLVM to perform low-level optimizations, develop fancy C++11 runtime libraries, design new programming models and domain-specific languages (especially in Scala), and learn about cool engineering and science problems like synthetic biology.

In grad school, I mostly worked on tackling two classes of problems: analysis of large irregular datasets (such as social network graphs), and scaling up data storage without sacrificing correctness. Real-world problems are naturally irregular and skewed: power law degree distributions lead to the "6-degrees of separation" phenomenon; network effects and Zipf's Law, and real-time interactions lead to Justin Bieber's posts bringing down Instagram, or the black-and-blue dress "breaking the internet". Designing applications that perform well on these kinds of problems is very difficult, so I have been exploring ways to help!

清茶云打不开了-outline

Read more about various work in progress and past on the Projects page. A few highlights:

• Disciplined Inconsistency: Making consistency safe again.
• Claret: Bringing ADTs to distributed datastores.
• Grappa: High performance distributed (PGAS) runtime for irregular applications that uses extreme concurrency to tolerate communication latency.

清茶云打不开了-outline

SSR节点免费发放🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀 ...:2021-12-5 · 『翻墙梯子公益分享，免费节点科学上网』 ①ssr和ss节点，ios用美区苹果ID账号下载potatso lite客户端Wingy小火箭icetea；Android用影梭ShadowsocksRR大杀器 ②Vmess节点，苹果用kitsunebi,shadowrocket