On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. [Citation Graph (, )][DBLP]
Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method. [Citation Graph (, )][DBLP]
Java Bytecode Verification for @NonNull Types. [Citation Graph (, )][DBLP]
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. [Citation Graph (, )][DBLP]
Coqa: Concurrent Objects with Quantized Atomicity. [Citation Graph (, )][DBLP]
Keep Off the Grass: Locking the Right Path for Atomicity. [Citation Graph (, )][DBLP]
Supporting Legacy Binary Code in a Software Transaction Compiler with Dynamic Binary Translation and Optimization. [Citation Graph (, )][DBLP]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP