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