◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Thomas Gilray

12 papers hereh-index 12632 citations50 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author2
  • middle author7
  • last author2

Across the 11 of 12 papers where every author was matched, so the position is known.

fields
  • cs.PL6
  • cs.DB5
  • nucl-th1

identity via Semantic Scholar / OpenAlex

activity
20132026
most citedSoft Contract Verification for Higher-Order Stateful Programs

16 citations · 16 across the 9 of their papers we have counts for

collaborators
Showing 2026Show all

3 papers · 1 filter

cs.DB2026

Terascale Query Processing in the Browser: Rethinking GPU Acceleration

Jiaxin Lu, Landon Dyken, Yihao Sun +3

Recursive query computation, central to graph algorithms and relational databases, demands GPU acceleration due to its inherent computational intensity. While substantial prior wor…

cs.DB2026

Scaling Worst-Case Optimal Datalog to GPUs

Yihao Sun, Kunting Qi, Thomas Gilray +2

Datalog is a declarative logic-programming language used for complex analytic reasoning workloads such as program analysis and graph analytics. Datalog's popularity is due to its u…

cs.PL2026

Superset Decompilation

Chang Liu, Yihao Sun, Thomas Gilray +1

Reverse engineering tools remain monolithic and imperative compared to the advancement of modern compiler architectures: analyses are tied to a single mutable representation, makin…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.