BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sotin:Pascal

Contributed to:

ESOP 20112011
QAPL 20082008
QAPL 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.