Karl J. Lieberherr

87 papers A* 11A 11B 2Misc 1Journal 37Unranked 24
YearRankTypeTitle / Venue / Authors
2023 A conf
Accelerating Neural MCTS Algorithms using Neural Sub-Net Structures.
AAMAS
Prashank Kadam, Ruiyang Xu, Karl J. Lieberherr
2022 — conf
On-the-Fly Model Checking with Neural MCTS.
NFM
Ruiyang Xu, Karl J. Lieberherr
2022 — conf
Towards Tackling QSAT Problems with Deep Learning and Monte Carlo Tree Search.
SAI (2)
Ruiyang Xu, Karl J. Lieberherr
2021 J jnl
Dual Monte Carlo Tree Search.
CoRR
Prashank Kadam, Ruiyang Xu, Karl J. Lieberherr
2021 J jnl
First-Order Problem Solving through Neural MCTS based Reinforcement Learning.
CoRR
Ruiyang Xu, Prashank Kadam, Karl J. Lieberherr
2021 J jnl
Solving QSAT problems with neural MCTS.
CoRR
Ruiyang Xu, Karl J. Lieberherr
2020 J jnl
Learning self-play agents for combinatorial optimization problems.
Knowl. Eng. Rev.
Ruiyang Xu, Karl J. Lieberherr
2019 A conf
Learning Self-Game-Play Agents for Combinatorial Optimization Problems.
AAMAS
Ruiyang Xu, Karl J. Lieberherr
2019 J jnl
Learning Self-Game-Play Agents for Combinatorial Optimization Problems.
CoRR
Ruiyang Xu, Karl J. Lieberherr
2010 J jnl
A functional approach to generic programming using adaptive traversals.
High. Order Symb. Comput.
Bryan Chadwick, Karl J. Lieberherr
2010 — conf
Algorithms for traversal-based generic programming.
ICFP-WGP
Bryan Chadwick, Karl J. Lieberherr
2010 — conf
Weaving generic programming and traversal performance.
AOSD
Bryan Chadwick, Karl J. Lieberherr
2009 — conf
A type system for functional traversal-based aspects.
FOAL
Bryan Chadwick, Karl J. Lieberherr
2009 — conf
Controlled evolution of adaptive programs.
EVOL/IWPSE
Ahmed Abdelmeged, Therapon Skotiniotis, Karl J. Lieberherr
2007 — conf
Recursive adaptive computations using perobject visitors.
OOPSLA Companion
Ahmed Abdelmeged, Karl J. Lieberherr
2006 A conf
Demeter Interfaces: Adaptive Programming Without Surprises.
ECOOP
Therapon Skotiniotis, Jeffrey Palm, Karl J. Lieberherr
2005 B conf
Shadow Programming: Reasoning About Programs Using Lexical Join Point Information.
GPCE
Pengcheng Wu, Karl J. Lieberherr
2004 A* conf
Controlling the Complexity of Software Design.
ICSE
Karl J. Lieberherr
2004 — ed.
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, AOSD 2004, Lancaster, UK, March 22-24, 2004
AOSD
Gail C. Murphy, Karl J. Lieberherr
2004 J jnl
Traversals of object structures: Specification and Efficient Implementation.
ACM Trans. Program. Lang. Syst.
Karl J. Lieberherr, Boaz Patt-Shamir, Doug Orleans
2003 — conf
A case for statically executable advice: checking the law of demeter with AspectJ.
AOSD
Karl J. Lieberherr, David H. Lorenz, Pengcheng Wu
2003 J jnl
Aspectual Collaborations: Combining Modules and Aspects
Comput. J.
Karl J. Lieberherr, David H. Lorenz, Johan Ovlinger
2003 — conf
Beyond AOP: toward naturalistic programming.
OOPSLA Companion
Cristina Videira Lopes, Paul Dourish, David H. Lorenz, Karl J. Lieberherr
2003 — conf
XAspects: an extensible system for domain-specific aspect languages.
OOPSLA Companion
Macneil Shonle, Karl J. Lieberherr, Ankit Shah
2001 J jnl
Aspect-oriented programming with adaptive methods.
Commun. ACM
Karl J. Lieberherr, Doug Orleans, Johan Ovlinger
2001 — conf
DJ: Dynamic Adaptive Programming in Java.
Reflection
Doug Orleans, Karl J. Lieberherr
2001 J jnl
Discussing aspects of AOP.
Commun. ACM
Tzilla Elrad, Mehmet Aksit, Gregor Kiczales, Karl J. Lieberherr, Harold Ossher
2000 A* conf
Building modular object-oriented systems with reusable collaborations (tutorial session).
ICSE
Karl J. Lieberherr, David H. Lorenz, Mira Mezini
2000 J jnl
Demeter/adaptive programming.
ACM SIGSOFT Softw. Eng. Notes
Karl J. Lieberherr
1999 — conf
Dynamic Component Gluing.
GCSE
Linda M. Seiter, Mira Mezini, Karl J. Lieberherr
1999 — conf
Interaction Schemata: Compiling Interactions to Code.
TOOLS (30)
Neeraj Sangal, Edward Farrell, Karl J. Lieberherr, David H. Lorenz
1998 A conf
Adaptive Plug-and-Play Components for Evolutionary Software Development.
OOPSLA
Mira Mezini, Karl J. Lieberherr
1998 J jnl
Evolution of Object Behavior Using Context Relations.
IEEE Trans. Software Eng.
Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr
1998 — conf
From CSCW applications to multicast routing: an integrated QoS architecture.
ICC
Ibrahim Matta, Mohamed Eltoweissy, Karl J. Lieberherr
1998 — conf
The Refinement Relation of Graph-Based Generic Programs.
Generic Programming
Karl J. Lieberherr, Boaz Patt-Shamir
1997 J jnl
A New Approach to Compiling Adaptive Programs.
Sci. Comput. Program.
Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr
1997 A* conf
Preventive Program Maintenance in Demeter/Java.
ICSE
Karl J. Lieberherr, Doug Orleans
1997 A* conf
Simplifying the Evolution of Java Programs (Tutorial).
ICSE
Linda M. Seiter, Karl J. Lieberherr, Doug Orleans
1997 J jnl
The Role of Polymorphic Reuse Mechanisms in Schema Evolution in an Object-Oriented Database.
IEEE Trans. Knowl. Data Eng.
Ling Liu, Roberto V. Zicari, Walter L. Hürsch, Karl J. Lieberherr
1996 A conf
A New Approach to Compiling Adaptive Programs.
ESOP
Jens Palsberg, Boaz Patt-Shamir, Karl J. Lieberherr
1996 — conf
Evolution of Object Behavior Using Context Relations.
SIGSOFT FSE
Linda M. Seiter, Jens Palsberg, Karl J. Lieberherr
1996 J jnl
From Transience to Persistence in Object-Oriented Programming: Patterns and Architectures.
ACM Comput. Surv.
Karl J. Lieberherr
1996 — conf
Integrating Adaptive Programming into Existing Object-Oriented Analysis and Design Methods: Do It Yourself Adaptiveness.
OOIS
M. Spit, Sjaak Brinkkemper, Karl J. Lieberherr
1996 J jnl
Object-Oriented Design.
ACM Comput. Surv.
Ian M. Holland, Karl J. Lieberherr
1995 J jnl
Editorial.
Theory Pract. Object Syst.
Karl J. Lieberherr, Roberto V. Zicari
1995 J jnl
Efficient Implementation of Adaptive Software.
ACM Trans. Program. Lang. Syst.
Jens Palsberg, Cun Xiao, Karl J. Lieberherr
1995 — conf
Workshop on adaptable and adaptive software.
OOPSLA Addendum
Karl J. Lieberherr
1994 A conf
Abstracting Process-to-Function Relations in Concurrency Object-Oriented Applications.
ECOOP
Cristina Videira Lopes, Karl J. Lieberherr
1994 J jnl
Adaptive Object-Oriented Programming Using Graph-Based Customization.
Commun. ACM
Karl J. Lieberherr, Ignacio Silva-Lepe, Cun Xiao
1994 J jnl
Customizing Adaptive Software to Object-Oriented Software Using Grammars.
Int. J. Found. Comput. Sci.
Karl J. Lieberherr, Cun Xiao
1994 J jnl
Erratum: Customizing Adaptive Software to Object-Oriented Software Using Grammars.
Int. J. Found. Comput. Sci.
Karl J. Lieberherr, Cun Xiao
1994 J jnl
Object-Extending Class Transformations.
Formal Aspects Comput.
Karl J. Lieberherr, Walter L. Hürsch, Cun Xiao
1994 A* conf
Polymorphic Reuse Mechanisms for Object-Oriented Database Specifications.
ICDE
Ling Liu, Roberto V. Zicari, Walter L. Hürsch, Karl J. Lieberherr
1993 J jnl
Formal Foundations for Object-Oriented Data Modeling.
IEEE Trans. Knowl. Data Eng.
Karl J. Lieberherr, Cun Xiao
1993 — conf
Minimizing Dependency on Class Structures with Adaptive Programs.
ISOTAS
Karl J. Lieberherr, Cun Xiao
1993 Misc conf
Object-Oriented Schema Extension and Abstraction.
SAC
Walter L. Hürsch, Karl J. Lieberherr, Sougata Mukherjea
1993 J jnl
Object-Oriented Software Evolution.
IEEE Trans. Software Eng.
Karl J. Lieberherr, Cun Xiao
1992 — conf
Component Enhancement: An Adaptive Reusability Mechanism for Groups of Collaborating Classes.
IFIP Congress (1)
Karl J. Lieberherr
1992 — conf
Demeter Tools/C++ (abstract).
OOPSLA Addendum
Karl J. Lieberherr, Ian M. Holland, Walter L. Hürsch, Ignacio Silva-Lepe, Cun Xiao
1992 — conf
Object-oriented software development with the Demeter Method (abstract).
OOPSLA Addendum
Karl J. Lieberherr
1992 J jnl
Three Decades of HDLs: Part II, Conlan Through Verilog.
IEEE Des. Test Comput.
Dominique Borrione, Robert Piloty, Dwight D. Hill, Karl J. Lieberherr, Philip Moorby
1991 J jnl
From objects to classes: algorithms for optimal object-oriented design.
Softw. Eng. J.
Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe
1991 A conf
Incremental Class Dictionary Learning and Optimization.
ECOOP
Paul L. Bergstein, Karl J. Lieberherr
1990 A conf
Abstraction of Object-Oriented Data Models.
ER
Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe
1989 J jnl
Assuring Good Style for Object-Oriented Programs.
IEEE Softw.
Karl J. Lieberherr, Ian M. Holland
1989 A conf
Contributions to Teaching Object Oriented Design and Programming.
OOPSLA
Karl J. Lieberherr, Arthur J. Riel
1989 J jnl
Formulations and benefits of the law of demeter.
ACM SIGPLAN Notices
Karl J. Lieberherr, Ian M. Holland
1989 — conf
Tools for preventive software maintenance.
ICSM
Karl J. Lieberherr, Ian M. Holland
1988 A* conf
Demeter: A Case Study of Software Growth through Parameterized Classes.
ICSE
Karl J. Lieberherr, Arthur J. Riel
1988 J jnl
Object-Oriented Programming with Class Dictionaries.
LISP Symb. Comput.
Karl J. Lieberherr
1988 A conf
Object-Oriented Programming: An Objective Sense of Style.
OOPSLA
Karl J. Lieberherr, Ian M. Holland, Arthur J. Riel
1985 A conf
Efficient Test Generation Algorithms.
ITC
Andrew V. Goldberg, Karl J. Lieberherr
1985 J jnl
Implications of Forbidden Structures for Extremal Algorithmic Problems.
Theor. Comput. Sci.
Ming-Deh A. Huang, Karl J. Lieberherr
1985 J jnl
Toward a Standard Hardware Description Language.
IEEE Des. Test
Karl J. Lieberherr
1985 J jnl
Zeus: A Language for Expressing Algorithms in Hardware.
Computer
Steven M. German, Karl J. Lieberherr
1984 A* conf
Parameterized random testing.
DAC
Karl J. Lieberherr
1984 A* conf
Towards a standard hardware description language.
DAC
Karl J. Lieberherr
1983 — conf
Analysis of polynomial approximation algorithms for constraint expressions.
Theoretical Computer Science
Karl J. Lieberherr, Stephen A. Vavasis
1983 J jnl
Primality Testing and Factoring.
Theor. Comput. Sci.
James Finn, Karl J. Lieberherr
1983 A* conf
Zeus: A hardware description language for VLSI.
DAC
Karl J. Lieberherr, Svend E. Knudsen
1982 J jnl
Algorithmic Extremal Problems in Combinatorial Optimization.
J. Algorithms
Karl J. Lieberherr
1981 J jnl
Complexity of Partial Satisfaction.
J. ACM
Karl J. Lieberherr, Ernst Specker
1981 B conf
Probabilistic Combinatorial Optimization.
MFCS
Karl J. Lieberherr
1981 A* conf
Uniform Complexity and Digital Signatures.
ICALP
Karl J. Lieberherr
1981 J jnl
Uniform Complexity and Digital Signatures.
Theor. Comput. Sci.
Karl J. Lieberherr
1980 J jnl
P-Optimal Heuristics.
Theor. Comput. Sci.
Karl J. Lieberherr
1979 A* conf
Complexity of Partial Satisfaction
FOCS
Karl J. Lieberherr, Ernst Specker