| 2015 | ISLPED | Design of fine-grained sequential approximate circuits using probability-aware fault emulation. | David May, Walter Stechele |
| 2014 | IOLTS | Improving the significance of probabilistic circuit fault emulations. | David May, Walter Stechele |
| 2013 | FPL | A resource-efficient probabilistic fault simulator. | David May, Walter Stechele |
| 2012 | ASPDAC | Hardware prototyping of novel invasive multicore architectures. | Jrgen Becker, Stephanie Friederich, Jan Heisswolf, Ralf Knig, David May |
| 2012 | SGAI | Parallel Random Prism: A Computationally Efficient Ensemble Learner for Classification. | Frederic T. Stahl, David May, Max Bramer |
| 2011 | ICFEM | Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. | Fangfang Yuan, Stephen Wright, Kerstin Eder, David May |
| 2001 | ACISP | Non-deterministic Processors. | David May, Henk L. Muller, Nigel P. Smart |
| 2001 | CHES | Random Register Renaming to Foil DPA. | David May, Henk L. Muller, Nigel P. Smart |
| 2000 | EuroPar | Hardware Migratable Channels (Research Note). | David May, Henk L. Muller, Shondip Sen |
| 1999 | HiPC | Microcaches. | David May, Dan Page, James Irwin, Henk L. Muller |
| 1998 | EuroPar | A Simple Protocol to Communicate Channels over Channels. | Henk L. Muller, David May |
| 1993 | SPAA | Components for Computing and Communications. | David May |
| 1992 | ICCD | The T9000 Transputer. | David May, Roger Shepherd, Peter Thompson |
| 1991 | ICCD | How to Design a Parallel Computer. | David May |
| 1989 | MPC | Towards Totally Verified Systems. | David May, David Shepherd |