Journals and Conferences that author prefers

Journals

1. ACM Trans. Program. Lang. Syst. (9 paper(s))
2. Inf. Comput. (6 paper(s))
3. J. Funct. Program. (6 paper(s))
4. ACM Comput. Surv. (4 paper(s))
5. Sci. Comput. Program. (3 paper(s))
6. SIGPLAN Notices (2 paper(s))
7. TAPOS (2 paper(s))
8. Inf. Process. Lett. (2 paper(s))
9. IEEE Trans. Software Eng. (2 paper(s))
10. Higher-Order and Symbolic Computation (2 paper(s))
11. Mathematical Structures in Computer Science (2 paper(s))
12. OOPS Messenger (2 paper(s))
13. Commun. ACM (1 paper(s))
14. Softw., Pract. Exper. (1 paper(s))
15. Formal Asp. Comput. (1 paper(s))
16. Theor. Comput. Sci. (1 paper(s))
17. ACM Trans. Embedded Comput. Syst. (1 paper(s))
18. J. Comput. Syst. Sci. (1 paper(s))
19. Journal of Object Technology (1 paper(s))
20. Nord. J. Comput. (1 paper(s))

Conferences

1. (9 paper(s))
2. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (6 paper(s))
3. European Conference on Object-Oriented Programming (ECOOP) (5 paper(s))
4. European Symposium on Programming (ESOP) (4 paper(s))
5. Static Analysis (WSA/SAS) (4 paper(s))
6. Logic in Computer Science (LICS) (3 paper(s))
7. Symposium on Principles of Programming Languages (POPL) (3 paper(s))
8. International Conference on Computer Languages (ICCL) (2 paper(s))
9. Asian Symposium on Programming Languages and Systems (2 paper(s))
10. International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES) (2 paper(s))
11. Languages, Compilers, and Tools for Embedded Systems (LCTES) (2 paper(s))
12. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (2 paper(s))
13. Foundations of Software Science and Computation Structure (FoSSaCS) (2 paper(s))
14. Foundations of Software Engineering (SIGSOFT FSE) (2 paper(s))
15. Annual Computer Security Applications Conference (1 paper(s))
16. Theoretical Aspects of Computer Software (TACS) (1 paper(s))
17. International Conference on Software Engineering (ICSE) (1 paper(s))
18. TAPSOFT (1 paper(s))
19. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
20. Information Processing in Sensor Networks (1 paper(s))
21. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
22. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))
23. Compiler Construction (CC) (1 paper(s))
24. International Computer Software and Applications Conference (COMPSAC) (1 paper(s))
25. Workshop on Program Analysis For Software Tools and Engineering (PASTE) (1 paper(s))
26. Annual Symposium on Foundations of Computer Science (FOCS) (1 paper(s))
27. IEEE Real Time Technology and Applications Symposium (1 paper(s))
28. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
29. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
30. ACM SenSys (1 paper(s))
31. Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT) (1 paper(s))