Projects

Recent and Ongoing Projects

Synthesis

• Maestro: Automatic Parallelization of Software Network Functions
• 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

• Policing

Mobile & Cloud Computing

• CarMA: Towards Personalized Automotive Tuning
• MobiProg: Adaptive Programming System for Cloud-Enabled Smartphone Applications

Sensor Networks

• Resource Description Language
• WMTP - Wireless Modular Transport Protocol
• Tagus-SensorNet