Follow
Joshua Sobel
Joshua Sobel
PhD Student, University of Iowa
Verified email at uiowa.edu
Title
Cited by
Cited by
Year
A two-phase approach for conditional floating-point verification
D Lohar, C Jeangoudoux, J Sobel, E Darulova, M Christakis
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021
62021
AWLCO: All-Window Length Co-Occurrence
J Sobel, N Bertram, C Ding, F Nargesian, D Gildea
arXiv preprint arXiv:2011.14460, 2020
32020
Exact Distributed Sampling
SV Pemmaraju, JZ Sobel
International Colloquium on Structural Information and Communication …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–3