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 × China
1 × Hungary
1 × Ireland
1 × Japan
1 × Korea
1 × Portugal
1 × South Africa
1 × Uruguay
Collaborated with:
G.Barthe J.M.Crespo P.Buiras L.Scandolo M.V.Hermenegildo D.Pichardie J.Samborski-Forlese B.Grégoire T.Rezk S.Gulwani M.Marron
Talks about:
verif (3) relat (3) framework (2) translat (2) program (2) certif (2) check (2) use (2) interpret (1) synthesi (1)

Person: César Kunz

DBLP DBLP: Kunz:C=eacute=sar

Contributed to:

PPoPP 20132013
FM 20112011
SEFM 20112011
FLOPS 20102010
LOPSTR 20092009
ESOP 20082008
SEFM 20082008
SAS 20062006

Wrote 8 papers:

PPoPP-2013-BartheCKGM #relational #synthesis #verification
From relational verification to SIMD loop synthesis (GB, JMC, SG, CK, MM), pp. 123–134.
FM-2011-BartheCK #relational #source code #using #verification
Relational Verification Using Product Programs (GB, JMC, CK), pp. 200–214.
SEFM-2011-CrespoK #framework #logic #relational
A Machine-Checked Framework for Relational Separation Logic (JMC, CK), pp. 122–137.
FLOPS-2010-BartheBK #framework #functional
A Functional Framework for Result Checking (GB, PB, CK), pp. 72–86.
LOPSTR-2009-ScandoloKH #parallel #pipes and filters #using
Program Parallelization Using Synchronized Pipelining (LS, CK, MVH), pp. 173–187.
ESOP-2008-BartheK #abstract interpretation
Certificate Translation in Abstract Interpretation (GB, CK), pp. 368–382.
SEFM-2008-BartheKPS #hybrid #proving #verification
Preservation of Proof Pbligations for Hybrid Verification Methods (GB, CK, DP, JSF), pp. 127–136.
SAS-2006-BartheGKR #compilation #optimisation
Certificate Translation for Optimizing Compilers (GB, BG, CK, TR), pp. 301–317.

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.