2022
Marking to the Common Marking Scheme with Criteria & Decision Rules
Informatics Teaching Festival, Edinburgh, May 2022 slides
Informatics Teaching Festival, Edinburgh, May 2022 slides
2021
2020
Supporting Criteria-Based Marking
Veterinary Medical Education Division, Edinburgh, June 2020 slides video
AIAI Seminar, Edinburgh, July 2020 slides video
Veterinary Medical Education Division, Edinburgh, June 2020 slides video
AIAI Seminar, Edinburgh, July 2020 slides video
2019
2017
Composition and inheritance in declarative configuration languages
Microsoft Research, Cambridge, May 2017 slides
Microsoft Research, Cambridge, May 2017 slides
2016
Some thoughts on
composition & references
in declarative configurations
PL Interest Group, Edinburgh, March 2016 slides
PL Interest Group, Edinburgh, March 2016 slides
Configuring and managing the Informatics computer systems
Innovative Learning Week workshop, Edinburgh, February 2016 slides
Innovative Learning Week workshop, Edinburgh, February 2016 slides
2015
2014
Formalising configuration languages: why is this important in practice?
LISA 2014, Seattle, November 2014 (poster) poster
LISA 2014, Seattle, November 2014 (poster) poster
Orchestrating the student experience with social media tools
Intellectual virtues, group knowledge and education workshop, Edinburgh, May 2014 slides
CISA, Edinburgh, February 2014 slides
Intellectual virtues, group knowledge and education workshop, Edinburgh, May 2014 slides
CISA, Edinburgh, February 2014 slides
2013
2012
Collaborative configurations
Data Intensive Research Group, Edinburgh, November 2012 slides
Google Tech Talk, Mountain View, December slides
Data Intensive Research Group, Edinburgh, November 2012 slides
Google Tech Talk, Mountain View, December slides
Multi-agent negotiation of virtual machine migration using the lightweight coordination calculus
KES AMSTA 2012, Dubrovnik, June 2012 slides
KES AMSTA 2012, Dubrovnik, June 2012 slides
2011
Three applications of intelligent configuration
WPI, Worcester & Brown University, Providence, December 2011 slides
WPI, Worcester & Brown University, Providence, December 2011 slides
Configuring infrastructure for the cloud - automated planning & agents
KES AMSTA 2011, Manchester, June 2011 slides
KES AMSTA 2011, Manchester, June 2011 slides
2010
Configuring the cloud - inside & out
Mysore Park Workshop on Cloud Computing, Mysore, January 2010 slides
Mysore Park Workshop on Cloud Computing, Mysore, January 2010 slides
2008
The future of system configuration
Using LCFG - today & beyond, Edinburgh, December 2008
Using LCFG - today & beyond, Edinburgh, December 2008
Ergonomic issues in system configuration
ACM CHIMIT, San Diego, November 2008
ACM CHIMIT, San Diego, November 2008
Programming the virtual infrastructure
LISA, San Diego, November 2008
LISA, San Diego, November 2008
LCFG: a practical tool for system configuration
Oslo University College, October 2008
Oslo University College, October 2008
System configuration
Oslo University College, October 2008
Oslo University College, October 2008
Programming the datacentre - challenges in system configuration
R2D2, Cambridge, May 2008 ICSA, Edinburgh, May 2008 HP, Palo Alto, June 2008
R2D2, Cambridge, May 2008 ICSA, Edinburgh, May 2008 HP, Palo Alto, June 2008
Managing real-world system configurations with constraints
ICN, Cancun, April 2008
ICN, Cancun, April 2008
System configuration
Leuven, February 2008
Leuven, February 2008
2007
Mobile computing today
IT Futures Conference, Edinburgh, November 2007
IT Futures Conference, Edinburgh, November 2007
System configuration and LCFG
LCFG Workshop, Edinburgh, June 2007
LCFG Workshop, Edinburgh, June 2007
Writing LCFG components
LCFG Workshop, Edinburgh, June 2007
LCFG Workshop, Edinburgh, June 2007
Toward broad-spectrum autonomic management
ICN, Martinique, April 2007
ICN, Martinique, April 2007
System configuration
UKUUG, Manchester, March 2007
UKUUG, Manchester, March 2007
Distributing system configuration
CISA, Edinburgh, February 2007
CISA, Edinburgh, February 2007
2006
System configuration and LCFG - a “bottom up” approach
LCFG Workshop, Edinburgh, December 2006
LCFG Workshop, Edinburgh, December 2006
Configuration validation with LCFG
LISA Configuration Workshop, Washington, December 2006
LISA Configuration Workshop, Washington, December 2006
Web 2.0 and the University
IT Futures Conference, Edinburgh, December 2006
IT Futures Conference, Edinburgh, December 2006
2005
System configuration
LISA, San Diego, December 2005
LISA, San Diego, December 2005
Configuration tools - working together
LISA, San Diego, December 2005
LISA, San Diego, December 2005
DIY DICE
Informatics, Edinburgh, November 2005
Informatics, Edinburgh, November 2005
2004
What is this thing called “System Configuration”?
LISA, Atlanta, November 2004
LISA, Atlanta, November 2004
System administration and CDDLM
GGF12 Workshop, Brussels, September 2004
GGF12 Workshop, Brussels, September 2004
Autonomics in system configuration
Usenix, Boston, June 2004
Usenix, Boston, June 2004
Fabric configuration
ATSE, Edinburgh, April 2004
ATSE, Edinburgh, April 2004
Automated reasoning problems in large scale system configuration
Automated Reasoning Group, Edinburgh, January 2004
Automated Reasoning Group, Edinburgh, January 2004
2003
SmartFrog meets LCFG - autonomous reconfiguration with central policy control
LISA, San Diego, October 2003
LISA, San Diego, October 2003
Specification languages for fabric configuration
GALT, Edinburgh, October 2003
GALT, Edinburgh, October 2003
Issues in large scale system configuration
IBM, Almaden, October 2003
IBM, Almaden, October 2003
What is this thing called “Configuration”?
LISA Configuration Workshop, San Diego, October 2003
LISA Configuration Workshop, San Diego, October 2003
The future of fabric management
GridPP Collaboration Meeting, Oxford, June 2003
GridPP Collaboration Meeting, Oxford, June 2003
Grids, web services, and peer-to-peer applications
Stargazing Conference, Edinburgh, April 2003
Stargazing Conference, Edinburgh, April 2003
2002
Automatic system configuration: tasks, principles and techniques
LISA Configuration Workshop, Philadelphia, 2002
LISA Configuration Workshop, Philadelphia, 2002
Building DICE packages
Informatics, Edinburgh, 2002
Informatics, Edinburgh, 2002
Writing LCFG components
Informatics, Edinburgh, 2002
Informatics, Edinburgh, 2002
LCFG - the next generation
UKUUG, London, 2002
UKUUG, London, 2002
Software deployment and configuration
NeSc, Edinburgh, 2002
NeSc, Edinburgh, 2002
2001
An LCFGng specification language
DIRC, Edinburgh, 2001 LFCS, Edinburgh, 2001
DIRC, Edinburgh, 2001 LFCS, Edinburgh, 2001
2000
Designing manageable computer systems
ICSA, Edinburgh, February 2000
ICSA, Edinburgh, February 2000
1997
Software distribution and repositories
SANS, Baltimore, 1997
SANS, Baltimore, 1997
System configuration and installation
SANS, Baltimore, 1997
SANS, Baltimore, 1997