[PEPM'24] Partial Evaluation of Reversible Flowchart Programs | ACM SIGPLAN | Podwise