Journals and Conferences that author prefers

Journals

1. IEEE Software (2 paper(s))
2. ACM Trans. Program. Lang. Syst. (2 paper(s))
3. Commun. ACM (1 paper(s))
4. Concurrency and Computation: Practice and Experience (1 paper(s))
5. Inf. Process. Lett. (1 paper(s))
6. Higher-Order and Symbolic Computation (1 paper(s))

Conferences

1. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (2 paper(s))
2. COMPCON (2 paper(s))
3. Symposium on Programming Language Implementation and Logic Programming (PLILP) (2 paper(s))
4. International Conference on Logic Programming (2 paper(s))
5. Automated Technology for Verification and Analysis (1 paper(s))
6. IEEE INFOCOM (1 paper(s))
7. C++ Conference (1 paper(s))
8. Correct Hardware Design and Verification Methods (CHARME) (1 paper(s))
9. Java Grande (1 paper(s))
10. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
11. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
12. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (1 paper(s))
13. Fifth Generation Computer Systems (1 paper(s))
14. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))
15. Graph Reduction (1 paper(s))
16. International Conference on Computational Science (ICCS) (1 paper(s))
17. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
18. International Conference on Computer Languages (ICCL) (1 paper(s))
19. ACM SIGPLAN Conferences and Workshops (1 paper(s))
20. International Conference on Distributed Computing Systems (ICDCS) (1 paper(s))
21. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
22. IEEE International Conference on Formal Engineering Methods (1 paper(s))
23. Statistical and Scientific Database Management (SSDBM) (1 paper(s))
24. Symposium on the Theory of Computing (STOC) (1 paper(s))
25. International Conference on Software Engineering (ICSE) (1 paper(s))
26. TAPSOFT (1 paper(s))