Journals and Conferences that author prefers

Journals

1. ACM Trans. Program. Lang. Syst. (3 paper(s))
2. Sci. Comput. Program. (2 paper(s))
3. STTT (2 paper(s))
4. Acta Inf. (1 paper(s))
5. Commun. ACM (1 paper(s))
6. Information & Software Technology (1 paper(s))
7. IEEE Software (1 paper(s))
8. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. Symposium on Principles of Programming Languages (POPL) (4 paper(s))
2. Asian Symposium on Programming Languages and Systems (1 paper(s))
3. Computer Aided Verification (CAV) (1 paper(s))
4. Compiler Construction (CC) (1 paper(s))
5. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
6. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
7. International Symposium on Software Engineering for Parallel and Distributed Systems (1 paper(s))
8. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))
9. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))
10. Source Code Analysis and Manipulation (1 paper(s))
11. ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (SDE) (1 paper(s))
12. ACM SIGPLAN Conferences and Workshops (1 paper(s))
13. (1 paper(s))