- talks - lists.cs.princeton.edu

12:30-1:20pm Mon Sep 24 on network operating system for the cloud
by Jennifer Rexford 21 Sep '12

21 Sep '12

Speaker: Dr. Anil Madhavapeddy, University of Cambridge Title: A Library-based Network Operating System for the Cloud Date/time: 12:30-1:20pm Monday September 24 (lunch starts at noon) Location: 302 in the Computer Science building Abstract: The cloud has so far mostly been used to consolidate existing operating systems and manage them more conveniently. The interface between guest kernels, applications and VMs are all managed very differently, leading to serious inefficiencies, unreliability and insecurity. Our new Mirage OS revisits the library OS, and finds it a practical approach to improve this situation. Applications are written in a high-level functional programming language (OCaml) and compiled directly into microkernels that run on the Xen hypervisor. By treating the hypervisor as a stable hardware platform, we can focus on high-performance protocol implementations without worrying about having to support the thousands of device drivers found in a traditional OS. Mirage includes clean-slate functional implementations of protocols ranging from TCP/IP, DNS, SSH, Openflow (switch/controller), HTTP, XMPP and Xen inter-VM transports. In this talk, I will describe the basics of Mirage, and demonstrate the performance and resource tradeoffs with our approach. Some of the new applications we are building using Mirage include the next-generation Xen Cloud Platform (a widely deployed open-source Xen distribution), Openflow-integrated applications, and a novel approach to managing distributed devices on the Internet.

1 0

W Kim FPO Wednesday
by Melissa M. Lawson 17 Sep '12

17 Sep '12

As previously announced, Won ho Kim will present his FPO on Wednesday September 19 at 2PM in Room 402. His committee will now be: Vivek Pai, David Walker, and Brian Kernighan. Everyone is invited to attend his talk.

1 0

P Prabhu preFPO
by Melissa M. Lawson 12 Sep '12

12 Sep '12

Prakash Prabhu will present his preFPO on Tuesday September 18 at 11AM in Room 402. The members of his committee are: David August, advisor; David Walker and JP Singh, readers; Margaret Martonosi and Kai Li, nonreaders. Everyone is invited to attend his talk. His abstract follows below. -------------------- Semantic Language Extensions for Implicit Parallel Programming Several emerging ﬁelds of science of engineering are increasingly characterized by computationally intensive programs that generate exponential amounts of data. Without parallelization, such programs do not benefit from the increasing core counts available in today’s chip multiprocessors. However, it is widely perceived that writing correct and well performing parallel programs is an extremely hard problem. In order to understand the challenges faced by scientific programmers in effectively leveraging parallel computation, this dissertation presents an in-depth field study of the practice of computational science. Based on the results of the ﬁeld study, two new implicit parallel programming (IPP) solutions are proposed. IPP solutions offer the best of both automatic and explicit parallelization. With IPP, artificial constraints imposed by sequential models for automatic parallelization are overcome by use of semantic programming extensions that do not sacriﬁce the ease of sequential programming. These extensions are exploited by transformation tools to synthesize a correct parallel program without requiring enormous manual programming effort associated with explicit parallelization. The first IPP solution, Commutative Set, generalizes existing notions of semantic commutativity. It allows a programmer to expressively relax execution orders prohibited under a sequential programming model and enables multiple parallelism forms without additional parallelism constructs. The second IPP solution, WeakC, provides language extensions to weaken semantics of sequential data structures, and dynamically optimizes a parallel configuration of these data structures via a combined compiler-runtime system. Both Commutative Set and WeakC have been implemented within the clang/LLVM compiler framework, and are evaluated on several real-world applications running on real hardware, including some that are actively used by several scientists in their day-to-day research. Based on experimental results, this dissertation demonstrates the effectiveness of the proposed techniques.

1 0

W Kim FPO
by Melissa M. Lawson 12 Sep '12

12 Sep '12

Wonho Kim will present his FPO on Wednesday September 19 at 2PM in Room 402. The members of his committee are: Vivek Pai, advisor; Michael Freedman and Larry Peterson, readers; Jennifer Rexford and David Walker, nonreaders. A copy of his dissertation "Understanding Resource Usage and Performance in Wide-Area Distributed Systems", is on display in Room 310. Everyone is invited to attend his talk.

1 0

Harlan Yu FPO
by Melissa M. Lawson 24 Aug '12

24 Aug '12

Harlan Yu will present his FPO on Friday August 31 at 10AM in 306 Sherrerd Hall (note room!). The members of his committee are: Ed Felten, advisor; Jennifer Rexford and Beth Noveck (New York Law School), readers; Michael Freedman and Matthew Salganik (SOC), nonreaders. A copy of his dissertation, "Designing Software to Shape Open Government Policy", is available in Room 310. Everyone is invited to attend his talk.

1 0

A Bhaskara FPO
by Melissa M. Lawson 24 Aug '12

24 Aug '12

Aditya Bhaskara will present his FPO on Thursday August 30 at 1PM in Room 402. The members of his committee are: Moses Charikar, advisor; Sanjeev Arora and Zeev Dvir, readers; Bernard Chazelle and Amit Singer (MAT), nonreaders. A copy of his thesis, "Finding Dense Structures in Graphs and Matrices", is on display in Room 310. Everyone is invited to attend his talk.

1 0

Rob Dockins FPO
by Melissa M. Lawson 17 Aug '12

17 Aug '12

Rob Dockins will present his FPO on Friday August 24 at 10AM in Room 402. The members of his committee are: Andrew Appel, advisor; David Walker and Xavier Leroy (INRIA), readers; David August and Mark Braverman, nonreaders. A copy of his thesis, "Operational Refinement for Compiler Correctness", is available in Room 310. Everyone is invited to attend his talk.

1 0

A Vijayaraghavan FPO
by Melissa M. Lawson 16 Aug '12

16 Aug '12

Aravindan Vijayaraghavan will present his FPO on Thursday August 23 at 2PM in Room 402. The members of his committee are: Moses Charikar, advisor; Sanjeev Arora and Mark Braverman, readers; David Blei and Konstantin Makarychev (Microsoft Research), nonreaders. A copy of his thesis, "Beyond Worst Case Analysis in Approximation Algorithms", is on display in Room 310. Everyone is invited to attend his talk.

1 0

Chong Wang FPO
by Melissa M. Lawson 05 Jul '12

05 Jul '12

Chong Wang will present his FPO on Tuesday July 10 at 11AM in Room 402. The members of his committee are: David Blei, advisor; Rob Schapire and Eric Xing (CMU), readers; Olga Troyanskaya and Andrea LaPaugh, nonreaders. A copy of his thesis, "Hierarchical Bayesian Modeling: Efficient Inference and Applications", is on display in Room 310. Everyone is invited to attend his talk.

1 0

11am Tue May 29 talk on FloodLight OpenFlow controller
by Jennifer Rexford 27 May '12

27 May '12

Speaker: Mike Cohen, BigSwitch Networks Title: The FloodLight OpenFlow Controller Date/time: 11am-noon on Tuesday May 29 Location: room 402 in the CS building Abstract Software-Defined Networking (SDN) and OpenFlow are quickly emerging as powerful trends in the networking industry. By separating the control and data planes, these technologies are accelerating the innovation cycle and creating opportunities for new application research and development. This talk will provide an overview of SDN and OpenFlow and introduce Floodlight, an Apache-licensed OpenFlow controller. Floodlight is driven by a community of developers including Big Switch Networks and was designed to offer a fast, easy-to-use programming environment, a rich set of development tools, an interoperability with a wide array of networking devices. The talk will also discuss other useful SDN development tools and highlight active areas for research and development. Biography of Speaker Mike Cohen is a product manager at Big Switch Networks. He was previously an early engineer on VMware’s hypervisor team and a search infrastructure product manager at Google. Mike holds a B.S.E in Electrical Engineering from Princeton and Masters from Harvard.

1 0