Mina Tahmasbi Arashloo
I am a third year PhD student at the Computer Science Department of Princeton University .
I am honored to have Prof. Jennifer Rexford as my PhD advisor.
Prior to Princeton, I got my B.Sc degree in Computer Engineering from department of Computer Engineering at
Sharif University of Technology, Iran.
I am primarily interested in networked systems, with a focus on software defined networking (SDN) . Recently I have been working on programming abstractions for SDNs and network measurement and monitoring. Below, you can find a brief description of my projects in these areas.
SNAP: Stateful Network-wide Abstractions for Packet Processing, SIGCOMM'16
SNAP is a network programming language that can express a wide range of stateful network-wide packet processing functions. The SNAP compiler takes user-defined policies as input and translates them to data plane configurations for each network device. The program state is handled locally on the switches as opposed to controller, and the compiler decides state placement and forwarding paths in a way to minimize congestion. We employ various data-structures (e.g., stateful extensions to binary decision diagrams) and tools (e.g., Gurobi optimizer) for efficient compilation. SNAP is a joint work with Yaron Koral , Michael Greenberg , Jennifer Rexford , and David Walker .
[Conference Paper] [Technical Report]
Compiling Path Queries, NSDI'16
Path Queries is a new query system that enables efficient path-based traffic monitoring. I specically worked on optimizing the compiler which transforms user queries to dataplane rules in order to collect the required statistics. This is a joint work with Srinivas Narayana , Jennifer Rexford, David Walker.
[Conference Paper] [Project Website]
- • Teaching assistant, Princeton University
- Computer Networks (Spring 2016)
- Functional Programming (Fall 2015)
- • Teaching assistant, Sharif University of Technology
- Computer Networks: (Spring 2014, Fall 2013)
- Theory of Machine Languages and Automata: (Fall 2013 , Spring 2013, Fall 2012)
- Artificial Intelligence (Head TA): (Spring 2014, Fall 2013)
- Design and Analysis of Algorithms: (Fall 2012)