News

  • [October, 2018] Our ACM CCS 2018 submission is among the best paper award finalists! (top-4 ranked papers)
  • [July, 2018] Our paper on building a Generative Adversarial Network based captach solver is accepted by ACM CCS ‘18
  • [July, 2018] One paper got accepted by ACM IMWUT - Ubicomp ‘18
  • [May, 2018] Our work on Android pattern lock security got accepted to ACM TOPS
  • [March, 2018] Our work on enabling large-scale wifi sensing got accepted in Mobicom 2018
  • [March, 2018] Our paper on optimising deep learning on embedded devices accepted in LCTES 2018
  • [March, 2018] Our work on combining regular expressions and neural networks got accepted in ACL 2018. ACL is the flagship conference in natural language processing
  • [Feburary, 2018] Our paper on tuning streamed applications on Intel XeonPhi is accepted in IPDPS 2018

Research Team

RAs

  • Vicent Sanz Marco
  • Volker Seeker

PhD Students

Alumnus

  • William Ogilvie 09 / 2014 - 01 / 2018 (PhD student, co-supervise with Hugh Leather from the University of Edinburgh) - first job: Amazon
  • Jie Ren (Visiting PhD student, 09 / 2015 - 03 / 2016) - Now Assistant Professor at ShaanXi Normal University, China

Awards

  • Best Paper Award: PACT 2010, CGO 2017, PACT 2017
  • Best Paper Nomination: CCS 2018
  • Best Presentation Award: PACT 2010, CGO 2013
  • HiPEAC Paper Award: PLDI 2009
  • IBM Bravo Award for outstanding technical contribution to Software Development Toolkit for IBM CELL BroadBand Engine Processor, IBM: 2007

Projects

Software Bug Detection and Fix Generation by Learning from Large Code Examples

The Royal Society International Collaboration Grant, PI, 03/2017 - 03/2019

Energy and Performance Optimisation for Mobile Systems

EPSRC iCASE Studentship with ARM Ltd, PI, 02/2016 - 08/2019

Energy and Performance Optimisaiton on Mobile

Lancaster FST Small Grant, PI, 01 / 2014 - 12 / 2014

Energy-efficient Optimisation for Data Centres

Lancaster University Early Career Grant, PI, 09 / 2013 - 08 / 2014

Teaching

Teaching @ Lancaster University

  • SCC.311 Distributed Systems, 2013-2018
  • SCC.369 Embedded Systems, 2016-2018
  • SCC.120 Fundamentals of Computer Science, 2015-2017
  • SCC.360 Computer Science Seminars, 2013

Services

Services at Lancaster University

  • Group lead of Distributed Systems, 2016 -
  • Director of Recruitment, 2018 -
  • Part 2 exam officier, 2016 - 2018

Services to the Community

  • Program/General Chair: COSMIC 2017 @ CGO 2017, COSMIC 2015 @ CGO 2015, COSMIC 2013 @ CGO 2013, HiPEAC Thematic Session 2013 and 2016
  • Artifact Evaluation Chair: PACT 2016
  • Lightning Talk Chair: PLDI 2017
  • Program Committee Member: PACT ‘18, NPC ‘18, ICPADS ‘18, COLING ‘18, INFOCOMP ‘18, ICAC ‘18, ParCo ‘17, CC ‘16, ERPP ‘15, ML4PL ‘15, ParCo ‘15, ICPP-EMS ‘15, PASA ‘14, PASA ‘13, ITCS ‘12, ITCS ‘11, ICPADS ‘09
  • External Review Committee Member: CGO 2015, PLDI 2014, HPCA 2015, HiPEAC 2011

Biography

  • August, 2018 -, Senior Lecturer, School of Computing and Communications, Lancaster University.
  • Sept, 2013 - July, 2018, Lecturer, School of Computing and Communications, Lancaster University.
  • 2012 - 2013, Research Associate, the University of Edinbugh.
  • 2007 - 2011, PhD Student, the University of Edinburgh. Aademic advisor: Professor Michael O’Boyle FBCS.
  • 2005 - 2007, Research Staff member, IBM China

Contact