Login / Signup
Robby Bruce Findler
Publication Activity (10 Years)
Years Active: 2011-2016
Publications (10 Years): 1
Top Topics
Communication Infrastructure
Fixed Point Semantics
Formal Languages
Lightweight
Top Venues
SLE
</>
Publications
</>
Robby Bruce Findler
Redex: a language for lightweight semantics engineering (keynote).
SLE
(2016)
Giang Hoang
,
Robby Bruce Findler
,
Russ Joseph
Exploring circuit timing-aware language and compilation.
ASPLOS
(2011)