![Computing / Concurrency control / Software / Software transactional memory / Non-blocking algorithm / Lock / Parallel computing / Concurrency / Concurrent data structure / Separation logic / Thread / Concurrent computing Computing / Concurrency control / Software / Software transactional memory / Non-blocking algorithm / Lock / Parallel computing / Concurrency / Concurrent data structure / Separation logic / Thread / Concurrent computing](https://www.pdfsearch.io/img/109342b421587c7161ab8dcef23b2b0c.jpg) Date: 2013-12-03 05:32:06Computing 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 chaAdd to Reading ListSource URL: www.mpi-sws.orgDownload Document from Source Website File Size: 261,75 KBShare Document on Facebook
|