Alexander C. Rucker

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Programs Written

Top Venues

Publications

Alexander C. Rucker, Shiv Sundram, Coleman Smith, Matthew Vilim, Raghu Prabhakar, Fredrik Kjølstad, Kunle Olukotun
Revet: A Language and Compiler for Dataflow Threads. HPCA (2024)
Chenzhuo Zhu, Alexander C. Rucker, Yawen Wang, William J. Dally
SatIn: Hardware for Boolean Satisfiability Inference. CoRR (2023)