Zachary Tatlock
About
Zachary Tatlock has authored 36 papers that have received a total of 323 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.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Galyna P. Volynets Breakdown of academic impact, for papers by Chiara Panetta Breakdown of academic impact, for papers by Parham Pezeshk Breakdown of academic impact, for papers by Paola Cristina Resende Breakdown of academic impact, for papers by Yee Hui Robin Chang Breakdown of academic impact, for papers by Juana Catarina Cariri Chagas Breakdown of academic impact, for papers by Szczepan Wiecha Breakdown of academic impact, for papers by Mardênia Gomes Ferreira Vasconcelos