Systems & Networking
Topics
Automated reasoning for networks
Communication networks and protocols
Distributed systems
Hardware acceleration
Heterogeneity
Internet and wireless networking
Internet security services
Operating systems
Programmable networks
Protocol verification
Real-time systems
Storage systems
Systems for big data and machine learning
