Prof Harald Sondergaard
Honorary Professorial Fellow
School of Computing and Information Systems
123 Scholarly works
5 Projects
HIGHLIGHTS
2024
Book
Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9–10, 2024, Proceedings
2024
Journal article
A lightweight approach to nontermination inference using Constrained Horn Clauses
DOI: 10.1007/s10270-024-01161-52024
Conference Proceedings
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)
DOI: 10.1145/3635800.36374452024
Journal article
Preface
2022
Conference Proceedings
Teaching Simple Constructive Proofs with Haskell Programs
DOI: 10.4204/EPTCS.363.42022
Conference Proceedings
Programming to Learn: Logic and Computation from a Programming Perspective
DOI: 10.1145/3502718.35248142022
Conference Proceedings
String Abstract Domains and Their Combination
DOI: 10.1007/978-3-030-98869-2_1
RECENT SCHOLARLY WORKS
2021
Journal article
Transformation-Enabled Precondition Inference
DOI: 10.1017/S14710684210002722021
Journal article
A Fresh Look at Zones and Octagons
DOI: 10.1145/34578852021
Conference Proceedings
Lightweight Nontermination Inference with CHCs
DOI: 10.1007/978-3-030-92124-8_22
RECENT PROJECTS
2015
Research Grant
Effective Software Vulnerability Detection for Web Services
2015
Research Grant
Effective Software Vulnerability Detection for Web Services
2014
Research Grant
Analysing Computer Arithmetic to Improve Software Reliability
2011
Research Grant
Automatic Software Verification: Harnessing Constraint Technologies
Research Grant
ARC Centre for Perceptive and Intelligent Machines in Complex Environments