Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (2 paper(s))
2. Theor. Comput. Sci. (2 paper(s))
3. CoRR (2 paper(s))
4. Higher-Order and Symbolic Computation (1 paper(s))
5. J. Log. Comput. (1 paper(s))
6. Sci. Comput. Program. (1 paper(s))
7. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. (9 paper(s))
2. Symposium on Principles of Programming Languages (POPL) (4 paper(s))
3. IEEE Computer Security Foundations Workshop (CSFW) (3 paper(s))
4. European Symposium on Programming (ESOP) (3 paper(s))
5. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (2 paper(s))
6. Functional Programming Workshops (2 paper(s))
7. Asian Symposium on Programming Languages and Systems (1 paper(s))
8. Parallel Architectures and Languages Europe (PARLE) (1 paper(s))
9. Asian Computing Science Conference (ASIAN) (1 paper(s))
10. Birthday ... (1 paper(s))
11. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
12. International Conference on Coordination Models and Languages (COORDINATION) (1 paper(s))
13. Static Analysis (WSA/SAS) (1 paper(s))
14. Ershov Memorial Conference (1 paper(s))
15. IEEE Symposium on Security and Privacy (S&P) (1 paper(s))
16. International Conference on Security in Pervasive Computing (1 paper(s))
17. TAPSOFT (1 paper(s))
18. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))
19. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
20. Imperial College Workshops (1 paper(s))
21. Languages and Compilers for Parallel Computing (LCPC) (1 paper(s))
22. Process Algebra and Probabilistic Methods (1 paper(s))