Talks

2010

Automating System Tests Using Declarative Virtual Machines. 21st IEEE International Symposium on Software Reliability Engineering (ISSRE 2010), San Jose, California, USA, 3 November 2010. [pdf]

The Nix Package Manager. GNU Hackers Meeting 2009, Gothenburg, Sweden, 12 November 2009. [pdf] [video]

NixOS: A Purely Functional Linux Distribution. ICFP 2008: 13th ACM SIGPLAN International Conference on Functional Programming, Victoria, British Columbia, Canada, 24 September 2008. [pdf]
The Nix Build Farm: A Declarative Approach to Continuous Integration. International Workshop on Advanced Software Development Tools and Techniques (WASDeTT 2008), Paphos, Cyprus, 8 July 2008. [pdf]
Maximal Laziness — An Efficient Interpretation Technique for Purely Functional DSLs. 8th Workshop on Language Description, Tools and Applications (LDTA 2008), Budapest, Hungary, 5 April 2008. [pdf]

Purely Functional System Configuration Management. 11th Workshop on Hot Topics in Operating Systems (HotOS XI), San Diego, California, USA, 8 May 2007. [pdf]
Purely Functional System Configuration Management. Software Technology Colloquium, Utrecht, The Netherlands, 19 April 2007. [pdf]
Automated Software Testing and Release with Nix Build Farms. Verification and Validation of Software Systems (VVSS-2007), TUE, Eindhoven, The Netherlands, 23 March 2007. [pdf]
Automated Software Testing and Release with Nix Build Farms (poster). NIRICT kick-off event, Jaarbeurs, Utrecht, The Netherlands, 22 March 2007. [pdf]

Software deployment with Nix. NLUUG Linux-bijeenkomst, CWI, Amsterdam, The Netherlands, 31 March 2006. [pdf]
Software deployment with Nix. CIBIT, Bilthoven, The Netherlands, 27 March 2006. [pdf]

Secure Sharing Between Untrusted Users in a Transparent Source/Binary Deployment Model. 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), Long Beach, California, USA, 10 November 2005. [pdf]
Secure Sharing Between Untrusted Users in a Transparent Source/Binary Deployment Model. Software Technology Colloquium, Utrecht, The Netherlands, 20 October 2005. [pdf]
Service Configuration Management. 12th International Workshop on Software Configuration Management (SCM-12), Lisbon, Portugal, 5 September 2005. [pdf]
Efficient Upgrading in a Purely Functional Component Deployment Model. Eighth International SIGSOFT Symposium on Component-based Software Engineering (CBSE 2005), St. Louis, Missouri, USA, 15 May 2005. [pdf]
Efficient Upgrading in a Purely Functional Component Deployment Model. Software Technology Colloquium, Utrecht, The Netherlands,, 28 April 2005. [pdf]
Software Deployment with Nix. IPA Lentedagen on Software Architecture, Made, The Netherlands, 31 March 2005. [pdf]
TraCE project overview. JACQUARD-2005 - First Conference for the Software Engineering Community, Zeist, The Netherlands, 4 February 2005. [pdf]

Nix: A Safe and Policy-Free System for Software Deployment. 18th Large Installation System Administration Conference (LISA '04), Atlanta, Georgia, USA, 17 November 2004. [pdf]
Continuous Integration and Release Management with Nix. Philips ED&T, Eindhoven, The Netherlands, 14 July 2004. [pdf]
Imposing a Memory Management Discipline on Software Deployment. 26th International Conference on Software Engineering (ICSE 2004), Edinburgh, Scotland, 28 May 2004. [pdf]
Imposing a Memory Management Discipline on Software Deployment. Software Technology Colloquium, Utrecht, The Netherlands, 25 March 2004. [pdf]
Imposing a Memory Management Discipline on Software Deployment. CWI (meeting with the Deliver team), CWI, 23 March 2004. [pdf]
Release Management for Stratego/XT with Nix. Fifth Stratego User Days (SUD'04), Utrecht, The Netherlands, 4 March 2004. [pdf]

Subversion. Software Technology Colloquium, Utrecht, The Netherlands, 30 October 2003. [pdf]
Integrating Software Construction and Software Deployment. 11th International Workshop on Software Configuration Management (SCM-11), Portland, Oregon, USA, 9 May 2003. [pdf]
Transparent Configuration Environments (poster). ICS Researchday 2003, Zeist, The Netherlands, 28 April 2003. [ps.gz]
Concurrent Variants, Isolation, and Feature Models in Software Deployment. Software Technology Colloquium, Utrecht, The Netherlands, 27 February 2003. [pdf]

First Class Rules and Generic Traversals for Program Transformation Languages. IFIP Working Group 2.1 56th meeting, Ameland, The Netherlands, 10 September 2001. [pdf]
First Class Rules and Generic Traversals for Program Transformation Languages. Master's thesis presentation, Utrecht, The Netherlands, 10 August 2001. [pdf]

This page was last updated on 2010-11-03 at 20:42:29Z (revision 256).