Journals and Conferences that author prefers

Journals

1. ACM Comput. Surv. (3 paper(s))
2. Electr. Notes Theor. Comput. Sci. (3 paper(s))
3. Sci. Comput. Program. (3 paper(s))
4. Theor. Comput. Sci. (3 paper(s))
5. Higher-Order and Symbolic Computation (2 paper(s))
6. Computer Languages, Systems & Structures (1 paper(s))
7. Formal Asp. Comput. (1 paper(s))
8. Mathematical Structures in Computer Science (1 paper(s))
9. SIGPLAN Notices (1 paper(s))
10. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. (8 paper(s))
2. Static Analysis (WSA/SAS) (6 paper(s))
3. European Symposium on Programming (ESOP) (3 paper(s))
4. Compiler Construction (CC) (2 paper(s))
5. Mathematical Foundations of Programming Semantics (2 paper(s))
6. Asian Symposium on Programming Languages and Systems (1 paper(s))
7. Birthday ... (1 paper(s))
8. International Conference on Automated Deduction (CADE) (1 paper(s))
9. Category Theory and Computer Science (1 paper(s))
10. Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS) (1 paper(s))
11. Practical Aspects of Declarative Languages (PADL) (1 paper(s))
12. Programs as Data Objects (1 paper(s))
13. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
14. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))