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 × Ireland
1 × Uruguay
Collaborated with:
C.Kunz G.Barthe S.Gulwani M.Marron
Talks about:
relat (3) verif (2) framework (1) synthesi (1) program (1) product (1) machin (1) separ (1) logic (1) check (1)

Person: Juan Manuel Crespo

DBLP DBLP: Crespo:Juan_Manuel

Contributed to:

PPoPP 20132013
FM 20112011
SEFM 20112011

Wrote 3 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.

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.