Bor-Yuh Evan Chang

• Programming Languages and Systems
• Static Analysis
• Shape Analysis