Login / Signup
Andy Wallace
ORCID
Publication Activity (10 Years)
Years Active: 2005-2016
Publications (10 Years): 1
Top Topics
Database Machine
Iterative Deepening
Multiple Sequence Alignment
Memory Efficient
Top Venues
ICA3PP Workshops
</>
Publications
</>
Robert J. Stewart
,
Greg J. Michaelson
,
Deepayan Bhowmik
,
Paulo Garcia
,
Andy Wallace
A Dataflow IR for Memory Efficient RIPL Compilation to FPGAs.
ICA3PP Workshops
(2016)
Kevin Hammond
,
Christian Ferdinand
,
Reinhold Heckmann
,
Roy Dyckhoff
,
Martin Hofmann
,
Steffen Jost
,
Hans-Wolfgang Loidl
,
Greg Michaelson
,
Robert F. Pointon
,
Norman Scaife
,
Jocelyn Sérot
,
Andy Wallace
Towards Formally Verifiable WCET Analysis for a Functional Programming Language.
WCET
(2006)
Kevin Hammond
,
Roy Dyckhoff
,
Christian Ferdinand
,
Reinhold Heckmann
,
Martin Hofmann
,
Steffen Jost
,
Hans-Wolfgang Loidl
,
Greg Michaelson
,
Robert F. Pointon
,
Norman Scaife
,
Jocelyn Sérot
,
Andy Wallace
The Embounded project (project start paper).
Trends in Functional Programming
(2005)