Jeremy G. Siek

41 papers and 758 indexed citations i.

About

Jeremy G. Siek has authored 41 papers that have received a total of 758 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, Sam Tobin-Hochstadt and Ian Karlin and has published in prestigious journals such as ACM Transactions on Mathematical Software, ACM SIGPLAN Notices and Computing in Science & Engineering

In The Last Decade

Rankless by CCL
2025