2 citations · 2 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021★ 2 cited
An Ownership Policy and Deadlock Detector for Promises
Caleb Voss, Vivek Sarkar
Task-parallel programs often enjoy deadlock freedom under certain restrictions, such as the use of structured join operations, as in Cilk and X10, or the use of asynchronous task f…
cs.PL2020
Context-Aware Parse Trees
Fangke Ye, Shengtian Zhou, Anand Venkat +8
The simplified parse tree (SPT) presented in Aroma, a state-of-the-art code recommendation system, is a tree-structured representation used to infer code semantics by capturing pro…