1. Transactional Sapphire;ACM Transactions on Programming Languages and Systems;2018-12-31
2. Evaluating the Java Native Interface (JNI);International Journal of Distributed Systems and Technologies;2018-04
3. Evaluating the Java Native Interface (JNI);International Journal of Distributed Systems and Technologies;2018-04
4. Compiling and verifying SC-SystemJ programs for safety-critical reactive systems;Computer Languages, Systems & Structures;2015-12
5. Micro-transactions for concurrent data structures;Concurrency and Computation: Practice and Experience;2012-12-20