CIS Seminar: “Designing Provably Performant Networked Systems”
Wu and Chen Auditorium (Room 101), Levine Hall 3330 Walnut Street, Philadelphia, PA, United StatesAs networked systems become critical infrastructure, their design must reflect their new societal role. Today, we build systems with hundreds of heuristics but often do not understand their inherent and emergent behaviors. I will present a set of tools and techniques to prove performance properties of heuristics running in real-world conditions. Rigorous proofs can not […]