====== Software Systems Research at UCLA ====== The [[http://www.cs.ucla.edu/|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. ===== Current Research Projects ====== * [[http://asbestos.cs.ucla.edu/|Asbestos]], operating system based on new labeling and isolation primitives * [[http://compilers.cs.ucla.edu/atasyn/|Atasyn]], timing analysis of TCP servers for surviving denial-of-service attacks * [[http://compilers.cs.ucla.edu/avrora/|Avrora]], scalable sensor network simulation with precise timing * [[http://www.cs.ucla.edu/~rupak/blast/|Blast]], software model checking for C * [[http://www.cs.ucla.edu/~todd/research/udte.html|Clarity/JavaCOP]], user-defined type extensions * [[http://www.pdos.csail.mit.edu/click/|Click]], modular router * [[http://www.leogas.net/nikitas/research.html|Cloudfarm]], a peer-to-peer system that enables end-user machines to participate in data storage for Web applications * [[http://www.cs.fsu.edu/~awang/conquest-2/|Conquest-2]], low-energy file system design * Eel, event-driven programming library with verification and tool support * [[http://www.cs.ucla.edu/~todd/research/expanders/|Expanders]], language support for modular object adaptation * [[http://featherstitch.cs.ucla.edu/|Featherstitch]], modular file system with integrated dependencies for robustness * [[http://pcl.cs.ucla.edu/projects/imash/|iMASH]], mobile support for heterogeneous clients * [[http://www.leogas.net/nikitas/research.html|Hauberk]], an experimental investigation of the incentives mechanism and robustness of the BitTorrent peer-to-peer protocol * [[http://compilers.cs.ucla.edu/jtb|Java Tree Builder]], a front-end for the Java Compiler Compiler * [[http://www.cs.ucla.edu/~todd/research/jpred.html|JPred]], practical predicate dispatch for Java * [[http://enl.usc.edu/projects/kairos|Kairos/Pleiades]], programming languages for sensor networks * [[http://libprefetch.cs.ucla.edu/|Libprefetch]], faster nonsequential file access * [[http://pcl.cs.ucla.edu/projects/maya/|MAYA]], next-generation performance prediction tools for global networks * Measuring DDoS defense, building benchmarks, tools, and testbed support for measuring DDoS defense systems * [[http://www.lasr.cs.ucla.edu/panoply/panoply.html|Panoply]], system support for secure organization and interaction in ubiquitous environments * [[http://compilers.cs.ucla.edu/ralf|Ralf]], a framework for end-to-end evaluation of register allocators * [[http://lecs.cs.ucla.edu/~nithya/sympathy|Sympathy]], a debugging and fault detection system for sensor networks * [[http://pcl.cs.ucla.edu/projects/whynet/|WHYNET]], a scalable testbed for next generation mobile wireless networking technologies ===== People ===== **Faculty** * [[http://www.cs.ucla.edu/csd/people/faculty_pages/bagrodia.html|Rajive Bagrodia]] * [[http://www.cs.ucla.edu/~kohler/|Eddie Kohler]] * [[http://www.cs.ucla.edu/~rupak/|Rupak Majumdar]] * [[http://www.cs.ucla.edu/~todd/|Todd Millstein]] * [[http://www.cs.ucla.edu/~palsberg/|Jens Palsberg]] * [[http://www.cs.ucla.edu/~tamir/|Yuval Tamir]] **Adjunct Faculty** * [[http://lasr.cs.ucla.edu/popek/|Gerald Popek]] * [[http://lasr.cs.ucla.edu/reiher/|Peter Reiher]] **Research Staff** * Mahesh Marina * [[http://lecs.cs.ucla.edu/~nithya/|Nithya Ramanathan]] (also [[http://lecs.cs.ucla.edu/|CENS Systems Lab]]) * Mineo Takai **Graduate Students** * [[http://compilers.cs.ucla.edu/~kchang|Kevin Chang]] * Brian Chin * Tim DaSilva * Jaideep Dharap * [[http://www.cs.ucla.edu/~mje|Mike Emmi]] * [[http://lasr.cs.ucla.edu/kfe/|Kevin Eustice]] * [[http://www.frostnet.net/chris/|Chris Frost]] * [[http://www.superdupershant.com/|Shant Hovsepian]] * Erik Kline * Jonathan Lee * Jinsong Lin * [[http://www.cs.ucla.edu/~mikem/|Mike Mammarella]] * [[http://www.cs.ucla.edu/~dlmarino/|Daniel Marino]] * [[http://lasr.cs.ucla.edu/lasr-members/songuku/lever/nam/|Nam Nguyen]] * [[http://www.cs.ucla.edu/~vrama|V. Ramakrishna]] * Philip Russell * [[http://compilers.cs.ucla.edu/vids|Vidyut Samanta]] * Roy Shea * Erik Skow * Zhiguo Xu * Yi Yang **Alumni/ae** * [[http://lasr.cs.ucla.edu/~mattb/|Matthew Beaumont-Gay]], M.S. 2009 * Tom Bergan, M.S. 2007 * Ryan Cunningham, M.S. 2005 * Lih Chen, M.S. * [[http://adlr.info/|Andrew de los Reyes]], M.S. 2006 * [[http://www.cs.ucla.edu/~pefstath/|Petros Efstathopoulos]], Ph.D. 2008 * [[http://www.cs.ucla.edu/~fischer/|Jeff Fischer]], Ph.D. 2008 * Glenn Glazer * [[http://grothoff.org/christian|Christian Grothoff]], Ph.D. 2006 * Ben Greenstein, Ph.D. 2006 (also [[http://lecs.cs.ucla.edu/|CENS Systems Lab]]) * [[http://www.isi.edu/~johnh/|John Heidemann]], Ph.D. 1995 * [[http://www.cs.ucla.edu/~jizr/|Zhengrong Ji]], Ph.D. 2006 * [[http://lasr.cs.ucla.edu/geoff/|Geoff Kuenning]], Ph.D. 1997 * Jacob Lacouture, M.S. * [[http://www.cs.uoregon.edu/people/faculty/Jun_Li.php/|Jun Li]], Ph.D. 2002 * [[http://www.leogas.net/nikitas/|Nikitas Liogkas]], Ph.D. 2008 * [[http://www.cs.ucla.edu/~smarkstr|Shane Markstrum]], Ph.D. 2009 * [[http://www.cs.utexas.edu/~matsuoka/|Andrew Matsuoka]], B.S. 2007 * B. Scott Michel, Ph.D., 2004 * [[http://www.cis.udel.edu/~sunshine/|Jelena Mirkovic]], Ph.D. 2003 * Manav Mital, M.S. * [[http://compilers.cs.ucla.edu/nvk|V. Krishna Nandivada]], Ph.D. 2005 * Robert Nelson, M.S. * [[http://compilers.cs.ucla.edu/fernando/|Fernando Pereira]], Ph.D. 2008 * Matthew Presley, Ph.D. * Greg Prier, M.S. 2003 * [[http://lecs.cs.ucla.edu/~nithya/|Nithya Ramanathan]] (also [[http://lecs.cs.ucla.edu/|CENS Systems Lab]]), Ph.D. 2008 * David Ratner, Ph.D. * Max Robinson, M.S. * Alexey Rudenko, Ph.D. 2002 * Matthew Schnaider * [[http://www.cs.ucla.edu/~milanst|Milan Stanojevic]], M.S. * [[http://compilers.cs.ucla.edu/titzer|Ben Titzer]], Ph.D. 2007 * [[http://www.cs.ucla.edu/~vandebo/|Steve VanDeBogart]], Ph.D. 2009 * [[http://www.cs.ucla.edu/~maneesh|Maneesh Varshney]], Ph.D. 2007 * [[http://www.cs.fsu.edu/~awang/|An-I (Andy) Wang]], Ph.D. 2003 * [[http://www.cs.ucla.edu/~awarth|Alex Warth]], Ph.D. 2009 * [[http://www.cs.ucla.edu/~rxu|RuGang Xu]], Ph.D. 2009 * [[http://www.intel.com/technology/techresearch/people/bios/yarvis_m.htm|Mark Yarvis]], Ph.D. 2001 * Lei Zhang, M.S. 2006 * [[http://www.cs.ucla.edu/~zjl/|Junlan Zhou]], Ph.D. 2006 ===== Labs ===== * [[http://compilers.cs.ucla.edu/|Compilers Laboratory]], 4810 Boelter Hall. For research into compilers, embedded systems, and programming languages. * [[http://www.lasr.cs.ucla.edu/|Laboratory for Advanced System Research]], 3564 Boelter Hall. For research into system security, file systems, ubiquitous and mobile computing, and operating systems. * [[http://pcl.cs.ucla.edu/|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. * [[http://www.cs.ucla.edu/csd/research/labs/csl/|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. ===== Sponsors ===== * [[http://www.nsf.gov/|National Science Foundation]] * [[http://www.darpa.mil/|DARPA]] * [[http://www.dhs.gov/dhspublic/interapp/editorial/editorial_0344.xml|HSARPA]] * [[http://intel.com/|Intel Corporation]] * [[http://research.microsoft.com/|Microsoft Research]]