Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SpaceSearch: a library for building and verifying solver-aided tools.

K. Weitz, S. Lyubomirsky, S. Heule, E. Torlak, M. Ernst, and Z. Tatlock. Proc. ACM Program. Lang., 1 (ICFP): 25:1-25:28 (2017)

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. You can also use the button next to the name to display some publications already assigned to the person.

Ilya Lyubomirsky

Adolf Steven

Steven Kaplan

Steven Liu

Steven Ding

Other publications of authors with the same name

Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface.B. Huang, S. Lyubomirsky, Y. Li, M. He, G. Smith, T. Tambe, A. Gaonkar, V. Canumalla, A. Cheung, G. Wei and 3 other author(s). ACM Trans. Design Autom. Electr. Syst., 29 (2): 35:1-35:25 (March 2024)Relay: A High-Level IR for Deep Learning.J. Roesch, S. Lyubomirsky, M. Kirisame, J. Pollock, L. Weber, Z. Jiang, T. Chen, T. Moreau, and Z. Tatlock. CoRR, (2019)FPGA Technology Mapping Using Sketch-Guided Program Synthesis.G. Smith, B. Kushigian, V. Canumalla, A. Cheung, S. Lyubomirsky, S. Porncharoenwase, R. Just, G. Bernstein, and Z. Tatlock. CoRR, (2024)Pure tensor program rewriting via access patterns (representation pearl).G. Smith, A. Liu, S. Lyubomirsky, S. Davidson, J. McMahan, M. Taylor, L. Ceze, and Z. Tatlock. MAPS@PLDI, page 21-31. ACM, (2021)Dynamic Tensor Rematerialization.M. Kirisame, S. Lyubomirsky, A. Haan, J. Brennan, M. He, J. Roesch, T. Chen, and Z. Tatlock. ICLR, OpenReview.net, (2021)Specialized Accelerators and Compiler Flows: Replacing Accelerator APIs with a Formal Software/Hardware Interface.B. Huang, S. Lyubomirsky, Y. Li, M. He, T. Tambe, G. Smith, A. Gaonkar, V. Canumalla, G. Wei, A. Gupta and 2 other author(s). CoRR, (2022)Dynamic Tensor Rematerialization.M. Kirisame, S. Lyubomirsky, A. Haan, J. Brennan, M. He, J. Roesch, T. Chen, and Z. Tatlock. CoRR, (2020)Compiler and Runtime Techniques for Optimizing Deep Learning ApplicationsS. Lyubomirsky. University of Washington, USA, (2022)Relay: a new IR for machine learning frameworks.J. Roesch, S. Lyubomirsky, L. Weber, J. Pollock, M. Kirisame, T. Chen, and Z. Tatlock. MAPL@PLDI, page 58-68. ACM, (2018)Relax: Composable Abstractions for End-to-End Dynamic Machine Learning.R. Lai, J. Shao, S. Feng, S. Lyubomirsky, B. Hou, W. Lin, Z. Ye, H. Jin, Y. Jin, J. Liu and 9 other author(s). CoRR, (2023)

BibSonomy

Disambiguation of "Lyubomirsky, Steven"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SpaceSearch: a library for building and verifying solver-aided tools.

Please choose a person to relate this publication to

Ilya Lyubomirsky

Adolf Steven

Steven Kaplan

Steven Liu

Steven Ding

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Lyubomirsky, Steven"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML SpaceSearch: a library for building and verifying solver-aided tools.

Please choose a person to relate this publication to

Ilya Lyubomirsky

Adolf Steven

Steven Kaplan

Steven Liu

Steven Ding

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

SpaceSearch: a library for building and verifying solver-aided tools.