Dr Peter Schachte
Senior Lecturer in Software Engineering
School of Computing and Information Systems
70 Scholarly works
5 Projects
HIGHLIGHTS
2026
Journal article
Wybe: Design of a Programming Language
DOI: 10.3390/software50200142026
Book Chapter
The Memorist Tale: Every Thunk Every Cost All At Once
DOI: 10.1007/978-3-032-22720-1_172026
Book Chapter
Memory Safety: Uniqueness as Separation
DOI: 10.1007/978-981-95-3585-9_12024
Journal article
A lightweight approach to nontermination inference using Constrained Horn Clauses
DOI: 10.1007/s10270-024-01161-52021
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 SCHOLARLY WORKS
2021
Conference Proceedings
Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study
DOI: 10.1007/978-3-030-68446-4_102021
Conference Proceedings
Disjunctive Interval Analysis
DOI: 10.1007/978-3-030-88806-0_72020
Conference Proceedings
Abstract interpretation, symbolic execution and constraints
DOI: 10.4230/OASIcs.Gabbrielli.2020.7
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