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.
| What | Who | Where | When |
|---|---|---|---|
| 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 |
