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 × France
1 × Spain
1 × United Kingdom
Collaborated with:
T.P.Jensen A.Jobin D.Pichardie P.Sotin F.Kirchner G.Schneider V.Rusu
Talks about:
analysi (2) analys (2) interpret (1) construct (1) behaviour (1) polynomi (1) abstract (1) quantit (1) program (1) gröbner (1)

Person: David Cachera

DBLP DBLP: Cachera:David

Contributed to:

SAS 20122012
QAPL 20102010
QAPL 20062006
FM 20052005
ESOP 20042004

Wrote 5 papers:

SAS-2012-CacheraJJK #imperative #invariant #polynomial #source code
Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gröbner Bases (DC, TPJ, AJ, FK), pp. 58–74.
QAPL-2010-CacheraJ #abstract interpretation #cost analysis #injection #linear #modelling
Injecting Abstract Interpretations into Linear Cost Models (DC, AJ), pp. 64–81.
QAPL-2006-SotinCJ #behaviour #java #static analysis
Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card (PS, DC, TPJ), pp. 153–167.
FM-2005-CacheraJPS #analysis #memory management
Certified Memory Usage Analysis (DC, TPJ, DP, GS), pp. 91–106.
ESOP-2004-CacheraJPR #data flow #logic
Extracting a Data Flow Analyser in Constructive Logic (DC, TPJ, DP, VR), pp. 385–400.

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.