BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Systematic Analysis of Networked Systems
DTSTART:20190115T100000
DTEND:20190115T120000
DTSTAMP:20260408T101700Z
UID:4184f4fc81fb470d7690a7d7b0e921cae06576067a7e08902ed67092
CATEGORIES:Conferences - Seminars
DESCRIPTION:Luis Pedrosa\nAbstract\nDesigning and maintaining networked sy
 stems poses many challenges to both developers and operators alike. Unexpe
 cted behavior can often result from subtle interactions between the networ
 ked entities and better tools are needed to help understand the underlying
  complexity.\nThe stakes are also ever increasingly higher\, as more and m
 ore of our lives depend on the reliable\, correct\, and performant operati
 on of these networked systems.\nIn this talk I will show how we can addres
 s these challenges by adapting techniques borrowed from the programming la
 nguages community. I will focus on two analysis frameworks I have develope
 d: SPA and CASTAN. SPA is a framework that facilitates the systematic expl
 oration of conversations in distributed systems\, allowing users to check 
 safety properties while considering all possible inputs and network dynami
 cs.\nCASTAN analyzes performance in network functions and automatically ge
 nerates adversarial workloads that significantly slow down packet processi
 ng\, allowing developers to debug such issues and operators to provision r
 esources defensively. I will also talk about ongoing work that reasons mor
 e generally about network function performance with performance contracts.
 \n\nBiography\nPost-Doctoral Researcher\, Network Architecture Lab\, EPFL\
 nLuis Pedrosa is a Post-Doctoral Researcher at the Swiss Federal Institute
  of Technology in Lausanne (EPFL). Before joining EPFL\, he received his P
 hD in Computer Science at the University of Southern California in 2016.\n
 With work spanning the systems\, networking\, and programming languages co
 mmunities\, Luis’ main research interests concern the novel applications
  of PL techniques towards the understanding and improvement of modern netw
 orked systems. His recent work involves analyzing the performance footprin
 t of network functions to automatically derive poorly performing adversari
 al workloads and verifying their correctness and reliability. He has prior
  work in verifying and analyzing distributed systems\, but has also worked
  in a wide variety of other fields\, including large-scale cluster managem
 ent\, mobile and cloud computing\, low-power embedded systems\, design aut
 omation\, and even reverse engineering automotive electronic control units
 .\n 
LOCATION:BC 420 https://plan.epfl.ch/?room==BC%20420
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR