Software Systems Research at UCLA

The UCLA Computer Science Department has a diverse group of faculty and students working in the area of software systems. We have a broad array of ongoing research activities that span the entire spectrum of software systems, including programming language design and implementation, software engineering, operating systems, and embedded systems.

• Asbestos, operating system based on new labeling and isolation primitives
• Atasyn, timing analysis of TCP servers for surviving denial-of-service attacks
• Avrora, scalable sensor network simulation with precise timing
• Blast, software model checking for C
• Clarity/JavaCOP, user-defined type extensions
• Click, modular router
• Cloudfarm, a peer-to-peer system that enables end-user machines to participate in data storage for Web applications
• Conquest-2, low-energy file system design
• Eel, event-driven programming library with verification and tool support
• Expanders, language support for modular object adaptation
• Featherstitch, modular file system with integrated dependencies for robustness
• iMASH, mobile support for heterogeneous clients
• Hauberk, an experimental investigation of the incentives mechanism and robustness of the BitTorrent peer-to-peer protocol
• Java Tree Builder, a front-end for the Java Compiler Compiler
• JPred, practical predicate dispatch for Java
• Kairos/Pleiades, programming languages for sensor networks
• MAYA, next-generation performance prediction tools for global networks
• Measuring DDoS defense, building benchmarks, tools, and testbed support for measuring DDoS defense systems
• Panoply, system support for secure organization and interaction in ubiquitous environments
• Ralf, a framework for end-to-end evaluation of register allocators
• Sympathy, a debugging and fault detection system for sensor networks
• WHYNET, a scalable testbed for next generation mobile wireless networking technologies

Faculty

• Rajive Bagrodia
• Eddie Kohler
• Rupak Majumdar
• Todd Millstein
• Jens Palsberg
• Yuval Tamir

Adjunct Faculty

• Gerald Popek
• Peter Reiher

Research Staff

• Mahesh Marina
• Mineo Takai

Graduate Students

• Matthew Beaumont-Gay
• Tom Bergan
• Kevin Chang
• Brian Chin
• Tim DaSilva
• Jaideep Dharap
• Petros Efstathopoulos
• Mike Emmi
• Kevin Eustice
• Jeff Fischer
• Chris Frost
• Zhengrong Ji
• Erik Kline
• Jacob Lacouture
• Jonathan Lee
• Jinsong Lin
• Nikitas Liogkas
• Mike Mammarella
• Daniel Marino
• Shane Markstrum
• Nam Nguyen
• Fernando Pereira
• V. Ramakrishna
• Nithya Ramanathan (also CENS Systems Lab)
• Philip Russell
• Vidyut Samanta
• Roy Shea
• Erik Skow
• Milan Stanojevic
• Ben Titzer
• Steve VanDeBogart
• Maneesh Varshney
• Alex Warth
• RuGang Xu
• Zhiguo Xu
• Yi Yang
• Junlan Zhou

Alumni/ae

• Ryan Cunningham, M.S.
• Lih Chen, M.S.
• Andrew de los Reyes, M.S. 2006
• Glenn Glazer
• Christian Grothoff, Ph.D. 2006
• Ben Greenstein, Ph.D. 2006 (also CENS Systems Lab)
• John Heidemann, Ph.D. 1995
• Geoff Kuenning, Ph.D.
• Jun Li, Ph.D. 2002
• B. Scott Michel, Ph.D., 2004
• Jelena Mirkovic, Ph.D. 2003
• Manav Mital, M.S.
• V. Krishna Nandivada, Ph.D., 2005
• Robert Nelson, M.S.
• Matthew Presley, Ph.D.
• Greg Prier, M.S. 2003
• David Ratner, Ph.D.
• Max Robinson, M.S.
• Alexey Rudenko, Ph.D. 2002
• Matthew Schnaider
• An-I (Andy) Wang, Ph.D., 2003
• Mark Yarvis, Ph.D. 2001
• Lei Zhang, M.S. 2006

• Compilers Laboratory, 4810 Boelter Hall. For research into compilers, embedded systems, and programming languages.
• Laboratory for Advanced System Research, 3564 Boelter Hall. For research into system security, file systems, ubiquitous and mobile computing, and operating systems.
• Parallel Computing Laboratory, 3809 Boelter Hall. For research in design and evaluation of adaptive, mobile, wireless systems; recent projects in wireless network testbed development; system models employing hybrid/multi-paradigm modeling & parallel simulation techniques; cross-layer adaptive techniques; middleware support for nomadic computing.
• TERTL Lab (Software Systems Laboratory), 3440 Boelter Hall. For research into the design, implementation, and evaluation of operating systems, networked systems, programming languages, and software engineering tools. Includes Readable Software Systems group.
• Concurrent Systems Laboratory, 3285 Boelter Hall. For research into the design, implementation, and evaluation of computer systems that use state-of-the-art technology to achieve both high performance and high reliability, with a focus on parallel and distributed systems.

• National Science Foundation
• DARPA
• HSARPA
• Intel Corporation
• Microsoft Research