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 × Cyprus
1 × Germany
1 × Italy
1 × Portugal
2 × USA
Collaborated with:
T.P.Jensen T.Turpin P.Vittet T.d.G.d.Latour J.Talpin S.Blazy A.Dang P.Wilke
Talks about:
analysi (3) stack (2) card (2) interpret (1) synchron (1) polyhedr (1) interfac (1) abstract (1) softwar (1) sandbox (1)

Person: Frédéric Besson

DBLP DBLP: Besson:Fr=eacute=d=eacute=ric

Contributed to:

SAS 20142014
ECOOP 20082008
ESOP 20072007
SAS 20032003
PPDP 20022002
SAS 19991999
ESOP 20192019

Wrote 7 papers:

SAS-2014-BessonJV #java #named #static analysis
SawjaCard: A Static Analysis Tool for Certifying Java Card Applications (FB, TPJ, PV), pp. 51–67.
ECOOP-2008-BessonJT #interface #stack
Computing Stack Maps with Interfaces (FB, TPJ, TT), pp. 642–666.
ESOP-2007-BessonJT #abstract interpretation #proving
Small Witnesses for Abstract Interpretation-Based Proofs (FB, TPJ, TT), pp. 268–283.
SAS-2003-BessonJ #analysis #composition #datalog
Modular Class Analysis with DATALOG (FB, TPJ), pp. 19–36.
PPDP-2002-BessonLJ #stack
Secure calling contexts for stack inspection (FB, TdGdL, TPJ), pp. 76–87.
SAS-1999-BessonJT #analysis
Polyhedral Analysis for Synchronous Languages (FB, TPJ, JPT), pp. 51–68.
ESOP-2019-BessonBDJW #compilation #fault
Compiling Sandboxes: Formally Verified Software Fault Isolation (FB, SB, AD, TPJ, PW), pp. 499–524.

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.