Sciweavers

34 search results - page 1 / 7
» pldi 2006
Sort
View
PLDI
2006
ACM
16 years 1 months ago
Combining abstract interpreters
Sumit Gulwani, Ashish Tiwari
159
Voted
PLDI
2006
ACM
16 years 1 months ago
Refinement-based context-sensitive points-to analysis for Java
Manu Sridharan, Rastislav Bodík
146
Voted
PLDI
2006
ACM
16 years 1 months ago
Fast and flexible instruction selection with on-demand tree-parsing automata
M. Anton Ertl, Kevin Casey, David Gregg