The paper Replication of a Deductive Synthesizer for Programs with Pointers written by Serge Johanns and Marieke Huisman has been accepted the RRRR workshop at ETAPS.