The Cambridge Backbone Ring. - David J. Greaves; Dimitris Lioupis; Andy Hopper (INFOCOM, 1990)

Private ATM Networks. - David J. Greaves; Derek McAuley (Protocols for High-Speed Networks, 1992)

The Cambridge Backbone Network An Overview and Preliminary Performance. - David J. Greaves; Krzysztof Zielinski (Comput. Networks ISDN Syst., 1993)

A Modular Approach to Low Cost Networked Multimedia. - David J. Greaves; Andy Hopper (Hot Interconnects, 1994)

Protocol and Interface for ATM LANs. - David J. Greaves; Derek McAuley; Leslie J. French; Eoin Hyden (J. High Speed Networks, 1994)

The CSYN Verilog Compiler and Other Tools. - David J. Greaves (FPL, 1995)

Securing the Residential Asynchronous Transfer Mode Networks. - Shaw-Cheng Chuang; David J. Greaves (Security Protocols Workshop, 1996)

Warren: a low-cost ATM home area network. - David J. Greaves; Richard J. Bradbury (IEEE Netw., 1998)

A Verilog to C Compiler. - David J. Greaves (IEEE International Workshop on Rapid System Prototyping, 2000)

Communication Primitives for Ubiquitous Systems or RPC Considered Harmful. - Umar Saif; David J. Greaves (ICDCS Workshops, 2001)

Internet Access to a Home Area Network. - Umar Saif; Daniel Gordon; David J. Greaves (IEEE Internet Comput., 2001)

Control Software for Home Automation, Design Aspects and Position Paper. - David J. Greaves (ICDCS Workshops, 2002)

Automated Hardware Synthesis from Formal Specification Using SAT Solvers. - David J. Greaves (IEEE International Workshop on Rapid System Prototyping, 2004)

Avoiding two-level systems: Using a textual environment to address cross-cutting concerns. - David J. Greaves (ICSOFT (1), 2006)

Using Simple Pushlogic. - David J. Greaves; Daniel Gordon (WEBIST (1), 2006)

Synthesizing FPGA Circuits from Parallel Programs. - Satnam Singh; David J. Greaves (ARC, 2008)

Kiwi: Synthesis of FPGA Circuits from Parallel Programs. - David J. Greaves; Satnam Singh (FCCM, 2008)

Using C# Attributes to Describe Hardware Artefacts within Kiwi. - David J. Greaves; Satnam Singh (FDL, 2008)

Checkable Domain Management with Ontology and Rules. - Atif Alvi; David J. Greaves (ICIW, 2008)

Complex open-system design by quasi-agents: process-oriented modeling in agent-based systems. - Behzad Bastani; David J. Greaves (ACM SIGSOFT Softw. Eng. Notes, 2009)

Intra-vehicular verification and control: A two-pronged approach. - Atif Alvi; David J. Greaves; Rashid Mehmood (CSNDSP, 2010)

Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications. - David J. Greaves; Myoung Jin Nam (FDL, 2010)

Controlling Real World Pervasive Environments with Knowledge Bases. - Atif Alvi; Zubair Nabi; David J. Greaves; Rashid Mehmood (KES (4), 2010)

Designing application specific circuits with concurrent C# programs. - David J. Greaves; Satnam Singh (MEMOCODE, 2010)

Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. - David J. Greaves; Satnam Singh (MEMOCODE, 2011)

TLM POWER3: Power estimation methodology for SystemC TLM 2.0. - David J. Greaves; Muhammad Mehboob Yasin (FDL, 2012)

Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom Computing. - Ali Mustafa Zaidi; David J. Greaves (ICCSW, 2013)

Open-VSeSeMe: A Middleware for Efficient Vehicular Sensor Processing. - Zubair Nabi; Atif Alvi; Gary Allen; David J. Greaves; Rashid Mehmood (Nets4Cars/Nets4Trains, 2013)

A New Dataflow Compiler IR for Accelerating Control-Intensive Code in Spatial Hardware. - Ali Mustafa Zaidi; David J. Greaves (IPDPS Workshops, 2014)

A toolchain for safety-critical embedded processor programming using FPGAs. - Jonathan Kimmitt; David J. Greaves; Marcian N. Cirstea (INDIN, 2015)

Layering RTL, SAFL, Handel-C and Bluespec constructs on Chisel HCL. - David J. Greaves (MEMOCODE, 2015)

Value State Flow Graph: A Dataflow Compiler IR for Accelerating Control-Intensive Code in Spatial Hardware. - Ali Mustafa Zaidi; David J. Greaves (ACM Trans. Reconfigurable Technol. Syst., 2016)

Kiwi scientific acceleration at large: Incremental compilation and multi-FPGA HLS demo. - David J. Greaves (FPL, 2017)

FRAMER: A Cache-friendly Software-based Capability Model. - Myoung Jin Nam; David J. Greaves; Elias Athanasopoulos; Periklis Akritidis (CoRR, 2018)

FRAMER: a tagged-pointer capability system with memory safety applications. - Myoung Jin Nam; Periklis Akritidis; David J. Greaves (ACSAC, 2019)

Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog. - David J. Greaves (MEMOCODE, 2019)

Research Note: An Open Source Bluespec Compiler. - David J. Greaves (CoRR, 2019)