Legislative Research Department Subject Matter Assignments 2014 Session

First Page		Document Content
Date: 2014-01-13 00:07:12 Dorsey Efird Dylan Skoglund Genealogy Blade Runner Rick Deckard		Legislative Research Department Subject Matter Assignments 2014 Session Add to Reading List Source URL: kslegislature.org Download Document from Source Website File Size: 137,92 KB Share Document on Facebook

	Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo DocID: 1xUUc - View Document
	Technical Report UW-CSEPorting Hyperkernel to the ARM Architecture Dylan Johnson University of Washington DocID: 1xTT5 - View Document
	COMMITTEE ON DIVERSITY & EQUAL OPPORTUNITY November 1, 2017 To: Dylan Rodriguez Riverside Division Academic Senate DocID: 1vqoc - View Document
	Record Of Mathematics (ROM) the Editors: Dylan, Jonathan, Mia T., Alex DocID: 1vpCK - View Document
	COMMITTEE ON FACULTY WELFARE October 31, 2017 To: Dylan Rodriguez Riverside Division Academic Senate DocID: 1vnxx - View Document