Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (4 paper(s))
2. ACM Trans. Program. Lang. Syst. (2 paper(s))
3. Inf. Comput. (1 paper(s))
4. Sci. Comput. Program. (1 paper(s))

Conferences

1. Symposium on Principles of Programming Languages (POPL) (6 paper(s))
2. Computer Aided Verification (CAV) (5 paper(s))
3. Static Analysis (WSA/SAS) (5 paper(s))
4. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (5 paper(s))
5. Compiler Construction (CC) (4 paper(s))
6. International Conference on Automated Deduction (CADE) (3 paper(s))
7. Operating Systems Design and Implementation (OSDI) (3 paper(s))
8. European Symposium on Programming (ESOP) (2 paper(s))
9. Types In Languages Design And Implementation (2 paper(s))
10. ISSS (2 paper(s))
11. Logic in Computer Science (LICS) (2 paper(s))
12. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
13. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
14. Symposium on Operating Systems Principles (SOSP) (1 paper(s))
15. IEEE Symposium on Security and Privacy (S&P) (1 paper(s))
16. Fuji International Symposium on Functional and Logic Programming (1 paper(s))
17. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
18. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
19. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
20. (1 paper(s))
21. Mobile Agents and Security (1 paper(s))
22. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (1 paper(s))