Kurt+Keutzer

an American electrical engineer, computer scientist and professor at the University of California, Berkeley. He received his Ph.D. in CS from [|Indiana University] in 1984 and then joined AT&T Bell Laboratories. In 1991 he joined [|Synopsys, Inc.] where he became CTO and senior vice-president of research, where he was involved in [|electronic design automation]. His research group is currently focused on using parallelism to accelerate the training and deployment of deep neural networks for applications in [|computer vision], [|speech recognition], [|multimedia] analysis, [|computational finance] and computer games. In 2015, along with his doctoral student Peter H. Jin, he published on a MCTS based Go playing program which uses convolutional networks in all parts, exploring the Monte-Carlo search tree using [|Thompson sampling] and a convolutional network, and evaluates convolutional network based rollouts on a GPU, a revised version published at CG 2016. || toc =Selected Publications=
 * Home * People * Kurt Keutzer**
 * [[image:KurtKeutzer.jpg width="220" link="http://people.eecs.berkeley.edu/~keutzer/"]] ||~ || **Kurt Keutzer**,
 * Kurt Keutzer ||~ ||^ ||

1987 ...

 * Kurt Keutzer (**1987**). //[|DAGON: Technology Binding and Local Optimization by DAG Matching]//. [|DAC 1987]
 * Kurt Keutzer, [|Wayne Wolf] (**1988**). //[|Anatomy of a Hardware Compiler]//. [|PLDI 1988]
 * Kurt Keutzer (**1989**). //Three Competing Design Methodologies for ASIC's: Architectual Synthesis, Logic Synthesis, Logic Synthesis and Module Generation//. [|DAC 1989]

1990 ...

 * Kurt Keutzer (**1991**). //Impact and Evaluation of Competing Implementation Media for ASIC's//.[|.DAC 1990]
 * Kurt Keutzer (**1991**). //The Need for Formal Verification in Hardware Design and What Formal Verification Has Not Done for Me Lately//. [|TPHOLs 1991]
 * Kurt Keutzer (**1997**). //[|Challenges in CAD for the One Million Gate FPGA]//. [|FPGA 1997], [|pdf]

2000 ...

 * [|David G. Chinnery], Kurt Keutzer (**2000**). //Closing the gap between ASIC and custom: an ASIC perspective//. [|DAC 2000]
 * Kurt Keutzer, [|Michael Orshansky] (**2002**). //From blind certainty to informed uncertainty//. [|Timing Issues in the Specification and Synthesis of Digital Systems 2002]
 * [|Scott J. Weber], Kurt Keutzer (**2005**). //Using minimal minterms to represent programmability//. [|CODES+ISSS 2005]
 * [|Matthias Gries] Kurt Keutzer (**2005**). //[|Building ASIPs: The Mescal Methodology]//. [|Springer]
 * [|David G. Chinnery], Kurt Keutzer (**2007**). //[|Closing the Power Gap between ASIC & Custom - Tools and Techniques for Low Power Design]//. [|Springer]

2010 ...

 * [|Bryan C. Catanzaro], Kurt Keutzer (**2010**). //Parallel computing with patterns and frameworks//. ACM Crossroads, Vol. 17, No. 1
 * Peter H. Jin, Kurt Keutzer (**2015**). //Convolutional Monte Carlo Rollouts in Go//. [|arXiv:1512.03375]
 * Peter H. Jin, Kurt Keutzer (**2016**). //Convolutional Monte Carlo Rollouts for Computer Go//. CG 2016

=External Links=
 * [|Kurt Keutzer's Home Page]
 * [|Kurt Keutzer | EECS at UC Berkeley]
 * [|Kurt Keutzer - Google Scholar Citations]
 * [|Kurt Keutzer | LinkedIn]

=References= =What links here?= include page="Kurt Keutzer" component="backlinks" limit="80"
 * Up one level**