Travelled to:1 × Germany
Collaborated with:B.Jeannet A.D.Pierro H.Wiklicky D.Cachera T.P.Jensen
Talks about:analysi (3) precis (2) interprocedur (1) probabilist (1) interpret (1) behaviour (1) abstract (1) quantit (1) presenc (1) pointer (1)
Person: Pascal Sotin
DBLP: Sotin:Pascal
Contributed to:
2011
20082006Wrote 3 papers:
- ESOP-2011-SotinJ #analysis #interprocedural #pointer #precise #stack
- Precise Interprocedural Analysis in the Presence of Pointers to the Stack (PS, BJ), pp. 459–479.
- QAPL-2008-PierroSW #abstract interpretation #analysis #precise #probability #relational
- Relational Analysis and Precision via Probabilistic Abstract Interpretation (ADP, PS, HW), pp. 23–42.
- QAPL-2006-SotinCJ #behaviour #java #static analysis
- Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.