default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHarald Søndergaard
Person information
- affiliation: University of Melbourne, School of Computing and Information Systems, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j32]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): 319-342 (2024)- [c67]Peter Sestoft, Harald Søndergaard:
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). PEPM 2024: 1-13 - [e2]Juliana Bowles, Harald Søndergaard:
Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings. Lecture Notes in Computer Science 14919, Springer 2024, ISBN 978-3-031-71293-7 [contents] - 2022
- [c66]Matthew Farrugia-Roberts, Bryn Jeffries, Harald Søndergaard:
Programming to Learn: Logic and Computation from a Programming Perspective. ITiCSE (1) 2022: 311-317 - [c65]Matthew Farrugia-Roberts, Bryn Jeffries, Harald Søndergaard:
Teaching Simple Constructive Proofs with Haskell Programs. TFPIE 2022: 54-73 - 2021
- [j31]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): 11:1-11:51 (2021) - [j30]Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard:
Transformation-Enabled Precondition Inference. Theory Pract. Log. Program. 21(6): 700-716 (2021) - [c64]Harald Søndergaard:
String Abstract Domains and Their Combination. LOPSTR 2021: 1-15 - [c63]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Disjunctive Interval Analysis. SAS 2021: 144-165 - [c62]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Lightweight Nontermination Inference with CHCs. SEFM 2021: 383-402 - [i8]Bishoksan Kafle, Graeme Gange, Peter J. Stuckey, Peter Schachte, Harald Søndergaard:
Transformation-Enabled Precondition Inference. CoRR abs/2108.03178 (2021) - 2020
- [c61]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Abstract Interpretation, Symbolic Execution and Constraints. Gabbrielli's Festschrift 2020: 7:1-7:19 - [c60]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
String Constraint Solving: Past, Present and Future. ECAI 2020: 2875-2876 - [c59]Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. LOPSTR 2020: 192-209
2010 – 2019
- 2019
- [j29]Wenxi Wang, Harald Søndergaard, Peter J. Stuckey:
Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation. J. Autom. Reason. 63(3): 723-762 (2019) - [c58]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Dissecting Widening: Separating Termination from Information. APLAS 2019: 95-114 - [c57]Mak Andrlon, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Optimal Bounds for Floating-Point Addition in Constant Time. ARITH 2019: 159-166 - [c56]Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Constraint Programming for Dynamic Symbolic Execution of JavaScript. CPAIOR 2019: 1-19 - 2018
- [j28]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): 297-326 (2018) - [j27]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): 553-570 (2018) - [c55]Eman Alatawi, Tim Miller, Harald Søndergaard:
Symbolic Execution with Invariant Inlay: Evaluating the Potential. ASWEC 2018: 26-30 - [i7]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 abs/1804.05989 (2018) - [i6]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Precondition Inference via Partitioning of Initial States. CoRR abs/1811.06771 (2018) - 2017
- [c54]Eman Alatawi, Harald Søndergaard, Tim Miller:
Leveraging abstract interpretation for efficient dynamic symbolic execution. ASE 2017: 619-624 - [c53]Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. SAT 2017: 380-397 - [c52]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: 41-57 - 2016
- [j26]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: 1-24 (2016) - [c51]Yude Lin, Tim Miller, Harald Søndergaard:
Compositional Symbolic Execution: Incremental Solving Revisited. APSEC 2016: 273-280 - [c50]Wenxi Wang, Harald Søndergaard, Peter J. Stuckey:
A Bit-Vector Solver with Word-Level Propagation. CPAIOR 2016: 374-391 - [c49]Eman Alatawi, Tim Miller, Harald Søndergaard:
Generating source inputs for metamorphic testing using dynamic symbolic execution. MET@ICSE 2016: 19-25 - [c48]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Exploiting Sparsity in Difference-Bound Matrices. SAS 2016: 189-211 - [c47]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
An Abstract Domain of Uninterpreted Functions. VMCAI 2016: 85-103 - 2015
- [j25]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): 526-542 (2015) - [c46]Eman Alatawi, Tim Miller, Harald Søndergaard:
Using Metamorphic Testing to Improve Dynamic Symbolic Execution. ASWEC 2015: 38-47 - [c45]Yude Lin, Tim Miller, Harald Søndergaard:
Compositional Symbolic Execution Using Fine-Grained Summaries. ASWEC 2015: 213-222 - [c44]Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard:
Optimisation and Relaxation for Multiagent Planning in the Situation Calculus. AAMAS 2015: 1141-1149 - [c43]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: 422-428 - [i5]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 abs/1507.05762 (2015) - 2014
- [j24]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): 1003-1016 (2014) - [j23]Graeme Gange, Harald Søndergaard, Peter J. Stuckey:
Synthesizing Optimal Switching Lattices. ACM Trans. Design Autom. Electr. Syst. 20(1): 6:1-6:14 (2014) - [j22]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): 1:1-1:35 (2014) - [j21]Lee Naish, Harald Søndergaard:
Truth versus information in logic programming. Theory Pract. Log. Program. 14(6): 803-840 (2014) - [c42]Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Harald Søndergaard:
Fragment-Based Planning Using Column Generation. ICAPS 2014 - [c41]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: 3-20 - [i4]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
A Partial-Order Approach to Array Content Analysis. CoRR abs/1408.1754 (2014) - [i3]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 abs/1411.5131 (2014) - 2013
- [j20]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): 593-607 (2013) - [c40]Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte:
Solving Difference Constraints over Modular Arithmetic. CADE 2013: 215-230 - [c39]Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard:
A low overhead method for recovering unused memory inside regions. MSPC@PLDI 2013: 4:1-4:10 - [c38]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Abstract Interpretation over Non-lattice Abstract Domains. SAS 2013: 6-24 - [c37]Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte:
Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS 2013: 277-291 - [i2]Lee Naish, Harald Søndergaard:
Truth versus information in logic programming. CoRR abs/1305.0141 (2013) - 2012
- [j19]Harald Søndergaard, Raoul A. Mulder:
Collaborative learning through formative peer review: pedagogy, programs and potential. Comput. Sci. Educ. 22(4): 343-367 (2012) - [c36]Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey:
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. APLAS 2012: 115-130 - [c35]Lee Naish, Harald Søndergaard, Benjamin Horsfall:
Logic Programming: From Underspecification to Undefinedness. CATS 2012: 49-58 - [c34]Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Søndergaard:
Towards region-based memory management for Go. MSPC 2012: 58-67 - 2010
- [j18]Peter Schachte, Harald Søndergaard, Leigh Whiting, Kevin Henshall:
Information loss in knowledge compilation: A comparison of Boolean envelopes. Artif. Intell. 174(9-10): 585-596 (2010) - [j17]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) - [c33]Andy King, Harald Søndergaard:
Automatic Abstraction for Congruences. VMCAI 2010: 197-213
2000 – 2009
- 2009
- [c32]Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting:
Boolean Affine Approximation with Binary Decision Diagrams. CATS 2009: 119-127 - [c31]Harald Søndergaard:
Learning from and with peers: the different roles of student peer reviewing. ITiCSE 2009: 31-35 - [c30]Trevor Hansen, Peter Schachte, Harald Søndergaard:
State Joining and Splitting for the Symbolic Execution of Binaries. RV 2009: 76-92 - 2008
- [c29]Andy King, Harald Søndergaard:
Inferring Congruence Equations Using SAT. CAV 2008: 281-293 - [i1]Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting:
Binary Decision Diagrams for Affine Approximation. CoRR abs/0804.0066 (2008) - 2007
- [j16]Brian Herlihy, Peter Schachte, Harald Søndergaard:
Un-Kleene Boolean equation Solving. Int. J. Found. Comput. Sci. 18(2): 227-250 (2007) - [c28]Peter Schachte, Harald Søndergaard:
Boolean Approximation Revisited. SARA 2007: 329-343 - 2006
- [c27]Brian Herlihy, Peter Schachte, Harald Søndergaard:
Boolean equation solving as graph traversal. CATS 2006: 123-132 - [c26]Peter Schachte, Harald Søndergaard:
Closure Operators for ROBDDs. VMCAI 2006: 1-16 - 2005
- [c25]Alistair Moffat, Baden Hughes, Harald Søndergaard, Paul Gruba:
Making Connections: First Year Transition for Computer Science and Software Engineering Students. ACE 2005: 229-238 - 2004
- [c24]Paul Gruba, Alistair Moffat, Harald Søndergaard, Justin Zobel:
What Drives Curriculum Change? ACE 2004: 109-117 - 2002
- [c23]Michael Codish, Harald Søndergaard:
Meta-circular Abstract Interpretation in Prolog. The Essence of Computation 2002: 109-134 - [c22]Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard:
Exception analysis for non-strict languages. ICFP 2002: 98-109 - 2001
- [j15]Paul Gruba, Harald Søndergaard:
A Constructivist Approach to Communication Skills Instruction in Computer Science. Comput. Sci. Educ. 11(3): 203-219 (2001) - [c21]Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey:
Higher-Precision Groundness Analysis. ICLP 2001: 135-149 - [c20]Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard:
Boolean Constraints for Binding-Time Analysis. PADO 2001: 39-62 - 2000
- [c19]Paul Gruba, Harald Søndergaard:
Transforming Communication Skills Instruction: The Conference Approach. ACSC 2000: 88-94
1990 – 1999
- 1999
- [j14]Michael Codish, Harald Søndergaard, Peter J. Stuckey:
Sharing and groundness dependencies in logic programs. ACM Trans. Program. Lang. Syst. 21(5): 948-976 (1999) - [c18]Linda Stern, Harald Søndergaard, Lee Naish:
A strategy for managing content complexity in algorithm animation. ITiCSE 1999: 127-130 - 1998
- [j13]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): 1-37 (1998) - [j12]Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard:
Two Classes of Boolean Functions for Dependency Analysis. Sci. Comput. Program. 31(1): 3-45 (1998) - [j11]Kim Marriott, Harald Søndergaard, Peter J. Stuckey:
A Practical Object-Oriented Analysis Engine for CLP. Softw. Pract. Exp. 28(2): 199-224 (1998) - [c17]Tihomir Gabric, Kevin Glynn, Harald Søndergaard:
Strictness Analysis as Finite-Domain Constraint Solving. LOPSTR 1998: 255-270 - [c16]Michael Codish, Harald Søndergaard:
The Boolean Logic of Set Sharing Analysis. PLILP/ALP 1998: 89-101 - 1997
- [c15]James Bailey, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Søndergaard:
Abstract Interpretation of Active Rules and its Use in Termination Analysis. ICDT 1997: 188-202 - [c14]Chris Speirs, Zoltan Somogyi, Harald Søndergaard:
Termination Analysis for Mercury. SAS 1997: 160-171 - [e1]Harald Søndergaard, A. John Hurst:
Proceedings of the ACM SIGCSE 2nd Australasian Conference on Computer Science Education, ACSE 1997, Melbourne, Victoria, Australia, 1997. ACM International Conference Proceeding Series 2, ACM 1997, ISBN 0-89791-958-0 [contents] - 1996
- [c13]Roy Johnston, Alistair Moffat, Harald Søndergaard, Peter J. Stuckey:
Low-contact learning in a first year programming course. ACSE 1996: 19-26 - [c12]Harald Søndergaard:
Immediate Fixpoints and Their Use in Groundness Analysis. FSTTCS 1996: 359-370 - [c11]Lobel Crnogorac, Andrew D. Kelly, Harald Søndergaard:
A Comparison of Three Occur-Check Analysers. SAS 1996: 159-173 - [c10]Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey:
Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. SAS 1996: 385-386 - 1995
- [c9]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: 222-239 - 1994
- [j10]Kim Marriott, Harald Søndergaard, Neil D. Jones:
Denotational Abstract Interpretation of Logic Programs. ACM Trans. Program. Lang. Syst. 16(3): 607-648 (1994) - [c8]Tania Armstrong, Kim Marriott, Peter Schachte, Harald Søndergaard:
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. SAS 1994: 266-280 - 1993
- [j9]Kim Marriott, Harald Søndergaard:
Precise and Efficient Groundness Analysis for Logic Programs. LOPLAS 2(1-4): 181-196 (1993) - [j8]Kim Marriott, Harald Søndergaard:
Difference-List Transformation for Prolog. New Gener. Comput. 11(2): 125-157 (1993) - 1992
- [j7]Harald Søndergaard, Peter Sestoft:
Non-Determinism in Functional Languages. Comput. J. 35(5): 514-523 (1992) - [j6]Kim Marriott, Harald Søndergaard:
Bottom-Up Dataflow Analysis of Normal Logic Programs. J. Log. Program. 13(2&3): 181-204 (1992) - 1990
- [j5]Harald Søndergaard, Peter Sestoft:
Referential Transparency, Definiteness and Unfoldability. Acta Informatica 27(6): 505-517 (1990) - [c7]Kim Marriott, Harald Søndergaard:
Analysis of Constraint Logic Programs. NACLP 1990: 531-547 - [c6]Kim Marriott, Harald Søndergaard, Philip W. Dart:
A Characterization of Non-Floundering Logic Programs. NACLP 1990: 661-680
1980 – 1989
- 1989
- [j4]Neil D. Jones, Peter Sestoft, Harald Søndergaard:
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation. LISP Symb. Comput. 2(1): 9-50 (1989) - [j3]Kim Marriott, Harald Søndergaard:
On prolog and the occur check problem. ACM SIGPLAN Notices 24(5): 76-82 (1989) - [c5]Kim Marriott, Harald Søndergaard:
Semantics-Based Dataflow Analysis of Logic Programs. IFIP Congress 1989: 601-606 - 1988
- [j2]Peter Sestoft, Harald Søndergaard:
A bibliography on partial evaluation. ACM SIGPLAN Notices 23(2): 19-26 (1988) - [c4]Kim Marriott, Harald Søndergaard:
Bottom-up Abstract Interpretation of Logic Programs. ICLP/SLP 1988: 733-748 - 1987
- [c3]Neil D. Jones, Peter Sestoft, Harald Søndergaard:
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). MFPS 1987: 386-413 - 1986
- [c2]Harald Søndergaard:
An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. ESOP 1986: 327-338 - 1985
- [j1]Neil D. Jones, Peter Sestoft, Harald Søndergaard:
An experiment in partial evaluation: the generation of a compiler generator. ACM SIGPLAN Notices 20(8): 82-87 (1985) - [c1]Neil D. Jones, Peter Sestoft, Harald Søndergaard:
An Experiment in Partial Evaluation: The Generation of a Compiler Generator. RTA 1985: 124-140
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
