Programming Languages and Software Engineering

Last changed Fri, 2011-08-26 10:58

Faculty

mernstcs.washington.edu

Software engineering, programming languages

Dan Grossman
djgcs.washington.edu

Programming languages

Prof. Zachary Tatlock
ztatlockcs.washington.edu  
(Arriving Autumn 2013) Compilers, formal methods, and computer security

Associated Faculty

luiscezecs.washington.edu

Computer architecture, compilers, programming models

Adjunct Faculty

Information School
ajkouw.edu

HCI, software engineering, computing education, end-user programming

Graduate Students

tbergancs.washington.edu

Compilers, runtime systems, operating systems, concurrency, deterministic multithreaded execution

burgcs.washington.edu

debugging, web applications, dynamic analysis, dynamic optimization, runtime systems, profile-guided optimization, software engineering

csgordoncs.washington.edu

Safe concurrency, type systems, separation logic, program verification

bholtcs.washington.edu

Programming models for parallel and heterogeneous architectures, programming languages, compilers.

Darioush Jalali
darioushcs.washington.edu
Kristi M Morton
kmortoncs.washington.edu
kivanccs.washington.edu

I am interested in Software Engineering and Programming Languages, especially techniques and tools that increase developer productivity and reduce developer mistakes.

perelmancs.washington.edu
mikercs.washington.edu

Energy efficient computing, Approximate computing, Compilers, Parallelism, High-performace computing

asampsoncs.washington.edu

Energy-aware programming, approximate computing, parallel programming

twscs.washington.edu

software engineering, program verification, domain-specific languages, computational finance

bpwcs.washington.edu
edwardwucs.washington.edu
Software system security analysis and defenses, automated vulnerability discovery and bug finding.
szhangcs.washington.edu

Undergraduate Researchers

Richard Jacob Bailey
rjacobcs.washington.edu
Forrest Coward
fmc3cs.washington.edu
Philip Lai
plai68cs.washington.edu
Nathaniel Mote
nmotecs.washington.edu
Tyler Rigsby
rigsbytcs.washington.edu

Postdocs

wmdietlcs.washington.edu

I'm interested in making software development better. Currently looking at pluggable type systems, inference (automatic & human-guided), and security.

rjustcs.washington.edu

Software testing and program analysis, in particular efficient mutation testing, partial test oracles, and security testing.

Affiliate Faculty

Gail Alverson
Cray, Inc.
rgalversonalverson.net

Software Engineering, Parallel Systems and Programming Environments, Instructor Spring 2007

Microsoft Research
cbirdmicrosoft.com

Empirical software engineering, Open Source Software communities, social networks, communication
and collaboration in software engineering, software tools

Preston Briggs
PNNL
prestoncs.washington.edu
Cray, Inc.
bradccray.com

Compilers, language design, and algorithms, especially with respect to parallel computing

Google
chambersgoogle.com

programming languages, compilers

Manuvir Das
Microsoft
manuvirmicrosoft.com

Programming languages and compilers

Microsoft Research
rdelinemicrosoft.com

User interfaces, software engineering and type theory.

Microsoft Research
sumitgmicrosoft.com

End-user programming, education, program synthesis, program analysis, formal methods

Simon Kahan
Pacific Northwest National Lab
simon.kahangmail.com

parallel computing

Microsoft Research
larusmicrosoft.com

Programming languages and compilers

Microsoft Research
livshitsmicrosoft.com

Software reliability and improving software security

Microsoft Research
qadeermicrosoft.com

Program verification, programming languages, concurrency, parallel computing

Microsoft Research
schultemicrosoft.com

Practical application of formal methods in software engineering

Microsoft Research
tzimmermicrosoft.com

Staff

  • Jonathan Burke
  • Suzanne Millstein
  • Mark Roberts

Ph.D. Alumni