Our research goal on big data management and analytics is to address the research challenges for delivering effective, scalable and high performance software systems for managing, querying and mining complex big data at multiple dimensions, including 2D and 3D spatial and imaging data, temporal data, spatial-temporal data, and sequencing data. Our research goal on biomedical informatics is to develop novel methods and software systems to optimize the acquisition, extraction, management, and mining of biomedical data with much improved efficiency, interoperability, accuracy, and usability to support biomedical research and the healthcare enterprise.

This area addresses a broad spectrum of research and development related to computer architecture and operating systems. Our work touches on all aspects of computer systems, both hardware and software.  We work on a wide range of topics, including processor design, operating system internals, virtualization, file systems, and networks.  We study systems of all scales, from tiny embedded and wearable devices, to mobile and desktop systems, and up to supercomputers and clouds.

Research in the Reliable System Lab spans a variety of topics, including: computer security, especially analysis, learning, and enforcement of security policies, and software diversity for security; specification and verification of software, especially software for distributed systems; program analysis and optimization, especially optimizations based on incremental computation; and runtime monitoring, especially runtime assurance for embedded systems.

PragSec stands for "Pragmatic Security." In the PragSec lab, we work on a wide range of exciting research areas including:

• Large scale measurement studies to assess the security and privacy of the web;
• Client-side defense mechanisms that protect users against multiple threats without relying on external help;
• Understanding and defending against abuse at the Domain Name System;
• Studying underground economies and identifying points of intervention.