KeynoteSpeakers

Generative Programming and Component Engineering

Rishiyur S. Nikhil is co-founder and CTO of Bluespec, Inc., which develops tools that dramatically improve correctness, productivity, reuse and maintainability in the design, modeling and verification of digital designs (ASICs and FPGAs). Earlier, from 2000 to 2003, he led a team at Sandburst Corp. (later acquired by Broadcom) developing Bluespec technology and contributing to 10Gb/s enterprise network chip models, designs and design tools. From 1991 to 2000 he was a researcher (and, briefly, Acting Director) at Cambridge Research Lab (DEC/Compaq). From 1984 to 1991 he was a professor of Computer Science and Engineering at MIT. He has published widely, and holds several patents in functional programming, dataflow and multithreaded architectures, parallel processing, compiling, and electronic design automation. He is a co-author of the book "Implicit Parallel Programming in pH" (a parallel dialect of Haskell). He is a member of ACM, IEEE, and IFIP WG 2.8 on Functional Programming. His Ph.D. in Computer and Information Sciences is from U. of Pennsylvania, and his B.Tech in EE is from IIT Kanpur.

Invited talk Using GPCE Principles for Hardware Systems and Accelerators (bridging the gap to HW design)

Download slides pps^?

Jim Cordy is Professor and past Director of the School of Computing and Professor of Electrical & Computer Engineering at Queen's University, Kingston, Ontario, Canada. From 1995 to 2000 he was vice president and chief research scientist at Legasys Corporation, a software technology company specializing in legacy software system analysis and renovation.

Prof. Cordy is the author or co-author of numerous contributions in computer software systems, including the PL/I subset compiler SP/k (1977), the Toronto Euclid compiler (1980), the S/SL compiler technology (1980), the Concurrent Euclid programming language (1981), the Turing programming language (1983), the orthogonal code generation compiler technology (1986), the TXL source transformation language (1991), the LS/2000 year 2000 conversion system (1996), and the LS/AMT software analysis and migration system (1999). Dr. Cordy has served as program chair of numerous international conferences, workshops and special issues in programming languages and software engineering. He is an ACM distinguished scientist, an IBM visiting scientist and faculty fellow, a senior member of the IEEE and a registered professional engineer.

Invited talk (jointly with SLE) Eating our own dog food: DSLs for generative and transformational engineering

Download slides pdf^?

GPCE09.KeynoteSpeakers moved from GPCE09.Keynotes on 21 Apr 2009 - 21:16 by GiorgiosEconomopoulos^? - put it back