12 citations · 17 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 5 cited
Pruning, Pushdown Exception-Flow Analysis
Shuying Liang, Weibin Sun, Matthew Might +2
Statically reasoning in the presence of exceptions and about the effects of exceptions is challenging: exception-flows are mutually determined by traditional control-flow and point…
cs.OS2013★ 12 cited
Augmenting Operating Systems With the GPU
Weibin Sun, Robert Ricci
The most popular heterogeneous many-core platform, the CPU+GPU combination, has received relatively little attention in operating systems research. This platform is already widely…