An experiment in partial evaluation: the generation of a compiler generator. - Neil D. Jones; Peter Sestoft; Harald Søndergaard (ACM SIGPLAN Notices, 1985)

An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. - Harald Søndergaard (ESOP, 1986)

MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). - Neil D. Jones; Peter Sestoft; Harald Søndergaard (MFPS, 1987)

Bottom-up Abstract Interpretation of Logic Programs. - Kim Marriott; Harald Søndergaard (ICLP/SLP, 1988)

A bibliography on partial evaluation. - Peter Sestoft; Harald Søndergaard (ACM SIGPLAN Notices, 1988)

Semantics-Based Dataflow Analysis of Logic Programs. - Kim Marriott; Harald Søndergaard (IFIP Congress, 1989)

Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. - Neil D. Jones; Peter Sestoft; Harald Søndergaard (LISP Symb. Comput., 1989)

On prolog and the occur check problem. - Kim Marriott; Harald Søndergaard (ACM SIGPLAN Notices, 1989)

Analysis of Constraint Logic Programs. - Kim Marriott; Harald Søndergaard (NACLP, 1990)

A Characterization of Non-Floundering Logic Programs. - Kim Marriott; Harald Søndergaard; Philip W. Dart (NACLP, 1990)

Referential Transparency, Definiteness and Unfoldability. - Harald Søndergaard; Peter Sestoft (Acta Informatica, 1990)

Non-Determinism in Functional Languages. - Harald Søndergaard; Peter Sestoft (Comput. J., 1992)

Bottom-Up Dataflow Analysis of Normal Logic Programs. - Kim Marriott; Harald Søndergaard (J. Log. Program., 1992)

Precise and Efficient Groundness Analysis for Logic Programs. - Kim Marriott; Harald Søndergaard (LOPLAS, 1993)

Difference-List Transformation for Prolog. - Kim Marriott; Harald Søndergaard (New Gener. Comput., 1993)

Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. - Tania Armstrong; Kim Marriott; Peter Schachte; Harald Søndergaard (SAS, 1994)

Denotational Abstract Interpretation of Logic Programs. - Kim Marriott; Harald Søndergaard; Neil D. Jones (ACM Trans. Program. Lang. Syst., 1994)

An Optimizing Compiler for CLP(R). - Andrew D. Kelly; Andrew D. Macdonald; Kim Marriott; Harald Søndergaard; Peter J. Stuckey; Roland H. C. Yap (CP, 1995)

Low-contact learning in a first year programming course. - Roy Johnston; Alistair Moffat; Harald Søndergaard; Peter J. Stuckey (ACSE, 1996)

Immediate Fixpoints and Their Use in Groundness Analysis. - Harald Søndergaard (FSTTCS, 1996)

A Comparison of Three Occur-Check Analysers. - Lobel Crnogorac; Andrew D. Kelly; Harald Søndergaard (SAS, 1996)

Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. - Andrew D. Kelly; Kim Marriott; Harald Søndergaard; Peter J. Stuckey (SAS, 1996)

Abstract Interpretation of Active Rules and its Use in Termination Analysis. - James Bailey 001; Lobel Crnogorac; Kotagiri Ramamohanarao; Harald Søndergaard (ICDT, 1997)

Termination Analysis for Mercury. - Chris Speirs; Zoltan Somogyi; Harald Søndergaard (SAS, 1997)

Strictness Analysis as Finite-Domain Constraint Solving. - Tihomir Gabric; Kevin Glynn; Harald Søndergaard (LOPSTR, 1998)

The Boolean Logic of Set Sharing Analysis. - Michael Codish; Harald Søndergaard (PLILP/ALP, 1998)

Differential Methods in Logic Program Analysis. - Maria J. García de la Banda; Kim Marriott; Peter J. Stuckey; Harald Søndergaard (J. Log. Program., 1998)

Two Classes of Boolean Functions for Dependency Analysis. - Tania Armstrong; Kim Marriott; Peter Schachte; Harald Søndergaard (Sci. Comput. Program., 1998)

A Practical Object-Oriented Analysis Engine for CLP. - Kim Marriott; Harald Søndergaard; Peter J. Stuckey (Softw. Pract. Exp., 1998)

A strategy for managing content complexity in algorithm animation. - Linda Stern; Harald Søndergaard; Lee Naish (ITiCSE, 1999)

Sharing and groundness dependencies in logic programs. - Michael Codish; Harald Søndergaard; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 1999)

Transforming Communication Skills Instruction: The Conference Approach. - Paul Gruba; Harald Søndergaard (ACSC, 2000)

Higher-Precision Groundness Analysis. - Michael Codish; Samir Genaim; Harald Søndergaard; Peter J. Stuckey (ICLP, 2001)

Boolean Constraints for Binding-Time Analysis. - Kevin Glynn; Peter J. Stuckey; Martin Sulzmann; Harald Søndergaard (PADO, 2001)

A Constructivist Approach to Communication Skills Instruction in Computer Science. - Paul Gruba; Harald Søndergaard (Comput. Sci. Educ., 2001)

Meta-circular Abstract Interpretation in Prolog. - Michael Codish; Harald Søndergaard (The Essence of Computation, 2002)

Exception analysis for non-strict languages. - Kevin Glynn; Peter J. Stuckey; Martin Sulzmann; Harald Søndergaard (ICFP, 2002)

What Drives Curriculum Change? - Paul Gruba; Alistair Moffat; Harald Søndergaard; Justin Zobel (ACE, 2004)

Making Connections: First Year Transition for Computer Science and Software Engineering Students. - Alistair Moffat; Baden Hughes; Harald Søndergaard; Paul Gruba (ACE, 2005)

Boolean equation solving as graph traversal. - Brian Herlihy; Peter Schachte; Harald Søndergaard (CATS, 2006)

Closure Operators for ROBDDs. - Peter Schachte; Harald Søndergaard (VMCAI, 2006)

Boolean Approximation Revisited. - Peter Schachte; Harald Søndergaard (SARA, 2007)

Un-Kleene Boolean equation Solving. - Brian Herlihy; Peter Schachte; Harald Søndergaard (Int. J. Found. Comput. Sci., 2007)

Inferring Congruence Equations Using SAT. - Andy King; Harald Søndergaard (CAV, 2008)

Binary Decision Diagrams for Affine Approximation - Kevin Henshall; Peter Schachte; Harald Søndergaard; Leigh Whiting (CoRR, 2008)

Boolean Affine Approximation with Binary Decision Diagrams. - Kevin Henshall; Peter Schachte; Harald Søndergaard; Leigh Whiting (CATS, 2009)

Learning from and with peers: the different roles of student peer reviewing. - Harald Søndergaard (ITiCSE, 2009)

State Joining and Splitting for the Symbolic Execution of Binaries. - Trevor Hansen; Peter Schachte; Harald Søndergaard (RV, 2009)

Automatic Abstraction for Congruences. - Andy King; Harald Søndergaard (VMCAI, 2010)

Information loss in knowledge compilation: A comparison of Boolean envelopes. - Peter Schachte; Harald Søndergaard; Leigh Whiting; Kevin Henshall (Artif. Intell., 2010)

An Algorithm for Affine Approximation of Binary Decision Diagrams. - Kevin Henshall; Peter Schachte; Harald Søndergaard; Leigh Whiting (Chic. J. Theor. Comput. Sci., 2010)

Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. - Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (APLAS, 2012)

Logic Programming: From Underspecification to Undefinedness. - Lee Naish; Harald Søndergaard; Benjamin Horsfall (CATS, 2012)

Towards region-based memory management for Go. - Matthew Davis 001; Peter Schachte; Zoltan Somogyi; Harald Søndergaard (MSPC, 2012)

Collaborative learning through formative peer review: pedagogy, programs and potential. - Harald Søndergaard; Raoul A. Mulder (Comput. Sci. Educ., 2012)

Solving Difference Constraints over Modular Arithmetic. - Graeme Gange; Harald Søndergaard; Peter J. Stuckey; Peter Schachte (CADE, 2013)

A low overhead method for recovering unused memory inside regions. - Matthew Davis 001; Peter Schachte; Zoltan Somogyi; Harald Søndergaard (MSPC@PLDI, 2013)

Abstract Interpretation over Non-lattice Abstract Domains. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAS, 2013)

Unbounded Model-Checking with Interpolation for Regular Language Constraints. - Graeme Gange; Jorge A. Navas; Peter J. Stuckey; Harald Søndergaard; Peter Schachte (TACAS, 2013)

Failure tabled constraint logic programming by interpolation. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theory Pract. Log. Program., 2013)

Fragment-Based Planning Using Column Generation. - Toby O. Davies; Adrian R. Pearce; Peter J. Stuckey; Harald Søndergaard (ICAPS, 2014)

Analyzing Array Manipulating Programs by Program Transformation. - J. Robert M. Cornish; Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (LOPSTR, 2014)

A Partial-Order Approach to Array Content Analysis. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CoRR, 2014)

Four-Valued Reasoning and Cyclic Circuits. - Graeme Gange; Benjamin Horsfall; Lee Naish; Harald Søndergaard (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014)

Synthesizing Optimal Switching Lattices. - Graeme Gange; Harald Søndergaard; Peter J. Stuckey (ACM Trans. Design Autom. Electr. Syst., 2014)

Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2014)

Truth versus information in logic programming. - Lee Naish; Harald Søndergaard (Theory Pract. Log. Program., 2014)

Using Metamorphic Testing to Improve Dynamic Symbolic Execution. - Eman Alatawi; Tim Miller 001; Harald Søndergaard (ASWEC, 2015)

Compositional Symbolic Execution Using Fine-Grained Summaries. - Yude Lin; Tim Miller 001; Harald Søndergaard (ASWEC, 2015)

Optimisation and Relaxation for Multiagent Planning in the Situation Calculus. - Toby O. Davies; Adrian R. Pearce; Peter J. Stuckey; Harald Søndergaard (AAMAS, 2015)

A Tool for Intersecting Context-Free Grammars and Its Applications. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (NFM, 2015)

Horn clauses as an intermediate representation for program analysis and transformation. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theory Pract. Log. Program., 2015)

Compositional Symbolic Execution: Incremental Solving Revisited. - Yude Lin; Tim Miller 001; Harald Søndergaard (APSEC, 2016)

A Bit-Vector Solver with Word-Level Propagation. - Wenxi Wang; Harald Søndergaard; Peter J. Stuckey (CPAIOR, 2016)

Generating source inputs for metamorphic testing using dynamic symbolic execution. - Eman Alatawi; Tim Miller 001; Harald Søndergaard (MET@ICSE, 2016)

Exploiting Sparsity in Difference-Bound Matrices. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAS, 2016)

An Abstract Domain of Uninterpreted Functions. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (VMCAI, 2016)

A complete refinement procedure for regular separability of context-free languages. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theor. Comput. Sci., 2016)

Leveraging abstract interpretation for efficient dynamic symbolic execution. - Eman Alatawi; Harald Søndergaard; Tim Miller 001 (ASE, 2017)

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAT, 2017)

Combining String Abstract Domains for JavaScript Analysis: An Evaluation. - Roberto Amadini; Alexander Jordan; Graeme Gange; François Gauthier 001; Peter Schachte; Harald Søndergaard; Peter J. Stuckey; Chenyi Zhang 001 (TACAS (1), 2017)

Symbolic Execution with Invariant Inlay: Evaluating the Potential. - Eman Alatawi; Tim Miller 001; Harald Søndergaard (ASWEC, 2018)

Precondition Inference via Partitioning of Initial States. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CoRR, 2018)

Reference Abstract Domains and Applications to String Analysis. - Roberto Amadini; Graeme Gange; François Gauthier 001; Alexander Jordan; Peter Schachte; Harald Søndergaard; Peter J. Stuckey; Chenyi Zhang 001 (Fundam. Informaticae, 2018)

An iterative approach to precondition inference using constrained Horn clauses. - Bishoksan Kafle; John P. Gallagher; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Theory Pract. Log. Program., 2018)

Dissecting Widening: Separating Termination from Information. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (APLAS, 2019)

Optimal Bounds for Floating-Point Addition in Constant Time. - Mak Andrlon; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ARITH, 2019)

Constraint Programming for Dynamic Symbolic Execution of JavaScript. - Roberto Amadini; Mak Andrlon; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (CPAIOR, 2019)

Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation. - Wenxi Wang; Harald Søndergaard; Peter J. Stuckey (J. Autom. Reason., 2019)

Abstract Interpretation, Symbolic Execution and Constraints. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Gabbrielli's Festschrift, 2020)

String Constraint Solving: Past, Present and Future. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ECAI, 2020)

Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. - Roberto Amadini; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (LOPSTR, 2020)

String Abstract Domains and Their Combination. - Harald Søndergaard (LOPSTR, 2021)

Disjunctive Interval Analysis. - Graeme Gange; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SAS, 2021)

Lightweight Nontermination Inference with CHCs. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (SEFM, 2021)

A Fresh Look at Zones and Octagons. - Graeme Gange; Zequn Ma; Jorge A. Navas; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2021)

Transformation-Enabled Precondition Inference. - Bishoksan Kafle; Graeme Gange; Peter J. Stuckey; Peter Schachte; Harald Søndergaard (Theory Pract. Log. Program., 2021)

Programming to Learn: Logic and Computation from a Programming Perspective. - Matthew Farrugia-Roberts; Bryn Jeffries; Harald Søndergaard (ITiCSE (1), 2022)

Teaching Simple Constructive Proofs with Haskell Programs. - Matthew Farrugia-Roberts; Bryn Jeffries; Harald Søndergaard (TFPIE, 2022)

The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). - Peter Sestoft; Harald Søndergaard (PEPM, 2024)

A lightweight approach to nontermination inference using Constrained Horn Clauses. - Bishoksan Kafle; Graeme Gange; Peter Schachte; Harald Søndergaard; Peter J. Stuckey (Softw. Syst. Model., 2024)