The SCEAS System
Navigation Menu

Conferences in DBLP

SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (pldi)
2010 (conf/pldi/2010)


  1. An analysis of the dynamic behavior of JavaScript programs. [Citation Graph (, )][DBLP]


  2. Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. [Citation Graph (, )][DBLP]


  3. Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools. [Citation Graph (, )][DBLP]


  4. Jinn: synthesizing dynamic bug detectors for foreign language interfaces. [Citation Graph (, )][DBLP]


  5. Safe programmable speculative parallelism. [Citation Graph (, )][DBLP]


  6. Supporting speculative parallelization in the presence of dynamic data structures. [Citation Graph (, )][DBLP]


  7. Cache topology aware computation mapping for multicores. [Citation Graph (, )][DBLP]


  8. A GPGPU compiler for memory optimization and parallelism management. [Citation Graph (, )][DBLP]


  9. 2010 Athena lecture. [Citation Graph (, )][DBLP]


  10. Safe to the last instruction: automated verification of a type-safe operating system. [Citation Graph (, )][DBLP]


  11. Bringing extensibility to verified compilers. [Citation Graph (, )][DBLP]


  12. Ur: statically-typed metaprogramming with type-level record computation. [Citation Graph (, )][DBLP]


  13. Parameterized verification of transactional memories. [Citation Graph (, )][DBLP]


  14. Schism: fragmentation-tolerant real-time garbage collection. [Citation Graph (, )][DBLP]


  15. Detecting inefficiently-used containers to avoid bloat. [Citation Graph (, )][DBLP]


  16. Finding low-utility data structures. [Citation Graph (, )][DBLP]


  17. Evaluating the accuracy of Java profilers. [Citation Graph (, )][DBLP]


  18. Green: a framework for supporting energy-conscious programming using controlled approximation. [Citation Graph (, )][DBLP]


  19. GUESSTIMATE: a programming model for collaborative distributed systems. [Citation Graph (, )][DBLP]


  20. A context-free markup language for semi-structured text. [Citation Graph (, )][DBLP]


  21. Printing floating-point numbers quickly and accurately with integers. [Citation Graph (, )][DBLP]


  22. Adversarial memory for detecting destructive races. [Citation Graph (, )][DBLP]


  23. PACER: proportional detection of data races. [Citation Graph (, )][DBLP]


  24. Lock elision for read-only critical sections in Java. [Citation Graph (, )][DBLP]


  25. Smooth interpretation. [Citation Graph (, )][DBLP]


  26. The reachability-bound problem. [Citation Graph (, )][DBLP]


  27. Resolving and exploiting the k-CFA paradox: illuminating functional vs. object-oriented program analysis. [Citation Graph (, )][DBLP]


  28. Complete functional synthesis. [Citation Graph (, )][DBLP]


  29. Line-up: a complete and automatic linearizability checker. [Citation Graph (, )][DBLP]


  30. MemSAT: checking axiomatic specifications of memory models. [Citation Graph (, )][DBLP]


  31. DRFX: a simple and efficient memory model for concurrent programming languages. [Citation Graph (, )][DBLP]


  32. FlumeJava: easy, efficient data-parallel pipelines. [Citation Graph (, )][DBLP]


  33. Composing parallel software efficiently with lithe. [Citation Graph (, )][DBLP]


  34. Bamboo: a data-centric, object-oriented approach to many-core software. [Citation Graph (, )][DBLP]


  35. Mint: Java multi-stage programming using weak separability. [Citation Graph (, )][DBLP]


  36. Type-preserving compilation of end-to-end verification of security enforcement. [Citation Graph (, )][DBLP]


  37. Inferable object-oriented typed assembly language. [Citation Graph (, )][DBLP]


  38. Mixing type checking and symbolic execution. [Citation Graph (, )][DBLP]


  39. Evaluating iterative optimization across 1000 datasets. [Citation Graph (, )][DBLP]


  40. Software data spreading: leveraging distributed caches to improve single thread performance. [Citation Graph (, )][DBLP]


  41. Z-rays: divide arrays and conquer speed and flexibility. [Citation Graph (, )][DBLP]


  42. Traceable data types for self-adjusting computation. [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