Journals and Conferences that author prefers

Journals

1. ACM Comput. Surv. (1 paper(s))
2. Electr. Notes Theor. Comput. Sci. (1 paper(s))
3. Information & Software Technology (1 paper(s))
4. Sci. Comput. Program. (1 paper(s))
5. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. Symposium on Principles of Programming Languages (POPL) (4 paper(s))
2. (3 paper(s))
3. Static Analysis (WSA/SAS) (3 paper(s))
4. European Symposium on Programming (ESOP) (1 paper(s))
5. International Conference on Coordination Models and Languages (COORDINATION) (1 paper(s))
6. International Conference on Software Engineering (ICSE) (1 paper(s))
7. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
8. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (1 paper(s))
9. Workshop on Program Analysis For Software Tools and Engineering (PASTE) (1 paper(s))
10. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))
11. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (1 paper(s))
12. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
13. Rewriting Techniques and Applications (RTA) (1 paper(s))
14. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
15. Birthday ... (1 paper(s))