Concepedia

Juan Manuel Crespo

JM

4

Publications

166

Citations

4

H-Index

2013

Active since

Affiliations

IMDEA Software Institute(Current)

Microsoft (United States)

Juan Manuel Crespo is an author at IMDEA Software Institute specializing in engineering, formal methods, and computer science.

Top concepts

Publications per year

2013–2016

4

Publications

4

From relational verification to SIMD loop synthesis

Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani et al. · 2013 · 64 citations

, , +23

Fully automated analysis of padding-based encryption in the computational model

Gilles Barthe, Juan Manuel Crespo, Benjamin Grégoire et al. · 2013 · 52 citations

, , +22

Product programs and relational program logics

Gilles Barthe, Juan Manuel Crespo, César Kunz · Journal of Logical and Algebraic Methods in Programming · 2016 · 38 citations

, , +8

From relational verification to SIMD loop synthesis

Gilles Barthe, Juan Manuel Crespo, Sumit Gulwani et al. · ACM SIGPLAN Notices · 2013 · 12 citations

, , +23

Rows per page

1–4 of 4