2018
What question? Enabling dialogue between students and their teachers
Journal of Perspectives in Applied Academic Practice, October 2018
Available at JPAAP bibtex
Journal of Perspectives in Applied Academic Practice, October 2018
Available at JPAAP bibtex
2016
µPuppet: A declarative subset of the Puppet configuration language
31st European Conference on Object-Oriented Programming (ECOOP), June 2015
Available at arXiv.org pdf bibtex
31st European Conference on Object-Oriented Programming (ECOOP), June 2015
Available at arXiv.org pdf bibtex
2015
A formal semantics for the SmartFrog configuration language
Journal of Network and Systems Management
Available at link.springer.com pdf bibtex
Journal of Network and Systems Management
Available at link.springer.com pdf bibtex
2014
Multi-agent virtual machine management using the lightweight coordination calculus
LNCS Transactions on computational collective intelligence XII, LNCS 8240
pdf bibtex
LNCS Transactions on computational collective intelligence XII, LNCS 8240
pdf bibtex
2013
Planning configuration relocation on the BonFIRE infrastructure
CloudCom 2013, December 2013
pdf bibtex
CloudCom 2013, December 2013
pdf bibtex
Choreographing configuration changes
9th International conference on network and service management (CNSM), October 2013
pdf bibtex
9th International conference on network and service management (CNSM), October 2013
pdf bibtex
Constraint-based autonomic configuration
2013 Self-adaptive and self-organizing systems conference (SASO), September 2013
pdf bibtex
2013 Self-adaptive and self-organizing systems conference (SASO), September 2013
pdf bibtex
2012
A declarative approach to automated configuration
Large installation systems administration (LISA) conference, December 2012
pdf bibtex
Large installation systems administration (LISA) conference, December 2012
pdf bibtex
Planning with global constraints for computing infrastructure reconfiguration
CP4PS - The AAAAI-12 workshop on problem solving using classical planners, July 2012
pdf bibtex
CP4PS - The AAAAI-12 workshop on problem solving using classical planners, July 2012
pdf bibtex
Toward provenance-based security for configuration languages
The 4th Usenix workshop on the theory and practice of provenance, June 2012
pdf bibtex video
The 4th Usenix workshop on the theory and practice of provenance, June 2012
pdf bibtex video
Multi-agent negotiation of virtual machine migration using the lightweight coordination calculus
The 6th international KES conference on agents and multi-agent systems, June 2012
pdf bibtex
The 6th international KES conference on agents and multi-agent systems, June 2012
pdf bibtex
2011
Automated planning for configuration changes
Large installation systems administration (LISA) conference, December 2011
pdf bibtex
Large installation systems administration (LISA) conference, December 2011
pdf bibtex
Modelling system administration problems with CSPs
The 10th international workshop on constraint modelling and reformulation, September 2011
pdf bibtex
The 10th international workshop on constraint modelling and reformulation, September 2011
pdf bibtex
2010
Exploring the use of computational linguistics for automated formative feedback in the humanities
ICERI2010 conference, November 2010
pdf bibtex
ICERI2010 conference, November 2010
pdf bibtex
Fast and secure laptop backups with encrypted de-duplication
Large installation systems administration (LISA) conference, November 2010
pdf bibtex poster
Large installation systems administration (LISA) conference, November 2010
pdf bibtex poster
Selected Earlier Publications
LCFG: A practical tool for system configuration
Short topics in systems administration, September 2008
Available at usenix.org pdf bibtex
Short topics in systems administration, September 2008
Available at usenix.org pdf bibtex
System configuration
Short topics in systems administration, May 2006
Available at usenix.org pdf bibtex
Short topics in systems administration, May 2006
Available at usenix.org pdf bibtex