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
1 × Germany
1 × Korea
3 × USA
Collaborated with:
W.Jia Z.Jiang L.Wang X.Li L.Bu Y.Li G.Chen Z.Su X.Chen L.Yang J.Zhao
Talks about:
algorithm (2) polici (2) machin (2) base (2) semiconductor (1) reachabl (1) distinct (1) dispatch (1) composit (1) support (1)

Person: You Li


Contributed to:

SEKE 20142014
CASE 20132013
OOPSLA 20132013
CASE 20122012
DATE 20102010
SIGAda 20102010

Wrote 7 papers:

SEKE-2014-LiLWC #automation #data access #generative #policy #testing
Automatic XACML requests generation for testing access control policies (YL, YL, LW, GC), pp. 217–222.
CASE-2013-JiaJL #algorithm #scheduling
A job-family-oriented algorithm for re-entrant batch processing machine scheduling (WJ, ZJ, YL), pp. 1022–1027.
CASE-2013-LiJJ #algorithm #heuristic
A heuristic algorithm for minimizing total absolute deviation from distinct due dates on a single machine (YL, ZJ, WJ), pp. 392–397.
OOPSLA-2013-LiSWL #execution #symbolic computation
Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.
CASE-2012-LiJJ #policy
A pull VPLs based release policy and dispatching rule for semiconductor wafer fabrication (YL, ZJ, WJ), pp. 396–400.
DATE-2010-BuLWCL #bound #composition #hybrid #linear #reachability
BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.
SIGAda-2010-LiYBWZL #ada #fault tolerance #manycore #monitoring
Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.

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.