BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
P.Li P.Zhang C.Zhang J.Cong Zeyu Ding Guanhong Wang D.Kifer D.Zhang F.Chen H.Zhou J.Li R.Liu H.Yang H.Li H.Guo
Talks about:
multidimension (1) differenti (1) synthesi (1) approach (1) privaci (1) portabl (1) ontolog (1) develop (1) system (1) shadow (1)

Person: Yuxin Wang

DBLP DBLP: Wang:Yuxin

Contributed to:

DAC 20132013
SEKE 20092009
PLDI 20192019

Wrote 3 papers:

DAC-2013-WangLZZC #array #clustering #memory management #multi #synthesis
Memory partitioning for multidimensional arrays in high-level synthesis (YW, PL, PZ, CZ, JC), p. 8.
SEKE-2009-ChenZLLYLGW #approach #development #embedded #ontology
An Ontology-based Approach to Portable Embedded System Development (FC, HZ, JL, RL, HY, HL, HG, YW), pp. 569–574.
PLDI-2019-WangDWKZ #difference #execution #privacy #proving
Proving differential privacy with shadow execution (YW, ZD, GW, DK, DZ), pp. 655–669.

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.