
software.cs.ucla.edu
Software [Software Systems at UCLA]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:. And the Mobile Systems Laboratory. Mobile and wireless systems. And his group: formal verification and programming languages. And his group: programming languages, static type systems, and software development tools. And the Compilers Laboratory.
http://software.cs.ucla.edu/