Journals and Conferences that author prefers

Journals

1. J. Funct. Program. (2 paper(s))
2. Sci. Comput. Program. (2 paper(s))
3. ACM Trans. Program. Lang. Syst. (2 paper(s))
4. Electr. Notes Theor. Comput. Sci. (1 paper(s))
5. Inf. Process. Lett. (1 paper(s))
6. Theor. Comput. Sci. (1 paper(s))
7. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. (9 paper(s))
2. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (7 paper(s))
3. Symposium on Principles of Programming Languages (POPL) (6 paper(s))
4. European Symposium on Programming (ESOP) (4 paper(s))
5. SPIN (3 paper(s))
6. Computer Aided Verification (CAV) (2 paper(s))
7. Types In Languages Design And Implementation (2 paper(s))
8. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
9. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
10. Static Analysis (WSA/SAS) (1 paper(s))
11. European Conference on Object-Oriented Programming (ECOOP) (1 paper(s))
12. Types in Language Design and Implementation (TLDI) / Types in Compilation (TIC) (1 paper(s))
13. International Workshop on Formal Approaches to Testing of Software (1 paper(s))
14. World Congress on Formal Methods (FM) (1 paper(s))
15. (1 paper(s))
16. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
17. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
18. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))
19. Workshop on Program Analysis For Software Tools and Engineering (PASTE) (1 paper(s))
20. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))