Publications

2 results at ISMM 2008

The CLOSER: Automating resource management in Java
- - Isil Dillig
  - Thomas Dillig
  - et al.
- 2008
- ISMM 2008
No bit left behind: The limits of heap data compression
- - Jennifer B. Sartor
  - Martin Hirzel
  - et al.
- 2008
- ISMM 2008