kirancodes.me
To Proof Maintenance & Beyond!
Venues / OOPSLA /

OOPSLA 2005

32 papers

  1. A simple model of agile software processes - or - extreme programming annealed · Glenn Vanderburg
  2. Adding trace matching with free variables to AspectJ · Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Ondrej Lhoták + 4 more
  3. ArchMatE: from architectural styles to object-oriented models through exploratory tool support · J. Andrés Díaz Pace, Marcelo R. Campo
  4. Associated types and constraint propagation for mainstream object-oriented generics · Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine
  5. Automating vertical profiling · Matthias Hauswirth, Amer Diwan, Peter F. Sweeney, Michael C. Mozer
  6. Classbox/J: controlling the scope of change in Java · Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz
  7. Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations · Marko van Dooren, Eric Steegmans
  8. Demand-driven points-to analysis for Java · Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík
  9. Deriving object typestates in the presence of inter-object references · Mangala Gowri Nanda, Christian Grothoff, Satish Chandra
  10. Finding application errors and security flaws using PQL: a program query language · Michael C. Martin, V. Benjamin Livshits, Monica S. Lam
  11. Fine-grained interoperability through mirrors and contracts · Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt
  12. Formalising Java RMI with explicit code mobility · Alexander Joseph Ahern, Nobuko Yoshida
  13. Generalized algebraic data types and object-oriented programming · Andrew Kennedy, Claudio V. Russo
  14. Improving virtual machine performance using a cross-run profile repository · Matthew Arnold, Adam Welc, V. T. Rajan
  15. Incrementalization across object abstraction · Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu
  16. Interaction-based programming with classages · Yu David Liu, Scott F. Smith
  17. Javari: adding reference immutability to Java · Matthew S. Tschantz, Michael D. Ernst
  18. Lifting sequential graph algorithms for distributed-memory parallel computation · Douglas P. Gregor, Andrew Lumsdaine
  19. Micro patterns in Java code · Joseph Gil, Itay Maman
  20. Modeling architectural patterns using architectural primitives · Uwe Zdun, Paris Avgeriou
  21. Parametric polymorphism for software component architectures · Cosmin E. Oancea, Stephen M. Watt
  22. Pluggable AOP: designing aspect mechanisms for third-party composition · Sergei Kojarski, David H. Lorenz
  23. PolyD: a flexible dispatching framework · Antonio Cunei, Jan Vitek
  24. Quantifying the performance of garbage collection vs. explicit memory management · Matthew Hertz, Emery D. Berger
  25. Refactoring support for class library migration · Ittai Balaban, Frank Tip, Robert M. Fuhrer
  26. Relational queries over program traces · Simon Goldsmith, Robert O'Callahan, Alex Aiken
  27. Runtime specialization with optimistic heap analysis · Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith
  28. Safe futures for Java · Adam Welc, Suresh Jagannathan, Antony L. Hosking
  29. Scalable component abstractions · Martin Odersky, Matthias Zenger
  30. Subtext: uncovering the simplicity of programming · Jonathan Edwards
  31. Using dependency models to manage complex software architecture · Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson
  32. X10: an object-oriented approach to non-uniform cluster computing · Philippe Charles, Christian Grothoff, Vijay A. Saraswat, Christopher Donawa, Allan Kielstra, Kemal Ebcioglu + 2 more