Travelled to:
1 × France
1 × United Kingdom
Collaborated with:
X.Rival
Talks about:
spreadsheet (2) type (2) abstract (1) analysi (1) static (1) domain (1) detect (1) applic (1) unsaf (1) infer (1)
Person: Tie Cheng
DBLP: Cheng:Tie
Contributed to:
Wrote 2 papers:
- ESOP-2015-ChengR #detection #spreadsheet #static analysis
- Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection (TC, XR), pp. 26–52.
- SAS-2012-ChengR #abstract domain #spreadsheet
- An Abstract Domain to Infer Types over Zones in Spreadsheets (TC, XR), pp. 94–110.