The SCEAS System
Navigation Menu

Conferences in DBLP

Compiler Construction (CC) (cc)
2008 (conf/cc/2008)


  1. Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. [Citation Graph (, )][DBLP]


  2. Improved Memory-Access Analysis for x86 Executables. [Citation Graph (, )][DBLP]


  3. A System for Generating Static Analyzers for Machine Instructions. [Citation Graph (, )][DBLP]


  4. IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries. [Citation Graph (, )][DBLP]


  5. An Adaptive Strategy for Inline Substitution. [Citation Graph (, )][DBLP]


  6. Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts. [Citation Graph (, )][DBLP]


  7. Control Flow Emulation on Tiled SIMD Architectures. [Citation Graph (, )][DBLP]


  8. Generating SIMD Vectorized Permutations. [Citation Graph (, )][DBLP]


  9. Automatic Transformations for Communication-Minimized Parallelization and Locality Optimization in the Polyhedral Model. [Citation Graph (, )][DBLP]


  10. How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation. [Citation Graph (, )][DBLP]


  11. Compiler-Guaranteed Safety in Code-Copying Virtual Machines. [Citation Graph (, )][DBLP]


  12. Hardware JIT Compilation for Off-the-Shelf Dynamically Reconfigurable FPGAs. [Citation Graph (, )][DBLP]


  13. Visualization of Program Dependence Graphs. [Citation Graph (, )][DBLP]


  14. On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis. [Citation Graph (, )][DBLP]


  15. Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method. [Citation Graph (, )][DBLP]


  16. Java Bytecode Verification for @NonNull Types. [Citation Graph (, )][DBLP]


  17. Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. [Citation Graph (, )][DBLP]


  18. Coqa: Concurrent Objects with Quantized Atomicity. [Citation Graph (, )][DBLP]


  19. Keep Off the Grass: Locking the Right Path for Atomicity. [Citation Graph (, )][DBLP]


  20. 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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002