University of Washington language/OS research: Cecil, Vortex, MultiJava, EML, Whirlwind (done in Cecil), Cecil front-ends for Vortex, and stand alone Cecil interpreter. Focus: practical programming systems that make big programs and systems easier to ...

Cecil/Vortex design and implementation research papers.

Specification and rationale: pure object-oriented, prototype-based, statically-typed, to support fast writing of reliable, extensible systems. Description, documents in HTML, PS formats.

Constraints research group, Department of Computer Science and Engineering. Home of DeltaBlue, Cassowary. Neat constraint Java Applet demonstrates a theorem about quadrilaterals.

Incremental constraint solving toolkit, efficiently solves systems of linear equalities, inequalities. Constraints can be requirements or preferences. Client code specifies constraints to maintain, and the solver updates constrained variables to have ...

Efficient, incremental local propagation constraint solver. Like most local propagation algorithms, it cannot accommodate cyclic constraints. University of Washington site.

Constraints can specify desired layout of web documents, and behavior of embedded applets: 2 system architectures where author and viewer can make layout constraints, needed and optional. Final appearance of page comes from negotiation between author ...

Dynamically extensible, Exokernel-based, provides many core services: scheduler, kernel threads, domains, event dispatcher, security mechanisms, primitive VM operations. Blurs distinction between kernels and applications, which traditionally live in u...

Assistant Professor at Department of Computer Science and Engineering, University of Washington. His research interests lie in artificial intelligence and its application to mobile robotics, believing that building systems is an important part of rese...

Report and paper by Charles Reis, Steven Gribble, Tadayoshi Kohno, and Nicholas Weaver, detailing a method of alerting users to changes made to web pages by proxies and web clients, and presenting results of tests to examine the prevalence of such in-...