Vu, Xuan Tung and Hoang, Truong  (2015) An Improved Type System for Counting Logs of Transactional Multi-threaded Programs.  In: PAS: the 4th International Seminar on Program Verification, Automated Debugging and Symbolic Computation, 21-23 October 2015, Beijing, China.