Ivana Filipovic

According to our database, Ivana Filipovic authored at least 3 papers between 2009 and 2010.

Collaborative distances:

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

2010

Blaming the client: on data refinement in the presence of pointers.

Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith, Hongseok Yang

Formal Aspects Comput., 2010

Memory Leaks Detection in Java by Bi-abductive Inference.

Dino Distefano, Ivana Filipovic

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

Abstraction for Concurrent Objects.

Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2009