Daeyeon Son

Themis reveals a critical Y2038 defect in ext2 that traditional testing methods failed to capture, showcasing the power of hypervisor-based model checking.

Elastic membership in LLM inference can boost throughput by up to 75% compared to static core allocations, all while maintaining bit-exact output.