1. Functional Programming Oriented Software Design: A Systematic Literature Review;2023 11th International Conference in Software Engineering Research and Innovation (CONISOFT);2023-11-06
2. Bridging the Syntax-Semantics Gap of Programming;Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2022-11-29
3. SASIL: a domain-specific language for simulating declarative specifications of scheduling systems;Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity;2020-11-15
4. An Overview of Practical Impacts of Functional Programming;2017 24th Asia-Pacific Software Engineering Conference Workshops (APSECW);2017-12
5. Real-Time Animator and Requirements Traceability;Using Event-B for Critical Device Software Systems;2013