Steam-powered Turing Machine University of Washington Computer Science & Engineering
 Programming Systems Research
  CSE Home   About Us    Search    Contact Info 

Faculty
 Luis Ceze
 Craig Chambers
 Susan Eggers
 Michael Ernst
 Dan Grossman
 Larry Snyder
   

Programming Systems spans programming language design, compilers and other kinds of language implementations and analyzers, and programming environments and related software development tools.  At UW, research in programming systems involves three main subgroups. The boundaries between groups are entirely fuzzy by design and many faculty and students participate in more than one.

  • The Washington Advanced Systems for Programming (WASP) group conducts groundbreaking research in the design, implementation, and theory of programming languages, compilers, programming tools, and programming environments.
  • The UW Software Engineering group performs innovative, high-impact research in all aspects of software engineering, from problem analysis and modeling, to software design, to implementation, to evolution. The research spans both theory and practice. See also here.
  • The Sampa group conducts research projects to improve the programmability and reliability of multiprocessor and multicore systems. The nature of the concurrency challenge is inter-disciplinary, and so is the group. Projects include innovation in architecture, operating systems, compilers and programming languages.


CSE logo Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to webmaster]