Journals and Conferences that author prefers

Journals

1. ACM Comput. Surv. (2 paper(s))
2. New Generation Comput. (2 paper(s))
3. CoRR (2 paper(s))
4. Higher-Order and Symbolic Computation (1 paper(s))
5. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (12 paper(s))
2. (5 paper(s))
3. International Conference on Logic Programming (5 paper(s))
4. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (3 paper(s))
5. Static Analysis (WSA/SAS) (3 paper(s))
6. Symposium on Logic Programming (SLP / ILPS / NACLP) (2 paper(s))
7. International Conference on Automated Deduction (CADE) (1 paper(s))
8. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
9. Publications Resulting from Dagstuhl Seminars (1 paper(s))
10. European Conference on Artificial Intelligence (ECAI) (1 paper(s))
11. International Workshop on Meta-Programming in Logic (META) (1 paper(s))
12. Practical Aspects of Declarative Languages (PADL) (1 paper(s))
13. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
14. Source Code Analysis and Manipulation (1 paper(s))
15. IEEE International Conference on Systems, Man, and Cybernetics (1 paper(s))