Travelled to:
1 × United Kingdom
Collaborated with:
S.Gaubert E.Goubault M.Martel S.Putot
Talks about:
algorithm (1) program (1) analysi (1) static (1) polici (1) comput (1) point (1) iter (1) fix (1)
Person: Alexandru Costan
DBLP: Costan:Alexandru
Contributed to:
Wrote 1 papers:
- CAV-2005-CostanGGMP #algorithm #fixpoint #policy #source code #static analysis
- A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs (AC, SG, EG, MM, SP), pp. 462–475.