Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha

First Page		Document Content
Date: 2013-12-03 05:32:06 Computing Concurrency control Software Software transactional memory Non-blocking algorithm Lock Parallel computing Concurrency Concurrent data structure Separation logic Thread Concurrent computing		Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha Add to Reading List Source URL: www.mpi-sws.org Download Document from Source Website File Size: 261,75 KB Share Document on Facebook

	Security concept: Lock on digital screen DocID: 1xUts - View Document
	Unlocking the Postgres Lock Manager DocID: 1xUjT - View Document
	composer.lock demystified Nils Adermann @naderman Private Packagist https://packagist.com DocID: 1xTaM - View Document
	Free Culture - How Big Media Uses Technology and the Law to Lock Down Culture and Control Creativity Lawrence Lessig Copyright © Lawrence Lessig, 2004. Free Culture is Licensed under a Creative Commons License. DocID: 1vqrA - View Document
	! 22 Lock Road #01-34 Gillman Barracks Singapore DocID: 1vpUI - View Document