Juan Cruz-Carlon

According to our database, Juan Cruz-Carlon authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Patching Locking Bugs Statically with Crayons.

Juan Cruz-Carlon, Mahsa Varshosaz, Claire Le Goues, Andrzej Wasowski

ACM Trans. Softw. Eng. Methodol., May, 2023