Harald Søndergaard

ORCID

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 37

Top Venues

CoRR

Theory Pract. Log. Program.

LOPSTR

ASWEC

Publications

Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A lightweight approach to nontermination inference using Constrained Horn Clauses. Softw. Syst. Model. 23 (2) (2024)
Peter Sestoft, Harald Søndergaard
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). PEPM (2024)
Matthew Farrugia-Roberts, Bryn Jeffries, Harald Søndergaard
Teaching Simple Constructive Proofs with Haskell Programs. TFPIE (2022)
Matthew Farrugia-Roberts, Bryn Jeffries, Harald Søndergaard
Programming to Learn: Logic and Computation from a Programming Perspective. ITiCSE (1) (2022)
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21 (6) (2021)
Harald Søndergaard
String Abstract Domains and Their Combination. LOPSTR (2021)
Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard
Transformation-Enabled Precondition Inference. CoRR (2021)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Disjunctive Interval Analysis. SAS (2021)
Graeme Gange, Zequn Ma, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Fresh Look at Zones and Octagons. ACM Trans. Program. Lang. Syst. 43 (3) (2021)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Lightweight Nontermination Inference with CHCs. SEFM (2021)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR (2020)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift (2020)
Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
String Constraint Solving: Past, Present and Future. ECAI (2020)
Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR (2019)
Wenxi Wang, Harald Søndergaard, Peter J. Stuckey
Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation. J. Autom. Reason. 63 (3) (2019)
Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Optimal Bounds for Floating-Point Addition in Constant Time. ARITH (2019)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Dissecting Widening: Separating Termination from Information. APLAS (2019)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Precondition Inference via Partitioning of Initial States. CoRR (2018)
Roberto Amadini, Graeme Gange, François Gauthier, Alexander Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
Reference Abstract Domains and Applications to String Analysis. Fundam. Informaticae 158 (4) (2018)
Eman Alatawi, Tim Miller, Harald Søndergaard
Symbolic Execution with Invariant Inlay: Evaluating the Potential. ASWEC (2018)
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An iterative approach to precondition inference using constrained Horn clauses. CoRR (2018)
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. 18 (3-4) (2018)
Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT (2017)
Eman Alatawi, Harald Søndergaard, Tim Miller
Leveraging abstract interpretation for efficient dynamic symbolic execution. ASE (2017)
Roberto Amadini, Alexander Jordan, Graeme Gange, François Gauthier, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang
Combining String Abstract Domains for JavaScript Analysis: An Evaluation. TACAS (1) (2017)
Eman Alatawi, Tim Miller, Harald Søndergaard
Generating source inputs for metamorphic testing using dynamic symbolic execution. MET@ICSE (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A complete refinement procedure for regular separability of context-free languages. Theor. Comput. Sci. 625 (2016)
Wenxi Wang, Harald Søndergaard, Peter J. Stuckey
A Bit-Vector Solver with Word-Level Propagation. CPAIOR (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An Abstract Domain of Uninterpreted Functions. VMCAI (2016)
Yude Lin, Tim Miller, Harald Søndergaard
Compositional Symbolic Execution: Incremental Solving Revisited. APSEC (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Exploiting Sparsity in Difference-Bound Matrices. SAS (2016)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Tool for Intersecting Context-Free Grammars and Its Applications. NFM (2015)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Horn Clauses as an Intermediate Representation for Program Analysis and Transformation. CoRR (2015)
Eman Alatawi, Tim Miller, Harald Søndergaard
Using Metamorphic Testing to Improve Dynamic Symbolic Execution. ASWEC (2015)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Horn clauses as an intermediate representation for program analysis and transformation. Theory Pract. Log. Program. 15 (4-5) (2015)
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard
Optimisation and Relaxation for Multiagent Planning in the Situation Calculus. AAMAS (2015)
Yude Lin, Tim Miller, Harald Søndergaard
Compositional Symbolic Execution Using Fine-Grained Summaries. ASWEC (2015)
Graeme Gange, Harald Søndergaard, Peter J. Stuckey
Synthesizing Optimal Switching Lattices. ACM Trans. Design Autom. Electr. Syst. 20 (1) (2014)
Graeme Gange, Benjamin Horsfall, Lee Naish, Harald Søndergaard
Four-Valued Reasoning and Cyclic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 33 (7) (2014)
Lee Naish, Harald Søndergaard
Truth versus information in logic programming. Theory Pract. Log. Program. 14 (6) (2014)
J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Analyzing Array Manipulating Programs by Program Transformation. LOPSTR (2014)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM Trans. Program. Lang. Syst. 37 (1) (2014)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Complete Refinement Procedure for Regular Separability of Context-Free Languages. CoRR (2014)
Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard
Fragment-Based Planning Using Column Generation. ICAPS (2014)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
A Partial-Order Approach to Array Content Analysis. CoRR (2014)
Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard
A low overhead method for recovering unused memory inside regions. MSPC@PLDI (2013)
Lee Naish, Harald Søndergaard
Truth versus information in logic programming CoRR (2013)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Failure tabled constraint logic programming by interpolation. Theory Pract. Log. Program. 13 (4-5) (2013)
Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte
Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS (2013)
Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte
Solving Difference Constraints over Modular Arithmetic. CADE (2013)
Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Abstract Interpretation over Non-lattice Abstract Domains. SAS (2013)
Harald Søndergaard, Raoul A. Mulder
Collaborative learning through formative peer review: pedagogy, programs and potential. Comput. Sci. Educ. 22 (4) (2012)
Lee Naish, Harald Søndergaard, Benjamin Horsfall
Logic Programming: From Underspecification to Undefinedness. CATS (2012)
Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard
Towards region-based memory management for Go. MSPC (2012)
Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. APLAS (2012)
Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall
Information loss in knowledge compilation: A comparison of Boolean envelopes. Artif. Intell. 174 (9-10) (2010)
Andy King, Harald Søndergaard
Automatic Abstraction for Congruences. VMCAI (2010)
Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting
An Algorithm for Affine Approximation of Binary Decision Diagrams. Chic. J. Theor. Comput. Sci. 2010 (2010)
Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting
Boolean Affine Approximation with Binary Decision Diagrams. CATS (2009)
Harald Søndergaard
Learning from and with peers: the different roles of student peer reviewing. ITiCSE (2009)
Trevor Hansen, Peter Schachte, Harald Søndergaard
State Joining and Splitting for the Symbolic Execution of Binaries. RV (2009)
Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting
Binary Decision Diagrams for Affine Approximation CoRR (2008)
Andy King, Harald Søndergaard
Inferring Congruence Equations Using SAT. CAV (2008)
Brian Herlihy, Peter Schachte, Harald Søndergaard
Un-Kleene Boolean equation Solving. Int. J. Found. Comput. Sci. 18 (2) (2007)
Peter Schachte, Harald Søndergaard
Boolean Approximation Revisited. SARA (2007)
Brian Herlihy, Peter Schachte, Harald Søndergaard
Boolean equation solving as graph traversal. CATS (2006)
Peter Schachte, Harald Søndergaard
Closure Operators for ROBDDs. VMCAI (2006)
Alistair Moffat, Baden Hughes, Harald Søndergaard, Paul Gruba
Making Connections: First Year Transition for Computer Science and Software Engineering Students. ACE (2005)
Paul Gruba, Alistair Moffat, Harald Søndergaard, Justin Zobel
What Drives Curriculum Change? ACE (2004)
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
Exception analysis for non-strict languages. ICFP (2002)
Michael Codish, Harald Søndergaard
Meta-circular Abstract Interpretation in Prolog. The Essence of Computation (2002)
Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
Boolean Constraints for Binding-Time Analysis. PADO (2001)
Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey
Higher-Precision Groundness Analysis. ICLP (2001)
Paul Gruba, Harald Søndergaard
A Constructivist Approach to Communication Skills Instruction in Computer Science. Comput. Sci. Educ. 11 (3) (2001)
Paul Gruba, Harald Søndergaard
Transforming Communication Skills Instruction: The Conference Approach. ACSC (2000)
Linda Stern, Harald Søndergaard, Lee Naish
A strategy for managing content complexity in algorithm animation. ITiCSE (1999)
Michael Codish, Harald Søndergaard, Peter J. Stuckey
Sharing and groundness dependencies in logic programs. ACM Trans. Program. Lang. Syst. 21 (5) (1999)
Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard
Two Classes of Boolean Functions for Dependency Analysis. Sci. Comput. Program. 31 (1) (1998)
Michael Codish, Harald Søndergaard
The Boolean Logic of Set Sharing Analysis. PLILP/ALP (1998)
Kim Marriott, Harald Søndergaard, Peter J. Stuckey
A Practical Object-Oriented Analysis Engine for CLP. Softw. Pract. Exp. 28 (2) (1998)
Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard
Differential Methods in Logic Program Analysis. J. Log. Program. 35 (1) (1998)
Tihomir Gabric, Kevin Glynn, Harald Søndergaard
Strictness Analysis as Finite-Domain Constraint Solving. LOPSTR (1998)
Chris Speirs, Zoltan Somogyi, Harald Søndergaard
Termination Analysis for Mercury. SAS (1997)
James Bailey, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Søndergaard
Abstract Interpretation of Active Rules and its Use in Termination Analysis. ICDT (1997)
Harald Søndergaard
Immediate Fixpoints and Their Use in Groundness Analysis. FSTTCS (1996)
Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey
Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. SAS (1996)
Lobel Crnogorac, Andrew D. Kelly, Harald Søndergaard
A Comparison of Three Occur-Check Analysers. SAS (1996)
Roy Johnston, Alistair Moffat, Harald Søndergaard, Peter J. Stuckey
Low-contact learning in a first year programming course. ACSE (1996)
Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap
An Optimizing Compiler for CLP(R). CP (1995)
Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. SAS (1994)
Kim Marriott, Harald Søndergaard, Neil D. Jones
Denotational Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 16 (3) (1994)
Kim Marriott, Harald Søndergaard
Difference-List Transformation for Prolog. New Gener. Comput. 11 (2) (1993)
Kim Marriott, Harald Søndergaard
Precise and Efficient Groundness Analysis for Logic Programs. LOPLAS 2 (1-4) (1993)
Kim Marriott, Harald Søndergaard
Bottom-Up Dataflow Analysis of Normal Logic Programs. J. Log. Program. 13 (2&3) (1992)
Harald Søndergaard, Peter Sestoft
Non-Determinism in Functional Languages. Comput. J. 35 (5) (1992)
Kim Marriott, Harald Søndergaard
Analysis of Constraint Logic Programs. NACLP (1990)
Kim Marriott, Harald Søndergaard, Philip W. Dart
A Characterization of Non-Floundering Logic Programs. NACLP (1990)
Harald Søndergaard, Peter Sestoft
Referential Transparency, Definiteness and Unfoldability. Acta Informatica 27 (6) (1990)
Kim Marriott, Harald Søndergaard
Semantics-Based Dataflow Analysis of Logic Programs. IFIP Congress (1989)
Neil D. Jones, Peter Sestoft, Harald Søndergaard
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. LISP Symb. Comput. 2 (1) (1989)

Harald Søndergaard.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Harald Søndergaard