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

	General Terms and Conditions of ITEMIS AG for Software Licenses itemis AG Version 2.0.1, General Terms and Conditions of ITEMIS AG for Software Licenses DocID: 1xW2N - View Document
	Effective Identification of Failure-Inducing Changes: A Hybrid Approach∗ Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China DocID: 1xW1R - View Document
	GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh DocID: 1xW1G - View Document
	Does ACM’s Code of Ethics Change Ethical Decision Making in Software Development? Andrew McNamara Justin Smith DocID: 1xW0L - View Document
	AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have DocID: 1xW0u - View Document