Pravin Shinde

I am a researcher working at Oracle labs Zurich, and I work in Datacenter monitoring and analysis to help provide with situational awareness.

Before joining Oracle labs, I finished my PhD on Rethinking host network stack architecture using dataflow modeling approach at Systems group in ETH Zurich, Switzerland under supervision of my advisor Prof. Timothy Roscoe. The motivation for my PhD research was about revisiting host network stack design to handle changing hardware, OS structure and application requirements, and this work lead to Dragonet Project. I have also worked on the Barrelfish research operating system to explore and understand the implications of recent trends of heterogeneity in computer architectures and network interface cards (NIC's) on the network stack architecture and the interface between applications and the network stack.

I have completed my Masters in Parallel and Distributed Computer Systems from the Vrije Universiteit Amsterdam.

Publications

• Intelligent NIC Queue Management in the Dragonet Network Stack   [ pdf ]
  Kornilios Kourtis, Pravin Shinde, Antoine Kaufmann, Timothy Roscoe.
  In the workshop on Timely Results in Operating Systems (TRIOS-2015)


• Modeling NICs with Unicorn.   [ pdf ]
  Pravin Shinde, Antoine Kaufmann, Kornilios Kourtis, Timothy Roscoe.
  In proceedings of the 7th workshop on Programming Languages and Operating Systems (PLOS-2013)


• We need to talk about NICs.   [ pdf ]
  Pravin Shinde, Antoine Kaufmann, Timothy Roscoe, Stefan Kaestle.
  Accepted in the 14th USENIX conference on Hot topics in operating systems (HOTOS-2013)


• Multicore OS benchmarks: we can do better.   [ pdf ]
  Ihor Kuz, Zachary Anderson, Pravin Shinde, Timothy Roscoe.
  In proceedings of the 13th USENIX conference on Hot topics in operating systems (HOTOS-2011)


• Brasil: basic resource aggregation system infrastructure layer   [ pdf ]
  Eric Van Hensbergen, Pravin Shinde, Noah Evans.
  In Proceedings of the 1st International Workshop on Runtime and Operating Systems for Supercomputers (ROSS-2011).


• Automated process classification Framework using SELinux Security Context   [ pdf ]
  Pravin Shinde, Priyanka Sharma, Srinivas Guntupalli.
  In proceedings of 3rd International Conference on Availability, Reliability and Security (ARES 2008).


• Enhanced Availability and Security by Rate Control Using Extended Policy Framework in SELinux   [ pdf ]
  Pravin Shinde, Priyanka Sharma, Srinivas Guntupalli.
  In proceedings of 3rd International Symposium on Information Assurance and Security (IAS 2007).


• Early DoS Attack Detection using Smoothened TimeSeries and Wavelet Analysis   [ pdf ]
  Pravin Shinde, Srinivas Guntupalli.
  In proceedings of 3rd International Symposium on Information Assurance and Security (IAS 2007).

Research Projects

Here are the descriptions of few select projects I have worked on over the years.
• Dragonet

  Dragonet aims to bring the benefits of NIC hardware capability to applications in hardware agnostic way. It captures the complexity and diversity of NIC hardware by using modeling techniques. We have developed a DSL called Unicorn to simplify the writing these models. These models enables the system reason about the hardware capabilities and externalize the policies about NIC resource management. We have shown the usefulness of Dragonet by using it to manage hardware queues and filters across different NICs based on different application policies.

  Project Source code: Dragonet
  
  
• Barrelfish

  Barrelfish is a research operating system aimed to explore the design-space for future heterogeneous and many-core architectures. My research is aimed re-evaluating the network stack architecture from the perspective of evolving heterogeneity in the network interface cards and processor architecture.

  Project Homepage: Barrelfish
  
  
• XCPU3: Workload distribution and aggregation Filesystem
  

This project is an effort to bring the distributed computing to users desktop in form of synthetic filesystem which will manage remote resources. This filesystem interface simplifies the deployment of distributed application to a great extend by aggregating the remote resources and creating private namespace on remote compute nodes mimicking users filesystem and environment. Initial development is done on the Inferno kernel which is a port of Plan9 OS. I worked on this project as an intern at IBM research Lab, Austin.

Project Homepage: HARE


• Past open source Projects
  • Boot.kernel.org

    Implemented and deployed open source boot.kernel.org (BKO) as part of a Google Summer of Code project with Etherboot and Syslinux community. This project aim at providing network based mass booting platform for booting any Linux distribution. Users need to download gpxe image of few KB which will network boot the PC and provide users with an option to boot any distribution at boot time (not active anymore)

Teaching

• I have been a teaching assistant for the following courses:
  • Systems Programming and Computer Architecture (SPCA) 2015
  • Advanced Computer Networks (Spring 2015)
  • Advanced Operating Systems (Fall 2014)
  • Parallel Programming (Spring 2014)
  • Systems Programming and Computer Architecture (Fall 2013)
  • Parallel Programming (Spring 2013)
  • Advanced Operating Systems (Fall 2012)
  • Operating Systems and Networks (Spring 2012)
  • Advanced Operating Systems (Fall 2011)
  • Operating Systems and Networks (Spring 2011)

---

The beginning is the most important part of the work. -- Plato

home