David May

According to our database, David May authored at least 33 papers between 1983 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Lost In Translation: Exposing Hidden Compiler Optimization Opportunities.

Kyriakos Georgiou, Zbigniew Chamski, Andrés Amaya García, David May, Kerstin Eder

Comput. J., 2022

2021

Integrated Hardware Garbage Collection.

Andrés Amaya García, David May, Ed Nutting

ACM Trans. Embed. Comput. Syst., 2021

CSP, Occam, and Inmos.

David May

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2020

Garbage Collection for Edge Computing.

Andrés Amaya García, David May, Ed Nutting

Proceedings of the 5th IEEE/ACM Symposium on Edge Computing, 2020

2016

A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems.

Steve Kerrison, David May, Kerstin Eder

Proceedings of the 10th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2016

2012

The XMOS Architecture and XS1 Chips.

David May

IEEE Micro, 2012

Emulating a large memory sequential machine with a collection of small memory ones

James W. Hanlon, Simon J. Hollis, David May

CoRR, 2012

Scalable data abstractions for distributed parallel computations

James W. Hanlon, Simon J. Hollis, David May

CoRR, 2012

2011

Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures.

Fangfang Yuan, Stephen Wright, Kerstin Eder, David May

Proceedings of the Formal Methods and Software Engineering, 2011

A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface.

Suleiman Abu Kharmeh, Kerstin Eder, David May

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

2008

Invited Talk 1- Past, Present, and Future Communicating Processors.

David May

Proceedings of the Second International Symposium on Networks-on-Chips, 2008

2007

Communicating Process Architecture for Multicores.

David May

Proceedings of the 30th Communicating Process Architectures Conference, 2007

2004

CSP, occam and Transputers.

David May

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2002

Caches with Compositional Performance.

Henk L. Muller, Dan Page, James Irwin, David May

Proceedings of the Embedded Processor Design Challenges: Systems, Architectures, Modeling, and Simulation, 2002

Predictable Instruction Caching for Media Processors.

James Irwin, David May, Henk L. Muller, Dan Page

Proceedings of the 13th IEEE International Conference on Application-Specific Systems, 2002

2001

Random Register Renaming to Foil DPA.

David May, Henk L. Muller, Nigel P. Smart

Proceedings of the Cryptographic Hardware and Embedded Systems, 2001

Non-deterministic Processors.

David May, Henk L. Muller, Nigel P. Smart

Proceedings of the Information Security and Privacy, 6th Australasian Conference, 2001

2000

Hardware Migratable Channels (Research Note).

David May, Henk L. Muller, Shondip Sen

Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999

Using Channels for Multimedia Communication.

David May, Henk L. Muller

Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

Microcaches.

David May, Dan Page, James Irwin, Henk L. Muller

Proceedings of the High Performance Computing, 1999

1998

Using Interval Arithmetic the Calculate Data Sizes for Compilation to Multimedia Instruction Sets.

Neil Pollard, David May

Proceedings of the 6th ACM International Conference on Multimedia '98, 1998

A Simple Protocol to Communicate Channels over Channels.

Henk L. Muller, David May

Proceedings of the Euro-Par '98 Parallel Processing, 1998

1993

Components for Computing and Communications.

David May

Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

1992

The T9000 Transputer.

David May, Roger Shepherd, Peter Thompson

Proceedings of the Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1992

1991

How to Design a Parallel Computer.

David May

Proceedings of the Proceedings 1991 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1991

The Next Generation Transputers and Beyond.

David May

Proceedings of the Distributed Memory Computing, 2nd European Conference, 1991

1989

Towards Totally Verified Systems.

David May, David Shepherd

Proceedings of the Mathematics of Program Construction, 1989

1988

Occam and the transputer.

David May, Roger Shepherd

Proceedings of the Advances in Petri Nets 1989, 1988

1987

The IMS T800 Transputer.

Mark Homewood, David May, David Shepherd, Roger Shepherd

IEEE Micro, 1987

1986

Communicating Process Architecture: Transputers and Occam.

David May, Roger Shepherd, Catherine Keane

Proceedings of the Future Parallel Computers, 1986

1984

OCCAM-an overview.

David May, Richard James Taylor

Microprocess. Microsystems, 1984

The Transputer Implementation of Occam.

David May, Roger Shepherd

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

OCCAM.

David May

ACM SIGPLAN Notices, 1983