Symposium on Practical Aspects of Declarative Languages

• Session Chair of Declarative Approaches to Testing and Debugging (part of PADL 2021)
• A Family of Unification-oblivious Program Transformations and Their Applications
• Committee Member in Programme Committee within the PADL 2021-track