Ghila Castelnuovo

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Statistical Tests

Top Venues

Publications

Ghila Castelnuovo, Mayur Naik, Noam Rinetzky, Mooly Sagiv, Hongseok Yang
Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis. SAS (2015)
Mayur Naik, Hongseok Yang, Ghila Castelnuovo, Mooly Sagiv
Abstractions from tests. POPL (2012)