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

	Characterizing Transactional Memory Consistency Conditions Using Observational Refinement HAGIT ATTIYA, Technion—Israel Institute of Technology ALEXEY GOTSMAN, IMDEA Software Institute SANDEEP HANS, Technion—Israel I DocID: 1tFbW - View Document
	Safe Privatization in Transactional Memory Artem Khyzha Hagit Attiya IMDEA Software Institute DocID: 1tCpd - View Document
	Autonomic Parallelism Adaptation on Software Transactional Memory ´ Naweiluo Zhou, Gwena¨el Delaval, Bogdan Robu, Eric Rutten, Jean-Fran¸cois M´ehaut DocID: 1tnDk - View Document
	Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory Naweiluo Zhou, Gwena¨el Delaval, Bogdan Robu, Eric Rutten, Jean-Fran¸cois M´ehaut To cite this version: DocID: 1tf1v - View Document
	C O M P U T ER S C I E N C E DEPARTMENT COLLOQUIUM Optimizing for Eager: Improving Software Transactional Memory through Reservations Dr. Patrick Lam DocID: 1tbNr - View Document