Ghila Castelnuovo

According to our database, Ghila Castelnuovo authored at least 2 papers between 2012 and 2015.

Collaborative distances:

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

2015

Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis.

Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang

Proceedings of the Static Analysis - 22nd International Symposium, 2015

2012

Abstractions from tests.

Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012