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: Cachera:David
Contributed to:
2012
20102006
2005
2004Wrote 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.