Andrew Farmer

According to our database, Andrew Farmer authored at least 20 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Digital health system for personalised COPD long-term management.

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

BMC Medical Informatics Decis. Mak., 2017

2015

HERMIT: Mechanized Reasoning during Compilation in the Glasgow Haskell Compiler.

Andrew Farmer

PhD thesis, 2015

Optimizing SYB traversals is easy!

Michael D. Adams, Andrew Farmer, José Pedro Magalhães

Sci. Comput. Program., 2015

Using a mobile health application to support self-management in chronic obstructive pulmonary disease: a six-month cohort study.

Maxine Hardinge, Heather Rutter, Carmelo Velardo, Syed Ahmar Shah, Veronika Williams, Lionel Tarassenko, Andrew Farmer

BMC Medical Informatics Decis. Mak., 2015

The remote monad design pattern.

Andy Gill, Neil Sculthorpe, Justin Dawson, Aleksander Eskilson, Andrew Farmer, Mark Grebe, Jeffrey Rosenbluth, Ryan Scott, James Stanton

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs.

Andrew Farmer, Neil Sculthorpe, Andy Gill

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

The HERMIT in the stream: fusing stream fusion's concatMap.

Andrew Farmer, Christian Höner zu Siederdissen, Andy Gill

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Optimizing SYB is easy!

Michael D. Adams, Andrew Farmer, José Pedro Magalhães

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Automatic generation of personalised alert thresholds for patients with COPD.

Carmelo Velardo, Syed Ahmar Shah, Oliver J. Gibson, Heather Rutter, Andrew Farmer, Lionel Tarassenko

Proceedings of the 22nd European Signal Processing Conference, 2014

Personalized alerts for patients with COPD using pulse oximetry and symptom scores.

Syed Ahmar Shah, Carmelo Velardo, Oliver J. Gibson, Heather Rutter, Andrew Farmer, Lionel Tarassenko

Proceedings of the 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2014

2013

The SMS-text adherence support (StAR) study: hardware and software infrastructure.

David B. Springer, Kirsten L. Bobrow, Naomi Levitt, Andrew Farmer, Lionel Tarassenko

Proceedings of the International conference on information and communication technologies and development, 2013

2012

Types and associated type families for hardware simulation and synthesis - The internals and externals of Kansas Lava.

Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp

High. Order Symb. Comput., 2012

The HERMIT in the Tree - Mechanizing Program Transformations in the GHC Core Language.

Neil Sculthorpe, Andrew Farmer, Andy Gill

Proceedings of the Implementation and Application of Functional Languages, 2012

The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs.

Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe

Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, 2012

2011

Deriving an efficient FPGA implementation of a low density parity check forward error corrector.

Andy Gill, Andrew Farmer

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Using Functional Programming to Generate an LDPC Forward Error Corrector.

Andy Gill, Tristan Bull, Daniel DePardo, Andrew Farmer, Ed Komp, Erik Perrins

Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011

Mobile health for drug dose optimisation.

Mark E. Larsen, Andrew Farmer, Andrew Weaver, Annie Young, Lionel Tarassenko

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

2010

Prediction of novel miRNAs and associated target genes in <i>Glycine max</i>.

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

BMC Bioinform., 2010

Types and Type Families for Hardware Simulation and Synthesis - The Internals and Externals of Kansas Lava.

Andy Gill, Tristan Bull, Andrew Farmer, Garrin Kimmell, Ed Komp

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

What's the Matter with Kansas Lava?

Andrew Farmer, Garrin Kimmell, Andy Gill

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010