Journals and Conferences that author prefers

Journals

1. ACM Trans. Program. Lang. Syst. (3 paper(s))
2. IEEE Trans. Software Eng. (2 paper(s))
3. Electr. Notes Theor. Comput. Sci. (2 paper(s))
4. Advances in Computers (1 paper(s))
5. Acta Inf. (1 paper(s))
6. Comput. J. (1 paper(s))
7. Computer Languages, Systems & Structures (1 paper(s))
8. IEEE Computer (1 paper(s))
9. Inf. Process. Lett. (1 paper(s))
10. J. Funct. Program. (1 paper(s))
11. SIAM J. Comput. (1 paper(s))
12. SIGPLAN Notices (1 paper(s))
13. Theor. Comput. Sci. (1 paper(s))

Conferences

1. International Conference on Software Engineering (ICSE) (4 paper(s))
2. ACM SIGPLAN Conferences and Workshops (2 paper(s))
3. Advanced Functional Programming (1 paper(s))
4. Ada Conferences (1 paper(s))
5. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (1 paper(s))
6. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
7. TAPSOFT (1 paper(s))
8. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
9. Graph Reduction (1 paper(s))
10. International Conference on Distributed Computing Systems (ICDCS) (1 paper(s))
11. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
12. Object-Oriented Real-Time Distributed Computing (1 paper(s))
13. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
14. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
15. Programming Concepts, Methods and Calculi (PROCOMET) (1 paper(s))
16. Semantics, Applications, and Implementation of Program Generation (SAIG) (1 paper(s))