Back to Results
First PageMeta Content
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

Document Date: 2013-12-03 05:32:06


Open Document

File Size: 261,75 KB

Share Result on Facebook