Thi Mai Thuong Tran

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Static Analysis

Multi Core Processors

Top Venues

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

University of Oslo, Norway (PHD)

Education History

University of Oslo, Norway

PHD

Publications

Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen
Observable interface behaviour and inheritance. Math. Struct. Comput. Sci. 26 (3) (2016)
Thi Mai Thuong Tran, Martin Steffen, Hoang Truong
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. SEFM (2013)
Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
Safe locking for multi-threaded Java with exceptions. J. Log. Algebraic Methods Program. 81 (3) (2012)
Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Steffen
A type system for finding upper resource bounds of multi-threaded programs with nested transactions. SoICT (2012)
Einar Broch Johnsen, Thi Mai Thuong Tran, Olaf Owe, Martin Steffen
Safe Locking for Multi-threaded Java. FSEN (2011)
Thi Mai Thuong Tran, Martin Steffen
Design Issues in Concurrent Object-Oriented Languages and Observability. KSE (2011)
Thi Mai Thuong Tran, Martin Steffen
Safe Commits for Transactional Featherweight Java. IFM (2010)