Shape Analysis

By Stephen Chong. 2000

137 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Hardware and Architecture, Information Systems

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Serge J. Belongie
2. Felix Wu
3. Kilian Q. Weinberger
4. Boyi Li
5. Quoc V. Le
6. Michael Hind
7. Andreas Zeller
8. Yejin Choi

In Hardware and Architecture

1. Michael Hind
2. Andreas Zeller
3. Serge J. Belongie
4. Kilian Q. Weinberger

In Information Systems

1. Michael Hind
2. Andreas Zeller
3. Serge J. Belongie
4. Kilian Q. Weinberger
5. Rui Abreu
6. Yves Le Traon
7. Mike Papadakis
8. Zhendong Su

Citations in the corpus

• Positional Normalization (2019, background): “The resulting images are reminiscent of related statistics captured in texture synthesis [15, 17–19, 22, 52, 72].”
• Pointer analysis: haven't we solved this problem yet? (2001, background): “Shape analysis algorithms [53, 43, 9, 19, 36, 35, 18, 74, 28, 29, 87, 88, 89, 103, 21, 54] have demonstrated high precision, over schemes that name objects based on allocation site (as in [47, 44, 83, 43, 9]), but their scalability to even medium programs is uncertain.”
• Isolating cause-effect chains from computer programs (2002, background): “Shape analysis [16] could help to identify invalid data structures.”