AWLCO: All-Window Length Co-Occurrence. - Joshua Sobel; Noah Bertram; Chen Ding 001; Fatemeh Nargesian; Daniel Gildea (CPM, 2021)

A Two-Phase Approach for Conditional Floating-Point Verification. - Debasmita Lohar; Clothilde Jeangoudoux; Joshua Sobel; Eva Darulova; Maria Christakis (TACAS (2), 2021)