Login / Signup
Mike Fagan
Publication Activity (10 Years)
Years Active: 1991-2017
Publications (10 Years): 3
Top Topics
Autoepistemic Logic
National Laboratory
Data Quality
Precision And Recall
Top Venues
SoCC
CoRR
</>
Publications
</>
Jeremy Schlachter
,
Mike Fagan
,
Krishna V. Palem
,
Christian C. Enz
A study on the energy-precision tradeoffs on commercially available processors and SoCs with an EPI based energy model.
SoCC
(2017)
Mike Fagan
,
Jeremy Schlachter
,
Kazutomo Yoshii
,
Sven Leyffer
,
Krishna V. Palem
,
Marc Snir
,
Stefan M. Wild
,
Christian C. Enz
Overcoming the power wall by exploiting inexactness and emerging COTS architectural features: Trading precision for improving application quality.
SoCC
(2016)
Sven Leyffer
,
Stefan M. Wild
,
Mike Fagan
,
Marc Snir
,
Krishna V. Palem
,
Kazutomo Yoshii
,
Hal Finkel
Doing Moore with Less - Leapfrogging Moore's Law with Inexactness for Supercomputing.
CoRR
(2016)
Mike Fagan
,
Alan Carle
Reducing reverse-mode memory requirements by using profile-driven checkpointing.
Future Gener. Comput. Syst.
21 (8) (2005)
Mike Fagan
,
Alan Carle
Switchback: Profile-Driven Recomputation for Reverse Mode.
International Conference on Computational Science (2)
(2002)
Robert Cartwright
,
Mike Fagan
Soft typing (with retrospective)
Best of PLDI
(1991)
Robert Cartwright
,
Mike Fagan
Soft Typing.
PLDI
(1991)