Wei-Ngan Chin

• Programming Languages and Systems
• Proceedings of the 14th Workshop on Formal Techniques for Java-Like Programs
• Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
• Theoretical Aspects of Software Engineering