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: Crespo:Juan_Manuel
Contributed to:
2013
2011
2011Wrote 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.