1. Composing concurrency control;ACM SIGPLAN Notices;2015-08-07
2. Composing concurrency control;Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation;2015-06-03
3. Non-blocking Patricia Tries with Replace Operations;2013 IEEE 33rd International Conference on Distributed Computing Systems;2013-07
4. Reagents;ACM SIGPLAN Notices;2012-08-06
5. Reagents;Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation;2012-06-11