The SCEAS System
Navigation Menu

Conferences in DBLP

Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (oopsla)
2008 (conf/oopsla/2008)


  1. Caching and incrementalisation in the java query language. [Citation Graph (, )][DBLP]


  2. Interprocedural query extraction for transparent persistence. [Citation Graph (, )][DBLP]


  3. Deep typechecking and refactoring. [Citation Graph (, )][DBLP]


  4. Join patterns for visual basic. [Citation Graph (, )][DBLP]


  5. Whiteoak: introducing structural typing into java. [Citation Graph (, )][DBLP]


  6. Mixing source and bytecode: a case for compilation by normalization. [Citation Graph (, )][DBLP]


  7. Tolerating memory leaks. [Citation Graph (, )][DBLP]


  8. Jolt: lightweight dynamic analysis and removal of object churn. [Citation Graph (, )][DBLP]


  9. QVM: an efficient runtime for detecting defects in deployed systems. [Citation Graph (, )][DBLP]


  10. Contention-aware scheduler: unlocking execution parallelism in multithreaded java programs. [Citation Graph (, )][DBLP]


  11. Dynamic optimization for efficient strong atomicity. [Citation Graph (, )][DBLP]


  12. Design and implementation of transactional constructs for C/C++. [Citation Graph (, )][DBLP]


  13. jStar: towards practical verification for java. [Citation Graph (, )][DBLP]


  14. Verifying correct usage of atomic blocks and typestate. [Citation Graph (, )][DBLP]


  15. Enforcing object protocols by combining static and runtime analysis. [Citation Graph (, )][DBLP]


  16. The impact of static-dynamic coupling on remodularization. [Citation Graph (, )][DBLP]


  17. Sound and extensible renaming for java. [Citation Graph (, )][DBLP]


  18. Annotation refactoring: inferring upgrade transformations for legacy applications. [Citation Graph (, )][DBLP]


  19. Enabling static analysis for partial java programs. [Citation Graph (, )][DBLP]


  20. Safer unsafe code for .NET. [Citation Graph (, )][DBLP]


  21. Typestate-like analysis of multiple interacting objects. [Citation Graph (, )][DBLP]


  22. Java performance evaluation through rigorous replay compilation. [Citation Graph (, )][DBLP]


  23. Analysis and reduction of memory inefficiencies in Java strings. [Citation Graph (, )][DBLP]


  24. Analyzing the performance of code-copying virtual machines. [Citation Graph (, )][DBLP]


  25. Generics of a higher kind. [Citation Graph (, )][DBLP]


  26. The visitor pattern as a reusable, generic, type-safe component. [Citation Graph (, )][DBLP]


  27. Constrained types for object-oriented languages. [Citation Graph (, )][DBLP]


  28. Efficient local type inference. [Citation Graph (, )][DBLP]


  29. Efficient software model checking of soundness of type systems. [Citation Graph (, )][DBLP]


  30. Java type inference is broken: can we fix it? [Citation Graph (, )][DBLP]


  31. Delegation-based semantics for modularizing crosscutting concerns. [Citation Graph (, )][DBLP]


  32. A theory of aspects as latent topics. [Citation Graph (, )][DBLP]


  33. Multiple dispatch in practice. [Citation Graph (, )][DBLP]


  34. A tag-based approach for the design and composition of information processing applications. [Citation Graph (, )][DBLP]


  35. Towards adaptive programming: integrating reinforcement learning into a programming language. [Citation Graph (, )][DBLP]


  36. Designed as designer. [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