Login / Signup
Zoe Gong
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 3
Top Topics
High Bandwidth
Fault Tolerance
Database Replication
General Purpose
Top Venues
Proc. ACM Program. Lang.
CoRR
ICL (1)
</>
Publications
</>
Igor M. Verner
,
Dan Cuperman
,
Tal Romm
,
Michael Reitman
,
Shi Kai Chong
,
Zoe Gong
Intelligent Robotics in High School: An Educational Paradigm for the Industry 4.0 Era.
ICL (1)
(2018)
Brett Boston
,
Zoe Gong
,
Michael Carbin
Leto: verifying application-specific hardware fault tolerance with programmable execution models.
Proc. ACM Program. Lang.
2 (OOPSLA) (2018)
Brett Boston
,
Zoe Gong
,
Michael Carbin
Verifying Programs Under Custom Application-Specific Execution Models.
CoRR
(2018)