Sc.B. Math Computer Science, Brown University, Providence, RI. Honors in Math Computer Science Advisor: Meinolf Sellmann
|
|
|
- Deirdre Williams
- 6 years ago
- Views:
Transcription
1 Aurojit Panda Curriculum Vitae 1176 University Ave, Apt 107 Berkeley, CA (401) Research Interests Computer Systems, Distributed Systems, Networking 2011 present Education PhD candidate,, CA. Advisor: Scott Shenker Sc.B. Math Computer Science, Brown University, Providence, RI. Honors in Math Computer Science Advisor: Meinolf Sellmann Awards Best Student Paper, SIGCOMM 2015 Best Paper, EuroSys 2013 Qualcomm Innovation Fellowship 2012 Publications Conferences Aurojit Panda, Ori Lahav, Katerina Argyraki, Mooly Sagiv, and Scott Shenker. Verifying Reachability in Networks with Mutable Datapaths. In NSDI, Aurojit Panda, Wenting Zheng, Xiaohe Hu, Arvind Krishnamurthy, and Scott Shenker. SCL: Simplifying Distributed SDN Control Planes. In NSDI, Marco Chiesa, Ilya Nikolaevskiy, Slobodan Mitrovic, Aurojit Panda, Andrei Gurtov, Aleksander Madry, Michael Schapira, and Scott Shenker. The Quest for Resilient (Static) Forwarding Tables. In INFOCOM, Ethan J Jackson, Melvin Walls, Aurojit Panda, Justin Pettit, Ben Pfaff, Jarno Rajahalme, Teemu Koponen, and Scott Shenker. SoftFlow: A Middlebox Architecture for Open vswitch. In USENIX ATC, Oded Padon, Kenneth McMillan, Aurojit Panda, Mooly Sagiv, and Sharon Shoham. Ivy: Interactive Verification of Parametrized Systems via Effectively Propositional Reasoning. In PLDI, 2016.
2 Aurojit Panda, Sangjin Han, Keon Jang, Melvin Walls, Sylvia Ratnasamy, and Scott Shenker. NetBricks: Taking the V out of NFV. In OSDI, Colin Scott, Aurojit Panda, Vjeko Brajkovic, George Necula, Arvind Krishnamurthy, and Scott Shenker. Minimizing Faulty Executions of Distributed Systems. In NSDI, Yaron Velner, Kalev Alpernas, Aurojit Panda, Alexander Rabinovich, Mooly Sagiv, Scott Shenker, and Sharon Shoham. Some Complexity Results for Stateful Network Verification. In TACAS, Shoumik Palkar, Chang Lan, Sangjin Han, Aurojit Panda, Keon Jang, Sylvia Ratnasamy, Luigi Rizzo, and Scott Shenker. E2: A Framework for Network Function Virtualization. In SOSP, Justine Sherry, Peter X. Gao, Soumya Basu, Aurojit Panda, Arvind Krishnamurthy, Christian Maciocco, Maziar Manesh, João Martins, Sylvia Ratnasamy, Luigi Rizzo, and Scott Shenker. Rollback Recovery for Middleboxes. In SIGCOMM, Colin Scott, Andreas Wundsam, Barath Raghavan, Aurojit Panda, Andrew Or, Jefferson Lai, Eugene Huang, Zhi Liu, Ahmed El-Hassany, Sam Whitlock, H.B. Acharya, Kyriakos Zarifis, and Scott Shenker. Troubleshooting Blackbox SDN Control Software with Minimal Causal Sequences. In SIGCOMM, Shivaram Venkatraman, Aurojit Panda, Ganesh Ananthanarayanan, Michael Franklin, and Ion Stoica. The Power of Choice in Data-Aware Cluster Scheduling. In OSDI, Sameer Agarwal, Barzan Mozafari, Aurojit Panda, Henry Milner, Samuel Madden, and Ion Stoica. BlinkDB: Queries with Bounded Errors and Bounded Response Times on Very Large Data. In EuroSys, Best Paper. Junda Liu, Aurojit Panda, Ankit Singla, Brighten Godfrey, Michael Schapira, and Scott Shenker. Ensuring Connectivity via Data Plane Mechanisms. In NSDI, Joan Feigenbaum, Brighten Godfrey, Aurojit Panda, Michael Schapira, Scott Shenker, and Ankit Singla. Brief Announcement: On the Resilience of Routing Tables. In PODC, Daniel Heller, Aurojit Panda, Meinolf Sellmann, and Justin Yip. Model Restarts for Structural Symmetry Breaking. In CP, Journals James McCauley, Zhi Liu, Aurojit Panda, Teemu Koponen, Barath Raghavan, Jennifer Rexford, and Scott Shenker. Recursive SDN for Carrier Networks. SIGCOMM Computer Communication Review, 46(3), 2016.
3 Aurojit Panda, James Murphy McCauley, Amin Tootoonchian, Justine Sherry, Teemu Koponen, Syliva Ratnasamy, and Scott Shenker. Open Network Interfaces for Carrier Networks. SIGCOMM Computer Communication Review, 46(1):5 11, Workshops Ignacio Castro, Aurojit Panda, Barath Raghavan, Scott Shenker, and Sergey Gorinsky. Route Bazaar: Automatic Intedomain Contract Negotiation. In HotOS, Aurojit Panda, Katerina Argyraki, Mooly Sagiv, Michael Schapira, and Scott Shenker. New Directions for Network Verification. In SNAPL, Wenfei Wu, Li Erran Li, Aurojit Panda, and Scott Shenker. PRAN: Programmable Radio Access Networks. In HotNets, Sangjin Han, Norbert Egi, Aurojit Panda, Sylvia Ratnasamy, Guangyu Shi, and Scott Shenker. Network Support for Resource Disaggregation in Next-Generation Datacenters. In HotNets, James McCauley, Aurojit Panda, Martin Casado, Teemu Koponen, and Scott Shenker. Extending SDN to Large-Scale Networks. In ONS Research Track, Kay Ousterhout, Aurojit Panda, Joshua Rosen, Shivaram Venkataraman, Reynold Xin, Sylvia Ratnasamy, Scott Shenker, and Ion Stoica. The Case for Tiny Tasks in Compute Clusters. In HotOS, Aurojit Panda, Colin Scott, Ali Ghodsi, Teemu Koponen, and Scott Shenker. CAP for Networks. In HotSDN, Debayan Gupta, Aaron Segal, Aurojit Panda, Gil Segev, Michael Schapira, Joan Feigenbaum, Jenifer Rexford, and Scott Shenker. A New Approach to Interdomain Routing Based on Secure Multi-Party Computation. In HotNets, Demos Sameer Agarwal, Anand P Iyer, Aurojit Panda, Samuel Madden, Barzan Mozafari, and Ion Stoica. Blink and It s Done: Interactive Queries on Very Large Data. In VLDB, Technical Reports Marco Chiesa, Ilya Nikolaevkiy, Aurojit Panda, Andrei Gurtov, Michael Schapira, and Scott Shenker. Exploring the Limits of Static Failover Routing. arxiv preprint arxiv: , Aurojit Panda, Ori Lahav, Katerina Argyraki, Mooly Sagiv, and Scott Shenker. Verifying Isolation Properties in the Presence of Middleboxes. arxiv preprint arxiv: , 2014.
4 Fall 13 Fall 12 Teaching Experience TA for EE122 (Undergraduate Networking), UC Berkeley, Berkeley, CA. Taught about 20 students in a weekly discussion section. Designed problem sets and projects, ran a project involving plug computers Undergraduate TA, CS Department, Brown University, Providence, RI. TAed CS51 (Models of Computation), CS138 (Distributed Computing), CS166 (Security), CS167 (Operating Systems) and CS169 (Operating Systems Lab). Helped with designing new content and projects for distributed systems and security. Helped design and grade problem sets and projects. Fall 05 Reader, Math Department, Brown University, Providence, RI. Graded problem sets and exams for Honors Linear Algebra. Industry Experience Software Developer, Microsoft, Redmond, WA. Worked on the kernel for Midori, an experimental operating system based on Singularity. Designed, implemented and maintained Midori s performance counting and event logging infrastructure. Designed and implemented timer infrastructure for Midori. Midori relied purely on core-local time and allowed applications to specify a tradeoff between time accuracy and performance. Ported Midori from x86-64 to NVidia s Tegra2 multicore ARM processor. Summer 07 Summer 06 Software Engineering Intern, Electronic Arts, Redwood City, CA. Developed memory management tools for the PlayStation 3. Software Engineering Intern, Bloomberg LP, New York, NY. Developed network debugging tools for inferring the cause for latency spikes in data transfer from financial markets. Talks NetBricks: Taking the V out of NFV OSDI. November 2016 Intel Research. October 2016 Google Platforms and Networking. October 2016 VMN: Verifying Networks with Mutable Datapaths Invited speaker at NetPL. August, Summit on Advances in Programming Languages (SNAPL). May Dagstuhl - Formal Foundations for Networking. February Ensuring Connectivity via Dataplane Mechanisms NSDI. April Service Reviewing Reviewer for Journal of Applied Logic. External Reviewer for ESOP 2017, POPL 2017, SOSR 2016, PLDI 2015, ICDE Helped review papers for SIGCOMM 2016, HotNets 2015, SIGCOMM 2015, NSDI 2014, EuroSys 2013, SoCC 2012.
5 Industry Liaison for the Berkeley Computer Science Graduate Student Association. References Prof. Scott Shenker Prof. Ion Stoica Prof. Sylvia Ratnasamy Prof. Mooly Sagiv School of Computer Science Tel Aviv University Prof. Katerina Argyraki School of Computer and Communication Sciences Ecole Polytechnique Federale de Lausanne
Software Engineering Intern, Electronic Arts, Redwood City, CA. Developed memory management tools for the PlayStation 3.
Aurojit Panda Curriculum Vitae 1176 University Ave, Apt 107 Berkeley, CA 94702 +1 (401) 323 1524 apanda@cs.nyu.edu cs.nyu.edu/~apanda Research Interests Computer Systems, Distributed Systems, Networking
1 Network Function Virtualization
Networks increasingly use software in both the control and the data plane. Software Defined Networking (SDN) use software controllers running on remote servers to make control plane decisions (e.g., select
Networked systems, security and applied cryptography, sustainable computing, ICTD
Barath Raghavan ICSI 1947 Center Street #600 Berkeley, CA 94704 510-604-2390 (m) barath@icsi.berkeley.edu Research Interests Networked systems, security and applied cryptography, sustainable computing,
NetBricks: Taking the V out of NFV. Aurojit Panda, Sangjin Han, Keon Jang, Melvin Walls, Sylvia Ratnasamy, Scott Shenker UC Berkeley, Google, ICSI
NetBricks: Taking the V out of NFV Aurojit Panda, Sangjin Han, Keon Jang, Melvin Walls, Sylvia Ratnasamy, Scott Shenker UC Berkeley, Google, ICSI What the heck is NFV? A Short Introduction to NFV A Short
New Directions for Network Verification
New Directions for Network Verification Aurojit Panda 1, Katerina Argyraki 2, Mooly Sagiv 3, Michael Schapira 4, and Scott Shenker 5 1 UC Berkeley 2 EPFL 3 Tel Aviv University 4 Hebrew University of Jerusalem
ResQ: Enabling SLOs in Network Function Virtualization
ResQ: Enabling SLOs in Network Function Virtualization Amin Tootoonchian* Aurojit Panda Chang Lan Melvin Walls Katerina Argyraki Sylvia Ratnasamy Scott Shenker *Intel Labs UC Berkeley ICSI NYU Nefeli EPFL
Junchen Jiang. 513 N. Neville St. Apt C3, Pittsburgh, PA, URL: https://www.cs.cmu.edu/ junchenj/
Junchen Jiang 513 N. Neville St. Apt C3, Pittsburgh, PA, 15213 Email: junchenj@cs.cmu.edu URL: https://www.cs.cmu.edu/ junchenj/ RESEARCH INTERESTS Computer networks, distributed systems, big data, and
Shivaram Venkataraman 901 Drake Street, 401, Madison, WI 53715,
Shivaram Venkataraman 901 Drake Street, 401, Madison, WI 53715, 217-766-2227 shivaram@cs.wisc.edu, http://shivaram.org RESEARCH INTERESTS Computer Systems, Databases, Machine Learning EDUCATION PhD, Computer
Server virtualization
Server virtualization Ankit Singla ETH Zürich P. Brighten Godfrey UIUC The cloud depends on it, virtually The cloud depends on it, virtually Sharing of physical infrastructure The cloud depends on it,
Consistency in SDN. Aurojit Panda, Wenting Zheng, Xiaohe Hu, Arvind Krishnamurthy, Scott Shenker
Consistency in SDN Aurojit Panda, Wenting Zheng, Xiaohe Hu, Arvind Krishnamurthy, Scott Shenker Distributed SDN Today Replicated Replicated Replicated Consistency Layer Distributed SDN Today Replicated
Network function virtualization
Network function virtualization Ankit Singla ETH Zürich Spring 2017 News from SIGCOMM 2017 36 papers (out of 250 submissions) On every topic we covered / will cover 2 papers from ETH! 2 An update Beyond
Junchen Jiang. 200 West 16th Street, New York, NY, URL: https://www.cs.cmu.
Junchen Jiang 200 West 16th Street, New York, NY, 10011 Email: junchenj@uchicago.edu, junchenj@cs.cmu.edu URL: https://www.cs.cmu.edu/ junchenj/ RESEARCH INTERESTS Computer networks, large-scale data analytics
Scalable Verification of Stateful Networks. Aurojit Panda, Ori Lahav, Katerina Argyraki, Mooly Sagiv, Scott Shenker UC Berkeley, TAU, ICSI
Scalable Verification of Stateful Networks Aurojit Panda, Ori Lahav, Katerina Argyraki, Mooly Sagiv, Scott Shenker UC Berkeley, TAU, ICSI Roadmap Why consider stateful networks? The current state of stateful
Research Summary. Mooly Sagiv December 2015
Research Summary Mooly Sagiv December 2015 1 Research Interests My research focuses on easing the task of developing reliable and efficient programs via program analysis. The aim is to create powerful
Leveraging SDN Layering to Systema2cally Troubleshoot Networks
Leveraging SDN Layering to Systema2cally Troubleshoot Networks Brandon Heller Colin Sco/ Nick McKeown Sco= Shenker Andreas Wundsam Hongyi Zeng Sam Whitlock Vimalkumar Jeyakumar Nikhil Handigol James McCauley
Network Virtualization in Multi-tenant Datacenters
Network Virtualization in Multi-tenant Datacenters Teemu Koponen, Keith Amidon, Peter Balland, Martín Casado, Anupam Chanda, Bryan Fulton, Igor Ganichev, Jesse Gross, Natasha Gude, Paul Ingram, Ethan Jackson,
EE 122: Introduction To Communication Networks
EE 122: Introduction To Communication Networks Fall 2013 Sylvia Ratnasamy http://inst.eecs.berkeley.edu/~ee122/ Material with thanks to Jennifer Rexford, Ion Stoica, Vern Paxson, Scott Shenker, Dave Anderson
Brian F. Cooper. Distributed systems, digital libraries, and database systems
Brian F. Cooper Home Office Internet 2240 Homestead Ct. #206 Stanford University cooperb@stanford.edu Los Altos, CA 94024 Gates 424 http://www.stanford.edu/~cooperb/app/ (408) 730-5543 Stanford, CA 94305
Software-Defined Internet Architecture: Decoupling Architecture from Infrastructure
Software-Defined Internet Architecture: Decoupling Architecture from Infrastructure Barath Raghavan ICSI Martín Casado Nicira Teemu Koponen Nicira Sylvia Ratnasamy UC Berkeley Ali Ghodsi UC Berkeley Scott
DRIZZLE: FAST AND Adaptable STREAM PROCESSING AT SCALE
DRIZZLE: FAST AND Adaptable STREAM PROCESSING AT SCALE Shivaram Venkataraman, Aurojit Panda, Kay Ousterhout, Michael Armbrust, Ali Ghodsi, Michael Franklin, Benjamin Recht, Ion Stoica STREAMING WORKLOADS
CAP for Networks. Aurojit Panda Colin Scott Ali Ghodsi Teemu Koponen Scott Shenker UC Berkeley KTH/Royal Institute of Technology VMware ICSI ABSTRACT
CAP for Networks Aurojit Panda Colin Scott Ali Ghodsi Teemu Koponen Scott Shenker UC Berkeley KTH/Royal Institute of Technology VMware ICSI Alice laughed. There s no use trying, she said: one can t believe
Networking in virtual environments
Networking in virtual environments Guillaume Urvoy-Keller January 7, 2018 1 / 36 Source documents Teemu Koponen, Keith Amidon, Peter Balland, Martín Casado, Anupam Chanda, Bryan Fulton, Igor Ganichev,
Reducing Faulty Executions of Distributed Systems
Reducing Faulty Executions of Distributed Systems Robert Colin Butler Scott Electrical Engineering and Computer Sciences University of California at Berkeley Technical Report No. UCB/EECS-2016-123 http://www.eecs.berkeley.edu/pubs/techrpts/2016/eecs-2016-123.html
Model Checking Dynamic Datapaths
Model Checking Dynamic Datapaths Aurojit Panda, Katerina Argyraki, Scott Shenker UC Berkeley, ICSI, EPFL Networks: Not Just for Delivery Enforce a variety of invariants: Packet Isolation: Packets from
Ph.D. with Distinction in Computer Science Advisor: Prof. Micha Sharir Dissertation: Geometric Arrangements: Substructures and Algorithms
April 29, 2009 Esther Ezra phone (919) 660-6578 Levine Science Research Center D340 fax (919) 660-6502 Department of Computer Science, Duke University http://www.math.tau.ac.il/~estere Durham NC 27708
Data Center Virtualization: Open vswitch
Data Center Virtualization: Open vswitch Hakim Weatherspoon Assistant Professor, Dept of Computer Science CS 5413: High Performance Systems and Networking November 10, 2014 Slides from ACM SIGCOMM Workshop
NOX, POX, and lessons learned. James Murphy McCauley
NOX, POX, and lessons learned James Murphy McCauley Organization A Bit of History Lessons Learned Part 1: Two little lessons Part 2: Thinking big Ongoing Work Wrap-Up 2 Current NOX and POX Collaborators
On the Resilience of Routing Tables 1
On the Resilience of Routing Tables 1 Joan Feigenbaum 2 Brighten Godfrey 3 Aurojit Panda 4 Michael Schapira 5 Scott Shenker 4 Ankit Singla 3 Technical Report YALEU/DCS/TR- 1454 August 2012 Abstract: Many
Tolerating Faults in Disaggregated Datacenters
Tolerating Faults in Disaggregated Datacenters Amanda Carbonari, Ivan Beschastnikh University of British Columbia To appear at HotNets17 Current Datacenters 2 The future: Disaggregation 3 The future: Disaggregation
Ranveer Chandra. Computer Networks, Mobile Computing, Distributed Systems, Sensor Networks, Pervasive Computing
4110 Upson Hall Department of Computer Science http://www.cs.cornell.edu/people/ranveer Ranveer Chandra Phone: (607) 592-2274 (cell) (607) 255-9196 (office) Fax : (607) 255-4428 E-mail: ranveer@cs.cornell.edu
Scalability and Resilience in SDN: an overview. Nicola Rustignoli
Scalability and Resilience in SDN: an overview Nicola Rustignoli rnicola@student.ethz.ch Nicola Rustignoli 11.03.2016 1 Software-Defined networking CONTROL LAYER SWITCH FORWARDING LAYER Graphs source:[1]
BESS: A Virtual Switch Tailored for NFV
BESS: A Virtual Switch Tailored for NFV Sangjin Han, Aurojit Panda, Brian Kim, Keon Jang, Joshua Reich, Saikrishna Edupuganti, Christian Maciocco, Sylvia Ratnasamy, Scott Shenker https://github.com/netsys/bess
TRINABH GUPTA. Thesis advisor: Prof. Anirban Mahanti
TRINABH GUPTA g.trinabh@gmail.com http://cs.utexas.edu/users/trinabh 14820 NE 36th Street, Building 99, Redmond, WA 98052 RESEARCH INTERESTS Computer systems, security, and privacy EDUCATION 8/2011 8/2017
Dr. Spencer Sevilla Postdoctoral Researcher, University of Washington
Dr. Spencer Sevilla Postdoctoral Researcher, University of Washington email: sevilla@cs.washington.edu Research Interests Computer networks, Host mobility, Web technology, Content caching Education University
Ben-Moshe Boaz - Curriculum Vitae
Personal Details Ben-Moshe Boaz - Curriculum Vitae Date of birth : April 2, 1971 Place of birth : Israel Email: benmo@ariel.ac.il URL: http://www.ariel.ac.il/cs/pf/bmboaz Work address: Department of Computer
Comparison of SDN OpenFlow Network Simulator and Emulators: EstiNet vs. Mininet
Comparison of SDN OpenFlow Network Simulator and Emulators: EstiNet vs. Mininet Shie-Yuan Wang Department of Computer Science National Chiao Tung University Hsinchu, Taiwan shieyuan@cs.nctu.edu.tw Abstract
Amy Babay April 2018
Amy Babay www.dsn.jhu.edu/~babay 814-528-4205 babay@cs.jhu.edu Education PhD in Computer Science April 2018 PhD Research: Structured overlay networks for a new generation of Internet services, dependable
Aaron Gember-Jacobson
Aaron Gember-Jacobson http://aaron.gember-jacobson.com Contact Information Department of Computer Science, Colgate University agemberjacobson@colgate.edu 13 Oak Drive, Hamilton, NY 13346 (315) 228-6298
ECIT Institute (Est.2003)
ECIT Institute (Est.2003) Research Excellence & Innovation 180 people 4 Queen s University Belfast Research Groups - Digital Communications - High Frequency Electronics - Speech, Imaging and Vision Systems
ADAM CHLIPALA. Research interests. Education. Refereed conference papers
579 Soda Hall Berkeley, CA 94720-1776 USA adamc@cs.berkeley.edu http://www.cs.berkeley.edu/ adamc/ Research interests ADAM CHLIPALA Dependent type systems; interactive theorem proving; type-based programming
Open vswitch is the most widely used virtual switch in cloud environments.
BEN PFAFF, JUSTIN PETTIT, TEEMU KOPONEN, ETHAN J. JACKSON, ANDY ZHOU, JARNO RAJAHALME, JESSE GROSS, ALEX WANG, JONATHAN STRINGER, PRAVIN SHELAR, KEITH AMIDON, AND MARTIN CASADO Ben Pfaff is a Lead Developer
SYLLABUS. 3. Total estimated time (hours/semester of didactic activities) 3.1 Hours per week 3 Of which: 3.2 course seminar/laboratory1 sem
SYLLABUS 1. Information regarding the programme 1.1 Higher education institution Babeş-Bolyai University of Cluj-Napoca 1.2 Faculty Faculty of Mathematics and Computer Science 1.3 Department Department
Abstractions for Routing. Abstractions for Network Routing
Abstractions for Routing Abstractions for Network Routing Brighten Godfrey DIMACS 23 May 2012 Abstractions for Network Routing Impressions of Network Routing Neo-Dadaisms for Network Routing Absurdisms
Software Defined Networks (S.D.N): Experimentation with Mininet Topologies
Indian Journal of Science and Technology, Vol 9(32), DOI: 10.17485/ijst/2016/v9i32/100195, August 2016 ISSN (Print) : 0974-6846 ISSN (Online) : 0974-5645 Software Defined Networks (S.D.N): Experimentation
Xinyu Feng. January Ph.D. in Computer Science, Yale University, expected Advisor: Professor Zhong Shao.
Address Department of Computer Science Yale University 51 Prospect Street New Haven, CT 06520, U.S.A. Xinyu Feng January 2007 Phone: +1 203 432 1266 Fax: +1 203 432 0593 Email: feng@cs.yale.edu WWW: http://flint.cs.yale.edu/feng/
Network Management and Software-Defined Networking (SDN)
Network Management and Software-Defined Networking (SDN) EE122 Fall 2012 Scott Shenker http://inst.eecs.berkeley.edu/~ee122/ Materials with thanks to Jennifer Rexford, Ion Stoica, Vern Paxson and other
Thesis: An Extensible, Self-Tuning, Overlay-Based Infrastructure for Large-Scale Stream Processing and Dissemination Advisor: Ugur Cetintemel
Olga Papaemmanouil Phone: +1 (401) 588-0230 Department of Computer Science Fax: +1 (401) 863-7657 Box 1910, 115 Waterman St, Floor 4 Email: olga@cs.brown.edu Providence, RI, 02912, USA Web: http://www.cs.brown.edu/
A High Performance Packet Core for Next Generation Cellular Networks
A High Performance Packet Core for Next Generation Cellular Networks Zafar Qazi + Melvin Walls, Aurojit Panda +, Vyas Sekar, Sylvia Ratnasamy +, Scott Shenker + + 1 Explosive Cellular Growth Many Diverse
Formal Verification of Computer Switch Networks
Formal Verification of Computer Switch Networks Sharad Malik; Department of Electrical Engineering; Princeton Univeristy (with Shuyuan Zhang (Princeton), Rick McGeer (HP Labs)) 1 SDN: So what changes for
Open Network Interfaces for Carrier Networks
Open Network Interfaces for Carrier Networks Aurojit Panda, James McCauley, Amin Tootoonchian, Justine Sherry Teemu Koponen, Sylvia Ratnasamy, Scott Shenker UC Berkeley, ICSI, UToronto, Styra {apanda,
Revisiting Network Support for RDMA
Revisiting Network Support for RDMA Radhika Mittal 1, Alex Shpiner 3, Aurojit Panda 1, Eitan Zahavi 3, Arvind Krishnamurthy 2, Sylvia Ratnasamy 1, Scott Shenker 1 (1: UC Berkeley, 2: Univ. of Washington,
Chronus: Consistent Data Plane Updates in Timed SDNs
: Consistent Data Plane Updates in Timed SDNs Jiaqi Zheng, Guihai Chen, Stefan Schmid, Haipeng Dai, Jie Wu, State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 2124, China Shanghai
Software-Defined Networking:
Software-Defined Networking: OpenFlow and Frenetic Mohamed Ismail Background Problem: Programming Networks is Hard 3/39 Network Stack Pros Key to the success of the Internet Layers and layers of abstraction
Software-Defined Data Centers
Software-Defined Data Centers Brighten Godfrey CS 538 April 11, 2018 slides 2017-2018 by Brighten Godfrey except graphics from cited papers Multi-Tenant Data Centers: The Challenges Key Needs Agility Strength
THE DEFORESTATION OF L2
THE DEFORESTATION OF L2 James McCauley, Mingjie Zhao, Ethan J. Jackson, Barath Raghavan, Sylvia Ratnasamy, Scott Shenker UC Berkeley, UESTC, and ICSI The Talk What is AXE? Why look at this? How does it
Toward a Verifiable Software Dataplane
Toward a Verifiable Software Dataplane Mihai Dobrescu and Katerina Argyraki School of Computer and Communication Sciences EPFL, Switzerland ABSTRACT Software dataplanes are emerging as an alternative to
Design Challenges for High Performance, Scalable NFV Interconnects
Design Challenges for High Performance, Scalable V Interconnects Guyue Liu The George Washington University K. K. Ramakrishnan University of California, Riverside Mike Schlansker Hewlett Packard Labs ABSTRACT
Network Requirements for Resource Disaggregation
Network Requirements for Resource Disaggregation Peter Gao (Berkeley), Akshay Narayan (MIT), Sagar Karandikar (Berkeley), Joao Carreira (Berkeley), Sangjin Han (Berkeley), Rachit Agarwal (Cornell), Sylvia
On Service Composition Algorithm for Open Marketplaces of Network Services
On Service Composition Algorithm for Open Marketplaces of Network Services S. Bhat, R. Udechukwu, R. Dutta, G. N. Rouskas Department of Computer Science North Carolina State University 1 Outline Introduction
Integration of Machine Learning Library in Apache Apex
Integration of Machine Learning Library in Apache Apex Anurag Wagh, Krushika Tapedia, Harsh Pathak Vishwakarma Institute of Information Technology, Pune, India Abstract- Machine Learning is a type of artificial
Benjamin Livshits. Gates Building, Room 406, Stanford, CA
Benjamin Livshits Gates Building, Room 406, Stanford, CA 94305 livshits@cs.stanford.edu http://www.stanford.edu/~livshits/ Research Interests Programming languages and tools for program analysis Static
Zechao Shang. Department of Computer Science (773)
Zechao Shang Department of Computer Science (773)766-0354 University of Chicago zcshang@cs.uchicago.edu 5730 South Ellis Avenue people.cs.uchicago.edu/ zcshang Chicago, Illinois 60637 INTERESTS I am interested
Data Center Virtualization: Xen and Xen-blanket
Data Center Virtualization: Xen and Xen-blanket Hakim Weatherspoon Assistant Professor, Dept of Computer Science CS 5413: High Performance Systems and Networking November 17, 2014 Slides from ACM European
AUTO-SCALING OF NETWORK RESOURCES
AUTO-SCALING OF NETWORK RESOURCES Sabidur Rahman Nov. 4, 2016 Friday Group Meeting, Netlab 1 Agenda Define auto-scaling Network Function Virtualization Motivation Literature review Problem statement and
A Ten Minute Introduction to Middleboxes. Justine Sherry, UC Berkeley
A Ten Minute Introduction to Middleboxes Justine Sherry, UC Berkeley This Talk: Three Questions! What is a middlebox? What are some recent trends in middlebox engineering? What research challenges do middleboxes
National Taiwan University. Software-Defined Networking
Software-Defined Networking Prof. Ai-Chun Pang Graduate Institute of Networking and Multimedia, Dept. of Comp. Sci. and Info. Engr., Email: acpang@csie.ntu.edu.tw http://www.csie.ntu.edu.tw/~acpang June
10 YEARS OF OPEN VSWITCH SUCCESS AND FAILURE BEN PFAFF
10 YEARS OF OPEN VSWITCH SUCCESS AND FAILURE BEN PFAFF WHAT IS OPEN VSWITCH? controller Open source project HV Software switch Portable Ethernet OVS VM Programmable Fast OPEN VSWITCH SUCCESS Used in NSX
Ben-Moshe Boaz - Curriculum Vitae
Ben-Moshe Boaz - Curriculum Vitae Personal Details Date of birth : April 2, 1971 Place of birth : Israel Email: benmo@yosh.ac.il URL: http://www.yosh.ac.il/dom/bbm Work address: School of Computer Science
CS-580K/480K Advanced Topics in Cloud Computing. Software-Defined Networking
CS-580K/480K Advanced Topics in Cloud Computing Software-Defined Networking 1 An Innovation from Stanford Nick McKeown In 2006, OpenFlow is proposed, which provides an open protocol to program the flow-table
Stable Internet Route Selection
Stable Internet Route Selection Brighten Godfrey Matthew Caesar Ian Haken Scott Shenker Ion Stoica UC Berkeley pbg@cs.berkeley.edu NANOG 40 June 6, 2007 BGP instability: trouble control plane data plane
Stavros Nikolaou. 413 Gates Hall URL: Ithaca, NY, 14853, USA Date of Birth: December, 1987
413 Gates Hall +1 6073795409 Department of Computer Science Cornell University email: snikolaou@cs.cornell.edu URL: www.cs.cornell.edu/~snikolaou Ithaca, NY, 14853, USA Date of Birth: December, 1987 Education
GEN: A GPU-Accelerated Elastic Framework for NFV
GEN: A GPU-Accelerated Elastic Framework for NFV Zhilong Zheng, Jun Bi, Chen Sun, Heng Yu, Hongxin Hu, Zili Meng, Shuhe Wang, Kai Gao, Jianping Wu * ABSTRACT Network Function Virtualization (NFV) has the
HotNets 2012 Highlights
HotNets 2012 Highlights P. Brighten Godfrey University of Illinois at Urbana-Champaign pbg@illinois.edu This article is an editorial note submitted to CCR. It has NOT been peer reviewed. The author takes
Software defined Vehicular Network Challenges & Opportunities. Weisen Shi October 3, 2016
Software defined Vehicular Network Challenges & Opportunities Weisen Shi October 3, 2016 Outline Backgrounds Issues in VANET Software defined networking (SDN) Software defined Vehicular Network(SDVN) Frameworks
Software Defined Networking (SDN) 3-days Hands-on Workshop
DISCOVER new ideas SHARE expertise EXPLORE new solutions 2017 22-24 November 9.00 AM - 5.00 PM Kuala Lumpur, Malaysia Timmins Training Consulting Software Defined Networking (SDN) 3-days Hands-on Workshop
Modeling Analysis of Intelligent Manufacturing System Based on Software Defined Networks
Modeling Analysis of Intelligent Manufacturing System Based on Software Defined Networks Yun Bai Department of Information & Telecommunication Engineering Beijing Key Laboratory of Network System Architecture
The Function Placement Problem (FPP)
Chair of Communication Networks Department of Electrical and Computer Engineering Technical University of Munich The Function Placement Problem (FPP) Wolfgang Kellerer Technical University of Munich Dagstuhl,
Computations with Bounded Errors and Response Times on Very Large Data
Computations with Bounded Errors and Response Times on Very Large Data Ion Stoica UC Berkeley (joint work with: Sameer Agarwal, Ariel Kleiner, Henry Milner, Barzan Mozafari, Ameet Talwalkar, Purnamrita
Reclaiming the Brain: Useful OpenFlow Functions in the Data Plane
Reclaiming the Brain: Useful OpenFlow Functions in the Data Plane Liron Schiff 1, Michael Borokhovich 2, Stefan Schmid 3 1 Tel Aviv University, Israel; 2 University of Texas at Austin, United States; 3
Placement Strategies for Virtualized Network Functions in a NFaaS Cloud
216 Fourth IEEE Workshop on Hot Topics in Web Systems and Technologies Placement Strategies for Virtualized Network Functions in a NFaaS Cloud Xin He Tian Guo Erich Nahum Prashant Shenoy University of
Zoltan Safar. Education. Awards and Honors. Experience
1361 A. V. Williams Bldg. Department of Electrical and Computer Engineering University of Maryland College Park, MD 20742, USA Phone: (+1) 301-405-5779 E-mail: zsafar@umd.edu Education Ph.D. in Electrical
Embark: Securely Outsourcing Middleboxes to the Cloud
Embark: Securely Outsourcing Middleboxes to the Cloud Chang Lan, Justine Sherry, Raluca Ada Popa, Sylvia Ratnasamy, Zhi Liu UC Berkeley Tsinghua University 1 Background Middleboxes are prevalent and problematic
ENDEAVOUR: Towards a flexible software-defined network ecosystem
ENDEAVOUR: Towards a flexible software-defined network ecosystem Project name ENDEAVOUR Project ID H2020-ICT-2014-1 Project No. 644960 Working Package Number 5 Deliverable Number 5.6 Document title Progress
RouteBricks: Exploiting Parallelism To Scale Software Routers
outebricks: Exploiting Parallelism To Scale Software outers Mihai Dobrescu & Norbert Egi, Katerina Argyraki, Byung-Gon Chun, Kevin Fall, Gianluca Iannaccone, Allan Knies, Maziar Manesh, Sylvia atnasamy
Software Defined Networks
Software Defined Networks A quick overview Based primarily on the presentations of Prof. Scott Shenker of UC Berkeley The Future of Networking, and the Past of Protocols Please watch the YouTube video
Jiepu Jiang, Ph.D. and Ph.D. candidate
Jiepu Jiang, Ph.D. and Ph.D. candidate Center for Intelligent Information Retrieval, Email: jpjiang@cs.umass.edu College of Information and Computer Sciences, Phone: +1 (812) 272-1970 University of Massachusetts
Cloud, Big Data & Linear Algebra
Cloud, Big Data & Linear Algebra Shelly Garion IBM Research -- Haifa 2014 IBM Corporation What is Big Data? 2 Global Data Volume in Exabytes What is Big Data? 2005 2012 2017 3 Global Data Volume in Exabytes
Wireless Communications, Information Theory, Physical Layer Security, Cyber Security for Smart Grid, Cryptography, Network Coding.
Mustafa El-Halabi Contact Information Fleifel Building Cell Phone: + (979) 422 4585 Mathaf E-mail: mhalabi@aust.edu.lb Beirut, Lebanon Webpage: https://mustafa-halabi.appspot.com/ Research Interests Education
FatTire: Declarative Fault Tolerance for Software-Defined Networks
FatTire: Declarative Fault Tolerance for Software-Defined Networks Mark Reitblatt Cornell University reitblatt@cs.cornell.edu Marco Canini TU Berlin / T-Labs m.canini@tu-berlin.de Arjun Guha Cornell University
Interconnected Multiple Software-Defined Network Domains with Loop Topology
Interconnected Multiple Software-Defined Network Domains with Loop Topology Jen-Wei Hu National Center for High-performance Computing & Institute of Computer and Communication Engineering NARLabs & NCKU
VNF Chain Allocation and Management at Data Center Scale
VNF Chain Allocation and Management at Data Center Scale Internet Cloud Provider Tenants Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger Hoos, Alan Hu Network Functions (NF) are useful
This list will be maintained and updated by the Curriculum and Assessment Committee with input from PhD faculty.
Top-tier Conference Paper Publishing Venues The faculty of the PhD program have created the following Conference List to provide guidance to PhD students regarding the unarguably highest quality publication
Amy Babay November Doctor of Philosophy in Computer Science September 2018
Amy Babay www.dsn.jhu.edu/~babay 814-528-4205 babay@cs.jhu.edu Education November 2018 Doctor of Philosophy in Computer Science September 2018 Thesis: Timely, Reliable, and Cost-Effective Internet Transport
John Clements Department of Computer Science Cal Poly State University 1 Grand Street San Luis Obispo, CA (805)
Curriculum Vitae Contact Information Education John Clements Department of Computer Science Cal Poly State University 1 Grand Street San Luis Obispo, CA 93407 (805)756-6528 clements@brinckerhoff.org 2005
Reverse Traceroute. NSDI, April 2010 This work partially supported by Cisco, Google, NSF
Reverse Traceroute Ethan Katz-Bassett, Harsha V. Madhyastha, Vijay K. Adhikari, Colin Scott, Justine Sherry, Peter van Wesep, Arvind Krishnamurthy, Thomas Anderson NSDI, April 2010 This work partially
Forwarding Architecture
Forwarding Architecture Brighten Godfrey CS 538 February 14 2018 slides 2010-2018 by Brighten Godfrey unless otherwise noted Building a fast router Partridge: 50 Gb/sec router A fast IP router well, fast
Distributed Resource Control using Shadowed Subgraphs
Distributed Resource Control using Shadowed Subgraphs Gregory Lauer, Ryan E. Irwin and Chris Kappler Raytheon BBN Technologies 10 Moulton St.; Cambridge, MA U.S.A {glauer,rirwin,ckappler}@bbn.com Itaru
The (Surprising) Computational Power of the SDN Data Plane
The (Surprising) Computational Power of the SDN Data Plane Calvin Newport Computer Science Department Georgetown University Washington, DC 20057 Email: cnewport@cs.georgetown.edu Wenchao Zhou Computer
Universal Packet Scheduling. Radhika Mittal, Rachit Agarwal, Sylvia Ratnasamy, Scott Shenker UC Berkeley
Universal Packet Scheduling Radhika Mittal, Rachit Agarwal, Sylvia Ratnasamy, Scott Shenker UC Berkeley Many Scheduling Algorithms Many different algorithms FIFO, FQ, virtual clocks, priorities Many different
VeriFlow: Verifying Network-Wide Invariants in Real Time
VeriFlow: Verifying Network-Wide Invariants in Real Time Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, P. Brighten Godfrey Department of Computer Science University of Illinois at Urbana-Champaign 201