The SCEAS System
Navigation Menu

Journals and Conferences that author prefers


Dawson R. Engler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Journals

  1. ACM Trans. Comput. Syst. (2 paper(s))
  2. IEEE Trans. Software Eng. (2 paper(s))
  3. Electr. Notes Theor. Comput. Sci. (1 paper(s))
  4. ACM Queue (1 paper(s))
  5. Operating Systems Review (1 paper(s))
  6. IEEE/ACM Trans. Netw. (1 paper(s))
  7. ACM Trans. Program. Lang. Syst. (1 paper(s))
  8. Commun. ACM (1 paper(s))

Conferences

  1. Operating Systems Design and Implementation (OSDI) (6 paper(s))
  2. Symposium on Operating Systems Principles (SOSP) (5 paper(s))
  3. (5 paper(s))
  4. Foundations of Software Engineering (SIGSOFT FSE) (3 paper(s))
  5. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (3 paper(s))
  6. International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (2 paper(s))
  7. Conference on Computer and Communications Security (CCS) (2 paper(s))
  8. ACM SIGCOMM Conference (2 paper(s))
  9. ACM SIGOPS European Workshop (2 paper(s))
  10. IEEE Symposium on Security and Privacy (S&P) (2 paper(s))
  11. Static Analysis (WSA/SAS) (1 paper(s))
  12. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
  13. Domain-Specific Languages (DSL) (1 paper(s))
  14. Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo) (1 paper(s))
  15. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
  16. International Symposium om Computer Architecture (ISCA) (1 paper(s))
  17. SPIN (1 paper(s))
  18. Networked Systems Design and Implementation (1 paper(s))
  19. USENIX Technical Conference (1 paper(s))
  20. Verification, Model Checking and Abstract Interpretation (VMCAI) (1 paper(s))
  21. Workshop on Program Analysis For Software Tools and Engineering (PASTE) (1 paper(s))
  22. International Symposium on Software Testing and Analysis (ISSTA) (1 paper(s))
  23. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
  24. ACM Symposium on Access Control Models and Technologies (SACMAT) (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