Andrew Farmer

20 papers A 1C 5Misc 1Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2017 J jnl
Digital health system for personalised COPD long-term management.
BMC Medical Informatics Decis. Mak.
Carmelo Velardo, Syed Ahmar Shah, Oliver J. Gibson, Gari D. Clifford, Carl Heneghan, Heather Rutter, Andrew Farmer, Lionel Tarassenko, Andreas Triantafyllidis, Veronika Williams, Maxine Hardinge, Christy Toms, Louise Jones, Stephanie Robinson, Jonathan Price, Linda Heritage
2015 — —
HERMIT: Mechanized Reasoning during Compilation in the Glasgow Haskell Compiler.
Andrew Farmer
2015 J jnl
Optimizing SYB traversals is easy!
Sci. Comput. Program.
Michael D. Adams, Andrew Farmer, José Pedro Magalhães
2015 C conf
Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs.
Haskell
Andrew Farmer, Neil Sculthorpe, Andy Gill
2015 C conf
The remote monad design pattern.
Haskell
Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton
2015 J jnl
Using a mobile health application to support self-management in chronic obstructive pulmonary disease: a six-month cohort study.
BMC Medical Informatics Decis. Mak.
Maxine Hardinge, Heather Rutter, Carmelo Velardo, Syed Ahmar Shah, Veronika Williams, Lionel Tarassenko, Andrew Farmer
2014 — conf
Automatic generation of personalised alert thresholds for patients with COPD.
EUSIPCO
Carmelo Velardo, Syed Ahmar Shah, Oliver J. Gibson, Heather Rutter, Andrew Farmer, Lionel Tarassenko
2014 C conf
Optimizing SYB is easy!
PEPM
Michael D. Adams, Andrew Farmer, José Pedro Magalhães
2014 — conf
Personalized alerts for patients with COPD using pulse oximetry and symptom scores.
EMBC
Syed Ahmar Shah, Carmelo Velardo, Oliver J. Gibson, Heather Rutter, Andrew Farmer, Lionel Tarassenko
2014 C conf
The HERMIT in the stream: fusing stream fusion's concatMap.
PEPM
Andrew Farmer, Christian Höner zu Siederdissen, Andy Gill
2013 — conf
The SMS-text adherence support (StAR) study: hardware and software infrastructure.
ICTD (2)
David B. Springer, Kirsten L. Bobrow, Naomi Levitt, Andrew Farmer, Lionel Tarassenko
2012 — conf
The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language.
IFL
Neil Sculthorpe, Andrew Farmer, Andy Gill
2012 C conf
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs.
Haskell
Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe
2012 J jnl
Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava.
High. Order Symb. Comput.
Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
2011 A conf
Deriving an efficient FPGA implementation of a low density parity check forward error corrector.
ICFP
Andy Gill, Andrew Farmer
2011 — conf
Mobile health for drug dose optimisation.
EMBC
Mark E. Larsen, Andrew Farmer, Andrew Weaver, Annie Young, Lionel Tarassenko
2011 Misc conf
Using Functional Programming to Generate an LDPC Forward Error Corrector.
FCCM
Andy Gill, Tristan Bull, Daniel DePardo, Andrew Farmer, Ed Komp, Erik Perrins
2010 J jnl
Prediction of novel miRNAs and associated target genes in
BMC Bioinform.
Trupti Joshi, Zhe Yan, Marc Libault, Dong-Hoon Jeong, Sunhee Park, Pamela J. Green, D. Janine Sherrier, Andrew Farmer, Greg May, Blake C. Meyers, Dong Xu, Gary Stacey
2010 — conf
Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava.
Trends in Functional Programming
Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp
2010 — conf
What's the Matter with Kansas Lava?
Trends in Functional Programming
Andrew Farmer, Garrin Kimmell, Andy Gill