From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.

S. Pernsteiner, C. Loncaric, E. Torlak, Z. Tatlock, X. Wang, M. Ernst, и J. Jacky. CAV (2), том 9780 из Lecture Notes in Computer Science, стр. 23-41. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Zachary Dotscheff

Zachary Evenson

Zachary Hayes

Zachary Taylor

Zachary J Evenson

Другие публикации лиц с тем же именем

QED at Large: A Survey of Engineering of Formally Verified Software.T. Ringer, K. Palmskog, I. Sergey, M. Gligoric, и Z. Tatlock. Found. Trends Program. Lang., 5 (2-3): 102-281 (2019)Dynamic Tensor Rematerialization.M. Kirisame, S. Lyubomirsky, A. Haan, J. Brennan, M. He, J. Roesch, T. Chen, и Z. Tatlock. ICLR, OpenReview.net, (2021)Pure tensor program rewriting via access patterns (representation pearl).G. Smith, A. Liu, S. Lyubomirsky, S. Davidson, J. McMahan, M. Taylor, L. Ceze, и Z. Tatlock. MAPS@PLDI, стр. 21-31. ACM, (2021)Better Together: Unifying Datalog and Equality Saturation.Y. Zhang, Y. Wang, O. Flatt, D. Cao, P. Zucker, E. Rosenthal, Z. Tatlock, и M. Willsey. Proc. ACM Program. Lang., 7 (PLDI): 468-492 (2023)Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference.H. Shen, J. Roesch, Z. Chen, W. Chen, Y. Wu, M. Li, V. Sharma, Z. Tatlock, и Y. Wang. MLSys, mlsys.org, (2021)Automatically improving accuracy for floating point expressions.P. Panchekha, A. Sanchez-Stern, J. Wilcox, и Z. Tatlock. PLDI, стр. 1-11. ACM, (2015)Carpentry compiler.C. Wu, H. Zhao, C. Nandi, J. Lipton, Z. Tatlock, и A. Schulz. ACM Trans. Graph., 38 (6): 195:1-195:14 (2019)Planning for change in a formal verification of the raft consensus protocol.D. Woos, J. Wilcox, S. Anton, Z. Tatlock, M. Ernst, и T. Anderson. CPP, стр. 154-165. ACM, (2016)Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler.H. Becker, E. Darulova, M. Myreen, и Z. Tatlock. CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 155-173. Springer, (2019)Synthesizing structured CAD models with equality saturation and inverse transformations.C. Nandi, M. Willsey, A. Anderson, J. Wilcox, E. Darulova, D. Grossman, и Z. Tatlock. PLDI, стр. 31-44. ACM, (2020)

BibSonomy

Disambiguation