Travelled to:1 × Canada
Collaborated with:X.Mao F.Lin Y.Wang M.Zhang M.Yoon Negin Salajegheh M.Christodorescu
Talks about:first (2) abstract (1) program (1) predict (1) formula (1) realis (1) normal (1) inform (1) evolut (1) track (1)
Person: Yin Chen
DBLP: Chen:Yin
Contributed to:
2014
2006
2016Wrote 3 papers:
- SEKE-2014-ChenM #abstraction #evolution
- Change and Role as First-Class Abstractions for Realising Dynamic Evolution (YC, XM), pp. 443–446.
- KR-2006-ChenLWZ #first-order #logic programming #source code
- First-Order Loop Formulas for Normal Logic Programs (YC, FL, YW, MZ), pp. 298–307.
- ASPLOS-2016-YoonSCC #data flow #named #predict
- PIFT: Predictive Information-Flow Tracking (MKY, NS, YC, MC), pp. 713–725.