David J. Greaves

Publication Activity (10 Years)

Years Active: 1990-2019
Publications (10 Years): 6

Top Topics

Networked Information Systems

Knowledge Compilation

Top Venues

ACM Trans. Reconfigurable Technol. Syst.

Publications

David J. Greaves
Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog. MEMOCODE (2019)
David J. Greaves
Research Note: An Open Source Bluespec Compiler. CoRR (2019)
Myoung Jin Nam, Periklis Akritidis, David J. Greaves
FRAMER: a tagged-pointer capability system with memory safety applications. ACSAC (2019)
Myoung Jin Nam, David J. Greaves, Elias Athanasopoulos, Periklis Akritidis
FRAMER: A Cache-friendly Software-based Capability Model. CoRR (2018)
David J. Greaves
Kiwi scientific acceleration at large: Incremental compilation and multi-FPGA HLS demo. FPL (2017)
Ali Mustafa Zaidi, David J. Greaves
Value State Flow Graph: A Dataflow Compiler IR for Accelerating Control-Intensive Code in Spatial Hardware. ACM Trans. Reconfigurable Technol. Syst. 9 (2) (2016)
Jonathan Kimmitt, David J. Greaves, Marcian N. Cirstea
A toolchain for safety-critical embedded processor programming using FPGAs. INDIN (2015)
David J. Greaves
Layering RTL, SAFL, Handel-C and Bluespec constructs on Chisel HCL. MEMOCODE (2015)
Ali Mustafa Zaidi, David J. Greaves
A New Dataflow Compiler IR for Accelerating Control-Intensive Code in Spatial Hardware. IPDPS Workshops (2014)
Zubair Nabi, Atif Alvi, Gary Allen, David J. Greaves, Rashid Mehmood
Open-VSeSeMe: A Middleware for Efficient Vehicular Sensor Processing. Nets4Cars/Nets4Trains (2013)
Ali Mustafa Zaidi, David J. Greaves
Achieving Superscalar Performance without Superscalar Overheads - A Dataflow Compiler IR for Custom Computing. ICCSW (2013)
David J. Greaves, Muhammad Mehboob Yasin
TLM POWER3: Power Estimation Methodology for SystemC TLM 2.0. FDL (Selected Papers) (2012)
David J. Greaves, Muhammad Mehboob Yasin
TLM POWER3: Power estimation methodology for SystemC TLM 2.0. FDL (2012)
David J. Greaves, Satnam Singh
Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. MEMOCODE (2011)
David J. Greaves, M. J. Nam
Synthesis of Glue Logic, Transactors, Multiplexors and Serialisors from Protocol Specifications. FDL (2010)
Atif Alvi, Zubair Nabi, David J. Greaves, Rashid Mehmood
Controlling Real World Pervasive Environments with Knowledge Bases. KES (4) (2010)
David J. Greaves, Satnam Singh
Designing application specific circuits with concurrent C# programs. MEMOCODE (2010)
Atif Alvi, David J. Greaves, Rashid Mehmood
Intra-vehicular verification and control: A two-pronged approach. CSNDSP (2010)
Behzad Bastani, David J. Greaves
Complex open-system design by quasi-agents: process-oriented modeling in agent-based systems. ACM SIGSOFT Softw. Eng. Notes 34 (4) (2009)
Atif Alvi, David J. Greaves
Checkable Domain Management with Ontology and Rules. ICIW (2008)
Satnam Singh, David J. Greaves
Synthesizing FPGA Circuits from Parallel Programs. ARC (2008)
David J. Greaves, Satnam Singh
Kiwi: Synthesis of FPGA Circuits from Parallel Programs. FCCM (2008)
David J. Greaves, Satnam Singh
Using C# Attributes to Describe Hardware Artefacts within Kiwi. FDL (2008)
David J. Greaves
Avoiding two-level systems: Using a textual environment to address cross-cutting concerns. ICSOFT (1) (2006)
David J. Greaves, Daniel Gordon
Using Simple Pushlogic. WEBIST (1) (2006)
David J. Greaves
Automated Hardware Synthesis from Formal Specification Using SAT Solvers. IEEE International Workshop on Rapid System Prototyping (2004)
David J. Greaves
Control Software for Home Automation, Design Aspects and Position Paper. ICDCS Workshops (2002)
Umar Saif, David J. Greaves
Communication Primitives for Ubiquitous Systems or RPC Considered Harmful. ICDCS Workshops (2001)
Umar Saif, Daniel Gordon, David J. Greaves
Internet Access to a Home Area Network. IEEE Internet Comput. 5 (1) (2001)
David J. Greaves
A Verilog to C Compiler. IEEE International Workshop on Rapid System Prototyping (2000)
David J. Greaves, Richard J. Bradbury
Warren: a low-cost ATM home area network. IEEE Netw. 12 (1) (1998)
Shaw-Cheng Chuang, David J. Greaves
Securing the Residential Asynchronous Transfer Mode Networks. Security Protocols Workshop (1996)
David J. Greaves
The CSYN Verilog Compiler and Other Tools. FPL (1995)
David J. Greaves, Andy Hopper
A Modular Approach to Low Cost Networked Multimedia. Hot Interconnects (1994)
David J. Greaves, Derek McAuley, Leslie J. French, Eoin Hyden
Protocol and Interface for ATM LANs. J. High Speed Networks 3 (2) (1994)
David J. Greaves, Krzysztof Zielinski
The Cambridge Backbone Network An Overview and Preliminary Performance. Comput. Networks ISDN Syst. 25 (10) (1993)
David J. Greaves, Derek McAuley
Private ATM Networks. Protocols for High-Speed Networks (1992)
David J. Greaves, Dimitris Lioupis, Andy Hopper
The Cambridge Backbone Ring. INFOCOM (1990)