Our paper on enhancing deductive program synthesis with read-only permissions will appear at ESOP 2020.