1. Automatic Differentiation in Prolog;Theory and Practice of Logic Programming;2023-07
2. DNNFusion: accelerating deep neural networks execution with advanced operator fusion;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
3. Strictly declarative specification of sophisticated points-to analyses;ACM SIGPLAN Notices;2009-10-25
4. Making Mercury Programs Tail Recursive;Logic-Based Program Synthesis and Transformation;2000
5. An Automatic Transformation Strategy for Avoiding Unnecessary Variables in Logic Programs;Logic Program Synthesis and Transformation;1992