6 citations · 6 across the 1 of their papers we have counts for
2 papers
cs.DC2016
Formalization of Phase Ordering
Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
Phasers pose an interesting synchronization mechanism that generalizes many collective synchronization patterns seen in parallel programming languages, including barriers, clocks,…
cs.CR2015★ 6 cited
Finding Tizen security bugs through whole-system static analysis
Daniel Song, Jisheng Zhao, Michael Burke +3
Tizen is a new Linux-based open source platform for consumer devices including smartphones, televisions, vehicles, and wearables. While Tizen provides kernel-level mandatory policy…