Our paper Sound Gradual Verification with Symbolic Execution was accepted for publication at POPL’24!
