News

  • [Feb, 2019] Received the Best Paper Award at CGO ‘19
  • [Nov, 2018] Our paper on function merging is accepted by CGO ‘19
  • [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

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, CGO 2019
  • 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

Recent Publications

More Publications

Google Scholar | Completed List @ Lancaster University Publication Portal | DBLP

[ACM TOPS] A Video-based Attack for Android Pattern Lock

, 2018.

Preprint Dataset

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 2019 @ CGO 2019, 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: ACL ‘19, IJCAI ‘19, IPDPS ‘19, ICAC ‘19, 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 2018, 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