Systems

Hardware and software issues from the circuit to the system have three main foci: Very Large Scale Integration (VLSI) circuits and systems, computer architecture, and computer security.

Research in networking and distributed systems focuses on enabling communication of and orchestrating coordination of a large number of computing nodes.

Focuses on efficient experimental and theoretical solutions to problems on state-of-the-art computational systems consisting of large numbers of computational elements, including clouds, clusters, grids, networks-of-workstations, massively parallel supercomputers, and GPU-based systems.

Mobile systems research focuses on the design and implementation of next-generation systems for mobile devices.  Research topics include mobile data management, wireless networks, sensing systems, static analysis and instrumentation for mobile apps, mobile image and video analytics, and secure and low-power hardware for mobile devices.

Focuses on developing innovative system software and programming techniques to manage computer hardware, software resources, and common software-mediated services.

Programming Language research focuses on type systems, program logics, language-based and differential privacy and security; language, compiler, and run-time design for reliable systems; static and dynamic analyses for real-time Android; run-time visualization and verification; adaptive memory management; language concepts for database programming; logic- and constraint-based systems.