Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Samuel Thomas
conf.researchr.org general profile
ICSE 2026 profile
PLDI 2020 profile
PLDI 2022 profile
PLDI 2025 profile
Registered user since Fri 7 Jan 2022
Name:
Samuel Thomas
Affiliation:
The University of Texas at Austin, Texas, USA
Contributions
2026
FormaliSE
Author of Domain-Guided Quantifier Instantiation with Yardbird within the Research Track-track
2025
EGRAPHS
Author of Hatching Theory Instantiations with Yardbird within the EGRAPHS 2025-track
2022
PLDI
Author of (PLDI 2020) Predictable Accelerator Design with Time-Sensitive Affine Types within the SIGPLAN Track-track
2020
PLDI
Author of Predictable Accelerator Design with Time-Sensitive Affine Types within the PLDI Research Papers-track
Share
x
Mon 16 Mar 00:21