Record · corpus.blog/posts/01a08773-4e97-732c-baa7-79298207ff03

Antithesis BugBash Conference 2026

A. Jesse Jiryu Davis · published 25 April 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at emptysqua.re Wayback capture

1blogs citing

First cited: 21 Jul 2026
Most recent: 21 Jul 2026
Rank this month: not ranked
Links from this post: 35
Words captured: 2,757

Cited by

Blog

In the post

Date

Antithesis Blog

Bug Bash is coming to Europe! Read at the source ↗

21 Jul 2026

Links from this post

Link

Host

Jesse's Notes from the Antithesis BugBash Conference Read at the source ↗

emptysqua.re

https://antithesis.com/bugbash/conference2026/agenda/

antithesis.com

BugBash'26 Morning of Day 1 Read at the source ↗

muratbuffalo.blogspot.com

https://github.com/antithesis-tutorials/hands-on-tutorial-1-bugbash

github.com

https://midspiral.com/blog/lemmascript-a-verification-toolchain-for-typescript/

midspiral.com

https://users.soe.ucsc.edu/~cormac/papers/popl05.pdf

users.soe.ucsc.edu

https://ilyasergey.net/assets/pdf/papers/mallory-draft.pdf

ilyasergey.net

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/asplos277-pct.pdf

microsoft.com

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/osdi2008-CHESS.pdf

microsoft.com

https://dl.acm.org/doi/10.1145/2858651

dl.acm.org

https://ucare.cs.uchicago.edu/pdf/asplos16-TaxDC.pdf

ucare.cs.uchicago.edu

https://ucare.cs.uchicago.edu/projects/cbs/

ucare.cs.uchicago.edu

https://google.github.io/fuzzbench/

google.github.io

https://en.wikipedia.org/wiki/Eternal_September

en.wikipedia.org

CRDTs #3: Do Not Read! Read at the source ↗

jhellerstein.github.io

https://people.ucsc.edu/~palvaro/molly.pdf

people.ucsc.edu

https://www.usenix.org/conference/osdi22/presentation/huang-lexiang

usenix.org

http://arxiv.org/abs/2510.03551

arxiv.org

https://github.com/rupakm/DesCartes

github.com

LeaseGuard: Raft Leases Done Right! Read at the source ↗

emptysqua.re

Are We Serious About Using TLA+ For Statistical Properties? Read at the source ↗

emptysqua.re

https://pebblebed.com/blog/kernel-bugs

pebblebed.com

https://github.com/aeron-io/aeron/wiki/Cluster-Component-Model

github.com

Virtual Time for Scalable Performance | Materialize Read at the source ↗

materialize.com

https://www.clever.cloud/blog/features/2024/06/11/materia-kv-our-easy-to-use-serverless-key-value-database-is-available-to-all/

clever.cloud

Diving into FoundationDB's Simulation Framework Read at the source ↗

pierrezemb.fr

https://github.com/nyx-fuzz

github.com

https://github.com/upbound/kubernetes-cedar-authorizer

github.com

https://www.youtube.com/watch?v=YZUNNzLDWb8

youtube.com

https://kiro.dev/

kiro.dev

https://github.com/informalsystems/quint-connect

github.com

https://emptysqua.re/blog/series/knowledge/

emptysqua.re

https://github.com/hypothesisworks/hypothesis

github.com

https://github.com/HypothesisWorks/hypothesis/pull/4643

github.com

https://publicdomainreview.org/collection/book-of-monsters/

publicdomainreview.org