Slide 1The Third Annual ICFP Programming Contest John Reppy Greg Morrisett Bell Labs Cornell University Slide 2 Huge thanks Sponsers: –ICFP and ICFP sponsers Compaq, EAPLS,…

Slide 1Data races, informally [More formal definition to follow] “race condition” means two different things Data race: Two threads read/write, write/read, or write/write…

Slide 1 Searching for Type-Error Messages Benjamin Lerner, Matthew Flower, Dan Grossman, Craig Chambers University of Washington Slide 2 2 Example: Curried functions # let…

Slide 1 Upcoming UW CSE courses on Coursera: What and How Dan Grossman October 24, 2012 Slide 2 Overview What is a MOOC? Why are we doing them? What courses? How are we pulling…

Programming Languages & Software Engineering CSE332: Data Abstractions Lecture 1: Introduction; Stacks/Queues Tyler Robison Summer 2010 1 Welcome to 332! What weâre…

Programming Languages & Software Engineering CSE332: Data Abstractions Lecture 1: Introduction; Stacks/Queues Tyler Robison Summer 2010 1 Welcome to 332! What weâre…

CSE 331 Software Design & Implementation CSE 331 Software Design & Implementation Hal Perkins Winter 2015 Java Graphics and GUIs (Based on slides by Mike Ernst, Dan…

Programming Languages & Software Engineering Upcoming UW CSE courses on Coursera: What and How Dan Grossman October 24, 2012 3/3/2012 Overview What is a MOOC? Why are…

CSE503: Software Engineering project proposals David Notkin Spring 2011 1 Lazy Evaluation for MapReduce Workflows Kristi Morton, Magdalena Balazinska, Dan Grossman, and Christopher…

Programming Languages & Software Engineering Upcoming UW CSE courses on Coursera: What and How Dan Grossman October 24, 2012 3/3/2012 Overview What is a MOOC? Why are…