Journals and Conferences that author prefers

Journals

1. ACM Comput. Surv. (3 paper(s))
2. Higher-Order and Symbolic Computation (3 paper(s))
3. Theor. Comput. Sci. (2 paper(s))
4. ACM Trans. Program. Lang. Syst. (2 paper(s))
5. Bioinformatics (1 paper(s))
6. Commun. ACM (1 paper(s))
7. IEEE Computer (1 paper(s))
8. J. Funct. Program. (1 paper(s))
9. LOPLAS (1 paper(s))
10. SIGPLAN Notices (1 paper(s))

Conferences

1. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (11 paper(s))
2. (11 paper(s))
3. Field-Programmable Logic and Applications (FPL) (4 paper(s))
4. ACM Conference on LISP and Functional Programming (LFP) (2 paper(s))
5. International Conference on Automated Deduction (CADE) (2 paper(s))
6. Computer Aided Verification (CAV) (2 paper(s))
7. Symposium on Principles of Programming Languages (POPL) (2 paper(s))
8. Static Analysis (WSA/SAS) (2 paper(s))
9. Advanced Functional Programming (1 paper(s))
10. IEEE Symposium on Security and Privacy (S&P) (1 paper(s))
11. ACS/IEEE International Conference on Computer Systems and Applications (1 paper(s))
12. Logic in Computer Science (LICS) (1 paper(s))
13. International Workshop on Structural and Syntactic Pattern Recognition (SSPR) (1 paper(s))
14. Asia-Pacific Software Engineering Conference (1 paper(s))
15. Mobile Agents and Security (1 paper(s))
16. Tools and Algorithms for Construction and Analysis of Systems (TACAS) (1 paper(s))
17. Mathematical Foundations of Programming Semantics (1 paper(s))
18. TAPSOFT (1 paper(s))
19. Operating Systems Design and Implementation (OSDI) (1 paper(s))
20. Types in Language Design and Implementation (TLDI) / Types in Compilation (TIC) (1 paper(s))
21. European Symposium on Programming (ESOP) (1 paper(s))
22. Practical Aspects of Declarative Languages (PADL) (1 paper(s))
23. (1 paper(s))
24. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (1 paper(s))
25. International Conference on Computational Science (ICCS) (1 paper(s))
26. High-Performance Computing and Networking (HPCN Europe) (1 paper(s))
27. International Conference on Robotics and Automation (ICRA) (1 paper(s))
28. International Conference on Computer Languages (ICCL) (1 paper(s))
29. (1 paper(s))
30. International Conference on Pattern Recognition (ICPR) (1 paper(s))
31. Product Focused Software Process Improvement (PROFES) (1 paper(s))
32. IEEE Symposium on Information Visualization (INFOVIS) (1 paper(s))
33. International Parallel (and Distributed) Processing Symposium (IP(D)PS) (1 paper(s))
34. ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (SDE) (1 paper(s))
35. IEEE International Symposium on Circuits and Systems (ISCAS) (1 paper(s))
36. ACM SenSys (1 paper(s))