Search

People
Publications
Research Support

Paul Krogmeier

Latest

Decidable Synthesis of Programs with Uninterpreted Functions
Deciding Memory Safety for Single-Pass Heap-Manipulating Programs

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite