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
Last modified: Wed Apr 16 08:41:47 EDT 2014