Travelled to:1 × India
Collaborated with:X.Ma J.Lü Y.Jiang C.Xu C.Sun Z.Su C.X.0001 Y.J.0001 C.Cao J.L.0001
Talks about:synthesi (2) determinist (1) transform (1) recoveri (1) softwar (1) program (1) handler (1) concurr (1) automat (1) runtim (1)
Person: Tianxiao Gu
DBLP: Gu:Tianxiao
Contributed to:
2014
2016
2018Wrote 3 papers:
- ICSE-2014-JiangGXML #concurrent #java #named #source code
- CARE: cache guided deterministic replay for concurrent Java programs (YJ, TG, CX, XM, JL), pp. 457–467.
- ASE-2016-GuSMLS #automation #fault #runtime #synthesis
- Automatic runtime recovery via error handler synthesis (TG, CS, XM, JL, ZS), pp. 684–695.
- ECOOP-2018-GuM00CL #automation #execution #online #synthesis
- Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis (TG, XM, CX0, YJ0, CC, JL0), p. 28.