Genetic Programming conference papers by Simha Sethumadhavan
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