Projects
Recent and Ongoing Projects
Synthesis
- SALAD-Nets: Synthesizing Network Accelerators using Programmable Switching Equipment
- SyNAPSE: Synthesizing Network Accelerators using Programmable Switching Equipment
Systematic Analysis & Verification
- Vigor: Developing Formally Verified Software Middleboxes
- Bolt: Performance Contracts for Software Network Functions
- SPA: Systematic Protocol Analysis
Past Projects
Systematic Analysis & Verification
- 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
Internet Measurement
Mobile & Cloud Computing
- CarMA: Towards Personalized Automotive Tuning
- MobiProg: Adaptive Programming System for Cloud-Enabled Smartphone Applications