Dr. Andrew Rice
User ID:acr31
Position:Reader
E-mail:acr31@cam.ac.uk
Homepage:http://www.cl.cam.ac.uk /~acr31
Office:SN12
College:Queens'
Lab phone:+44 1223 763 621
Personal phone:Please login to see info
Overview and Interests

My current research activity focuses on programming and software engineering. 1) Programming languages and tools in the sciences; 2) Application of machine learning techniques to software development. I run a course on the MPhil in Advanced Computer Science on this subject; 3)Static analysis and software development. I spent 10 months from in 2016/17 working at Google in Mountain View as a Visiting Researcher. I worked in the Java compiler team and (among other things) developed new checks for their static analysis tool 'Error Prone'; 4) Adaptive learning and personalised learning. I help manage the Isaac Physics and Isaac Computer Science projects and also the Automated Language Teaching and Assessment (ALTA) project which provide excellent sources of data and support for experiments.

I have previously worked on understanding the power consumption of smart phones, particularly Android devices, and the energy consumption and energy efficiency of computing infrastructure.

These themes are derived from my work with Andy Hopper on the Computing for the Future of the Planet project in which we sought to identify Computer Science research questions in the context of global issues such as climate change, over-population, famine and desertification.

Publications - Show all

1. AC Rice, N. Licker, "Detecting Incorrect Build Rules," 41st ACM/IEEE International Conference on Software Engineering, 2019

2. A. Mesbah, A. Rice, E. Aftandilian, E. Johnston, N. Glorioso, "DeepDelta: Learning to Repair Compilation Errors," The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

3. M. Danish, M. Allamanis, M. Brockschmidt, A. Rice, D. Orchard, "Learning units-of-measure from scientific code," SE4Science, 2019

4. R. Moore, A. Caines, A. Rice, P. Buttery, "Behavioural cloning of teachers for automatic homework selection," Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 333--344, 2019

5. M. Contrastin, D. Orchard, A. Rice, "Automatic Reordering for Dataflow Safety of Datalog," Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18, ACM Press, 2018

6. D. Orchard, M. Contrastin, M. Danish, A. Rice, "Verifying spatial properties of array computations," Proceedings of the ACM on Programming Languages, vol. 1, pp. 1--30, Association for Computing Machinery (ACM), Oct 2017

7. AC Rice, E. Aftandilian, C. Jaspan, E. Johnston, M. Pradel, Y. Arroyo-Paredes, "Detecting Argument Selection Defects," Proceedings of the ACM on Programming Languages, ACM, Aug 2017

8. DA Orchard, M. Contrastin, M. Danish, AC Rice, "Verifying spatial properties of array computations.," PACMPL, vol. 1, no. OOPSLA, pp. 75:1--75:1, 2017

9. Sherif Akoush, Ripduman Sohan, Andrew Rice, Andy Hopper, "Evaluating the viability of remote renewable energy in datacentre computing," Technical Report, UCAM-CL-TR-889, University of Cambridge, Computer Laboratory, May 2016

10. M. Contrastin, M. Danish, D. Orchard, A. Rice, "Lightning talk: Supporting software sustainability with lightweight specifications," CEUR Workshop Proceedings, vol. 1686, 2016

11. Daniel R. Thomas, Alastair R. Beresford, Andrew Rice, "Security metrics for the Android ecosystem," ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices (SPSM), Denver, Colorado, USA, ACM, Oct 2015

12. James Snee, Lucian Carata, Oliver R. A. Chick, Ripduman Sohan, Ramsey M. Faragher, Andrew Rice, Andy Hopper, "Soroban: Attributing Latency in Virtualized Environments," 7th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 15), Santa Clara, CA, USENIX Association, Jul 2015

13. Lucian Carata, Oliver Chick, James Snee, Ripduman Sohan, Andrew Rice, Andy Hopper, "Resourceful: fine-grained resource accounting for explaining service variability," Technical Report, UCAM-CL-TR-859, University of Cambridge, Computer Laboratory, Sep 2014

14. Lucian Carata, Ripduman Sohan, Andrew Rice, Andy Hopper, "IPAPI: Designing an Improved Provenance API," Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance, Berkeley, CA, USA, series TaPP '13, pp. 10:1--10:4, USENIX Association, 2013

15. Andrew Rice, "The future of economic development using computing," The future of computing: indispensable or unsustainable?, pp. 23-25, The Royal Academy of Engineering, 2012

16. Morgan Bazilian, Andrew Rice, Juliana Rotich, Mark Howells, Joseph DeCarolis, Stuart Macmillan, Cameron Brooks, Florian Bauer, Michael Liebreich, "Open source software and crowdsourcing for energy analysis," Energy Policy, vol. 49, pp. 149 - 153, 2012

17. Sherif Akoush, Ripduman Sohan, Bogdan Roman, Andrew Rice, Andy Hopper, "Activity Based Sector Synchronisation: Efficient Transfer of Disk-State For WAN Live Migration," The 19th Annual Meeting of the IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'11), Singapore, Jul 2011

18. Sherif Akoush, Ripduman Sohan, Andrew Rice, Andrew W. Moore, Andy Hopper, "Free Lunch: Exploiting Renewable Energy For Computing," the 13th Workshop on Hot Topics in Operating Systems (HOTOS'XIII), NAPA, CL, USA, May 2011

19. Alastair R. Beresford, Andrew Rice, Nicholas Skehin, Ripduman Sohan, "MockDroid: trading privacy for application functionality on smartphones," Proceedings of the Twelfth Workshop on Mobile Computing Systems and Applications, Mar 2011

20. Daniel T. Wagner, Andrew Rice, Alastair R. Beresford, "Device Analyzer (Extended Abstract)," HotMobile 2011, Mar 2011

21. Daniel T. Wagner, Andrew Rice, Alastair R. Beresford, "Device Analyzer (Poster)," HotMobile 2011, Mar 2011

22. Andrew Rice, Simon Hay, Dan Ryder-Cook, "A Limited-Data Model Of Building Energy Consumption," 2nd ACM Workshop On Embedded Sensing Systems For Energy-Efficiency In Buildings (BuildSys 2010, in conjunction with ACM SenSys 2010), Nov 2010

23. Andrew Rice, Simon Hay, "Measuring mobile phone energy consumption for 802.11 wireless networking," Pervasive and Mobile Computing, Aug 2010

24. Narseo Vallina-Rodriguez, Pan Hui, Jon Crowcroft, Andrew Rice, "Exhausting Battery Statistics," The Second ACM SIGCOMM Workshop on Networking, Systems and Applications on Mobile Handhelds (MobiHeld 2010), Aug 2010

25. Ripduman Sohan, Andrew Rice, Kieran J Mansley, Andrew W. Moore, "Characterizing 10 Gbps Network Interface Energy Consumption," The 35th Annual IEEE Conference on Local Computer Networks (LCN) Short Papers, Aug 2010

26. Sherif Akoush, Ripduman Sohan, Andrew Rice, Andrew W. Moore, Andy Hopper, "Predicting the Performance of Virtual Machine Migration," The 18th Annual Meeting of the IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'10), Miami, FL, USA, Aug 2010

27. Andrew Rice, Oliver Woodman, "Crowd-sourcing world models with OpenRoomMap," Eighth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom) Work-in-progress, Mar 2010

28. Andrew Rice, Simon Hay, "Decomposing power measurements for mobile devices," Eighth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom2010), Mar 2010

29. Simon Hay, Andrew Rice, Andy Hopper, "Personal energy metering," 2nd International Conference on Computational Sustainability (CompSust 2010), Cambridge, MA, 2010

30. Simon Hay, Andrew Rice, "The case for apportionment," First ACM Workshop On Embedded Sensing Systems For Energy-Efficiency In Buildings, Nov 2009

31. Tom Craig, Joseph Newman, Andrew Rice, "Low-cost Spatial Indexing Using Machine Vision," Seventh International Conference on Pervasive Computing (Late breaking results), May 2009

32. Andrew Rice, Paula Buttery, Idris A. Rai, Alastair Beresford, "Language learning on a next-generation service platform for Africa," Africa Perspective on the Role of Mobile Technologies in Fostering Social and Economic Development , W3C, Apr 2009

33. Simon Hay, Joseph Newman, Andrew Rice, "Sentient computing meets social networking," W3C Workshop on the Future of Social Networking, Jan 2009

34. Simon Hay, Andrew Rice, Andy Hopper, "A global personal energy meter," Ubiquitous Computing at a Crossroads: Art, Science, Politics and Design (UbiComp Grand Challenge), Jan 2009

35. Andy Hopper, Andrew Rice, "Computing for the Future of the Planet," Phil. Trans. R. Soc. A, Oct 2008

36. Andy Hopper, Andrew Rice, Alastair Beresford, "Computing for the future of the planet," Engineering Change: Towards a sustainable future in the developing world, pp. 73-78, Oct 2008

37. Anthony Hylick, Ripduman Sohan, Andrew Rice, Brian Jones, "An Analysis of Hard Drive Energy Consumption," 16th Annual IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS) 2008, IEEE, Sep 2008

38. Andrew Rice, Sherif Akoush, Andy Hopper, "Failure is an option," Technical Report, MSR-TR-2008-61, Microsoft Research Technical Report, May 2008

39. Anthony Hylick, Andrew Rice, Brian Jones, Ripduman Sohan, "Hard Drive Power Consumption Uncovered," ACM SIGMETRICS Performance Evaluation Review, vol. 35, no. 3, pp. 54-55, Dec 2007

40. Andrew Rice, "How to draw a diagram," Skills Presentation, Oct 2007

41. Andrew C. Rice, Robert K. Harle, Alastair R. Beresford, "Analysing fundamental properties of marker-based vision system designs," Pervasive and Mobile Computing , series Special Issue on PerCom 2006, vol. 2, no. 4, pp. 453-471, Elsevier, Nov 2006

42. Andrew C. Rice, Alastair R. Beresford, "Dependability and Accountability for Context-aware Middleware Systems," 3rd Workshop on Middleware Support for Pervasive Computing (PerWare 2006), Mar 2006

43. Andrew C. Rice, Alastair R. Beresford, Robert K. Harle, "Cantag: an open source software toolkit for designing and deploying marker-based vision systems," Fourth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), pp. 12-21, Mar 2006

44. Andrew Rice, Robert Harle, "Evaluating Lateration-Based Positioning Algorithms for Fine-Grained Tracking," Joint Workshop on Foundations of Mobile Computing (DIAL-M-POMC) 2005, ACM Press, Sep 2005

45. Andrew Rice, Christopher Cain, John Fawcett, "Dependable Coding of Fiducial Tags," Ubiquitous Computing Symposium, pp. 155-163, Oct 2004