Publications

Papers and Publications

This publication list covers two of my most important topic areas: the Generalized Satisfiability Problem (Boolean MAX-CSP), including P-Optimal Optimization, and Adaptive and Aspect-Oriented Software Development (AOSD). The first topic is bundled by the Evergreen project and the the second topic by the Demeter project. Papers about Generalized Satisfiability are listed first.

Bibliography of papers about AOSD with some sort of connection to Demeter AOSD Bibliography (Demeter view)

Papers on the Generalized Satisfiability Problem (Boolean MAX-CSP) = Evergreen Project Papers

Papers on P-Optimal Algorithms

Karl J. Lieberherr, Algorithmic Extremal Problems in Combinatorial Optimization . Journal of Algorithms 3, 1982.
Karl J. Lieberherr and Ernst Specker, Complexity of Partial Satisfaction . Journal of the ACM, 28, 1981.
Karl J. Lieberherr and Ernst Specker, Complexity of Partial Satisfaction II . Princeton University Technical Report 1982 and Unpublished Manuscript 1985.
Karl J. Lieberherr and Stephen Vavasis, "Analysis of polynomial approximation algorithms for constraint expressions . Lecture Notes in Computer Science, 145, pages 187-197, 6th Gl-Conference Dortmund, January 5-7.
Karl J. Lieberherr and Stephen Vavasis, Limitations of Local Search: An Application of Bernstein's Proof of Weierstrass' Theorem . Princeton University. Dept. of EECS, Technical Report 302, 1982.
Karl J. Lieberherr, "Probabilistic Combinatorial Optimization . Lecture Notes in Computer Science, 118, pages 423-432, Mathematical Foundations of Computer Science, Strbske Pleso.
Ming-Deh A. Huang and Karl J. Lieberherr, Towards an epsilon-Approximation Scheme for Generalized Satisfiability . Princeton University. Dept. of EECS, Technical Report 292, 1981.
Ahmed Abdelmeged and Christine D. Hang and Daniel Rinehart and Karl J. Lieberherr, The Evergreen Game: The Promise of Polynomials to Boost Boolean MAX-CSP Solvers . Northeastern University, 2007, April, NU-CCIS-07-03.
Christine D. Hang and Ahmed Abdelmeged and Daniel Rinehart and Karl J. Lieberherr, The Promise of Polynomial-based Local Search to Boost Boolean MAX-CSP Solvers . Proceedings of Fourth International Workshop on Local Search Techniques in Constraint Satisfaction, CP2007, Providence, Rhode Island, September 2007

Papers on Clause Learning

Karl J. Lieberherr, Toward Feasible Solutions of NP-Complete Problems . ETH Zurich, Institut fuer Informatik, September 1975, Technical Report 14.
Karl J. Lieberherr, Complexity of Superresolution . Notices of the AMS, 24, pp. A-433 (1977).
Karl J. Lieberherr, Information Condensation of Models in the Propositional Calculus and the P=NP Problem . Dissertation, Nr. 5941, ETH Zurich, Switzerland (1977). My 1977 ETH Dissertation at http://e-collection.ethbib.ethz.ch/.

Papers on Boolean MAX-CSP and Clause Learning

Ahmed Abdelmeged and Christine D. Hang and Daniel Rinehart and Karl J. Lieberherr, Superresolution and P-Optimality in Boolean MAX-CSP Solvers . Northeastern University, 2007, January, NU-CCIS-07-01.

Papers on Adaptive and Aspect-Oriented Software Development = Demeter project papers

A.V. Goldberg and K.J. Lieberherr, GEM: A generator of environments for metaprogramming . SOFTFAIR II, ACM/IEEE Conference on Software Tools, San Francisco, CA, 1985, 86-95.

Karl Lieberherr, Object-Oriented Programming with Class Dictionaries. Lisp and Symbolic Computation, 1988, vol. 1.

Karl Lieberherr and Ian Holland, Assuring Good Style for Object-Oriented Programs. IEEE Software, September 1989, pages 38-48.

Karl Lieberherr and Arthur J. Riel, Demeter: A {CASE} Study of Software Growth Through Parameterized Classes. Journal of Object-Oriented Programming, 1988, pages 8-22.

Karl Lieberherr and Ian Holland, Formulations and Benefits of the Law of Demeter . SIGPLAN Notices, March 1989, pages 67-78.

Paul Bergstein and Karl Lieberherr, Incremental Class Dictionary Learning and Optimization . ECOOP 1991.

Karl Lieberherr, Irini Haralambopoulou, Adaptive and Conceptual Modeling of Software Development Environments . Unpublished Manuscript, April 1992. 24 pages.

Ian Holland, Specifying reusable components using contracts . ECOOP 1992, Utrecht, Netherlands, 287-308, Springer Verlag Lecture Notes 615.

Karl Lieberherr, Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes . Information Processing '92, 12th World Computer Congress, Madrid, Spain, 179-185.

Karl Lieberherr, Experience with a Graph-Based Propagation Pattern Programming Tool . International Workshop on CASE 1992, Montreal, Canada, 114-119.

Karl Lieberherr, Arthur Riel, Contributions to teaching object-oriented design and programming . Proceedings of Conference on Object-Oriented Programming Systems, Languages and Applications, New Orleans, LA, October 1989, pp 11-22.

Karl Lieberherr and Walter Hürsch and Cun Xiao, Object-extending Class Transformations . Formal Aspects of Computing, the International Journal of Formal Methods, 1994, pp 391-416.

Walter Hürsch and Linda M. Seiter, Automating the Evolution of Object-Oriented Systems . International Symposium on Object Technologies for Advanced Software, Springer Verlag, Lecture Notes in Computer Science, Kanazawa, Japan, March 1996, pp 2-21.

Walter Hürsch and Cristina Videira Lopes, Separation of Concerns. Northeastern University technical report NU-CCS-95-03, Boston, February 1995.
Abstract (with full paper).

Mitch Wand, Demeter Demystified. Northeastern University technical report NU-CCS-96, Boston, 1996.
paper with source).

Greg Sullivan and Karl Lieberherr An Object-oriented Design Methodology. Northeastern University technical report NU-CCS-95-01, Boston, 1995.
Derived Edges .

Ling Liu and Roberto Zicari and Walter Hursch and Karl Lieberherr, Polymorphic Reuse Mechanisms for Object-Oriented Database Specifications . IEEE Transactions on Knowledge and Data Engineering, 1997.

Cristina Videira Lopes and Karl Lieberherr, AP/S++: Case-study of a MOP for purposes of software evolution. In proceedings of Reflection'96, S. Francisco, USA, April 1996.
Abstract (with full paper).

Cristina Videira Lopes, Adaptive Parameter Passing. In proceedings of the 2nd International Symposium on Object Technologies for Advanced Software (ISOTAS'96), Kanazawa, Japan, March 1996. Springer-Verlag, Lecture Notes in Computer Science, n.1049.
Abstract (with full paper).

Cristina Videira Lopes, Graph-based optimizations for parameter passing in remote invocations. In proceeding of the 4th International Workshop on Object Orientation in Operating Systems (I-WOOOS'95), Lund, Sweden, August 1995. IEEE Computer Society Press.
Abstract (with full paper).

Cristina Videira Lopes and Karl Lieberherr, Abstracting Process-to-Function Relations in Concurrent Object-Oriented Applications. In proceedings of ECOOP'94, Bologna, Italy, July 1994. Springer-Verlag, Lecture Notes in Computer Science, n.821.
Abstract (with full paper).

Cristina Videira Lopes and Karl Lieberherr, Generative Patterns. ECOOP'94 Workshop on Patterns, Bologna, Italy, July 1994.
Abstract (with full paper).

Jens Palsberg and Cun Xiao and Karl Lieberherr, Efficient Implementation of Adaptive Software . ACM Transactions on Programming Languages and Systems, 1995.

Jens Palsberg and Boaz Patt-Shamir and Karl Lieberherr, A New Approach to Compiling Adaptive Programs . Science of Computer Programming, 1997.

Linda M. Seiter and Jens Palsberg and Karl J. Lieberherr, Evolution of Object Behavior using Context Relations . In proceedings of Symposium on Foundations of Software Engineering, SIGSOFT 1996 and IEEE Transactions on Software Engineering 1998.

Karl Lieberherr and Doug Orleans, Preventive Program Maintenance in Demeter/Java . In proceedings of International Conference on Software Engineering, ICSE 1997, Boston, MA, pages 604-605. Abstract.

Karl Lieberherr and Boaz Patt-Shamir and Doug Orleans, Traversals of Object Structures: Specification and Efficient Implementation . Technical Report: NU-CCS-97-15, September 1997. ACM TOPLAS 2004. Abstract and full paper of original technical report.

Mira Mezini and Karl Lieberherr, Adaptive Plug-and-Play Components for Evolutionary Software Development . Technical Report: NU-CCS-98-3, April 1998 and OOPSLA '98 paper.

Dean Allemang and Karl Lieberherr, Softening Dependencies between Interfaces . Technical Report: NU-CCS-98-07, August 1998.

Luis Blando and Karl Lieberherr and Mira Mezini, Modeling Behavior with Personalities . Technical Report: NU-CCS-98-08, August 1998 and SEKE 1999 paper.

Johan Ovlinger and Karl Lieberherr, Class Graph Views (Draft: please wait till finished) . Technical Report: NU-CCS-98-09, August 1998.

Karl Lieberherr and Boaz Patt-Shamir, The Refinement Relation of Graph-Based Generic Programs . Lecture Notes in Computer Science, Springer Verlag, Proceedings of Dagstuhl Workshop on Generic Programming, David Musser at al.

Neeraj Sangal and Edward Farrell and Karl Lieberherr, Interaction Graphs: Object Interaction Specifications and their Compilation to Java . Technical Report, NU-CCS-98-11, Oct. 1998.

Luis Blando, Designing and Programming with Personalities . Master's Thesis, Technical Report: NU-CCS-98-12, December 1998.

Johan Ovlinger and Mitchell Wand, A Language for Specifying Traversals of Object Structures . Technical Report, NU-CCS-98-??, November 1998 and OOPSLA '99 paper.

Karl Lieberherr and David Lorenz and Mira Mezini, Programming with Aspectual Components . Technical Report, NU-CCS-99-01, March 1999.

Neeraj Sangal and Edward Farrell and Karl Lieberherr and David Lorenz, Interaction Schemata: Compiling Interactions to Code . TOOLS '99, Santa Barbara, CA, August 1999, IEEE Computer Society Press.

Linda Seiter and Mira Mezini and Karl Lieberherr, Dynamic Component Glue . First International Symposium on Generative and Component-Based Software Engineering, September 1999, Springer Verlag.

Mira Mezini and Linda Seiter and Karl Lieberherr, Component Integration with Pluggable Composite Adapters . Software Architectures and Component Technology: The State of the Art in Research and Practice, Mehmet Aksit, editor, Kluwer Academic Publishers, 2000.

Johan Ovlinger, Aspectual Collaborations and Modular Programming . NU-CCS-2000-04, 27 pages.

Karl Lieberherr and Doug Orleans and Johan Ovlinger, Aspect-Oriented Programming with Adaptive Methods . NU-CCS-2001-02, 15 pages.

Doug Orleans and Karl Lieberherr, DJ: Dynamic Adaptive Programming in Java . NU-CCS-2001-03, 10 pages. 8 page version in Reflection 2001.

Karl Lieberherr and Johan Ovlinger and Mira Mezini and David Lorenz, Modular Programming with Aspectual Collaborations . NU-CCS-2001-04, 12 pages.

Karl Lieberherr and Doug Orleans and Johan Ovlinger, Aspect-Oriented Programming with Adaptive Methods . CACM, October 2001, 3 pages.

Prasenjit Adak and Huichan He and Karl Lieberherr, Adaptive XML/Java Data-Binding . Summary of Master's Thesis by Huichan He in the College of Engineering, 10 pages.

Karl Lieberherr, Computer Science Adapts Techniques from Engineering and Mathematics .

Karl Lieberherr and Mitchell Wand, Traversal Semantics in Object Graphs . NU-CCS-2001-05, 15 pages.

Karl Lieberherr and David Lorenz and Doug Orleans and Johan Ovlinger and Mitchell Wand and Pengcheng Wu Demeter Aspects . OOPSLA 2001 Poster summarizing our research work.

Karl Lieberherr, Coupling Mechanisms in Aspect-Oriented Software . "NSF workshop: Software Design and Productivity (SDP), 5 pages.

Pengcheng Wu, Implementing Aspectual Collaborations with AspectJ . Technical Report NU-CCS-01-19.

Karl Lieberherr, David H. Lorenz, Johan Ovlinger Aspectual Collaborations for Collaboration-Oriented Concerns . Technical Report NU-CCS-01-08.

Doug Orleans, Incremental Programming with Extensible Decisions . First International Conference on Aspect-Oriented Software Development 2002, 9 pages. See also: http://steak.place.org/dougo/papers/aosd02/

Johan Ovlinger, Karl Lieberherr, David H. Lorenz, Aspects and Modules Combined . Technical Report NU-CCS-02-03.

Karl Lieberherr, David H. Lorenz and Pengcheng Wu, A Case for Statically Executable Advice: Checking the Law of Demeter With AspectJ . AOSD 2003 paper and Technical Report NU-CCS-02-11.

Pengcheng Wu, Shriram Krishnamurthi and Karl Lieberherr, Traversing Recursive Object Structures: The Functional Visitor in Demeter . SPLAT 2003 workshop paper.

Karl Lieberherr, David H. Lorenz and Johan Ovlinger, Aspectual Collaborations: Combining Modules and Aspects . British Computer Society Journal (Special issue on AOP)

John Sung and Karl Lieberherr, DAJ: A Case Study of Extending AspectJ . Technical Report NU-CCS-02-16.

Macneil Shonle and Karl Lieberherr and Ankit Shah, XAspects: An Extensible System for Domain Specific Aspect Languages . OOPSLA 2003 3D Track. Also Technical Report NU-CCS-03-06.

Crista Lopes et al, Beyond AOP: Toward Naturalistic Programming . OOPSLA 2003, Onward! Track.

Fabio Rojas and Karl Lieberherr Applying Traversals Over Derived Edges . Technical Report NU-CCIS-03-12.

Karl Lieberherr and David Lorenz Coupling Aspect-Oriented and Adaptive Programming . Book chapter in: Aspect-Oriented Software Development, Robert Filman and Tzilla Elrad and Siobhan Clarke and Mehmet Aksit, Addison Wesley, 2004.

Pengcheng Wu and Mitchell Wand An Empirical Study of the Demeter System . Proceedings of the SPLAT workshop of the 3rd international conference on Aspect-Oriented Software Development (AOSD 2004)

Karl Lieberherr Controlling the Complexity of Software Designs . ICSE 2004 Keynote Paper.

Manali Bhole and Karl Lieberherr Use Case Modularity Using Aspect-Oriented Programming . CCIS Technical Report.

Karl J. Lieberherr and Jeffrey Palm and Ravi Sundaram Expressiveness and Complexity of Crosscut Languages . CCIS Technical Report NU-CCIS-04-10 and Proceedings of FOAL 2005.

Pengcheng Wu and Karl J. Lieberherr Shadow Programming: Reasoning about Programs using Lexical Join Point Information . Proceedings of the 4th International Conference on Generative Programming and Component Engineering, 2005, Tallinn, Estonia.

Jeffrey Palm and Karl J. Lieberherr Improving XPath Evaluation with Strategies . CCIS Technical Report 2005.

Therapon Skotiniotis and Jeffrey Palm and Karl J. Lieberherr Demeter Interfaces: Adaptive Programming without Surprises . Proceedings ECOOP 2006.

Bryan Chadwick and Therapon Skotiniotis and Karl J. Lieberherr Functional Visitors Revisited . Technical Report 2006.

Ahmed Abdelmeged and Karl J. Lieberherr Recursive Adaptive Computations Using Perobject Visitors . Technical Report 2007.

Bryan Chadwick and Therapon Skotiniotis and Karl J. Lieberherr Functions and Traversals in Combination . Technical Report, October 2007.

Bryan Chadwick and Ahmed Abdelmeged and Therapon Skotiniotis and Karl J. Lieberherr Abstraction of Communication in Traversal-Related Concerns . Technical Report, December 2007.

Bryan Chadwick and Karl J. Lieberherr Functional Adaptive Programming with DemeterF . Technical Report, March 2008.

Bryan Chadwick and Karl J. Lieberherr Functional Adaptive Programming . Technical Report, October 2008.

Ahmed Abdelmeged and Therapon Skotiniotis and Panagiotis Manolios and Karl J. Lieberherr Traversal Graphs: Characterization and Efficient Implementation . Technical Report, July 2008.

Bryan Chadwick and Karl J. Lieberherr A Generative Approach to Traversal-based Generic Programming . Technical Report, May 2009.

Bryan Chadwick and Karl Lieberherr, A Type System for Functional Traversal-Based Aspects . FOAL 2009.

Ahmed Abdelmeged and Therapon Skotiniotis and Karl J. Lieberherr Controlled Evolution of Adaptive Programs . IWPSE-EVOL 2009.

Bryan Chadwick and Karl Lieberherr, Weaving Generic Programming and Traversal Performance . AOSD 2010 paper.

Ahmed Abdelmeged and Therapon Skotiniotis and Karl Lieberherr, Navigating Object Graphs Using Incomplete Meta-Information . Technical Report April 2010.

Ahmed Abdelmeged and Karl Lieberherr, Abbreviated Path Expressions With Iterated Wild Cards: WYSIWYG Semantics and Efficient Implementations . Technical Report June 2010.

Karl Lieberherr and Ahmed Abdelmeged and Bryan Chadwick, The Specker Challenge Game for Education and Innovation in Constructive Domains . Bionetics 2010 Keynote Paper.

Papers by Crista Lopes .

Access to papers not included here.