The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Dynamic software updates: a VM-centric approach. [Citation Graph (, )][DBLP]

  2. Safe and timely updates to multi-threaded programs. [Citation Graph (, )][DBLP]

  3. CEAL: a C-based language for self-adjusting computation. [Citation Graph (, )][DBLP]

  4. PetaBricks: a language and compiler for algorithmic choice. [Citation Graph (, )][DBLP]

  5. Staged information flow for javascript. [Citation Graph (, )][DBLP]

  6. Laminar: practical fine-grained decentralized information flow control. [Citation Graph (, )][DBLP]

  7. Merlin: specification inference for explicit information flow problems. [Citation Graph (, )][DBLP]

  8. TAJ: effective taint analysis of web applications. [Citation Graph (, )][DBLP]

  9. Lightweight annotations for controlling sharing in concurrent data structures. [Citation Graph (, )][DBLP]

  10. A randomized dynamic program analysis technique for detecting real deadlocks. [Citation Graph (, )][DBLP]

  11. FastTrack: efficient and precise dynamic race detection. [Citation Graph (, )][DBLP]

  12. LiteRace: effective sampling for lightweight data-race detection. [Citation Graph (, )][DBLP]

  13. Progress guarantee for parallel programs via bounded lock-freedom. [Citation Graph (, )][DBLP]

  14. Stretching transactional memory. [Citation Graph (, )][DBLP]

  15. Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory. [Citation Graph (, )][DBLP]

  16. Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping. [Citation Graph (, )][DBLP]

  17. A decision procedure for subset constraints over regular languages. [Citation Graph (, )][DBLP]

  18. Verifiable composition of deterministic grammars. [Citation Graph (, )][DBLP]

  19. Analyzing recursive programs using a fixed-point calculus. [Citation Graph (, )][DBLP]

  20. Program verification using templates over predicate abstraction. [Citation Graph (, )][DBLP]

  21. GC assertions: using the garbage collector to check heap properties. [Citation Graph (, )][DBLP]

  22. SoftBound: highly compatible and complete spatial memory safety for c. [Citation Graph (, )][DBLP]

  23. Implementation of the memory-safe full ANSI-C compiler. [Citation Graph (, )][DBLP]

  24. Error propagation analysis for file systems. [Citation Graph (, )][DBLP]

  25. Sharing classes between families. [Citation Graph (, )][DBLP]

  26. Typed self-representation. [Citation Graph (, )][DBLP]

  27. Type-based data structure verification. [Citation Graph (, )][DBLP]

  28. Verified validation of lazy code motion. [Citation Graph (, )][DBLP]

  29. Proving optimizations correct using parameterized program equivalence. [Citation Graph (, )][DBLP]

  30. An integrated proof language for imperative programs. [Citation Graph (, )][DBLP]

  31. Automatic generation of library bindings using static analysis. [Citation Graph (, )][DBLP]

  32. Snugglebug: a powerful approach to weakest preconditions. [Citation Graph (, )][DBLP]

  33. Control-flow refinement and progress invariants for bound analysis. [Citation Graph (, )][DBLP]

  34. A study of memory management for web-based applications on multicore processors. [Citation Graph (, )][DBLP]

  35. Efficiently and precisely locating memory leaks and bloat. [Citation Graph (, )][DBLP]

  36. Chameleon: adaptive selection of collections. [Citation Graph (, )][DBLP]

  37. Go with the flow: profiling copies to find runtime bloat. [Citation Graph (, )][DBLP]

  38. Programming model for a heterogeneous x86 platform. [Citation Graph (, )][DBLP]

  39. Binary analysis for measurement and attribution of program performance. [Citation Graph (, )][DBLP]

  40. Semantics-aware trace analysis. [Citation Graph (, )][DBLP]

  41. Trace-based just-in-time type specialization for dynamic languages. [Citation Graph (, )][DBLP]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002