Javier O. Blanco

According to our database, Javier O. Blanco authored at least 3 papers between 2007 and 2010.

Collaborative distances:

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

2010

A Shape Analysis for Non-linear Data Structures.

Renato Cherini, Lucas Rearte, Javier O. Blanco

Proceedings of the Static Analysis - 17th International Symposium, 2010

2009

Local reasoning for abstraction and sharing.

Renato Cherini, Javier O. Blanco

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2007

Automatic Refinement of Split Binary Semaphore.

Damián Barsotti, Javier O. Blanco

Proceedings of the Theoretical Aspects of Computing, 2007