Genetic Programming Bibliography entries for Xinhao Yuan

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.8051

GP coauthors/coeditors: David Williams-King, Junfeng Yang, Simha Sethumadhavan,

Genetic Programming conference papers by Xinhao Yuan

• Xinhao Yuan and David Williams-King and Junfeng Yang and Simha Sethumadhavan. Making Lock-free Data Structures Verifiable with Artificial Transactions. In Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, pages 39-45, Monterey, California, USA, 2015. ACM. details