All Articles

Aragog: Scalable Runtime Verification of Shardable Networked Systems An efficient invariant checker for network protocols.
Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories A clever research paper describing a rack-sized distributed KV store.
RIP Gertrude Gertrude Berg Armstrong Davis was an industrious homemaker and affectionate sister.
Give Something Away to a Stranger Rich countries and drug firms are acting selfishly during the pandemic. Selfishness is natural, but we can strengthen our universal goodwill through training.
Nighttime meditation in East River Park November 28, 2020. Members of the Village Zendo meditating outdoors at night in Manhattan's East River Park.
These Unreliable United States We're shocked how fragile our country is, but Buddha told us nothing lasts. We can rely only on the truth. A talk at Village Zendo, November 8, 2020.
RIP Hazel Hazel Scott Armstrong Davis combined a fierce disposition with impeccable grooming and elegance. She is survived by her sister Gertrude.
American Religion in America's Time of Crisis Buddhists must respond to the current political crisis, just as abolitionists did in the 19th C. A talk at the Village Zendo, September 3, 2020.
Two attempts to compare a TLA+ spec with a C++ implementation At MongoDB we tried two methods to test that a spec matches the code: one worked, one didn't. We explain our results in a VLDB 2020 paper.
The Python Language Summit 2020 Each year the Python core developers and a few Python community members have an exclusive one-day summit to discuss the future of the language.