The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Andrew W. Appel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. J. Funct. Program. (5 paper(s))
  2. ACM Trans. Program. Lang. Syst. (5 paper(s))
  3. Higher-Order and Symbolic Computation (4 paper(s))
  4. Softw., Pract. Exper. (4 paper(s))
  5. SIGPLAN Notices (3 paper(s))
  6. Commun. ACM (2 paper(s))
  7. CoRR (2 paper(s))
  8. Electr. Notes Theor. Comput. Sci. (2 paper(s))
  9. Inf. Process. Lett. (1 paper(s))
  10. J. Autom. Reasoning (1 paper(s))
  11. IEEE Trans. on CAD of Integrated Circuits and Systems (1 paper(s))
  12. ACM Trans. Softw. Eng. Methodol. (1 paper(s))
  13. TPLP (1 paper(s))

Conferences

  1. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (7 paper(s))
  2. Symposium on Principles of Programming Languages (POPL) (7 paper(s))
  3. (5 paper(s))
  4. ACM Conference on LISP and Functional Programming (LFP) (3 paper(s))
  5. Conference on Functional Programming Languages and Computer Architecture (FPCA) (2 paper(s))
  6. Verification, Model Checking and Abstract Interpretation (VMCAI) (2 paper(s))
  7. Logic in Computer Science (LICS) (2 paper(s))
  8. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (1 paper(s))
  9. International Conference on Automated Deduction (CADE) (1 paper(s))
  10. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
  11. Conference on Computer and Communications Security (CCS) (1 paper(s))
  12. (1 paper(s))
  13. Principles and Practice of Declarative Programming (PPDP) (1 paper(s))
  14. Domain-Specific Languages (DSL) (1 paper(s))
  15. ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems (1 paper(s))
  16. Foundations of Software Engineering (SIGSOFT FSE) (1 paper(s))
  17. ACM SIGPLAN International Conference on Functional Programming (ICFP) (1 paper(s))
  18. IEEE Symposium on Security and Privacy (S&P) (1 paper(s))
  19. International Conference on Logic Programming (1 paper(s))
  20. IEEE Symposium on Information Visualization (INFOVIS) (1 paper(s))
  21. International Conference on Theorem Proving in Higher Order Logics (1 paper(s))
  22. Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) (1 paper(s))
  23. Workshop on Parallel and Distributed Debugging (1 paper(s))
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002