Sciweavers

55
Voted
POPL
2015
ACM
9 years 6 months ago
Algebraic Effects, Linearity, and Quantum Programming Languages
We develop a new framework of algebraic theories with linear parameters, and use it to analyze the equational reasoning principles of quantum computing and quantum programming lan...
Sam Staton
52
Voted
POPL
2015
ACM
9 years 6 months ago
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
Building a summary for library code is a common approach to speeding up the analysis of client code. In presence of callbacks, some reachability relationships between library node...
Hao Tang, Xiaoyin Wang, Lingming Zhang, Bing Xie, ...