Zachary Tatlock

36 papers and 322 indexed citations i.

Zachary Tatlock has authored 36 papers that have received a total of 322 indexed citations. This includes 23 papers in Artificial Intelligence, 14 papers in Computational Theory and Mathematics and 12 papers in Software. The topics of these papers are Logic, programming, and type systems (17 papers), Software Testing and Debugging Techniques (12 papers) and Security and Verification in Computing (12 papers). Zachary Tatlock is often cited by papers focused on Logic, programming, and type systems (17 papers), Software Testing and Debugging Techniques (12 papers) and Security and Verification in Computing (12 papers) and collaborates with scholars based in United States, Singapore and United Kingdom. Zachary Tatlock's co-authors include Sorin Lerner, Pavel Panchekha, Max Willsey, James R. Wilcox and Michael D. Ernst and has published in prestigious journals such as ACM Transactions on Graphics, ACM SIGPLAN Notices and ACM Transactions on Design Automation of Electronic Systems