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: Kunz:C=eacute=sar
Contributed to:
2013
2011
2011
2010
2009
20082008
2006Wrote 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.