Magazines

• Communications of the ACM
• IEEE Software
• Scientific American

Journals

• IEEE Transactions on Software Engineering
• ACM Transactions on Software Engineering and Methodology
• ACM Transactions on Parallel Computing
• ACM Transactions on Programming Languages and Systems
• Formal Methods in System Design
• International Journal of High Performance Computing Applications

Conference Proceedings

• ACM Conferences
• Software Engineering
  • FSE: Foundations of Software Engineering
  • ICSE: International Conference on Software Engineering
• Programming Languages
  • POPL: Symposium on Principles of Programming Languages
  • PLDI: Programming Language Design and Implementation
• Testing and Verification
  • CAV: Computer Aided Verification
  • VMCAI: Verification, Model Checking, and Abstract Interpretation
  • ISSTA: International Symposium on Software Testing and Analysis
• Parallel Programming and HPC
  • PPoPP: Principles and Practices of Parallel Programming
  • ICS: International Conference on Supercomputing
  • EuroMPI, previously EuroPVM/MPI
    • EuroMPI 2013, ACM
    • EuroMPI, Springer Proceedings (2010--2012)
    • EuroPVM/MPI, Springer Proceedings (1997--2009)
  • SCxx: Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis ("Supercomputing")
    • SC13

Blogs

• Embedded in Academia
• Matt Might's Blog
• Richard Lipton's Blog