wireless networks, mobile computing, cloud computing, networked detection, sening and fusion.

My Carbon group within CSAIL MIT is working on a new operating system for massive multicores and cloud computing called Factored Operating System (FOS). We are also working on multicore architectures for 1K cores. Postdoc positions are available in both these areas.

I look at how to apply queueing-theoretic analysis to improving the performance of computer systems. These days I am very interested in power management of data centers, and capacity provisioning for data centers, particularly under transient load conditions.

I am broadly interested in topics around cloud computing, including software for datacenter management, cluster file systems, techniques for managing data center power, hybrid cloud technologies, programming frameworks, operating systems, and cloud applications. As part of my research, I manage a 200-server cluster designed to enable experimentation with prototype system software, so our research facility provides ample opportunity for empirical evaluation.

The main focus of my work is on energy efficient computing. Energy consumption has already become one of the most important design parameters in electronic systems. In large scale data centers it is because of the high cost of powering and cooling the equipment. We are currently working on design of VM level energy management strategies that integrate measurement of power, temperatures and workload characteristics, while monitoring QoS of applications running within VMs. In addition, we are evaluating how to integrate SmartGrid information with VM level energy management strategies and how to leverage accurate predictors of the availability of renewable resources that we developed. This work is funded by a large center on Multiscale Systems (www.musyc.org).

We recently also won an NSF Expedition on variability. The work here focuses on how to address variability issues in general purpose systems due to environmental, manufacturing and vendor differences. The current focus is on cooling and thermally aware scheduling techniques for 2 and 3D integrated server and mobile systems.

Arun Iyengar does research and development into Web performance, distributed and parallel computing, as well as fault-tolerant computing and high availability at IBM’s T.J. Watson Research Center. His work in caching and load balancing is widely deployed on the Web. His technical work has been incorporated into products by several companies (by IBM and other companies) as well as into commonly used open source software.

Arun is an IEEE Fellow, has received several best paper awards, has received the IFIP Silver Core Award, and has earned the distinction of IBM Master Inventor. He is Co-Editor-in-Chief of the ACM Transactions on the Web, Chair of IFIP Working Group 6.4 on Internet Applications Engineering, a Founding Executive Committee Member and former Chair of the IEEE Computer Society’s Technical Committee on the Internet, and the IEEE Computer Society’s Representative to IFIP Technical Committee 6 on Communication Systems.

Arun has PhD and master’s degrees in Computer Science from the Massachusetts Institute of Technology where he was a National Science Foundation Graduate Fellow and a bachelor’s degree Summa Cum Laude with distinction in Chemistry (with a minor in Computer Science) from the University of Pennsylvania.

Come join a large well-funded research effort in cloud computing! Over 10 Carnegie Mellon University professors and 4 Intel Labs researchers are teaming up to drive a common research agenda in cloud computing. Contrary to the common practice of striving for homogeneous cloud deployments, we are exploring the use of specialization as a primary means for order of magnitude improvements in efficiency (e.g., energy), including the design of new platform configurations based on emerging technologies like non-volatile memory. Other research themes include automation at cloud scale (e.g., resource allocation/scheduling, problem diagnosis), big data analytics beyond search (including over live data feeds), and new paradigms for meshing client devices and cloud. Our research lab is a great place to do research. It combines the resources of a well-funded industrial research lab (e.g., our lab’s cluster has 1500+ cores and 600+ terabytes of storage) with the academic freedom of a university. As for me, I am the Intel PI for the cloud computing efforts. I have over 120 publications (cited 10,000+ times), including co-authoring award-winning papers at ICDE, ISCA(2), NSDI, PLDI, and SIGMOD, as well as 13 other papers that were selected for “best papers” journal issues for their respective conferences (including ICFP, PODC, PODS, SIGCOMM, SPAA, and VLDB). I have served on 50 program committees for international conferences (including program chair, vice-chair, etc), and have helped place junior collaborators on a number of top committees. I am on the editorial board of the Journal of the ACM, and an ACM Fellow.

My research spans networked systems and theory. Ongoing projects include:

- Low-latency networking: Even simple application-level tasks in today’s networks, like retrieving a small web object, take many times longer than the underlying network latency. How can we design the Internet’s protocols to approach speed-of-light responsiveness? We are exploring novel low-latency designs in naming and transport protocols, and in scalable routing on flat names. There is interesting work to be done ranging from theoretical analysis to fundamental protocol design to applications including Content-Centric Networking, Internet architecture, and ad hoc networks.

- Network debugging: We are building a tool, Anteater, that examines data plane state of networks in order to find bugs in a flexible, unified manner. A paper on Anteater will appear in SIGCOMM 2011, and there are very exciting opportunities for further work in this area.

- Data center network topologies: With researchers at UIUC and UC Berkeley, we are studying how to build high-bandwidth data center networks that allow incremental expandability, and are simultaneously more efficient than traditional topologies like fat trees. A short paper on our initial design, Jellyfish, will appear in HotCloud 2011.

- Future Internet Architectures: The Internet has become the basis of most of humanity’s remote communication. Its rapid growth and the fact that we use it in so many unexpected ways attest to the groundbreaking flexibility of its design. Yet because of this growth, the Internet’s architecture has encountered a range of limitations. What would an Internet look like that provides the dependability, security, manageability, and efficiency to enable innovative applications for decades to come? With collaborators at Berkeley, Georgia Tech, MIT, Princeton, and Stanford, we are designing and developing an architecture that answers that question.

- Flexible Networks With Source Control: Giving users some control over packet routing is a promising technique to dramatically improve reliability, efficiency, and flexibility of networks, but it is also a radical shift from today’s Internet. How can a routing and forwarding architecture flexibly support source control, while respecting the interests of network owners? How can users quickly pick reliable, efficient routes that are appropriate for the application, given limited information about the dynamic state of the network? What is the effect of source control on denial of service vulnerability? Answering these questions critically requires tools ranging from planetary-scale systems building to game-theoretic analysis.

- In addition to the above topics, my past work deals with randomized algorithms, peer-to-peer systems, incentive compatibility, distributed systems, and more; I maintain my interest in these and other areas of networked systems and am open to collaborations on various topics.

A particular feature of my research is to integrate practical network systems design with theory. This approach leads to systems built on firm foundations with guarantees on their behavior, as well as interesting and difficult theoretical problems that can expose fundamental principles. As such, I’m actively seeking fellows who are system builders, theoreticians, or interested in bridging the two areas.

My research group (Advanced Data Management Technologies Laboratory) focuses on user-centric data management for network-centric applications. In a nutshell, my research tries to remove the optimize-for-one-global-metric mentality of modern data management systems and, instead, bring users into the loop, by allowing them to specify preferences, especially in the presence of multiple metrics that are in direct trade-off with each other (for example Quality of Service versus Quality of Data). This is particularly useful in periods of high load (or other resource “pressure”), since the system is able to allocate crucial system resources according to users’ preferences, thus increasing the overall user satisfaction by meeting their goals.

We are working on multiple different projects under this broad philosophy, from web-databases (NSF CAREER award), to data stream management systems (NSF IIS award), to energy-efficient data management (NSF EAGER award).

Lately, we have also worked on scientific data management, with particular emphasis on annotations and workflows, under two domains: biological domain (NIH-funded Center for Modeling Pulmonary Immunity) and the astronomy domain (NSF CDI award). These are done through collaborations with the Medical School and the Department of Physics and Astronomy of the University of Pittsburgh.

I have broad interests in systems spanning applications, system software, networking, and architecture. Current interests include: 1) Cloud/Grid applications, system software, and architecture; 2) Computer Architecture for Exascale computers; and 3) Programming models and tools for post-Moore’s Law computing substrates.

HP Labs Immersive 3D

HP Labs is conducting research using large display walls, 2D and 3D. HP has multiple product and services offerings in the so-called “Big Walls” area ranging from digital signage to large telepresence facilities (such as HP’s Halo). Our research extends this by following two main, intertwined branches. The first examines a new style of 3D entertainment, and the other targets commercial and industrial uses for 3D enabled operations centers, brainstorm or war rooms, and control centers. We are conducting research in:
• Computer vision, image processing, and recognition,
• Robust multi-imager and multi-camera modeling and calibration,
• 3D data visualization,
• High performance computation, transport, and imaging on hardware accelerated platforms (CPUs and/or GPUs),
• Novel human-big wall interaction modalities across heterogenous systems, and
• Local and remote collaboration technologies.

We have publicly shown our Immersive 3D Entertainment efforts with events at the 2010 Sundance Film Festival and the Earth Wind and Fire Concert at 2011 CES in Las Vegas (links listed below). HP’s goal is to experiment with non-standard aspect ratios (e.g. 3:1 for concert stage, 5.5:1 for basketball court) to allow the audience to experience the event as though you are seated at the best seat in the house. This is a break from the traditional movie view from the director’s eyes and allows the audience to “look around” and soak up the scene which works so well in 3D. To do this, we are experimenting with large multi-projector 3D displays (Pluribus), multi-imager camera capture (Herodion), and advanced digital image pipelines (Pericles). We conduct in-situ laboratory studies at entertainment events such as concerts, sports events, fashion shows, and other gaming.

We have built an experimental operations center with multiple 2D and 3D walls and other services. Together with many HP customers, we are exploring novel ways to use Big Walls to address issues in areas such as disaster recovery, emergency response, hospital wards, city monitoring and management, mergers and acquisition planning, product planning, and supply chain management. We are creating a next generation capability by using Big Walls together with mobile devices, touch surfaces, 3D data visualization techniques, and techniques for displaying, manipulating and visualizing large amounts of unstructured data. In addition to our research, we participate in the real world by providing support for HP’s worldwide operations centers and the HP supported gallery at the Newseum due to open in 2012.

Links to entertainment reviews
HP 3D Live: CES Earth Wind and Fire concert

http://blogs.forbes.com/oliverchiang/2011/01/08/ces-hp-believes-in-3-d-too-but-on-a-larger-scale-much-larger/

http://www.monstercable.com/events/ces2011/3dexperience.asp

http://h20435.www2.hp.com/t5/The-Next-Bench-Blog/Earth-Wind-and-Fire-Going-Large-Live-and-in-3D-at-CES/ba-p/60745

http://www.hardwaregeeks.com/index.php/site/comments/hp_streams_concert_live_in_3d/

http://venturebeat.com/2011/01/14/hp-streams-earth-wind-fire-in-live-3d-on-a-huge-screen/

2010 Sundance Film Festival

http://philmckinney.com/archives/2010/01/sundance-and-3d.html

http://h20435.www2.hp.com/t5/The-Next-Bench-Blog/Stories-in-3D/ba-p/52743

HP Newseum announcements

http://www.hp.com/hpinfo/newsroom/press/2010/100930a.html

http://www.newseum.org/news/2010/09/hp-announcement.html

Design, implementation and evaluation of distributed services and applications that adapt and exploit social characteristics; algorithms for efficient computation of social graph metrics (e.g., centrality measures, triad census); experimental systems approach combined with theoretical and analytical evaluations.

We are looking for a post-doctoral fellow for the XIA Future Internet Architecture project.

The eXpressive Internet Architecture (XIA) addresses the growing diversity of network use models, the need for trustworthy communication, and the growing set of stakeholders who coordinate their activities to provide Internet services. XIA addresses these needs by exploring the technical challenges in creating a single network that offers inherent support for communication between current communicating principals–including hosts, content, and services–while accommodating unknown future entities. For each type of principal, XIA defines a narrow waist that dictates the application programming interface (API) for communication and the network communication mechanisms. XIA provides intrinsic security in which the integrity and authenticity of communication is guaranteed. XIA enables flexible context-dependent mechanisms for establishing trust between the communicating principals, bridging the gap between human and intrinsically secure identifiers. The current focus of the proj ect is on novel transport protocols, network support for services and mobile users, and content centric networking.

More information on XIA can be found on the project web site: http://www.cs.cmu.edu/~xia

I work mostly in two areas Computational Geometry and Computational Biology.

I have broad interests in large-scale distributed systems. I’d be delighted to collaborate with somebody on either of my two main activities:

1. Cluster management – Google’s term for the systems that allocate work to our fleet of computers, solving what are effectively large-scale bin-packing problems under a raft of constraints, failures, and uncertainty. We are pushing the envelope of sophistication and capability in managing clusters of machines, and I’m open to collaborating on a wide range of topics, including scheduling, failure modeling, configuration management, and a raft of automation approaches.

2. Using SLAs (Service Level Agreements) to improve our ability to delegate control to automated decision-making systems when they face trade-offs. Work here includes control mechanisms, control systems, feedback loops, and system design. SLAs need a way to specify the consequences of meeting/not meeting their objectives, and economic feedback mechanisms seem a particularly powerful way to achieve this.

As you might imagine, Google provides a great many really exciting opportunities to try these ideas out at significant scale, on real production systems, with real-world problems and requirements. It’s an ideal proving ground for real systems work in support of a wide range of uses, including cloud computing. And we are looking to publish more papers in these areas, so that would be an explicit goal of supporting this program.

Please contact me if you are interested; I’d be happy to discuss opportunities. I’m based in Mt View, California.

I’m interested in all types of network security and wireless networks, including core networking research and applications such as medical devices and cloud computing.

The Magnum Group at Virginia Tech is focused on investigating how the powerful processors and variety of sensors in new and planned
smartphones, such as Apple’s iPhone and Android-based smartphones, can be leveraged to build cyber-physical applications that collect sensor
data from the real world and communicate it back to cloud services for
processing and aggregation. The broad dissemination of these
smartphones, their accelerated processing power, range of sensors, and
pervasive cellular connections make them ideal platforms for building these
novel mobile cyber-physical applications. The Magnum Group investigates a broad range of topics in this area, such as augmented reality, crowdsourcing, communications middleware, cloud computing platforms, citizen scientists, traffic accident detection, modeling, and software product-lines. We are continually looking for and open to new ideas in this and related areas.

My research is focused on engineering secure systems. In particular, I am interested in designing secure but highly efficient systems. Currently, I am exploring techniques for securing cloud computing and social networks. I am also interested in securing provenance, and trustworthy database and storage systems.

My laboratory is interested in key challenges in Systems Biology and Medicine. Our larger objective is to decipher biological mechanisms, reconstruct networks, predict phenotypes and build quantitative systems models. Towards this end we continue to develop computational and some experimental methods for integrative analysis of multiple types of biological data and for reconstruction of biochemical networks. It is increasingly become clear that time series data in cellular biology and longitudinal data in mammalian in vivo biology are essential for understanding complex phenotypes and we are developing methods to analyze these data. And most importantly, I subscribe to the view that context-free biology is content-free biology!

I am working on exciting computational biology projects related to synthetic biology, designing algorithms and tools that enable life scientists to create synthetic genomes. Working with virologists, we have already designed and synthesized virus genome sequences to serve as vaccines. Our work was reported in Science and Nature Biotechnology. We expect the next generation of tools to help design artificial chromosomes and cells performing unique functions, using existing genes, transcription factors and pathways as optimized design components.

I am involved in a number of other bioinformatics projects, including genomic sequence classification using machine learning, repeat mapping from sparse data, and algorithms for optimizing protein encodings adhering to a variety of constraints, including secondary structure, codon bias and other factors. I am also exploring the area of copy number variation detection from fragmented genomic sequence data, as well as using grid computing for time/space consuming applications, such as short read genome assembly.

I also have an active collaboration in the field of video streaming and video pattern matching. We are exploring efficient algorithms for simultaneously streaming compressed video through fixed bandwidth channels. We are also working in identifying patterns in the information content of video streams.

My group works on low-level systems, mostly recently on securing systems using virtual machines, trusted platform module (TPM) hardware, and mandatory access control operating systems.

We also have an ongoing interest in GPU computing, specifically in integrating the GPU into system-intensive tasks, like the file system. We build and evaluate large systems.

I have a broad interest in almost all disciplines of Computer Science, and have shifted my focus several times during my research career. My major of B.S., M.S., and Ph.D are all in control theory, but I spent most of my Ph.D time on the application of control theory to computer systems, especially deadlock avoidance in multithreaded software. I become a compiler and program analysis specialist after this exercise. My work at HP Labs was initially around the application of control theory to business process management systems. We focused on Service-Oriented Architecture and studied the service composition problem in great length. Lately I am working on Intelligent Transportation Systems. We are interested in building an IT platform that can collect and analyze large-scale sensor input in realtime from various sources, e.g., GPS probes, loop detectors, and close-circuit cameras.

My research is in mobile networking and distributed real-time algorithms based on data mining, with a specific application area in Intelligent Transportation Systems (ITS). Currently in Anchorage, many vehicles are transmitting data gathered from the vehicle’s OBD port back to a central server hosted at the University. This data includes over 200 vehicular parameters. Gathering data from individual vehicles instead of from hardware installed in the roadways at discrete locations allows applications that require much more precise and granular data to be developed. To gather data from individual vehicles requires specialized architectures, such as vehicle-to-infrastructure (V2I) or vehicle-to-vehicle (V2V). The applications that can be developed are endless, with a few examples being fastest paths, traffic congestion improvement, incident identification, roadway slippage determination, and emergency vehicle routing, among others too numerous to include. My research spans the areas of software and network architectures, mobile networking, and distributed real-time algorithms, so an emphasis in any of those areas is acceptable.

In the area of high performance computing, we are exploring the Exascale architectures. Various teams in HP Labs are looking in broad aspects of Exascale, but to me of particular interest is systems software, management, and sustainability (power in particular). As an expansion of this topic, I am exploring HPC in the Cloud: spectrum from general purpose Cloud support (shared resources and commodity interconnects) to dedicated special purpose hardware with high end interconnects. Next, I am exploring Cloud computing in its broadest sense as well as deployment on the Open Cirrus, the cloud computing testbed (http://www.computer.org/cms/Computer.org/ComputingNow/homepage/2010/0410/rW_CO_OpenCirrus.pdf). Finally, I pursue (Cloud) Sustainability research with the dashboard as an artifact.

The Colorado State University team (Massey/Papadopoulos) is particularly interested in researchers interested in Future Internet design and Named Data Networking/Content Centric Network/Information Centric Networking.

Our research group has two primary emphases: developing and building solutions for wireless networks in developing regions (particularly focusing on white space wireless networks), and developing a cell phone monitoring and data collection platform. In both cases, we do a lot of measurement in deployed wireless and/or cellular networks, and a lot of analysis of network performance, operation, etc. In rural regions, our focus is on protocol development for white space networks, novel solutions for bridging the digital divide, measurement and analysis of deployed wireless networks (wireless LANs and mesh networks), and development and test of solutions specifically for deployment in developing regions. We are partnered with organizations in Africa to develop solutions suitable for deployment in rural regions. We are currently monitoring an operational network in Zambia and are in the process of analyzing our collected data to design more appropriate network solutions. We are also developing energy efficient transmission solutions for white space networks, and recently studied the tradeoffs between channel width, data rate, and transmission power for real-time flows. We have a multi-radio, multi-node testbed, the UCSB MeshNet, on which we implement and test many of our solutions, as well as some in-situ test links in South Africa and Zambia. Both testbeds include GNURadio USRP boards.

The cell network projects are just beginning and now is a great time to get involved at the early stages. We have a number of projects on-going in this area – contact me for details.

UCSB is an intellectually stimulating and fantastically beautiful place to work – come join us!

My current research interests lie in energy intelligent computing. This involves designing energy-efficient protocols and algorithms for different wireless technologies like Wireless LANs, RFID Systems, Wireless Sensor Networks, and Wireless Mesh Networks. I also work on emerging topics like sustainable computing, and designing communication architectures for smart electric grids.

I have broad interests in “computer systems” that span networking, operating systems, and sometimes computer architecture. Most recently, I have been working (with colleagues at HP Labs) on a few areas of computer networking: (1) how to design and use software-defined networks (such as OpenFlow), and (2) how to design fast, cost-effective, reliable data-center networks. With other HP Labs colleagues, I have been working on energy-efficient options for main memory. With several students outside HP, I have also been working on the interactions between computer architecture and operating systems.

Don’t assume that my web page at http://www.hpl.hp.com/personal/Jeff_Mogul/ is at all up to date.

My research group is currently exploring OS techniques to improve the reliability of parallel programs (see Respec and DoublePlay papers in ASPLOS), as well as the use of dynamic instrumentation to debug correctness and performance issues in software (see ConfAid paper in OSDI). I am looking for a researcher with strong system programming skills and interests.

My interests span programming languages, runtime systems, and operating systems, with a particular focus on systems that transparently improve reliability, security, and performance.

* Reliability and Security

I am interested in systems that transparently improve the reliability and security of deployed systems. Examples of this work include systems that can survive bugs, or even repair themselves by fixing bugs automatically. One of these projects, DieHard, was the direct inspiration for Windows 7′s Fault-Tolerant Heap. Other related projects include Exterminator, Archipelago, and DieHarder. Ongoing work includes systems to protect applications from security attacks with low overhead, and high-performance information flow tracking (“tainting”) to track / prevent information leakage.

* Concurrency

I am interested in systems that improve the performance or correctness of concurrent applications running on multi-CPU / multicore computers. Examples of this work include Hoard, a scalable memory manager that is in use in a number of large commercial settings (e.g., British Telecom, Credit Suisse, Royal Bank of Canada, Cisco…), and Grace, a system that automatically eliminates concurrency errors like race conditions and deadlocks.

Bio and Prior Work: Martonosi’s research interests are in computer architecture and mobile computing, with an emphasis on energy-efficient systems. In the field of processor architecture, she has done extensive work on power modeling and management and on memory hierarchy performance and energy. This has included the development of the Wattch power modeling tool, the first architecture level power modeling infrastructure for superscalar processors. In the field of mobile computing and sensor networks, Martonosi led the Princeton ZebraNet project, which included two real-world deployments of tracking collars on Zebras in Central Kenya.

Current and Future Projects:

1) In the processor architecture area, Martonosi’s group is currently exploring system-level interfaces to allow nimble management of power, performance, and parallelism tradeoffs in chip multiprocessors and MPSoCs.

2) She is also researching power-performance control problems in large-scale data centers. Her students are studying a range of optimizations that are either localized within single data centers or spread across regionally-distributed data centers. Together, these techniques are aimed at reducing data center energy usage, better managing workload and power spikes, and better optimizing the use of electricity acquired from green sources.

3) Martonosi’s work in mobile computing includes projects improve the location-awareness of mobile cellphone apps, while also abiding by privacy and security expectations. This includes a mix of cross-phone collaboration, location modeling/estimation, and other techniques. Her group is also leading the C-LINK effort which uses mobile computing techniques to bring cost-efficient, low-latency internet access to developing regions.

The following are my current projects:
1. Formal verification of embedded firmware (NSF funded)
2. Formal foundations of execution models for exascale computing (DARPA funded)
3. Analytics and activity-based intelligence (DARPA funded)
4. New paradigms in machine learning and complex event processing with applications to oil industry and agriculture (funded by BP and the State of Louisiana)

Recently completed projects:
1. Program synthesis and service-based systems (ONR and NRL funded)
2. Reliable middleware (NRL funded)

I am working at the interface of control engineering and computer systems. Within control engineering, I work on modeling, control, and diagnosis of discrete event systems, a class of dynamic systems with discrete state spaces and event-driven dynamics. Finite-state automata and Petri nets are two popular modeling formalisms used in discrete event systems. My interests overlap with the emerging area of Cyber-Physical Systems (CPS).

Recently, we have applied discrete control techniques to address the problem of deadlock avoidance in concurrent software. Specifically, we model multithreaded C programs using Petri nets and then synthesize control logic that is used to instrument the program; the instrumented program is guaranteed to be deadlock-free. We also have a project on synthesis of safe control strategies for collision avoidance in intelligent transportation systems. Please consult the “Research” section of my website for further details.

I am interested in exploring applications of discrete control theory to computer systems, including but not restricted to concurrent software and security, as well as control problems in CPS, with a post-doctoral researcher.

My research interests span a broad range of topics in computer security, network security, distributed systems, and applied cryptography. I am driven by practical problems and am interested in addressing problems from a variety of angles, from the underlying theory through design, implementation, measurement and usability. Currently active projects in my group are in the areas of cloud security; network monitoring and intrusion detection; software security; security applications of mobile devices; fault-tolerant and scalable distributed systems, and data anonymization, to name a few. Please see my web page for more information.

Broad research interest in information theory and systems and the theory biological networks. Specifically, in the area of information theory and systems, exploring data representation schemes for multi-level flash memory as well as for novel substrates. In the area of biological networks, studying the computational power of stochastic chemical reaction networks and how they relate to more conventional models of computation. In addition, developing mathematical abstractions to enable the analysis of stochastic biological networks; specifically, generalizing the notion of logic design to probabilistic logic design we consider relay circuits where deterministic switches are replaced by probabilistic switches.

Our lab looks at the design and analysis of security and privacy mechanisms for Internet-scale systems. Some of our major thrusts are scalable systems for anonymous communication and analysis of encrypted traffic and its impact on privacy and security, and the protection of privacy in social networks. We are also looking at security and privacy issues in emerging applications, such smart phones, smart buildings, and smart grids.

Please visit my web page for more information about our research.

It is now widely recognized that current commercial many-core systems are simply not good enough: most programmers can’t handle them. Therefore, alternatives must be developed. Anticipating this problem over a decade ago, the Explicit Multi-Threading (XMT) framework has been under development at the University of Maryland. XMT is a general-purpose many-core computing platform with the vision of a 1000-core chip that is easy to program but does not compromise on performance.

XMT is built to support the PRAM theory of parallel algorithm, which is second in its wealth only to the serial algorithms. Since four decades of parallel computing research provided no real alternative to the PRAM, the XMT project sought to draft specifications for the general-purpose many-core desktop of the future, by first inventing hardware and software support for the abstractions developed by PRAM algorithmics — a task deemed impossible by architecture researchers prior to the accomplishments of the XMT project.

A 2010 status report of XMT appears in U. Vishkin, Using simple abstraction for reinventing computing for parallelism, CACM, January 2011. Order of magnitude speedups, dramatic advantages on teachability from middle school to graduate courses have been demonstrated. And favorable student ranking for achieving speedups relative to standard platforms have been demonstrated.

So far, XMT has spanned applications, parallel algorithms, compilers, HW/SW and education of parallelism. Research opportunities building on this promising foundation include now also CS education, bioinformatics, machine learning and other applications, security, OS, and SW architectures.

There is so much more to the potential of many-core parallel computing than the horizons of commercial hardware offer!

Broadly speaking, my research interests are in the fields of systems and networking. I am motivated to produce real systems that have practical value to users and researchers. Because experimentation is central to both systems and networking research, much of my energy has gone into creating top-quality experimental environments. Designing these environments raises a wide variety of research problems, and I have worked in a diverse set of areas including distributed systems, combinatorial optimization, security, networking, simulation, and embedded systems. A large fraction of my research has been done in the context of the Emulab testbed; I have been a primary architect and implementor of this system since 2000.

I am one of the leads of the Flux Research Group, a large group that includes faculty, full time research staff, postdocs, graduate students, and undergraduates.

Current projects include:

(Emulab): Improving the scale, scope, security, and realism of network testbed environments

(ProtoGENI): Project to build the next generation of network research and deployment environments, using distributed systems design principles and federated identity and authorization

(PRObE): Large testbed for systems, networking, cloud, and HPC researchers, built from a retired supercomputer

(Network Testbed Mapping Problem): Solvers for the complex constraint satisfaction and optimization problem of mapping requested topologies in network testbeds and clouds onto the available resources

(OS/GPU integration): Making use of the parallel computation offered by a GPU from the operating system

The development and application of network design algorithms, network modeling and simulation methods, network control mechanisms, information assurance and infrastructure protection techniques to a variety of network technologies.

My research interests fall into the broad areas of operating systems, distributed systems, and parallel computing. The overarching goal of my research is to understand the (normal and abnormal) behaviors of complex computer systems and to manage them according to such understanding. The empirical work of my research focuses on server computer systems including, in particular, servers on multicore platforms, I/O-intensive systems, and multi-component network services. More information about my research are available at http://www.cs.rochester.edu/~kshen.

Wireless Communications and Networking Group
ECE Department, University of Rochester
Rochester, New York, USA

http://www.ece.rochester.edu/research/wcng

The mission of the Wireless Communication and Networking Group (WCNG) is to transform users’ experiences with mobile ad hoc and wireless sensor networks through design of advanced protocols and architectures that provide reliability for diverse applications. We are seeking candidates to conduct research in the design and implementation of future wireless networks. Specifically, we seek a candidate who can contribute to the theory and design of heterogeneous networks and the  design and implementation of wake-up radio systems. Additional opportunities to get involved
in the design of sensor networks and signal processing of the sensed data for psychology applications.

I am interested in all aspects of experimental networked systems performance. My research has included work on SIP, TLS/SSL, HTTP, Instant Messaging, TCP/IP, workload characterization, workload generation, dynamic content, clusters, multiprocessors, operating systems, and security. I am currently working on system support for networking in virtualized environvironments, SIP, and experimental methodologies.

My research focuses on two broad areas. First, Internet measurement and the application of these measurements in timely problems, such as the detection of network neutrality violations, the diagnosis of performance problems, and the adaptive transport of video streams.

Second, I am working on applications of network science in biology, neuroscience and climate science.

Currently funded research projects:
1. Evolution of the Internet ecosystem.
2. Applications of network measurements in performance monitoring and diagnosis.
3. Internet video technologies.
4. Economics of network interconnections.
5. Applications of network science in biology, neuroscience and climate science.

I work on many topics in core operating systems, distributed systems, Web systems, Web browser architecture, and systems security. My current interests include:

1. Understanding and architecting the Web of the future, particularly reconsidering what a Web program is, what the browser’s future role as a fully-fledged operating system should be, and how to manage (or provoke!) the convergence of desktop OSs with browsers.

2. Building operating systems and distributed systems support for smartphones.

3. Exploring the impact of new technologies on operating systems abstractions and structure. One of my recent projects was to build operating system support for the deterministic execution of multithreaded and multiprocess applications, even on multicore processors. I’d also like to understand the long-term implications of persistent memories (such as phase-change memory) on how we should build operating systems and applications.

cognitive radio networks, mobile social networks, disruption tolerant networks, network security, smartgrid control network design, mobile health, information assurance, mobile computing

We have broad interests in the general area of programming languages and compilers, formal methods, language-based security, program verification, operating system verification, proof assistants, automated theorem proving, and software engineering. Members of our research group are working on building certified OS kernels and compilers, developing new programming languages for writing certified programs, and designing new program logics for reasoning about general safety, liveness, and information flow properties.

security economics, e-crime, malware, applications of machine learning to security and networking, measuring/modeling availability, storage management and security for cloud/data center computing, embedded security, physical security, applications of social network data, troubleshooting networks, security applications of computer vision, measuring security

Current interests are in Cloud Computing, Information Distribution and Higher Layer Protocols for Wireless Networks.

We are pursuing exciting systems architecture projects that crosscut: multicore processor architecture, heterogeneous computing, intelligent storage device architecture, OS design, and memory hierarchy design. Further, we look at various issues w.r.t. solid-state storage class components at different system levels. We have access to industry-strength SSD boards and build experimental systems using simulation and emulation techniques.

Cloud Computing
Energy Savings
Information Assurance
Applied Cryptography
Network Security
Trusted Hardware

Our goal is to understand how currently-available and emerging non-volatile memories can enable new applications, improve performance, and increase efficiency. To understand the impact of these technologies, we construct prototype hardware and software systems, including one of the world’s first phase-change memory storage arrays.

We are particularly interested in the interaction between storage system hardware and software, and we have shown careful engineering in both areas is essential to fully utilize the raw performance that these technologies can provide. For instance, we have shown that implementing some components of the file system in hardware can dramatically increase throughput, reduce latency, and save power.

We take an interdisciplinary approach to improving application level performance. For instance, upcoming projects include implementing specialized file system, database, and application components to fully exploit the performance that our prototype systems can deliver and to understand how these software systems must change in light of fast non-volatile memories. We are working closely with experts in each of these fields at UCSD and at other universities.

My research falls inside the fields of power-aware computer architecture, power-agile computing/OS and low-power VLSI design.

I have three main projects that a potential postdoc fellow could develop drive and mentor the PhD students on the project:

• AfterBurner: Efficient Performance Scaling via Post-Retirement Processing. NSF funded project with Amir Roth, UPenn that targets region of low ILP in modern out-of-order microprocessors. We need a fellow with a strong microarchitecture background to drive the simulator development of this project.
• Accelerator-based computing. As the industry moves to SoC based systems in the mobile and server space future systems are going to be composed of heterogeneous accelerators and cores. We need someone with strong application profiling skills (or binary instrumentation skills) to help profile the accelerators that my VLSI students are trying to build.
• Power-agile computing. See the HotOS 2011 paper. We are trying to model future heterogeneous systems composed of difference types of cores, memory, and storage. Potential fellows should have experience with architecture simulators and operating systems.

I am currently interested in distributed algorithms deployed on a complex network of coupled processors. Other interests include using parallel architectures such as GPU to speed up image processing operations.

Computer security and privacy, with a special interest toward emerging technologies, mobile devices, and human values.

My research interests are languages and systems. Lately, I have been focusing on stream processing and on programming tools that compose different languages (such as Java and C).

My research concerns the practical issues in constructing robust, secure, and efficient computer systems. I see myself as a generalist — I am attracted to biggest problem I can find, regardless of area. We have active early-stage projects in: peer-to-peer systems as an alternative to cloud computing; architectures to improve Internet reliability and security; and systems for automated diagnosis and repair of Internet reliability.

The past three post-docs in my group are now on the faculty at UMass, Duke and NYU-Poly.

My key research interests are: making it simpler to write, debug and deploy parallel programs to address the concurrency challenge; develop energy-aware programming models; exploring systems software for non-volatile main memory. Sample research projects include making multiprocessor systems deterministic, dynamic concurrency bug avoidance, debugging, concurrency exceptions for failstop behavior of race condition, energy-aware programming models, etc.

My research focuses on problems in programming languages, data management, and security. Some specific topics of interest include semantics, type systems, bidirectional languages, provenance, data synchronization, and mechanized proof. Most recently, I have been working on a domain-specific network programming language.

Active in the areas of next generation Internet architecture, Unmanned Aircraft Systems, wireless networking, network security, optical networking, traffic management and quality of service in data networks. A distinguishing factor of my research is its relevance to the Industry. Have actively participated in industry forums like RTCA, WiMAX Forum, IEEE Standards group, ATM Forum and Internet Engineering Task Force and have made over 200 contributions that ensured that my research was implemented and not just published as papers. My research has influenced the directions of Traffic Management and Testing working groups of ATM Forum. Rank among the top 50 in Citeseer’s list of Most Cited Authors in Computer Science. Google Scholar lists over 12500+ citations to my publications. Am a co-inventor of the DECbit scheme, which has been implemented in various forms in DECnet, OSI, Frame Relay, and ATM Networks, and TCP/IP networks (ECN).

In the past, I have been interested in many aspects of computer systems, especially operating systems, networking, and mobile and distributed systems. Current directions I’m looking to push forward include understanding what the mega datacenter and cloud model mean for the future of operating systems, exploring the challenges faced by increasingly high-speed local and wide area wireless technologies, and understanding how to improve the performance and robustness of distributed systems by leveraging the power of social networks.

My research interests span distributed systems, networking, operating systems. Current projects include:

- Energy measurement and management in mobile computing: in today’s portable, battery-operated devices, energy must be a first class optimization metric for operating systems and applications. Building on our previous work on Quanto (OSDI’08 with Prabal Dutta, Philip Levis and Ion Stoica), we are interested in operating systems abstractions that allow applications, developers, and device drivers to understand energy usage, and apply this knowledge for energy-aware optimization, admission control, and scheduling.

- Proactive datacenter networking: modern datacenter and enterprise networks are increasingly dynamically programmable. We are investigating the question of how knowledge of near-future workloads (e.g., by looking at an upcoming queue of large batch jobs) can be exploited to reconfigure the network (including endpoints) in a proactive way, to increase performance, isolation, and fairness.

- Tracing distributed systems: as the distributed systems we build become more complex, so does the task of understanding how they work, and, especially, how they fail. We are interested in the implications of causal tracing as a first-class concept in distributed systems design and integration. This builds on our previous work on X-Trace (with George Porter, Ion Stoica, Scott Shenker, and Randy Katz).

In addition to these problems, I am also interested in programming models and frameworks for large scale data intensive parallel computing (MapReduce and beyond), including understanding what classes of algorithms can be cast efficiently into existing frameworks, and what new abstractions can enable new applications.

I have also worked extensively on networking protocols and architectures for wireless sensor networks, and am interested and open to collaboration in any of these areas.

My research focuses on enhancing the security and performance of computer systems in practical situations. My work targets problems that impact millions of users or mitigates issues with emerging technologies. I build systems and, whenever appropriate, use extensive live deployments to validate their practicality in real settings. Conference and journal publications are an important aspect of impact. But in many cases much more can be done. I believe one should validate and demonstrate the applicability of the research to real world problems. This means that much of my work spans multiple fields, primarily systems and security.

I am interested in mentoring a bright and hard working post doc. My work tends to be quite broad, so the area of work can vary according to the post doc’s interests.

Our goal at the Systems Research Laboratory (SyLab) is to conduct research in the area of Operating Systems. While we are interested in all problems related to Systems, lately, we have been developing new capabilities for storage systems and virtualized data centers. Some of the capabilities that we have developed recently address energy, performance, and self-management for storage systems and resource isolation and performance guarantees within virtualized systems.

More information about our work can be obtained at:

http://sylab.cs.fiu.edu/

I am interested in wireless sensor networks in the context of health care, smart civil infrastructure, process monitoring and control, and smart energy. My group’s research ranges from system design and deployment, low-power wireless networking, to real-time scheduling algorithms.

My group works to improve the reliability of software systems, especially embedded systems, using techniques such as random testing, theorem proving, and model checking.

My research is done in the Mobius Group, which is dedicated to research on seamless communication in mobile computing. Our research projects focus on mobile computing and communication in ad hoc and sensor networking and delay and disruption tolerant, vehicular and mobile social networks. Specific research topics include power management, connectivity management, transport protocols, admission control, location management, routing and security. One representative project is the Locus Project and its affiliated Illinois Vehicular Testbed. Locus is a vehicular-based content management network that functions as a distributed data cache built on top of a fleet of moving vehicles to support location-centric sensing applications. As part of this project we are deploying Locus on a fleet of university vehicles, which will provide a testbed for future vehicular, delay tolerant and location-based participatory sensing research, as well as traces of fleet mobility and contact traces. O ther on-going projects focus on routing and data management in delay tolerant networks, contact and proximity tracking and energy conservation in mobile social networks, and energy conservation in sensor networks.

My interests lie broadly in the computer networking and distributed systems areas. My recent focus has been systems research in wireless sensor networks, with emphasis in wireless radio channel measurement and modeling, link quality estimation, routing algorithms, topology control, and programming models. I am also interested in Internet protocols and operating systems issues. In the past, I have been involved in active networking, mobile IP, and protocol design and verification research. My group develops and deploys sensor networks that address some of the grand challenges in science and engineering, including new distributed sensors for solar radiation mapping, energy and occupancy monitoring and control in smart buildings and wearable sensors for exercise physiology monitoring and modeling, among others.

I am interested in all aspects of multicore processor architectures; current and future focus is on the memory hierarchy design and the interaction between computer architecture and the operating system. We have also worked on efficient simulation techniques to evaluate multicore systems with hundreds of cores.

I am also interested in applying new memory technologies, such as phase change memory, to small- and large-scale systems. Focus is on developing new low-energy main memory architectures for data centers and researching new hybrid-technology storage systems.

In recent work, we have developed network coding techniques that allow us to exploit fundamental wireless properties to improve network performance. Traditionally, these properties )broadcast, interference, variable channels etc) have been considered to be hindrances, instead we show via analyses and implementation how they can be harnessed to significantly network throughput. Currently, we are working on designing new wireless systems that automatically adapt to channel and network conditions, hardware and software substrates that allow us to virtualize wireless networks, ultra low power and wideband cognitive radio systems, and systems for distributed mobile sensing.

Mobile and wireless networks, peer-to-peer systems, network security, Internet architecture, virtualization.

I work in the general area of computer networks, distributed systems, and wireless/mobile computing. My research group explores novel network architectures, protocols, and algorithms that ensure reliable, secure, and efficient operation of large-scale computer networks and enable new, flexible network services. Our approach is often driven by real network and traffic measurements and analysis.

My current interests include:
1. Programmable measurement primitives and architecture that can support real-time traffic analysis and classifications for wide range of applications (e.g, billing, security, traffic engineering, etc.)

2. Measurement-based characterization of online social networks (OSNs) & applications and their implications on network design

3. Provisioning for cloud services

Please refer to RUBINET (Robust & Ubiquitous Networking) Lab website for more details.

In the past I have focused on high performance computers. I and my colleagues developed some of the first prototype computers that exceeded 200 MHz. However, in the past decade I have focussed on various aspects of low power computing. My research group developed the “Intelligent Energy Management” system used in many ARM cores. I was a co-inventor on the original razor patents, a circuit technology that is being deployed in many next generation low power cores to combat the growing effects of variation that occurs in smaller technology nodes. My research group has developed a series of ultra-low power signal processors targeted at mobile wireless baseband processing. They evolved into a commercial prototype developed by ARM, which led to a commercial spinoff, Cognovo. They will commercialize the processor and provide wireless software stack.
My group were among the first to propose replacing DRAM with non-volatile memory to reduce memory power, cost and footprint. His group has also been active in exploring new server architectures that combine “near threshold” technology and 3D chip stacking to drastically reduce system power consumption. They recently complete the tape-out of a 128-core multiprocessor that integrated the cores, caches and DRAM into a single 3D stack. The fabrication run was funded by a DARPA grant.
Finally, my group is exploring ways to build low power compact interconnect fabrics. We recently completed a compact 128 x 128 crossbar architecture that can sustain a bi-section bandwidth of about 1.3 terabits / second while consuming less than 130 mW.

Resource allocation in wireless networks, quality of information, mobility models, network security

***SMARTGEO***
SmartGeo (an NSF IGERT project) is an interdisciplinary program in the development of intelligent geosystems – enabling engineered and natural earth structures and environments that sense their environment and adapt to improve performance. Research efforts focus on using wireless sensor networks to advance intelligent geoconstruction, intelligent earth dams & levees, and remediation of contaminated soil and water. In one project, we research sensing and monitoring techniques to assess early onset of internal erosion of an earth dam by fusing geophysical, geotechnical and remote sensing data. In other project, we are developing a system that integrates multiple forms of sensed data, models, and techniques to develop a closed-loop uranium bioremediation system. A CI Fellow interested in wireless sensor networks, data mining, graphics/visualization, or machine learning would be a welcome addition to this project.

***NETWORK SIMULATION CREDIBILITY***
Simulation is the research tool of choice for a majority of the mobile ad hoc network (MANET) community. However, while the use of simulation has increased, the credibility of the simulation results has decreased. This work focuses on the development of tools that researchers can use to improve the credibility of their simulation work. For example, one focus of our work is to provide researchers with models that allow them to easily construct rigorous MANET simulation scenarios. The input to our models is the desired values for three metrics (e.g., average shortest path hop count); our models then output parameters for a simulation scenario that approximately meet the researchers target values for the metrics. Examples of other tools developed include visualization and realistic mobility models based on GPS trace data. A CI Fellow interested in impacting the way that researchers do network simulation would be welcome.

***COOPERATIVE BEAMFORMING***
Cooperative beamforming (CB) is a novel technique that enables high throughput and power efficient communications in a secure manner. CB consists of two stages. In the first stage, the sources share their data with neighboring nodes via low-power communications. Various approaches for such information sharing are considered, with a goal to minimize queuing delays, conserve energy, and achieve high throughput. In the second stage, the cooperative nodes apply a weight to the signal received during first stage, and transmit. The weights are such that a specific objective criterion (e.g., signal to interference at the destination) is maximized. In CB, although each node uses low power, all nodes together can deliver high power to a faraway destination. This research project is interdisciplinary and combines concepts in signal processing, economics, decision theory, optimization, information theory, communications, and networking. Our efforts at the Colorado School of Mines is focused on synchronization of the wireless communications and other research issues associated with the MAC layer. A CI Fellow interested in signal processing, wireless security, or communications would be a welcome addition to this project.

measurement-driven networking research; dynamics of and over Internet-related connectivity structures (e.g., router- and AS-level topology, P2P systems and Online Social Networks); multi-resolution analysis for the Internet

My research interests cover a broad range of systems topics, centering on distributed operating systems but extending into networking, programming languages, and formal systems. The common motivating theme throughout my research is to discover ways to build computing systems that “just work” in the widest possible variety of practical scenarios: to rethink and generalize traditional algorithms, system structures, and protocols so as to eliminate technical restrictions that frequently limit the utility, applicability, or scalability of these systems. Current projects include:

1. Tng: a next-generation transport protocol architecture, which decomposes traditional transport layer functions such as endpoint naming, congestion control, and application-visible semantics to improve communication flexibility, performance, and security while remaining backward-compatible with the current Internet.

2. Determinator: an experimental multiprocessor, distributed operating system that creates an environment in which anything an application computes is exactly repeatable – even if the application consists of many cooperating processes running different executables in parallel, such as a parallel make. Atop a minimal microkernel that enforces this determinism guarantee, a user-space runtime uses distributed systems techniques to emulate familiar shared-state abstractions such as Unix processes, global file systems, and shared memory multithreading.

3. Dissent: a new anonymous peer-to-peer messaging protocol for small, decentralized online groups, which offers not only provable anonymity and integrity but also provable resistance to anonymous denial-of-service attacks (e.g., anonymous spam, “jamming”, or other disruption).

I am interested in designing and implementing large-scale distributed systems that are robust and easy to write applications against. I have worked on a variety of projects including a distributed persistent object store, a secure distributed serverless file system using Byzantine fault tolerance, diagnostics in wireless networking, object-relational mapping framework, and a distributed auto-partitioning lease manager for datacenter servers – the last two pieces of work shipped as part of commercial products/large-scale online services. I am currently working on another highly-scalable distributed system that can make certain aspects of Web programs much more efficient and easier to program.

Communication Networks, Network Economics, Game Theory, Statistical Learning, Networked Control Systems

Over the years my research interests have covered a broad set of topics, ranging from system design to theoretical formulations to economic analysis. My current interests fall into five main areas:

* New Internet architectures: in collaboration with Hari Balakrishnan, Nick Feamster, Brighten Godfrey, Teemu Koponen, Nick McKeown, Guru Parulkar, and Jen Rexford, my research group is pursuing a new approach to Internet architecture that is built around a minimal framework that enables innovation in the rest of the architecture. I am actively looking for fellows eager to work in this area.

* Software-defined networking: networking is on the verge of a revolution, going from complicated switches/routers running specialized control algorithms (routing algorithms, etc.) to a new model where simple switches/routers follow instructions sent from management applications built on a general control platform (such as NOX, a network operating system). My research group is exploring this new approach in collaboration with colleagues at Stanford (Nick McKeown) and Nicira Networks (Martin Casado and Teemu Koponen). We are investigating both the control platform itself and new management applications (such as traffic engineering for the WAN, control mechanisms for datacenters, etc.).

* New network algorithms and protocols: As always, I am interested in new network mechanisms of almost any variety, from network monitoring to congestion control to intradomain routing to interdomain policy enforcement.

* Systems infrastructure for datacenters: Datacenters are the new unit of computing, and my research group (in collaboration with many colleagues here at Berkeley) are exploring the basic pieces of infrastructure needed to fully exploit the vast computation power residing in today’s large datacenters. So far we have focused on new resource allocation mechanisms (Nexus) and a new programming framework (Spark).

* Hypervisor-based security tools: We are exploring a range of security measures that can be implemented in today’s hypervisors. Two examples of this are Practical Taint Tracking (which has improved the performance of taint tracking by almost an order of magnitude) and Virtual Dedicated Console (which enables secure access to online services).

1. Exploiting physical layer capabilities to design clean-slate (as well as 802.11 compatible) MAC and Network protocols. Interference cancellation, OFDM, smart antennas, cross layer rate control, and related topics are of interest.

2. Also interested in mobile social computing, where we are translating mobile phones into a platform for people-centric sensing.

More and more computer systems are built as integral parts of many of today’s systems and devices to monitor and control their functions and operations. These embedded/networked systems often operate in environments where safety is a major concern. These computer systems must be highly dependable and timely. My teaching and research focus on building these real-time, embedded systems, and cyber-physical systems. Research topics include: scheduling, formal verification, networking, power-aware techniques, real-time security, and software engineering.

IT economics, strategy, and policy issues, including economics of network architectures (e.g., incentive-centered design, industry structure, competition and innovation policy, clean-slate design); economics of information security (e.g., rational behavior, interdependent security, insurance versus protection, risk management); peer-to-peer (p2p) incentive mechanisms and business models; information and communication technologies and development (ICTD).

The broad theme of my research can be summarized as: “Dealing with network change amidst the inherent operational complexity of modern networks”. Previous and ongoing projects approached this from different perspectives including: specific new network services (e.g., cloud networking), structured approach to network management and operations (e.g., following a declarative language approach to network management), using network virtualization to enable new network management primitives (e.g., router migration and grafting) etc.

Projects at AT&T Labs – Research benefit from interaction with real world network operations as well as data from several large operational networks and services. We also operate and control a small slicable operational testbed that is “embedded” in the AT&T network and forms the platform for much of our experimental work.

My research interest lies in addressing the Internet’s enormous and
growing complexity. For example, the Internet’s network structure,
traffic processing behavior, and failure modes are all highly
complex. Consequently, applications often perform sub-optimally,
network operators often make grave mistakes, and failures are often
hard to diagnose. Addressing the fundamental complexity challenges in
the Internet will require the development of new models that provide
simple yet accurate abstractions, new algorithms that take advantage
of the simplifying models, and new systems that bridge the gap between
theory and practice. Example projects include network coordinates,
network operating system, and network self-verification that aim to
address the structural, behavioral, and failure-mode complexity
challenges.

Cloud computing promises to reduce the cost of IT organizations by allowing them to purchase just as much compute and storage resources as needed, only when needed, and through lower
capital and operational expense stemming from the cloud’s economies of scale. Yet, little is known about the performance of applications in the cloud, the response time variation induced
by network latency, and the scale of applications suited for deployment. Migrating enterprise networks to the cloud is viewed
as one of the major challenges.

The goal of our research is to develop frameworks and methodologies that enable application architects to (i) predict the performance of their applications when deployed in the cloud;
and (ii) plan how the applications should be architected so as to meet the target goals for performance. A particular focus of our work is enterprise applications, which are not only large-scale with complex component interdependencies, but also involve stringent requirements on availability and service latency. A major thrust of
our research is in characterizing real enterprise applications, as there is little understanding of their characteristics.

We are conducting research along various dimensions such as (i) models that estimate the benefits (or costs) of (re)deploying
services in the cloud, given performance and availability constraints; (ii) techniques for analyzing
and predicting the performance of cloud applications while accounting for network latency, throughput and demand variability; and (iii) algorithms to determine how best deploy a given
application among cloud and private compute resources.

We are also developing methodologies for assurable reconfiguration of security policies as enterprises are migrated to the cloud, and exploring ways to specify and configure QoS policies in cloud platforms.

The current projects in the Advanced Operating Systems group at IBM Research aim at exploring innovation on operating systems and hypervisors to:
(1) advance dynamic resource management in cloud computing environments;
(2) advance support for problem determination;
(3) advance system software support for analytical applications;
(4) leverage high performance computing platforms to advance large-scale commercial applications.

Please contact me for details.

Cloud Resource Management and Virtualization; P2P and Peer-Assisted Content Distribution; Economics-Inspired and Game-Theoretic Approaches to Resource Management in Distributed Systems and Networks; Formal Specification and Verification of Cyber-Physical Systems; Compile-Time and Run-Time Support for Embedded Real-Time Systems.

- Scalable, QoS-aware, Energy-Efficient Multi-core Memory Systems
- Scalable, QoS-aware, and Energy-Efficient Interconnection Networks
- Asymmetric Multi-core Systems
- Enabling and Exploiting Emerging Memory Technologies
- Architectural Support for Safe Languages
- Architectural Support for Virtualization and Multi-Core Operating Systems
- Resource Management

Other projects are also possible. Feel free to contact me for more information.

The Protocol Engineering Laboratory (PEL) directed by Professor Paul Amer at the University of Delaware is dedicated to the research, development, and improvement of new and existing computer network protocols. PEL researchers are investigating innovative transport protocol alternatives to TCP and UDP (such as SCTP) emphasizing these alternatives: (1) for web transfers to underdeveloped nations, and (2) within army networks to provide efficient communications under mobile, ad-hoc network conditions.

Interpretation of human activities using wireless sensor networks and their applications to elder monitoring, security and sensing.

Cyber-Physical Systems for energy management in next-generation intelligent buildings.

Sensor network architectures for the above mentioned systems.

As a part of the Exascale Computing Lab at HP Labs in Palo Alto, I am currently working on next-generation data centers. In particular, our project on “data-centric data centers” is examining how “big-data” applications are going to drive future system architectures. My interests in this space includes Infrastructure-as-a-Service systems, non-volatile memories (Memristor, PCM, and Flash), and distributed frameworks such as Hadoop/MapReduce, HBASE, and other scale-out NoSQL systems.

I enjoy building systems and therefore all this work is based on real implementations deployed in our research data center and the OpenCirrus cloud testbed. The majority of our research is open and is published in the traditional top-tier venues for the systems’ community (NSDI, FAST, SOSP, OSDI, etc.).

My research interests are in the areas of data center networks, cloud computing and virtualization, network management. I have several projects in these areas details of which are on my website.

My main research focus is on Software and Systems Security. It is driven by practical problems, and emphasizes building real systems. It draws on principles and techniques from programming languages and compilers, algorithms and operating systems to address problems such as:

* Binary analysis and instrumentation for security applications
* Principled and proactive defenses against malware and untrusted code
* Source-code analysis/transformation to mitigate software vulnerabilities (memory errors, SQL injection, XSS, …)
* Attack isolation and recovery; Self-healing systems
* High-performance intrusion detection (network and host-based)

Please visit Secure Systems Laboratory (http://seclab.cs.sunysb.edu/) for a detailed description.

My research interests include many aspects of file systems and storage. Ongoing and recent projects have explored archival storage systems, metadata and file system search, file system reliability and security, highly scalable storage systems for HPC, and the use of new memory technologies in the storage stack. My broader interests include distributed systems issues in operating systems and security.

UC Santa Cruz is a member of the newly-formed Center for Research in Intelligent Storage (CRIS), which is an NSF and industry-funded industry-university cooperative research center (I/UCRC). This center will strengthen existing ties that the UCSC Storage Systems Research Center has with industry in Silicon Valley (45 minutes away) and elsewhere, providing strong collaboration opportunities with cutting edge researchers in industry.

My research interests are in two areas: Architectures and algorithms for effecient collaboration between mobile devices and sensor networks, especially for the purpose of sampling sensor-field data; and modeling and analysis of concurrent/distributed software systems.

High-performance and energy-efficient cache designs for large-scale multicore architectures; architecture and runtime support for emerging memory technologies; architecture and runtime support for novel parallel programming models (deterministic parallelism, disciplined parallelism); architectural and runtime support, and programming models for variable-fidelity computing; cross-layer reliable systems, where the reliability goal is achieved through the cooperation of all the abstraction layers, from circuits to architecture to the operating system; programming models, runtime environments and memory hierarchy designs for heterogeneous multicores; programming models, and runtime and architecture support for energy-aware computing; impact of memristors on architecture, memory hierarchy and systems software; novel database management systems for emerging multicore architectures and memory technologies

1. Designing efficient algorithms for networking, security, and database applications. My current focus is on efficient packet processing algorithms used on core Internet devices such as routers and IDS/IPSes.

2. Designing efficient privacy preserving protocols for practical problems. My current focus is on privacy and integrity preserving queries.

More information is on my homepage http://www.cse.msu.edu/~alexliu/

My research interests lie at the intersection of statistical signal processing and machine learning. I am interested in developing principled approaches, particularly for semi-supervised and active learning, that adaptively learn and harness the dependency structure between variables to enable efficient inference. Application areas of interest to me include networked systems and bioinformatics.

Today’s Internet is a phenomenal success story. It provides connectivity to more than a billion users and hosts a number of indispensable services. It is far larger, much faster and carries more traffic than what its designers ever envisioned. However, over the last few years, there is increasing evidence that the current Internet is unable to adapt to meet emerging challenges. The scalability-first design, based on simple and general primitives in the network core, has been exposed to reveal a number of weaknesses that place fundamental limits on network robustness, availability, and security.

Recognizing this need, my research focus over the past few years has been to develop network primitives, protocols, and services that can serve as building blocks for a more efficient and robust Internet. In particular, I have attempted to tackle the following research questions: Can the core network provide more powerful primitives and abstractions that can enhance Internet’s availability and robustness? What additional intelligence, in the form of protocols and algorithms, can be deployed on end-hosts to more efficiently utilize network resources? Can we define interfaces and services through which network providers and applications can communicate with each other in order to cooperatively manage the network? And can we exploit peer-to-peer techniques to outsource most of the computation to the edge and simultaneously improve availability and performance?

My research activities have yielded a number of widely-used systems. iPlane, an Internet measurement service, has been a valuable resource for the networking research community, with more than forty research projects using the structured network topology information produced by the system. iPlane also enables IP Geolocation, the task of mapping an IP address to a geographical location, which has since been crucial in building Adeona, an open-source, privacy-preserving device tracking system for stolen or lost laptops. Adeona was publicly released recently and has received significant commercial and public interest. The work on peer-to-peer technologies and end-host incentives enabled the development of BitTyrant, a highly optimized and strategic BitTorrent client that has been downloaded by more than a million users. Hubble, an Internet troubleshooting service, has been operating live for more than two years, and RIPE NCC, the organization that provides technical and administrative support for network operations in Europe, is working towards adding Hubble to their suite of network management services. Finally, P4P — the P2P technology for reconciling conflicts between ISPs and P2P systems — is currently being evaluated by four major ISPs (Verizon, ATT, Comcast, and Bell-Canada) on real-world swarms, with initial experiments promising substantial improvements for a wide variety of network performance objectives.

I am looking for a postdoc who is interested in working in the area of communications policy. The candidate should have a Ph.D. in Computer Science or Electrical Engineering and be knowledgable about Internet architecture, protocols, and standards. The candidate does not have to have current knowledge about communications policy, but should be interested in learning about economic and legal issues in networking.

I am currently working on the following communications policy issues:
(1) net neutrality — what types of network differentiation or discrimination should be allowed?
(2) traffic management — what types of traffic management by an ISP should be allowed?