Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Amer Diwan
Measuring Enforcement Windows With Symbolic Trace Interpretation: What Well-Behaved Programs Say
Memory System Performance of Programs With Intensive Heap Allocation
ACM Transactions on Computer Systems
Computer Science
Fast Online Pointer Analysis
ACM Transactions on Programming Languages and Systems
Software
Using Types to Analyze and Optimize Object-Oriented Programs
ACM Transactions on Programming Languages and Systems
Software
Connectivity-Based Garbage Collection
Type-Based Alias Analysis