Travelled to:1 × France
1 × USA
Collaborated with:M.Naik M.Sagiv H.Yang N.Rinetzky
Talks about:correspond (1) abstract (1) modular (1) between (1) analysi (1) lattic (1) bottom (1) studi (1) test (1) down (1)
Person: Ghila Castelnuovo
DBLP: Castelnuovo:Ghila
Contributed to:
2015
2012Wrote 2 papers:
- SAS-2015-CastelnuovoNRSY #analysis #bottom-up #case study #composition #top-down
- Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis (GC, MN, NR, MS, HY), pp. 252–274.
- POPL-2012-NaikYCS #abstraction #testing
- Abstractions from tests (MN, HY, GC, MS), pp. 373–386.