Martin - Presentations

For want of a better title: “Presentations”. This includes conference presentations, most recently Samba/CTDB and Linux related, and academic publications, relating to formal methods for programming.

WhatWhoWhereWhen
The CTDB report 2022 Martin Schwenke SambaXP 2022 - online edition June 2022
The CTDB report 2020 Martin Schwenke, Amitay Isaacs SambaXP 2020 - online edition June 2020
The CTDB report Martin Schwenke, Amitay Isaacs SambaXP 2019, Göttingen, Germany June 2019
Improvements in CTDB and Clustered Samba testing Martin Schwenke SambaXP 2019, Göttingen, Germany June 2019
CTDB, you have changed! Martin Schwenke SambaXP 2018, Göttingen, Germany June 2018
CTDB remix - II: Designing the Reality Martin Schwenke SambaXP 2017, Göttingen, Germany May 2017
Untangling and Restructuring CTDB Martin Schwenke SambaXP 2016, Berlin, Germany May 2016
CTDB: Where to from here and how can we get there? Martin Schwenke SambaXP 2015, Göttingen, Germany May 2015
A methodical makeover for CTDB Martin Schwenke, Amitay Isaacs Linux.conf.au 2015, Auckland, New Zealand January 2015
Scaling IP address handling in CTDB Martin Schwenke SambaXP 2014, Göttingen, Germany May 2014
The best CTDB bugs ever! Amitay Isaacs, Martin Schwenke Linux.conf.au 2014, Perth January 2014
OzLabs.org: Administering a system for "smart people" Martin Schwenke, Stephen Rothwell Linux.conf.au 2013 Systems Administration Miniconf, Canberra January 2013
Testing CTDB - not necessarily trivial Martin Schwenke, Ronnie Sahlberg Linux.conf.au 2012, Ballarat January 2012
Autocluster - a system for automated testing of clustered systems Andrew Tridgell, Martin Schwenke Linux.conf.au 2009, Hobart January 2009
Towards a small, efficient Linux hardware inventory system Martin Schwenke Linux.conf.au 2005, Canberra April 2005
Using Vital Product Data For Persistent Device Naming Martin Schwenke AUUG 2004 - Who Are You? - Melbourne September 2004
Linux hardware inventory: Current reality, future possibilities Martin Schwenke AUUG 2003 - Open Standards, Open Source, Open Computing, Sydney September 2003
Abusing the Debian ipmasq package Martin Schwenke AUUG System Administration Symposium 2003, Melbourne April 2003
My computer is bigger than yours! Martin Schwenke Linux.conf.au 2003, Perth January 2003
Polythene PAM ain't what she used to be... Martin Schwenke AUUG 2002 - Measure, Monitor, Control, Melbourne September 2002
International Refinement Workshop and Formal Methods Pacific 1998. Work-in-progress papers of IRW/FMP'98, 29 September - 2 October 1998, Canberra, Australia Jim Grundy, Martin Schwenke, Trevor Vickers (editors) Joint Computer Science Technical Report TR-CS-98-09. The Australian National University, Department of Computer Science, Canberra ACT 0200, Australia. September 1998. ISBN 0-7315-4801-9 September 1998
I Went Down To The Crossroads: Conjoining Catamorphisms Martin Schwenke International Refinement Workshop and Formal Methods Pacific 1998 (work-in-progress papers, pages 85-96) September 1998
International Refinement Workshop and Formal Methods Pacific 1998. Proceedings of IRW/FMP'98, 29 September - 2 October 1998, Canberra, Australia Jim Grundy, Martin Schwenke, Trevor Vickers (editors) Discrete Mathematics and Theoretical Computer Science, Singapore, 1998. ISBN 981-4021-16-4. Springer-Verlag September 1998
The Essence of Expression Refinement Martin Schwenke, Brendan Mahony International Refinement Workshop and Formal Methods Pacific 1998, pages 324-333 September 1998
To Zed and Back: Integrating Data Flow Diagrams and Z Ken Robinson, Peter Ho, Martin Schwenke First Australian Conference on Computer Science Education, ACM, University of Sydney, Sydney, Australia, July 3-5, 1996. Pages 127-134. July 1996