David J. Greaves

38 papers A* 1A 1B 2C 11Misc 1Journal 8Unranked 14

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