AUDACIOUS: User-Driven Access Control with Unmodified Operating Systems Talia Ringer Dan Grossman

Source URL: sandcat.cs.washington.edu

• Computing
• Computer architecture
• Smartphones
• System software
• Mobile operating systems
• Mach
• Android
• IOS

Software Transactions Meet First-Class Continuations Aaron Kimball Dan Grossman University of Washington

Source URL: repository.readscheme.org

Approximate Program Synthesis James Bornholt Emina Torlak Luis Ceze Dan Grossman University of Washington

Source URL: homes.cs.washington.edu

Low-Level Detection of Language-Level Data Races with LARD Benjamin P. Wood Luis Ceze Dan Grossman

Source URL: homes.cs.washington.edu

Crunching Large Graphs with Commodity Processors Jacob Nelson† , Brandon Myers† , A. H. Hunter† , Preston Briggs† , Luis Ceze† , Carl Ebeling† , Dan Grossman† , Simon Kahan†‡ , Mark Oskin† †Universi

Source URL: static.usenix.org

A Sophomoric∗ Introduction to Shared-Memory Parallelism and Concurrency Dan Grossman Version of January 21, 2016 A version of this material has been published as two chapters in the book Parallel and Distributed Compu

Source URL: homes.cs.washington.edu

Some Advanced ML Features Mooly Sagiv Michael Clarkson, Cornell CS 3110 Data Structures and Functional Programming University of Washington: Dan Grossman

Source URL: www.cs.tau.ac.il

Some Advanced ML Features Mooly Sagiv Michael Clarkson, Cornell CS 3110 Data Structures and Functional Programming University of Washington: Dan Grossman

Source URL: www.cs.tau.ac.il

Ruby Mooly Sagiv Most slides taken from Dan Grossman Ruby

Source URL: www.cs.tau.ac.il

Region-Based Memory Management in Cyclone ∗ Dan Grossman Michael Hicks Greg Morrisett Trevor Jim†

Source URL: www.cs.cornell.edu