| 2019 | ACSAC | FRAMER: a tagged-pointer capability system with memory safety applications. | Myoung Jin Nam, Periklis Akritidis, David J. Greaves |
| 2019 | MEMOCODE | Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog. | David J. Greaves |
| 2017 | FPL | Kiwi scientific acceleration at large: Incremental compilation and multi-FPGA HLS demo. | David J. Greaves |
| 2015 | INDIN | A toolchain for safety-critical embedded processor programming using FPGAs. | Jonathan Kimmitt, David J. Greaves, Marcian N. Cirstea |
| 2015 | MEMOCODE | Layering RTL, SAFL, Handel-C and Bluespec constructs on Chisel HCL. | David J. Greaves |
| 2012 | FDL | TLM POWER3: Power estimation methodology for SystemC TLM 2.0. | David J. Greaves, Muhammad Mehboob Yasin |
| 2012 | FDL | TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0. | David J. Greaves, Muhammad Mehboob Yasin |
| 2011 | MEMOCODE | Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. | David J. Greaves, Satnam Singh |
| 2010 | FDL | Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications. | David J. Greaves, Myoung Jin Nam |
| 2010 | KES | Controlling Real World Pervasive Environments with Knowledge Bases. | Atif Alvi, Zubair Nabi, David J. Greaves, Rashid Mehmood |
| 2010 | MEMOCODE | Designing application specific circuits with concurrent C# programs. | David J. Greaves, Satnam Singh |
| 2008 | FCCM | Kiwi: Synthesis of FPGA Circuits from Parallel Programs. | David J. Greaves, Satnam Singh |
| 2008 | FDL | Using C# Attributes to Describe Hardware Artefacts within Kiwi. | David J. Greaves, Satnam Singh |
| 2008 | ICIW | Checkable Domain Management with Ontology and Rules. | Atif Alvi, David J. Greaves |
| 2006 | ICSoft | Avoiding two-level systems: Using a textual environment to address cross-cutting concerns. | David J. Greaves |
| 2006 | WEBIST | Using Simple Pushlogic. | David J. Greaves, Daniel Gordon |
| 2004 | RSP | Automated Hardware Synthesis from Formal Specification Using SAT Solvers. | David J. Greaves |
| 2000 | RSP | A Verilog to C Compiler. | David J. Greaves |
| 1995 | FPL | The CSYN Verilog Compiler and Other Tools. | David J. Greaves |
| 1994 | HOTI | A Modular Approach to Low Cost Networked Multimedia. | David J. Greaves, Andy Hopper |
| 1990 | INFOCOM | The Cambridge Backbone Ring. | David J. Greaves, Dimitris Lioupis, Andy Hopper |