(Some of) Lee's papers

Research areas

• Declarative debugging
• Logic programming techniques and language extensions

List of papers

• A brief overview of the Pawns programming language
• Similarity to a Single Set
• Adtpp: lightweight efficient safe polymorphic algebraic data types for C
• An informal introduction to Pawns: a declarative/imperative language
• Sharing analysis in the Pawns compiler
• Negation and control in Prolog
• Negation and quantifiers in NU-Prolog
• Pruning the search space of Prolog: cut and other primitives
• Proving properties of committed choice logic programs
• Pruning in logic programming
• Types and the intended meaning of logic programs
• Verification of logic programs and imperative programs
• Coroutining and the construction of terminating logic programs
• Transforming floundering into success
• A three-valued semantics for Horn clause programs
• A three-valued semantics for logic programmers
• Logic Programming: From Underspecification to Undefinedness
• Truth versus Information in Logic Programming
• How to think about functional programs
• A declarative view of modes
• Mode checking using constrained regular trees
• Approximating the success set of logic programs using constrained regular types
• Parallelizing NU-Prolog
• Applying the Andorra principle
• Adding equations to NU-Prolog
• Object-oriented programming in Prolog: rationale and a case study
• Higher-order logic programming in Prolog
• A higher order reconstruction of stepwise enhancement
• Stepwise enhancement and higher order programming in Prolog
• The NU-Prolog debugging environment
• Declarative diagnosis of missing answers
• Declarative debugging of lazy functional programs
• A declarative debugger for a logical-functional language
• A declarative debugging scheme
• A three-valued declarative debugging scheme
• Probabilistic Declarative Debugging
• Towards a portable lazy functional declarative debugger
• Declarative diagnosis of floundering
• A model for spectra-based software diagnosis
• Spectral debugging with weights and incremental ranking
• Statements versus predicates in spectral bug localization
• Spectral debugging: How much better can we do?
• Duals in Spectral Fault Localization
• Multiple Bug Spectral Fault Localization Using Genetic Programming
• Study of the Relationship of Bug Consistency with respect to Performance of Spectra Metrics
• The Effectiveness of Using Non redundant Test Cases with Program Spectra for Bug Localization
• Shuffle-sum: coercion-resistant verifiable tallying for STV voting