Travelled to:1 × Cyprus
1 × Japan
1 × USA
Collaborated with:O.Shivers
Talks about:control (2) analysi (2) flow (2) pushdown (1) approach (1) multipl (1) continu (1) context (1) stack (1) order (1)
Person: Dimitrios Vardoulakis
DBLP: Vardoulakis:Dimitrios
Contributed to:
2011
2011
2010Wrote 3 papers:
- ICFP-2011-VardoulakisS #analysis #automaton
- Pushdown flow analysis of first-class control (DV, OS), pp. 69–80.
- PEPM-2011-VardoulakisS #continuation #multi #stack
- Ordering multiple continuations on the stack (DV, OS), pp. 13–22.
- ESOP-2010-VardoulakisS #analysis #approach #control flow #named
- CFA2: A Context-Free Approach to Control-Flow Analysis (DV, OS), pp. 570–589.