Nestan Tsiskaridze Bullock

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Top Venues

Publications

Ross Daly, Caleb Donovick, Jackson Melchert, Rajsekhar Setaluri, Nestan Tsiskaridze Bullock, Priyanka Raina, Clark W. Barrett, Pat Hanrahan
Synthesizing Instruction Selection Rewrite Rules from RTL using SMT. FMCAD (2022)