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 × 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


Contributed to:

SEKE 20142014
KR 20062006
ASPLOS 20162016

Wrote 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.

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.