UCLA Software Systems
Faculty:
Lecturers:
-
Paul Eggert
-
David Smallberg
Laboratories:
-
Compilers Laboratory, 4810 Boelter Hall.
For research into compilers, embedded systems, and programming languages.
-
Parallel Computing Laboratory, 3809 Boelter Hall.
For research in scalable simulation, providing an efficient lightweight
simulation language, as well as tools for large-scale parallel simulation
on modern supercomputers.
-
Software Systems Laboratory, 3436 Boelter Hall.
For research into the design, implementation, and evaluation of
operating systems, networked systems, programming languages,
and software engineering tools.
Some top-tier conferences on software systems and our involvement (since 2002):
-
CAV, Computer Aided Verification:
papers in 2002, 2003; PC member 2005
-
CONCUR, International Conference on Concurrency Theory:
paper in 2003
-
ECOOP, European Conference on Object-Oriented Programming:
paper in 2002; PC member in 2003
-
EMSOFT, International Conference on Embedded Systems:
papers in 2002, 2005; PC member in 2003, 2005
-
FSE, Foundations of Software Engineering:
papers in 2005 (2)
-
ICFP, International Conference on Functional Programming:
paper in 2002
-
ICALP, Automata, Languages and Programming:
papers in 2003 (2)
-
ICSE, International Conference on Software Engineering:
paper in 2004; PC member in 2005
-
LICS, Logic in Computer Science:
paper in 2002
-
OOPSLA, Object-Oriented Programming Systems, Languages, and Applications:
papers in 2003 (2), 2004; PC member in 2002, 2004, 2006 (2)
-
OSDI, Operating Systems Design and Implementation:
-
POPL, Symposium on Principles of Programming Languages:
papers in 2002, 2004, 2005; general chair in 2005
-
PLDI, Conference on Programming Language Design and Implementation:
papers in 2003, 2004, 2005 (2); PC member in 2003, 2006
-
SOSP, Symposium on Operating Systems Principles:
paper in 2005