Peter Schachte

Peter contributes research that makes software checks more faithful to real execution. The interval-analysis work handles fixed-width arithmetic correctly, while the memory-safety paper establishes a way to check safety conditions across language boundaries. These methods are relevant to researchers and engineers developing program-analysis and verification tools, helping address behaviour that simpler models can miss.

Peter Schachte is Senior Lecturer in Software Engineering at the University of Melbourne, researching program analysis and programming-language mechanisms for software correctness. In 2015, Peter co-authored research into interval analysis to track numerical ranges in programs while accounting for the fixed bounds and wrap-around behaviour of machine-integer arithmetic. The approach delivers precise, sound results at modest execution cost.

At APLAS 2025, Peter co-authored Memory Safety: Uniqueness as Separation, addressing the challenge of verifying memory safety when code written in languages with contrasting safety guarantees operates together. Applying separation logic to reason about memory regions altered during execution, the study demonstrates how to establish sound safety conditions across language boundaries.