1. Programming Language Theory & Design Programming state of the art is in its infancy We require new tools (languages, editors, debuggers, test tools) to increase software quality, reliability, scalability (parallelism), and security. Growing research area, with many recently hot topics: – Functional programming – Visual programming languages – Methods for programming concurrent / distributed programs – Domain specific languages – Targeting reprogrammable, special purpose hardware (FPGAs, GPUs)

2. WASP Washington Advanced Systems for Programming Extensions of current languages / paradigms – Atomic Project - Atomic & Concurrent Transactions – Clamp project – module system for architectural assumptions – TE-ML – transaction extension to a functional language Improvement of programming tools – Seminal Many other old projects, and likely new projects not yet listed on site

3. 3 Type-checker: The expression s has type string but is here used with type string list list Our approach: Try replacing add vList1 s with add s vList1... (* List.mem : ’a -> ’a list -> bool *) let add str lst = if List.mem str lst then lst else str::lst (*... in a function later in the file... *) add vList1 s Slide From Seminal ppt presentation