- talks - lists.cs.princeton.edu

Talk- Byron Cook Tues, Oct 27, 10:30am
by Nicole E. Wagenblast 22 Oct '15

22 Oct '15

Talk Tuesday, Oct 27, 10:30am Computer Science 302 Byron Cook, University College London Proving that programs eventually do something good In this talk I will discuss research advances that led to practical tools for automatically proving program termination and related properties, e.g. liveness. Practical applications include automatically proving device driver correctness, and pharmaceutical research. Byron Cook is Professor of Computer Science at University College London. Byron is also a Senior Principal at Amazon. See http://www0.cs.ucl.ac.uk/staff/b.cook/ for more information.

1 1

Speaker- Suman Banerjee Today- 3pm
by Nicole E. Wagenblast 20 Oct '15

20 Oct '15

Suman Banerjee, University of Wisconsin, Madison Tuesday, October 20- 3pm Computer Science 402 ParaDrop: Enabling Third Party Apps in Home WiFi Gateways for Fun and Profit Over the last few years, we have been building a new home WiFi router platform that can allow 3rd party applications and services to be deployed on it. The system, called Paradrop, is all in software and is an extreme form of the popular notion known as edge computing. It leverages popular concepts of virtualization and software-defined networking. It also integrates techniques for better monitoring, management, and mitigation of RF interference experienced in these environments. It hopes to be to the home router market what the smartphones were to the cellphone market. We believe that ParaDrop can be a significant enabler for the emerging services for smarter homes that take advantage of Internet of Things applications. Furthermore, the platform can also be leveraged for delivering a more hands-on educational content on emerging topics, such as Internet-of-Things, mobile development, mobile and wireless systems design, and even basic computer networking. In this talk, I will describe some of the technical developments in creating this platform and outline our ongoing activities. Suman Banerjee is an Professor in Computer Sciences at UW-Madison where he is the founding director of the WiNGS laboratory which broadly focuses on research in wireless and mobile networking systems. He received his undergraduate degree from IIT Kanpur, and MS and PhD degrees from the University of Maryland. He is the inaugural recipient of the ACM SIGMOBILE Rockstar award and a recipient of the NSF Career Award. He is a recipient of multiple award papers at various conferences, such as ACM MobiCom, ACM CoNEXT, and IEEE Dyspan. Further, technology developed by Prof. Banerjee have won various accolades including the first prize at the Wisconsin Governor's Business Plan Competition in 2011 and in the Interdigital Innovation Challenge in 2012. He is currently serving as the chair of ACM SIGMOBILE.

1 0

Colloquium Speaker Catherine McGeoch today- 12:30pm
by Nicole E. Wagenblast 20 Oct '15

20 Oct '15

Colloquium Speaker Catherine McGeoch, Amherst College Benchmarking the D-Wave 2X: Challenges and Early Results Tuesday, October 20- 12:30pm Computer Science 105 Benchmarking the D-Wave 2X: Challenges and Early Results A D-Wave platform implements a quantum annealing algorithm in hardware, to solve an NP-hard problem known as Ising Model Optimization (also called Quadratic Unconstrained Boolean Optimization). The ``hardware'' is a processor chip containing qubits that exploit quantum properties such as superposition and entanglement to carry out the computation. This is a heuristic algorithm that belongs to the adiabatic quantum model of computation, an alternative to the more familiar quantum gate model of computation. The task of performance assessment for these novel platforms -- comparing classical heuristics implemented in software to a quantum analog heuristic implemented in hardware -- gives rise to a number of new methodological issues, on top of the usual challenges relating to evaluation of heuristics for NP-hard problems. I will discuss some of these issues and present some early performance results for the D-Wave 2X, a 1000-qubit processor launched in summer 2015.

1 0

EE Seminar Announcement - David Patterson, UC-Berkeley - November 11, 2015
by Nicole E. Wagenblast 19 Oct '15

19 Oct '15

Hi Res PRI_E_electrical_below_w-shield.jpg “Instruction Sets Want to Be Free: A Case for RISC-V” David Patterson, Professor, Electrical Engineering & Computer Science, University of California-Berkeley Wednesday, November 11, 2015 4:30 – 5:45 pm Reception to Follow Friend Center, Convocation Room Abstract: We start by quickly reviewing 50 years of computer architecture to show there is now widespread agreement on instruction set architecture (ISA). Unlike most other fields, despite this harmony there is no open alternative to proprietary offerings from ARM and Intel. Thus, we propose RISC-V (“RISC Five”), which targets Systems on a Chip (SoC). It has: * A small base of <50 classic RISC instructions that run a full open-source software stack. * Opcodes reserved for tailoring an SoC to applications. * Standard instruction extensions optionally included in an SoC. * Incorporated, as an open ISA, community suggestions before extensions are finalized. * A foundation to evolve the RISC-V slowly based solely on technical reasons voted on by members vs. by companies that inflate ISAs rapidly for business as well as technical reasons; ARM and Intel average about 2 new instructions per month. * No restrictions: there is no cost, no paperwork, and anyone can use it. Attendees will get a 2-page reference card (“green card”), which lists all RISC-V extensions, to contrast this minimal ISA with the 3,600-page x86 manual and the 5,400-page ARMv8 manual. We conclude by recapping 10 RISC-V chips built using Agile methods in just 4 years, including how shockingly cheap it is today to manufacture 100 2x2-mm, 28-nm chips. We used Chisel, a new hardware design language that reduces design effort by greatly increasing reuse. Bio: David Patterson joined UC Berkeley nearly 40 years ago. He has been Director of several research labs, Chair of Berkeley’s CS Division, Chair of the Computing Research Association, and President of ACM. His most successful projects are likely Reduced Instruction Set Computers (RISC), Redundant Arrays of Inexpensive Disks (RAID), and Network of Workstations (NOW), all of which helped lead to multi-billion-dollar industries. This research led to many papers, 6 books, and about 35 honors for him and his friends, including election to the National Academy of Engineering, the National Academy of Sciences, and the Silicon Valley Engineering Hall of Fame. He shared the IEEE von Neumann Medal and the NEC C&C Prize with John Hennessy, co-author of two of his books and President of Stanford University. This seminar is supported with funds from the Korhammer Lecture Series

1 0

Colloquium Speaker Catherine McGeoch Tues Oct 20- 12:30pm
by Nicole E. Wagenblast 19 Oct '15

19 Oct '15

Colloquium Speaker Catherine McGeoch, Amherst College Benchmarking the D-Wave 2X: Challenges and Early Results Tuesday, October 20- 12:30pm Computer Science 105 Benchmarking the D-Wave 2X: Challenges and Early Results A D-Wave platform implements a quantum annealing algorithm in hardware, to solve an NP-hard problem known as Ising Model Optimization (also called Quadratic Unconstrained Boolean Optimization). The ``hardware'' is a processor chip containing qubits that exploit quantum properties such as superposition and entanglement to carry out the computation. This is a heuristic algorithm that belongs to the adiabatic quantum model of computation, an alternative to the more familiar quantum gate model of computation. The task of performance assessment for these novel platforms -- comparing classical heuristics implemented in software to a quantum analog heuristic implemented in hardware -- gives rise to a number of new methodological issues, on top of the usual challenges relating to evaluation of heuristics for NP-hard problems. I will discuss some of these issues and present some early performance results for the D-Wave 2X, a 1000-qubit processor launched in summer 2015.

2 1

Fwd: Special Seminar: GoogleCar Team's Josh Herbach'08
by Jennifer Rexford 19 Oct '15

19 Oct '15

> From: Alain Kornhauser <alaink(a)princeton.edu> > Subject: Special Seminar: GoogleCar Team's Josh Herbach'08 > Date: October 18, 2015 at 10:45:35 PM EDT > To: orf467_f2015(a)princeton.edu > > Wednesday, Oct 21 1:30->2:50 > >

1 0

Colloquium Speaker Catherine McGeoch Tues Oct 20- 12:30pm
by Nicole E. Wagenblast 15 Oct '15

15 Oct '15

Colloquium Speaker Catherine McGeoch, Amherst College Benchmarking the D-Wave 2X: Challenges and Early Results Tuesday, October 20- 12:30pm Computer Science 105 Benchmarking the D-Wave 2X: Challenges and Early Results A D-Wave platform implements a quantum annealing algorithm in hardware, to solve an NP-hard problem known as Ising Model Optimization (also called Quadratic Unconstrained Boolean Optimization). The ``hardware'' is a processor chip containing qubits that exploit quantum properties such as superposition and entanglement to carry out the computation. This is a heuristic algorithm that belongs to the adiabatic quantum model of computation, an alternative to the more familiar quantum gate model of computation. The task of performance assessment for these novel platforms -- comparing classical heuristics implemented in software to a quantum analog heuristic implemented in hardware -- gives rise to a number of new methodological issues, on top of the usual challenges relating to evaluation of heuristics for NP-hard problems. I will discuss some of these issues and present some early performance results for the D-Wave 2X, a 1000-qubit processor launched in summer 2015.

1 0

Colloquium Speaker Jeffrey Siskind Today, 12:30pm
by Nicole E. Wagenblast 15 Oct '15

15 Oct '15

Colloquium Speaker Jeffrey Siskind, from Purdue University Thursday, October 15, 12:30pm Computer Science 105 Seeing, Saying, Doing, and Learning: Integrating Computer Vision, Natural Language Processing, Robotics, and Machine Learning Through Multidirectional Inference The semantics of natural language can be grounded in perception and motor control with a unified cost function that supports multidirectional inference. I will present several instances of this approach. The first is a cost function relating sentences, video, and a lexicon. Performing inference from video and a lexicon to sentences allows it to generate sentential descriptions of video. Performing inference from sentences and a lexicon to video allows it to search a video database for clips that match a sentential query. Performing inference from sentences and video to a lexicon allows it to learn a lexicon. The second is the functional inverse of video captioning. Instead of mapping video and object detections to sentences, one can map video and sentences to object detections. This allows one to use sentential constraint on a video object codetection process to find objects without pretrained object detectors. The third is a cost function relating sentences, robotic navigation paths, and a lexicon. Performing inference from sentences and navigation paths to a lexicon allows it to learn a lexicon. Performing inference from navigation paths and a learned lexicon to sentences allows it to generate sentential descriptions of paths driven by a mobile robot. Performing inference from sentences and a learned lexicon to navigation paths allows it to plan and drive navigation paths that satisfy a sentential navigation request. Finally, one can perform object codetection on the video stream from a robot-mounted camera during navigation to satisfy sentential requests and use the collection of constraints from vision, language, and robotics to detect, localize, and label objects in the environment without any pretrained object detectors. Joint work with Andrei Barbu, Daniel Paul Barrett, Scott Alan Bronikowski, N. Siddharth, and Haonan Yu. Jeffrey M. Siskind received the B.A. degree in computer science from the Technion, Israel Institute of Technology, Haifa, in 1979, the S.M. degree in computer science from the Massachusetts Institute of Technology (M.I.T.), Cambridge, in 1989, and the Ph.D. degree in computer science from M.I.T. in 1992. He did a postdoctoral fellowship at the University of Pennsylvania Institute for Research in Cognitive Science from 1992 to 1993. He was an assistant professor at the University of Toronto Department of Computer Science from 1993 to 1995, a senior lecturer at the Technion Department of Electrical Engineering in 1996, a visiting assistant professor at the University of Vermont Department of Computer Science and Electrical Engineering from 1996 to 1997, and a research scientist at NEC Research Institute, Inc. from 1997 to 2001. He joined the Purdue University School of Electrical and Computer Engineering in 2002 where he is currently an associate professor. His research interests include computer vision, robotics, artificial intelligence, neuroscience, cognitive science, computational linguistics, child language acquisition, automatic differentiation, and programming languages and compilers.

1 0

Speaker- Suman Banerjee Tues Oct 20- 3pm
by Nicole E. Wagenblast 14 Oct '15

14 Oct '15

Suman Banerjee, University of Wisconsin, Madison Tuesday, October 20- 3pm Computer Science 402 ParaDrop: Enabling Third Party Apps in Home WiFi Gateways for Fun and Profit Over the last few years, we have been building a new home WiFi router platform that can allow 3rd party applications and services to be deployed on it. The system, called Paradrop, is all in software and is an extreme form of the popular notion known as edge computing. It leverages popular concepts of virtualization and software-defined networking. It also integrates techniques for better monitoring, management, and mitigation of RF interference experienced in these environments. It hopes to be to the home router market what the smartphones were to the cellphone market. We believe that ParaDrop can be a significant enabler for the emerging services for smarter homes that take advantage of Internet of Things applications. Furthermore, the platform can also be leveraged for delivering a more hands-on educational content on emerging topics, such as Internet-of-Things, mobile development, mobile and wireless systems design, and even basic computer networking. In this talk, I will describe some of the technical developments in creating this platform and outline our ongoing activities. Suman Banerjee is an Professor in Computer Sciences at UW-Madison where he is the founding director of the WiNGS laboratory which broadly focuses on research in wireless and mobile networking systems. He received his undergraduate degree from IIT Kanpur, and MS and PhD degrees from the University of Maryland. He is the inaugural recipient of the ACM SIGMOBILE Rockstar award and a recipient of the NSF Career Award. He is a recipient of multiple award papers at various conferences, such as ACM MobiCom, ACM CoNEXT, and IEEE Dyspan. Further, technology developed by Prof. Banerjee have won various accolades including the first prize at the Wisconsin Governor's Business Plan Competition in 2011 and in the Interdigital Innovation Challenge in 2012. He is currently serving as the chair of ACM SIGMOBILE.

1 0

Fwd: EE Seminar - Thursday, October 15, 4:30pm, EQuad B205 - Bhaskar Krishnamachari-Bandits and Newsvendors: Joint Online Learning and Optimization in Wireless Networks
by Jennifer Rexford 14 Oct '15

14 Oct '15

> > DEPARTMENT OF > ELECTRICAL ENGINEERING SEMINAR SERIES > > > > Speaker: Bhaskar Krishnamachari, University of Southern California > Title: Bandits and Newsvendors: Joint Online Learning and Optimization in Wireless Networks > Date: Thursday, October 15, 2015 > Time: 4:30pm > Room: E-Quad, B205 > Host: Mung Chiang > > > Abstract: Algorithms for online learning and decision-making under uncertainty have become popular in recent years to improve the performance of wireless networks in unknown dynamic environments. I will give a brief overview of certain classic problem formulations such as multi-armed bandits (MAB) and newsvendor problems, talk about their applications to wireless networking, and present some recent results from my group's research in this area. These include results for decentralized MAB, combinatorial MAB, contextual MAB, multi-period newsvendors, and optimized robotic network formation in unknown environments. This talk will cover joint work with students Dr. Yi Gai, Pranav Sarkar, Parisa Mansourifard, and Shangxing Wang, and faculty collaborators Rahul Jain, Tara Javidi, and Nora Ayanian. > > > Bio: Bhaskar Krishnamachari is an Associate Professor and Ming Hsieh Faculty Fellow in Electrical Engineering, and Director of the Autonomous Networks Research Group (http://anrg.usc.edu/ <http://anrg.usc.edu/>) at the University of Southern California's Viterbi School of Engineering. He works on the design and analysis of algorithms and protocols for next generation wireless networks. His co-authored papers have received best paper awards at IPSN (2004, 2010), MSWiM (2006) and MobiCom (2010), a best paper runner-up at SECON (2012), and a top-three paper at MSWiM (2014). He has received the NSF CAREER award (2004), the ASEE Terman Award (2010), and has been included on Technology Review Magazine's TR-35 list (2011), and Popular Science's Brilliant 10 list (2015). He has authored a book titled "Networking Wireless Sensors" published by Cambridge University Press. He is an Editor for the ACM Transactions on Sensor Networks, was the TPC Co-Chair for IPSN 2015, and is a TPC Co-Chair for WiOpt 2016.

1 0