[Ececourtesy-list] TODAY, THU, FEB 23, MSEE 112, 10:30A: Software Engineering Candidate VENKAT ARUN, PhD Candidate, MIT, "Designing Provably Performant Networked Systems"