Internet Systems Lab (ISL)

Contact Us

Current Projects:

Synthesizing network designs with certifiable performance properties:

Network design is ad-hoc today, and validating the design normally comes as an afterthought. Unlike the chip and software indistry, where design and verification tools form a multi-billion dollar industry, network design and verification is still at an early stage. We are exploring formal and general approaches to designing networks to formally certify their performance under failures. The work may be viewed as an early step towards verifying quanititative network properties.


Improving quality of experience (QoE) for Internet Video delivery:

Recent years have seen a tremendous increase in the popularity of Internet video, which forms a major fraction of Internet traffic today, and in this trend, delivering high quality of experience (QoE) is critical since it correlates with user engagement and revenue. The project is investigating techniques and novel architectures to deliver high quality video across diverse and variable network conditions.


Next Generation Multi-Perspective Video Delivery at Internet Scale:

The success of streaming video has generated interest in newer forms of multi-perspective video content, such as those generated by 360-degree cameras, multi-angle camera arrays, or light-field cameras. The immersive experience provided by these cameras can enhance user satisfaction. This project explores architectural enhancements, algorithms, and techniques to deliver multi-perspective video at Internet-scale.


A Program Synthesis Approach to Designing Networks with Indeterminate Objectives:

Computer networks are difficult to manage since there exists a wide gulf between the high-level goals that operators have for their networks and the low-level decisions that operators should make. This project develops a novel framework that we term comparative synthesis, where a user's design objective, and the synthesis of a network design that optimizes that objective are done in tandem.


ML and Data-Driven Optimization of Internet Video Delivery from the Network Edge:

Video dominates the Internet today, accounting for over 80% of Internet traffic by some estimates. A key challenge is delivering high quality Internet video over variable Internet environments. In this project, we are investigating whether high Quality of Experience can be enabled for Internet video by leveraging ML-frameworks at the network edge.


Causal ML models for Data-Driven Networking:

A central theme of data-driven networking is answering what-if questions -- what would be the impact of changing the design of a networked system, given data obtained from a real-world deployment of an existing system. In this project, we are investigating the use of causal reasoning approaches to answer “what-if questions” using data collected from prior deployments of systems.


We are currently updating this page.. please watch this space

Past projects

©Copyright 2007 - Internet Systems Lab - Purdue University