Home › Authors › Shriram Krishnamurthi Shriram Krishnamurthi 2 books Biography computer scientist Books by Shriram Krishnamurthi How to Design Programs, Second How to Design Programs, Second Edition 2018 Proceedings of the 8th ACM SIG Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering 2008
