Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
D J Greaves: University of Cambridge, Computer Laboratory.

Dr. D J Greaves.

D J Greaves, MA, PhD, MIEE.

Senior Lecturer, member of Systems Research Group, Home Networking Subgroup and Computer Architecture Group, of the University of Cambridge Computer Laboratory.

David is a Senior Lecturer in Computing Science at the Computer Laboratory and a Fellow of Corpus Christi College .

Consult Google regarding:

Short (auto-)biography: Sep 07 Photo with a tie: A, B, C, D.

Jul 09: Complex Open-System Design by Quasi-Agents: Process-Oriented Modeling in Agent-Based Systems. B Bastani and David Greaves. ACM Software Engineering Notes, July 2009.

May 09: The Grand Tour Corpus May Ball . DJG served as Senior Treasurer.

Apr 09: Exploiting System-Level Concurrency Abstractions for Hardware Descriptions, David J. Greaves, Satnam Singh. Technical Report MSR-TR-2009-48, Microsoft Corporation, Cambridge 2009.

Mar 09: A short paper, `Configuration and Adaptation of Binary Software Components' by my student Mr Stephen Kell was accepted for the New Ideas and Emerging Results track of the International Conference on Software Engineering, Vancouver, 2009.

Mar 09: Synthesis of a Parallel Smith-Waterman Sequence Alignment Kernel into FPGA Hardware Satnam Singh, David Greaves, Sutirtha Sanyal presented at Many-Core and Reconfigurable Supercomputing, Berlin, 2009.

Mar 09: Organised and hosted the Computer Laboratory Industrial Supporters' Club Technical Update Session on Cloud Computing PPT.

Feb 09: Presented a new Tripos course for the first time:System On Chip Design and Modelling.

Feb 09: Examined Dr Arnab Banerjee's Dissertation for the PhD Degree: Flows in Power-Efficient Networks-On-Chips.

Jan 09: Secure compilation of a multi-tier web language by Ioannis G. Baltopoulos (student of DJG) and Andrew D. Gordon Appeared in Proceedings of 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Savannah, GA, USA.

Dec 08: Wrote the Don's Diary feature in the Computer Laboratory Ring magazine.

Nov 08: Updated my Unpublished Drafts web page so that abstracts are publicly viewable.

Older news link...

Reading Group

Our reading group meets every tuesday during term in SC01 at 3:20 pm. WIKI. Reading group mission statement: "We look at joining components together. This involves having the components and the glue, of course, but also the necessary information to find and select the components, to know they will fit and to know what the consequences will be" .

Current Activities:

Kiwi: Collaboration with Satnam : Hardware Synthesis from C#: Timestable Demo.
Corpus Science Outreach: Fun with Maths and Computing.
Extending the Orangepath H2 compiler to generate logic with super pipelineing and out-of-order execution as required by random access times to cached DRAM banks, and a couple of related papers.
Experimenting with .net CIL version of Pushlogic and rapid compositional model checking.
Looking at adding streams to the join calculus as part of the C3D project with Milos.
Working on automated synthesis of glue logic with MJ Nam.
Formal models of dynamic binding in IDEs, including UML extensions, with B Bastani.
Current/Ongoing Research: System Design Methodology

Future Activities:

Behavioural Machine-Readable Datasheets: CARDs proposal.
A new System-Level Description Language (SLDL)for EDA, including the best parts of the H2 temporary language.
Draft items, yet to be published: LINK.

Links to my Other Research Activities:
Older Research Areas, Conference Program Committees, Recent Publications, Unpublished Drafts, Minor Research Notes, Phd Students, Undergraduate Teaching, Miscellaneous Projects, System Design Methodology.
Page maintained by DJG.