Harald Sndergaard
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
44
Venues
25
Active years
1986–2024
Best venue rank
A*
Where they publish
- BSAS7 papers
- CLOPSTR4 papers
- BITiCSE3 papers
- BVMCAI3 papers
- BAPLAS2 papers
- BCPAIOR2 papers
- ATACAS2 papers
- A*PLDI2 papers
- CACE2 papers
- BICLP2 papers
- CPEPM1 paper
- BSEFM1 paper
- AECAI1 paper
- CARITH1 paper
- ASAT1 paper
- CAPSEC1 paper
- A*ICSE1 paper
- ACADE1 paper
- BRV1 paper
- A*CAV1 paper
- AICFP1 paper
- AICDT1 paper
- ACP1 paper
- BMFPS1 paper
- AESOP1 paper
Papers
44 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | PEPM | The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). | Peter Sestoft, Harald Sndergaard |
| 2022 | ITiCSE | Programming to Learn: Logic and Computation from a Programming Perspective. | Matthew Farrugia-Roberts, Bryn Jeffries, Harald Sndergaard |
| 2021 | LOPSTR | String Abstract Domains and Their Combination. | Harald Sndergaard |
| 2021 | SAS | Disjunctive Interval Analysis. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2021 | SEFM | Lightweight Nontermination Inference with CHCs. | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2020 | ECAI | String Constraint Solving: Past, Present and Future. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2020 | LOPSTR | Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study. | Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | APLAS | Dissecting Widening: Separating Termination from Information. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | ARITH | Optimal Bounds for Floating-Point Addition in Constant Time. | Mak Andrlon, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2019 | CPAIOR | Constraint Programming for Dynamic Symbolic Execution of JavaScript. | Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2017 | SAT | A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. | Bishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2017 | TACAS | Combining String Abstract Domains for JavaScript Analysis: An Evaluation. | Roberto Amadini, Alexander Jordan, Graeme Gange, Franois Gauthier, Peter Schachte, Harald Sndergaard, Peter J. Stuckey, Chenyi Zhang |
| 2016 | APSEC | Compositional Symbolic Execution: Incremental Solving Revisited. | Yude Lin, Tim Miller, Harald Sndergaard |
| 2016 | CPAIOR | A Bit-Vector Solver with Word-Level Propagation. | Wenxi Wang, Harald Sndergaard, Peter J. Stuckey |
| 2016 | ICSE | Generating source inputs for metamorphic testing using dynamic symbolic execution. | Eman Alatawi, Tim Miller, Harald Sndergaard |
| 2016 | SAS | Exploiting Sparsity in Difference-Bound Matrices. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2016 | VMCAI | An Abstract Domain of Uninterpreted Functions. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2014 | LOPSTR | Analyzing Array Manipulating Programs by Program Transformation. | J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2013 | CADE | Solving Difference Constraints over Modular Arithmetic. | Graeme Gange, Harald Sndergaard, Peter J. Stuckey, Peter Schachte |
| 2013 | PLDI | A low overhead method for recovering unused memory inside regions. | Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Sndergaard |
| 2013 | SAS | Abstract Interpretation over Non-lattice Abstract Domains. | Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2013 | TACAS | Unbounded Model-Checking with Interpolation for Regular Language Constraints. | Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Sndergaard, Peter Schachte |
| 2012 | APLAS | Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. | Jorge A. Navas, Peter Schachte, Harald Sndergaard, Peter J. Stuckey |
| 2012 | PLDI | Towards region-based memory management for Go. | Matthew Davis, Peter Schachte, Zoltan Somogyi, Harald Sndergaard |
| 2010 | VMCAI | Automatic Abstraction for Congruences. | Andy King, Harald Sndergaard |
| 2009 | ITiCSE | Learning from and with peers: the different roles of student peer reviewing. | Harald Sndergaard |
| 2009 | RV | State Joining and Splitting for the Symbolic Execution of Binaries. | Trevor Hansen, Peter Schachte, Harald Sndergaard |
| 2008 | CAV | Inferring Congruence Equations Using SAT. | Andy King, Harald Sndergaard |
| 2006 | VMCAI | Closure Operators for ROBDDs. | Peter Schachte, Harald Sndergaard |
| 2005 | ACE | Making Connections: First Year Transition for Computer Science and Software Engineering Students. | Alistair Moffat, Baden Hughes, Harald Sndergaard, Paul Gruba |
| 2004 | ACE | What Drives Curriculum Change? | Paul Gruba, Alistair Moffat, Harald Sndergaard, Justin Zobel |
| 2002 | ICFP | Exception analysis for non-strict languages. | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Sndergaard |
| 2001 | ICLP | Higher-Precision Groundness Analysis. | Michael Codish, Samir Genaim, Harald Sndergaard, Peter J. Stuckey |
| 1999 | ITiCSE | A strategy for managing content complexity in algorithm animation. | Linda Stern, Harald Sndergaard, Lee Naish |
| 1998 | LOPSTR | Strictness Analysis as Finite-Domain Constraint Solving. | Tihomir Gabric, Kevin Glynn, Harald Sndergaard |
| 1997 | ICDT | Abstract Interpretation of Active Rules and its Use in Termination Analysis. | James Bailey, Lobel Crnogorac, Kotagiri Ramamohanarao, Harald Sndergaard |
| 1997 | SAS | Termination Analysis for Mercury. | Chris Speirs, Zoltan Somogyi, Harald Sndergaard |
| 1996 | SAS | A Comparison of Three Occur-Check Analysers. | Lobel Crnogorac, Andrew D. Kelly, Harald Sndergaard |
| 1996 | SAS | Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. | Andrew D. Kelly, Kim Marriott, Harald Sndergaard, Peter J. Stuckey |
| 1995 | CP | An Optimizing Compiler for CLP(R). | Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Sndergaard, Peter J. Stuckey, Roland H. C. Yap |
| 1994 | SAS | Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation. | Tania Armstrong, Kim Marriott, Peter Schachte, Harald Sndergaard |
| 1988 | ICLP | Bottom-up Abstract Interpretation of Logic Programs. | Kim Marriott, Harald Sndergaard |
| 1987 | MFPS | MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). | Neil D. Jones, Peter Sestoft, Harald Sndergaard |
| 1986 | ESOP | An Application of Abstract Interpretation of Logic Programs: Occur Check Reduction. | Harald Sndergaard |