Journals and Conferences that author prefers

Journals

1. J. Log. Algebr. Program. (13 paper(s))
2. ACM Trans. Program. Lang. Syst. (7 paper(s))
3. Softw., Pract. Exper. (3 paper(s))
4. IEEE Trans. Software Eng. (2 paper(s))
5. Commun. ACM (1 paper(s))
6. Concurrency and Computation: Practice and Experience (1 paper(s))
7. J. ACM (1 paper(s))
8. J. Symb. Comput. (1 paper(s))

Conferences

1. International Conference on Logic Programming (14 paper(s))
2. Symposium on Logic Programming (SLP / ILPS / NACLP) (9 paper(s))
3. Symposium on Principles of Programming Languages (POPL) (6 paper(s))
4. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (5 paper(s))
5. (4 paper(s))
6. Working Conference on Reverse Engineering (WCRE) (3 paper(s))
7. International Workshop on Program Comprehension (2 paper(s))
8. Compiler Construction (CC) (2 paper(s))
9. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (2 paper(s))
10. Static Analysis (WSA/SAS) (2 paper(s))
11. Technical Symposium on Computer Science Education (2 paper(s))
12. Algebraic Methodology and Software Technology (AMAST) (1 paper(s))
13. TAPSOFT (1 paper(s))
14. Automated Software Engineering (ASE) (1 paper(s))
15. Conference on Computer and Communications Security (CCS) (1 paper(s))
16. Languages, Compilers, and Tools for Embedded Systems (LCTES) (1 paper(s))
17. Workshop on Information Security Applications (1 paper(s))
18. Symposium on Code Generation and Optimization (1 paper(s))
19. International Workshop on Meta-Programming in Logic (META) (1 paper(s))
20. International Conference on Computational Logic (CL) (1 paper(s))
21. Practical Aspects of Declarative Languages (PADL) (1 paper(s))
22. European Conference on Parallel Processing (Euro-Par) (1 paper(s))
23. Fifth Generation Computer Systems (1 paper(s))
24. Conference on Functional Programming Languages and Computer Architecture (FPCA) (1 paper(s))
25. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
26. Protocol Specification, Testing and Verification (1 paper(s))
27. Workshop on Hot Topics in Operating Systems (HotOS) (1 paper(s))
28. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
29. Source Code Analysis and Manipulation (1 paper(s))
30. International Conference on Database Theory (ICDT) (1 paper(s))