Harald Søndergaard

109 papers A* 3A 9B 20C 10Journal 40Unranked 26

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