Projetos
Projetos Recentes e em Curso
Síntese
- Maestro: Automatic Parallelization of Software Network Functions
- SALAD-Nets: Synthesizing Network Accelerators using Programmable Switching Equipment
- SyNAPSE: Synthesizing Network Accelerators using Programmable Switching Equipment
Análise Sistemática e Verificação
- Vigor: Developing Formally Verified Software Middleboxes
- Bolt: Performance Contracts for Software Network Functions
- SPA: Systematic Protocol Analysis
Projetos Anteriores
Análise Sistemática e Verificação
- CASTAN: Cycle Approximating Symbolic Timing Analysis for Network Functions
- VigNAT: A Formally Verified NAT
- PIC: Protocol Interoperability Checker
- Batfish: A General Approach to Network Configuration Analysis
Medição da Internet
Computação Móvel e na Cloud
- CarMA: Towards Personalized Automotive Tuning
- MobiProg: Adaptive Programming System for Cloud-Enabled Smartphone Applications