Jeremy G. Siek

41 papers and 763 indexed citations i.

Jeremy G. Siek has authored 41 papers that have received a total of 763 indexed citations. This includes 33 papers in Artificial Intelligence, 18 papers in Hardware and Architecture and 17 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (31 papers), Parallel Computing and Optimization Techniques (17 papers) and Software Engineering Research (16 papers). Jeremy G. Siek is often cited by papers focused on Logic, programming, and type systems (31 papers), Parallel Computing and Optimization Techniques (17 papers) and Software Engineering Research (16 papers) and collaborates with scholars based in United States, United Kingdom and Germany. Jeremy G. Siek's co-authors include Andrew Lumsdaine, Philip Wadler, Jaakko Järvi, Ian Karlin and Jeremiah Willcock and has published in prestigious journals such as ACM Transactions on Mathematical Software, ACM SIGPLAN Notices and Computing in Science & Engineering.