Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. ACM Trans. Program. Lang. Syst. (2 paper(s))
3. Acta Inf. (1 paper(s))
4. CoRR (1 paper(s))
5. Logic Journal of the IGPL (1 paper(s))
6. Inf. Process. Lett. (1 paper(s))
7. J. ACM (1 paper(s))
8. J. Log. Algebr. Program. (1 paper(s))
9. Nord. J. Comput. (1 paper(s))
10. Theor. Comput. Sci. (1 paper(s))
11. IEEE Trans. Dependable Sec. Comput. (1 paper(s))

Conferences

1. Static Analysis (WSA/SAS) (7 paper(s))
2. Symposium on Principles of Programming Languages (POPL) (7 paper(s))
3. European Symposium on Programming (ESOP) (6 paper(s))
4. Compiler Construction (CC) (5 paper(s))
5. Computer Aided Verification (CAV) (4 paper(s))
6. Verification, Model Checking and Abstract Interpretation (VMCAI) (3 paper(s))
7. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (3 paper(s))
8. Foundations of Software Engineering (SIGSOFT FSE) (2 paper(s))
9. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (2 paper(s))
10. International Symposium/Workshop on Memory Management (ISMM/IWMM) (2 paper(s))
11. International Conference on Automated Deduction (CADE) (1 paper(s))
12. Conference for Computer Science Logic (CSL) (1 paper(s))
13. TAPSOFT (1 paper(s))
14. IFIP World Computer Congress (1 paper(s))
15. (1 paper(s))
16. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))
17. Logic in Computer Science (LICS) (1 paper(s))
18. Workshop on Program Analysis For Software Tools and Engineering (PASTE) (1 paper(s))
19. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))