Gus Smith (@gushfsmith) 's Twitter Profile
Gus Smith

@gushfsmith

computer architecture/programming languages at @uwcse @uwplse, advised by @luisceze/@ztatlock. old account @other_gus.

ID: 1089942883728162816

linkhttp://justg.us calendar_today28-01-2019 17:46:48

147 Tweet

337 Takipçi

132 Takip Edilen

Gus Smith (@gushfsmith) 's Twitter Profile Photo
Gus Smith
@gushfsmith

2 years ago

Generate Compilers from Hardware Models! arxiv.org/pdf/2305.09580… agree? disagree? don't care? come tell us @ PLARCH! (pldi23.sigplan.org/home/plarch-20…) (s/o @ben_kushigian, Vishal Canumalla, Andrew Cheung, René Just, and especially Zachary Tatlock whose chief contribution among many was the "!")