Associate Professor Harald Sondergaard

  • Room: Level: 08 Room: 8.16
  • Building: Doug McDonell Building
  • Campus: Parkville

Research interests

  • Boolean functions (Data structures and algorithms for Boolean functions)
  • Fixed point theory (Lattices; Order; Algorithms)
  • Program transformation (Compilation; Partial evaluation)
  • Programming languages (Programming language semantics; Declarative programming)
  • Software verification
  • Static analysis of software (Abstract interpretation)

Personal webpage

http://people.eng.unimelb.edu.au/harald/

Biography

Harald Søndergaard is a Professor in the School of Computing and Information Systems at the University of Melbourne. His primary research areas are software reliability and security, program analysis, software verification, and declarative programming languages.

Harald received an MSc in Computer Science in 1987 and a PhD in 1989, both from the University of Copenhagen. He has been a member of academic staff at the University of Melbourne since 1990, serving as Deputy Head of Department in 2002-2003, as Associate Dean (Learning) in the Engineering Faculty from November 2001 to June 2006, and as Assistant Dean (Teaching Quality) in the Melbourne School of Engineering from July 2007 to June 2009. 

Harald has received national awards for teaching excellence (the inaugural CORE Teaching Award 2007 and a citation from the Australian Learning and Teaching Council in the same year) in addition to many local university awards.  He has been a member of the University's Teaching and Learning Development Committee for more than a decade and he publishes regularly on engineering and computer science education.

Recent publications

  1. Kafle, B.; Gallagher, JP.; Gange, G.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. An iterative approach to precondition inference using constrained Horn clauses. Theory and Practice of Logic Programming. CAMBRIDGE UNIV PRESS. 2018, Vol. 18, Issue 3-4, pp. 553-570. DOI: 10.1017/S1471068418000091
  2. Amadini, R.; Gange, G.; Gauthier, F.; Jordan, A.; Schachte, P.; Sondergaard, H.; Stuckey, PJ.; Zhang, C. Reference Abstract Domains and Applications to String Analysis. Fundamenta Informaticae. IOS PRESS. 2018, Vol. 158, Issue 4, pp. 297-326. DOI: 10.3233/FI-2018-1650
  3. Alatawi, E.; Miller, T.; Sondergaard, H. Symbolic execution with invariant inlay: Evaluating the potential. Proceedings - 25th Australasian Software Engineering Conference, ASWEC 2018. IEEE Conference Publishing Services. 2018, pp. 26-30. DOI: 10.1109/ASWEC.2018.00012
  4. Wang, W.; S√łndergaard, H.; Stuckey, PJ. Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation. Journal of Automated Reasoning. 2018. DOI: 10.1007/s10817-018-9493-1
  5. Kafle, B.; Gange, G.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER INTERNATIONAL PUBLISHING AG. 2017, Vol. 10491, pp. 380-397. DOI: 10.1007/978-3-319-66263-3_24
  6. Amadini, R.; Jordan, A.; Gange, G.; Gauthier, F.; Schachte, P.; Sondergaard, H.; Stuckey, PJ.; Zhang, C. Combining String Abstract Domains for JavaScript Analysis: An Evaluation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER INTERNATIONAL PUBLISHING AG. 2017, Vol. 10205, pp. 41-57. DOI: 10.1007/978-3-662-54577-5_3
  7. Alatawi, E.; Sondergaard, H.; Miller, T. Leveraging Abstract Interpretation for Efficient Dynamic Symbolic Execution. ASE 2017 - Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering. IEEE. 2017, pp. 619-624. DOI: 10.1109/ASE.2017.8115672
  8. Mendoza, A.; Sondergaard, H.; Venables, A. Making sense of a learning management system's quiz analytics in understanding students' learning difficulties. . Australasian Association for Engineering Education. 2017, pp. 112-119.
  9. Wang, W.; Sondergaard, H.; Stuckey, PJ. A Bit-Vector Solver with Word-Level Propagation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER INT PUBLISHING AG. 2016, Vol. 9676, pp. 374-391. DOI: 10.1007/978-3-319-33954-2_27
  10. Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. A complete refinement procedure for regular separability of context-free languages. Theoretical Computer Science. ELSEVIER SCIENCE BV. 2016, Vol. 625, pp. 1-24. DOI: 10.1016/j.tcs.2016.01.026
  11. Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. An Abstract Domain of Uninterpreted Functions. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER INT PUBLISHING AG. 2016, Vol. 9583, pp. 85-103. DOI: 10.1007/978-3-662-49122-5_4
  12. Lin, Y.; Miller, T.; Sondergaard, H. Compositional Symbolic Execution: Incremental Solving Revisited. Proceedings - Asia-Pacific Software Engineering Conference, APSEC. IEEE. 2016, pp. 273-280. DOI: 10.1109/APSEC.2016.49
  13. Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. Exploiting Sparsity in Difference-Bound Matrices. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER INT PUBLISHING AG. 2016, Vol. 9837, pp. 189-211. DOI: 10.1007/978-3-662-53413-7_10
  14. Alatawi, E.; Miller, T.; Sondergaard, H. Generating Source Inputs for Metamorphic Testing Using Dynamic Symbolic Execution. Proceedings - International Conference on Software Engineering. IEEE. 2016, Vol. 16, pp. 19-25. DOI: 10.1145/2896971.2896980
  15. Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. A Tool for Intersecting Context-Free Grammars and Its Applications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER-VERLAG BERLIN. 2015, Vol. 9058, pp. 422-428. DOI: 10.1007/978-3-319-17524-9_31
  16. Cornish, JRM.; Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. Analyzing Array Manipulating Programs by Program Transformation. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). SPRINGER-VERLAG BERLIN. 2015, Vol. 8981, pp. 3-20. DOI: 10.1007/978-3-319-17822-6_1
  17. Lin, Y.; Miller, T.; Sondergaard, H. Compositional Symbolic Execution using Fine-Grained Summaries. 2015 24TH AUSTRALASIAN SOFTWARE ENGINEERING CONFERENCE (ASWEC 2015). IEEE. 2015, pp. 213-222. DOI: 10.1109/ASWEC.2015.32
  18. Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. Horn clauses as an intermediate representation for program analysis and transformation. Theory and Practice of Logic Programming. CAMBRIDGE UNIV PRESS. 2015, Vol. 15, Issue 4-5, pp. 526-542. DOI: 10.1017/S1471068415000204
  19. Gange, G.; Navas, JA.; Schachte, P.; Sondergaard, H.; Stuckey, PJ. Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss. ACM Transactions on Programming Languages and Systems. ASSOC COMPUTING MACHINERY. 2015, Vol. 37, Issue 1. DOI: 10.1145/2651360
  20. Davies, TO.; Pearce, AR.; Stuckey, PJ.; S√łndergaard, H. Optimisation and relaxation for multiagent planning in the situation calculus. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. International Foundation for Autonomous Agents and Multiagent Systems. 2015, Vol. 2, pp. 1141-1149.

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile