Travelled to:
1 × USA
Collaborated with:
O.Lee H.Yang
Talks about:
structur (1) overlaid (1) program (1) analysi (1) data (1)
Person: Rasmus Petersen
DBLP: Petersen:Rasmus
Contributed to:
Wrote 1 papers:
- CAV-2011-LeeYP #data type #program analysis
- Program Analysis for Overlaid Data Structures (OL, HY, RP), pp. 592–608.