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: Tran:Thi_Mai_Thuong
Contributed to:
2013
2010Wrote 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.