Vanessa Santos

According to our database, Vanessa Santos authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

Verifying CUDA programs using SMT-based context-bounded model checking.

Phillipe A. Pereira, Higo F. Albuquerque, Hendrio Marques, Isabela da Silva, Celso B. Carvalho, Lucas C. Cordeiro, Vanessa Santos, Ricardo Ferreira

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016