BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Spain
Collaborated with:
M.Steffen H.Truong
Talks about:
transact (2) featherweight (1) synchron (1) implicit (1) composit (1) analysi (1) static (1) commit (1) safe (1) join (1)

Person: Thi Mai Thuong Tran

DBLP DBLP: Tran:Thi_Mai_Thuong

Contributed to:

SEFM 20132013
IFM 20102010

Wrote 2 papers:

SEFM-2013-TranST #composition #static analysis #transaction
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting (TMTT, MS, HT), pp. 212–228.
IFM-2010-TranS #commit #java #transaction
Safe Commits for Transactional Featherweight Java (TMTT, MS), pp. 290–304.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.