Zachary Tatlock

Zachary Tatlock

University of Washington - Seattle / United States
Others
AD Scientific Index ID: 1684800
person_outline Zachary Tatlock's MOST POPULAR ARTICLES
1-) Verdi: A framework for formally verifying distributed system implementationsJR Wilcox, D Woos, P Panchekha, Z Tatlock, X Wang, MD Ernst, ...Proceedings of the 2015 ACM SIGPLAN Conference on Programming Language …, 2015333*2015
2-) Equality saturation: a new approach to optimizationR Tate, M Stepp, Z Tatlock, S LernerProceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 20092202009
3-) Automatically improving accuracy for floating point expressionsP Panchekha, A Sanchez-Stern, JR Wilcox, Z TatlockACM SIGPLAN Notices 50 (6), 1-11, 20152092015
4-) Egg: Fast and extensible equality saturationM Willsey, C Nandi, YR Wang, O Flatt, Z Tatlock, P PanchekhaProceedings of the ACM on Programming Languages 5 (POPL), 1-29, 20212212021
5-) SafeDispatch: Securing C++ Virtual Calls from Memory Corruption Attacks.D Jang, Z Tatlock, S LernerNDSS, 20142042014