OOPSLA 2000

26 papers

1. A formal specification of JavaTM class loading · Zhenyu Qian, Allen Goldberg, Alessandro Coglio
2. A real world object modeling method for creating simulation environment of real-time systems · Ji Y. Lee, Hye J. Kim, Kyo Chul Kang
3. A study of devirtualization techniques for a JavaTM Just-In-Time compiler · Kazuaki Ishizaki, Motohiro Kawahito, Toshiaki Yasue, Hideaki Komatsu, Toshio Nakatani
4. Adaptive optimization in the Jalapeño JVM · Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney
5. An Aristotelian understanding of object-oriented programming · Derek Rayside, Gerard T. Campbell
6. An approach to safe object sharing · Ciarán Bryce, Chrislain Razafimahefa
7. An efficient class and object encoding · Neal Glew
8. Application isolation in the JavaTM Virtual Machine · Grzegorz Czajkowski
9. Exclusion for composite objects · James Noble, David Holmes, John Potter
10. Finding refactorings via change metrics · Serge Demeyer, Stéphane Ducasse, Oscar Nierstrasz
11. Formal specification of CORBA services: experience and lessons learned · Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre
12. Guava: a dialect of Java without data races · David F. Bacon, Robert E. Strom, Ashis Tarafdar
13. Improving the Java memory model using CRF · Jan-Willem Maessen, Arvind, Xiaowei Shen
14. Mapping UML designs to Java · William Harrison, Charles Barton, Mukund Raghavachari
15. Middleware object query processing with deferred updates and autonomous sources · Jerry Kiernan, Michael J. Carey
16. MultiJava: modular open classes and symmetric multiple dispatch for Java · Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein
17. Object-oriented real-time concurrency · Peter A. Buhr, Ashif S. Harji, Philipp E. Lim, Jiongxiong Chen
18. OoLALA: an object oriented analysis and design of numerical linear algebra · Mikel Luján, T. L. Freeman, John R. Gurd
19. PIROL: a case study for multidimensional separation of concerns in software engineering environments · Stephan Herrmann, Mira Mezini
20. Parametric polymorphism in Java: an approach to translation based on reflective features · Mirko Viroli, Antonio Natali
21. Practical virtual method call resolution for Java · Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon + 1 more
22. Quicksilver: a quasi-static compiler for Java · Mauricio J. Serrano, Rajesh Bordawekar, Samuel P. Midkiff, Manish Gupta
23. Safely creating correct subclasses without seeing superclass code · Clyde Ruby, Gary T. Leavens
24. Scalable propagation-based call graph construction algorithms · Frank Tip, Jens Palsberg
25. Sealed calls in Java packages · Ayal Zaks, Vitaly Feldman, Nava Aizikowitz
26. Towards agent-oriented assistance for framework instantiation · Alvaro Ortigosa, Marcelo Campo, Roberto Moriyón