1. Code and Data Transformations to Address Garbage Collector Performance in Big Data Processing;2018 IEEE 25th International Conference on High Performance Computing (HiPC);2018-12
2. Relaxing safely: verified on-the-fly garbage collection for x86-TSO;ACM SIGPLAN Notices;2015-08-07
3. Relaxing safely: verified on-the-fly garbage collection for x86-TSO;Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation;2015-06-03
4. The locality of concurrent write barriers;ACM SIGPLAN Notices;2010-08
5. Shock and Damage Models in Reliability Theory;Springer Series in Reliability Engineering;2007