Programming Languages and Software Engineering
Associated Faculty
Adjunct Faculty
HCI, software engineering, computing education, end-user programming
Graduate Students
Compilers, runtime systems, operating systems, concurrency, deterministic multithreaded execution
debugging, web applications, dynamic analysis, dynamic optimization, runtime systems, profile-guided optimization, software engineering
Safe concurrency, type systems, separation logic, program verification
Programming models for parallel and heterogeneous architectures, programming languages, compilers.
cs.washington.edu
cs.washington.eduI am interested in Software Engineering and Programming Languages, especially techniques and tools that increase developer productivity and reduce developer mistakes.
Energy efficient computing, Approximate computing, Compilers, Parallelism, High-performace computing
Energy-aware programming, approximate computing, parallel programming
software engineering, program verification, domain-specific languages, computational finance
Undergraduate Researchers
cs.washington.edu
cs.washington.edu
cs.washington.edu
cs.washington.edu
cs.washington.eduPostdocs
I'm interested in making software development better. Currently looking at pluggable type systems, inference (automatic & human-guided), and security.
Software testing and program analysis, in particular efficient mutation testing, partial test oracles, and security testing.
Affiliate Faculty
alverson.netSoftware Engineering, Parallel Systems and Programming Environments, Instructor Spring 2007
Empirical software engineering, Open Source Software communities, social networks, communication
and collaboration in software engineering, software tools
cs.washington.eduCompilers, language design, and algorithms, especially with respect to parallel computing
microsoft.comProgramming languages and compilers
User interfaces, software engineering and type theory.
End-user programming, education, program synthesis, program analysis, formal methods
gmail.comparallel computing
Software reliability and improving software security
Program verification, programming languages, concurrency, parallel computing
Practical application of formal methods in software engineering
Staff
- Jonathan Burke
- Suzanne Millstein
- Mark Roberts
Ph.D. Alumni
- Jonathan Aldrich (now at CMU)
- Gail Alverson (now at Cray)
- Ivan Beschastnikh (now at UBC)
- William Chan (1972-1999)
- Kingsum Chow
- Sung K. Chung
- Jeff Dean (now at Google)
- Laura Effinger-Dean (now at Carleton College)
- Michael Ernst (now at UW)
- Bill Griswold (now at UCSD)
- David Grove (now at IBM Research)
- Miryung Kim (now at U. Texas at Austin)
- Benjamin Lerner (now a post-doc at Brown U.)
- Sorin Lerner (now at UCSD)
- Vass Litvinov (now at Reservoir Labs, Inc.)
- Amir Michail
- Gail C. Murphy (now at U. British Columbia)
- Todd Millstein (now at UCLA)
- Markus Mock (now at Google)
- Matthai Philipose (now at Intel)
- Will Portnoy (now at Microsoft)
- Vibha Sazawal
- Marty Sirkin
- Kevin Sullivan (now at U. Virginia)
- Michael VanHilst (now at Florida Atlantic U.)
- Doug Wiebe (now at Apple)
- Tao Xie (now at North Carolina State U.)
- Yoshi Yamane



