The list of accepted papers and their abstracts are shown below, in no particular order. Regular Research Papers: Meng Wang, Shayan Najd: Semantic Bidirectionalization ...
The PEPM Symposium/Workshop series aims at bringing together researchers and practitioners working in the areas of program manipulation, partial evaluation, and program ...