POPL
2015
ACM
9 years 11 months ago
2015
ACM
Security enforcement mechanisms like execution monitors are used to make sure that some untrusted program complies with a policy. Different enforcement mechanisms have different s...
95
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
Hygiene is an essential aspect of Scheme’s macro system that prevents unintended variable capture. However, previous work on hygiene has focused on algorithmic implementation ra...
POPL
2015
ACM
9 years 11 months ago
2015
ACM
The past decades have witnessed an extensive study of structured recursion schemes. A general scheme is the hylomorphism, which captures the essence of divide-and-conquer: a probl...
103
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
We consider the quantitative analysis problem for interprocedural control-flow graphs (ICFGs). The input consists of an ICFG, a positive weight function that assigns every transi...
102
Voted
POPL
2015
ACM
9 years 11 months ago
2015
ACM
Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, etc. Recursive state machines (RSMs) are ...