| 2010 | ICFP | Algorithms for traversal-based generic programming. | Bryan Chadwick, Karl J. Lieberherr |
| 2007 | OOPSLA | Recursive adaptive computations using perobject visitors. | Ahmed Abdelmeged, Karl J. Lieberherr |
| 2006 | ECOOP | Demeter Interfaces: Adaptive Programming Without Surprises. | Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieberherr |
| 2005 | GPCE | Shadow Programming: Reasoning About Programs Using Lexical Join Point Information. | Pengcheng Wu, Karl J. Lieberherr |
| 2004 | ICSE | Controlling the Complexity of Software Design. | Karl J. Lieberherr |
| 2003 | OOPSLA | Beyond AOP: toward naturalistic programming. | Cristina Videira Lopes, Paul Dourish, David H. Lorenz, Karl J. Lieberherr |
| 2003 | OOPSLA | XAspects: an extensible system for domain-specific aspect languages. | Macneil Shonle, Karl J. Lieberherr, Ankit Shah |
| 2000 | ICSE | Building modular object-oriented systems with reusable collaborations (tutorial session). | Karl J. Lieberherr, David H. Lorenz, Mira Mezini |
| 1998 | OOPSLA | Adaptive Plug-and-Play Components for Evolutionary Software Development. | Mira Mezini, Karl J. Lieberherr |
| 1997 | ICSE | Preventive Program Maintenance in Demeter/Java. | Karl J. Lieberherr, Doug Orleans |
| 1997 | ICSE | Simplifying the Evolution of Java Programs (Tutorial). | Linda M. Seiter, Karl J. Lieberherr, Doug Orleans |
| 1996 | ESOP | A New Approach to Compiling Adaptive Programs. | Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr |
| 1994 | ECOOP | Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications. | Cristina Videira Lopes, Karl J. Lieberherr |
| 1994 | ICDE | Polymorphic Reuse Mechanisms for Object-Oriented Database Specifications. | Ling Liu, Roberto V. Zicari, Walter L. Hrsch, Karl J. Lieberherr |
| 1993 | SAC | Object-Oriented Schema Extension and Abstraction. | Walter L. Hrsch, Karl J. Lieberherr, Sougata Mukherjea |
| 1991 | ECOOP | Incremental Class Dictionary Learning and Optimization. | Paul L. Bergstein, Karl J. Lieberherr |
| 1990 | ER | Abstraction of Object-Oriented Data Models. | Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe |
| 1989 | OOPSLA | Contributions to Teaching Object Oriented Design and Programming. | Karl J. Lieberherr, Arthur J. Riel |
| 1988 | ICSE | Demeter: A Case Study of Software Growth through Parameterized Classes. | Karl J. Lieberherr, Arthur J. Riel |
| 1988 | OOPSLA | Object-Oriented Programming: An Objective Sense of Style. | Karl J. Lieberherr, Ian M. Holland, Arthur J. Riel |
| 1985 | ITC | Efficient Test Generation Algorithms. | Andrew V. Goldberg, Karl J. Lieberherr |
| 1984 | DAC | Towards a standard hardware description language. | Karl J. Lieberherr |
| 1984 | DAC | Parameterized random testing. | Karl J. Lieberherr |
| 1983 | DAC | Zeus: A hardware description language for VLSI. | Karl J. Lieberherr, Svend E. Knudsen |
| 1981 | ICALP | Uniform Complexity and Digital Signatures. | Karl J. Lieberherr |
| 1981 | MFCS | Probabilistic Combinatorial Optimization. | Karl J. Lieberherr |
| 1979 | FOCS | Complexity of Partial Satisfaction | Karl J. Lieberherr, Ernst Specker |