Scott McPeak

7 papers and 669 indexed citations i.

Scott McPeak has authored 7 papers that have received a total of 669 indexed citations. This includes 7 papers in Artificial Intelligence, 3 papers in Information Systems and 3 papers in Hardware and Architecture. The topics of these papers are Security and Verification in Computing (5 papers), Logic, programming, and type systems (3 papers) and Software Engineering Research (3 papers). Scott McPeak is often cited by papers focused on Security and Verification in Computing (5 papers), Logic, programming, and type systems (3 papers) and Software Engineering Research (3 papers) and collaborates with scholars based in United States. Scott McPeak's co-authors include George C. Necula, Westley Weimer, Matthew Harren, Jeremy Condit and Dan Bonachea and has published in prestigious journals such as Communications of the ACM, ACM SIGPLAN Notices and ACM Transactions on Programming Languages and Systems.