Explanation.
This page is incomplete; please send corrections and additions to mihaib+who@cs.cmu.edu.
This page does not list students.
Name | Address | Picture | Work |
---|---|---|---|
C | |||
Goto: all A B C D E F G H I J K L M N O P Q R S T U V W X Y Z | |||
George Z. N. Cai |
Engineering manager Intel Design Center, Texas |
power modeling and management, microprocessor design and implementation dblp | |
Brad Calder |
Professor UC San Diego www-cse.ucsd.edu/users/calder |
prediction, mobile code, PSSA dblp | |
Timothy J. Callahan |
post-doc Carnegie Mellon U, CS www-2.cs.cmu.edu/~tcal |
GARP, reconfigurable hardware compilation, system-on-a-chip design automation, hardware/software codesign dblp | |
João M. P. Cardoso |
Professor U of Algarve, Portugal w3.ualg.pt/~jmcardo |
reconfigurable computing, high-level synthesis for FPGAs, design automation for embedded systems dblp | |
Douglas M. Carmean |
principal engineer/architect Intel Desktop Products, Oregon |
IA-32, Pentium, Pentium 4 dblp | |
Steven M. Carr |
Professor Michigan Technological U, CS cs.mtu.edu/~carr |
high-level optimization for DSP, compilers-computer architecture interaction, concurrent computing dblp | |
John B. Carter |
Professor U of Utah, CS cs.utah.edu/~retrac |
operating systems, parallel and distributed computing, multiprocessor computer architecture, memory system design, Munin dblp | |
Lori Carter |
Professor Point Loma Nazarene U, San Diego mcs.ptloma.edu/Carter |
computer architecture, compiler optimizations, predicated execution, compilation for IA64 dblp | |
Nicholas P. Carter |
Professor U of Illinois Urbana-Champaign, ECE crhc.uiuc.edu/~npcarter |
reconfigurable logic, computing using non-silicon dblp | |
Calin Cascaval |
IBM T. J. Watson polaris.cs.uiuc.edu/~cascaval (old) |
parallel compilers, parallel and distributed computing, object oriented compilers and methodologies dblp | |
Steve Casselman |
Virtual Computer Corp |
reconfigurable computing, search engines dblp | |
Gregory J. Chaitin |
IBM T. J. Watson cs.umaine.edu/~chaitin |
register allocation, algorithmic information theory dblp | |
Craig Chambers |
Professor U of Washington Seattle, CS cs.washington.edu/homes/chambers |
SPIN, dynamic compilation, Vortex, Cecil dblp | |
Fay Chang |
Google cs.cmu.edu/~fwc (old) |
Speculative prefetching for disk data, distributed filesystems dblp | |
J. Morris Chang |
Professor Iowa State U, EE vulcan.ee.iastate.edu/~morris |
wireless network, computer architecture, object-oriented programming languages, memory management, hardware description languages, internet architecture dblp | |
Craig M. Chase |
Professor U of Texas, Austin, ECE ece.utexas.edu/~chase |
parallel architectures and algorithms
dblp | |
Siddhartha Chatterjee |
Professor U of North Carolina, CS cs.unc.edu/~sc |
cache-conscious algorithms, data parallelism dblp | |
Tiberiu Chelcea |
postdoc Carnegie Mellon U, CS cs.cmu.edu/~tibi |
asynchronous circuits
dblp | |
Peter M. Chen |
Professor U of Michigan eecs.umich.edu/~pmchen |
RIO, ARMADA, fault tolerance, disk systems dblp | |
Tien-Fu Chen |
Professor National Chung Cheng U, China cs.ccu.edu.tw/~chen |
computer architecture, SOC design, embedded systems dblp | |
Fu-Chiung John Cheng |
Professor Tatung U, Taiwan cse.ttu.edu.tw/~cheng |
Systems-on-a-chip, hardware-software codesign, CAD tools, asynchronous logic, FPGAs, Java-enabled embedded systems, real-time OS, expert database systems dblp | |
Perry Cheng |
IBM T.J. Watson research.ibm.com/people/p/perryche |
garbage collection, type-directed compilation dblp | |
David R. Cheriton |
Professor Stanford U www-dsg.stanford.edu/DavidCheriton.html |
distributed systems, high performance networks, operating systems, distributed interactive simulation, object-oriented design techniques dblp | |
Peter Y. K. Cheung |
Professor Imperial College, London, UK ee.ic.ac.uk/pcheung |
reconfigurable computing, hardware/software codesign, CAD, Digital and Asynchronous Systems, VLSI architecture for signal processing, mixed signal designs dblp | |
Men-Chow Chiang |
IBM Server Group |
memory systems for multiprocessors
dblp | |
Donald M. Chiarulli |
Professor U of Pittsburgh, EE cs.pitt.edu/~don |
chip level optoelectronic interconnections, optical-electronic-mechanical multi-domain CAD, optical memory systems, robotics, SOC voice based interfaces dblp | |
Andrew A. Chien |
Professor UC San Diego www-csag.ucsd.edu/individual/achien/achien.html |
Agile Distributed Objects, High Performance Virtual Machines (HPVM), Illinois Concert Project, QoS management dblp | |
Bruce R. Childers |
Professor U of Pittsburgh, CS cs.pitt.edu/~childers |
automatic design of application-specific processors, custom VLIW/systolic architectures, low-power embedded processors, computer architecture, compilers and software development tools dblp | |
Trishul M. Chilimbi |
Microsoft Research research.microsoft.com/~trishulc |
optimizations for caching
dblp | |
Giovanni Chiola |
Professor U di Genova, Italy disi.unige.it/person/ChiolaG |
active messages (GAMMA), distributed databases dblp | |
Derek Chiou |
Professor U of Texas at Austin ECE ece.utexas.edu/~derek |
simulators, sequential and parallel computer architectures, router architecture, dataflow machines, StarT dblp | |
Jong-Deok Choi |
IBM Research T. J. Watson research.ibm.com/people/j/jdchoi |
programming languages, compiler optimizations, software engineering dblp | |
Kiyoung Choi |
Professor Seoul National U, Korea poppy.snu.ac.kr/~kchoi/kchoi.html |
VLSI design, CAD, hardware-software codesign, high-level synthesis, low-power system design dblp | |
Frederic T. Chong |
Professor UC Davis, CS american.cs.ucdavis.edu:80/~chong |
Active Pages
dblp | |
Pai H. Chou |
Professor UC Irvine ece.uci.edu/~chou |
IMPACCT, embedded systems, low power design dblp | |
Alok N. Choudhary |
Professor Northwestern U ECE ece.northwestern.edu/~choudhar |
compilers and runtime systems for high-performance embedded/adaptive/power-aware systems, high-performance databases, parallel and high-performance storage and I/O systems dblp | |
Fred C. Chow |
Pathscale, Inc. |
optimizing compilers
dblp | |
Paul Chow |
Professor U of Toronto, EE, Canada eecg.toronto.edu/~pc |
FPGAs, OneChip, Transmogrifier-2 dblp | |
Giuseppe Ciaccio |
Professor U di Genova, Italy disi.unige.it/person/CiaccioG |
clusters of PCs, operating systems, parallel processing, parallel computer architecture dblp | |
Michal Cierniak |
researcher Intel Microprocessor Research Labs, Programming Systems Lab intel.com/research/mrl/people/cierniak_m.htm |
virtual machines, runtime systems, just-in-time compilation, high-performance compiler optimizations dblp | |
Marcelo H. Cintra |
Professor U of Edinburgh, UK dcs.ed.ac.uk/home/mc |
computer architectures, parallel and high-performance computing, scientific computing dblp | |
Douglas W. Clark |
Professor Princeton U, CS cs.princeton.edu/~doug |
processor architecture and organization, performance measurement and analysis, computer architecture, Display Wall dblp | |
Wesley A. Clark |
Clark, Rockoff and Associates Eckert-Mauchly (1981) award |
design of early computers, TX-0, TX-2 dblp | |
Edmund M. Clarke |
Professor Carnegie Mellon U, CS cs.cmu.edu/~emc |
formal verification, model checking dblp | |
John G. Cleary |
Professor U of Waikato, New Zealand cs.waikato.ac.nz/Staff/john-g.-cleary.html |
parallel and distributed systems, TimeWarp, compression, logic programming dblp | |
Cliff Click |
Motorola crpc.rice.edu/MSCP/cliff.html (old) |
compiler optimizations, intermediate program representations dblp | |
John Cocke |
(deceased) IBM T. J. Watson Eckert-Mauchly (1985) award, Turing (1987) award |
optimizing compilers, RISC processors dblp | |
Robert S. Cohn |
Intel |
Alpha compilers, profile-feedback compilation, Spike, code layout in Unix OM dblp | |
Michele Colajanni |
Professor U di Modena, Italy traianus.ce.uniroma2.it/people/colajanni.html |
distributed parallel computing, distributed web servers, parallel scientific computing, fault-tolerance, interconnection networks, performance analysis and simulation dblp | |
Osvaldo Colavin |
ST Microelectronics |
architectural support for multimedia
dblp | |
Jean-Francois Collard |
Intel prism.uvsq.fr/~jfcollar (old) |
automatic parallelization, optimizing compilers dblp | |
Robert P. Colwell |
Colwell and Associates, Inc. Eckert-Mauchly (2005) award |
Pentium Pro, Multiflow dblp | |
Hubert Comon-Lundh |
Professeur Ecole Normale Superieure de Cachan, France lsv.ens-cachan.fr/~comon/ |
term rewriting, symbolic constraint solving, tree automata techniques, verification of infinite state systems, cryptographic protocols dblp | |
Katherine Compton |
Professor U of Wisconsin-Madison ECE ece.wisc.edu/~kati/ |
reconfigurable computing
dblp | |
Jason Cong |
Professor U of California at Los Angeles, CS ballade.cs.ucla.edu/~cong |
hardware synthesis, giga-scale system-on-a-chip, FPGAs, large-scale CAD dblp | |
Daniel A. Connors |
Professor U of Colorado, CS cs.colorado.edu/~dconnors |
high performance computer systems, run-time optimization architectures, embedded systems, optimizing compilers, operating systems dblp | |
Charles Consel |
Professor ENSEIRB/LaBRI/INRIA Bordeaux, France compose.labri.u-bordeaux.fr/people/consel |
programming languages, program analysis and transformation, software engineering, operating systems dblp | |
Thomas M. Conte |
Professor North Carolina State U, ECE tconte.org |
compiler design, advanced microarchitectures, VLIW/IA-64 compilers dblp | |
Lynn Conway |
Professor (emeritus) U of Michigan ai.eecs.umich.edu/people/conway/conway.html |
VLSI, robotics/AI dblp | |
Stephen A. Cook |
Professor U of Toronto, CS, Canada cs.toronto.edu/~sacook Turing (1982) award |
NP-completeness, computational complexity, logic dblp | |
William R. Cook |
Professor U of Texas at Austin, CS cs.utexas.edu/users/wcook |
programming languages, mixins, type theory, object-oriented programming, interfacing languages and databases, software engineering, web-based information systems, information security dblp | |
Keith D. Cooper |
Professor Rice U, CS cs.rice.edu/~keith |
Rn, ParaScope, low-level code optimization, code generation, GrDAS dblp | |
Lee D. Coraor |
Professor Penn State U cse.psu.edu/gradbroc/faculty/coraor.html |
FPGAs, SmartDIMM (computing in memory) dblp | |
Henk Corporaal |
Professor Technische U Eindhoven, Netherlands ics.ele.tue.nl/~heco |
automatic synthesis of application specific processors, very large scale distributed embedded DSP systems dblp | |
Jordi Cortadella |
Professor U Politecnica de Catalunya, Spain lsi.upc.es/~jordic |
synthesis, analysis and verification of concurrent systems, asynchronous systems, logic synthesis, Petrify dblp | |
Michel Cosnard |
Professor/director INRIA inria.org/presse/cvmc.en.html |
parallel algorithms and architectures, algorithm complexity, automata theory and neural networks, discrete dynamical systems dblp | |
Patrick Cousot |
Professor Ecole Normale Superieure Paris, France di.ens.fr/~cousot |
abstract interpretation, semantics dblp | |
Radhia Cousot |
Research Director Ecole Polytechnique, France di.ens.fr/~cousot |
abstract interpretation, semantics, proofs dblp | |
Alan L. Cox |
Professor Rice U, CS cs.rice.edu/~alc |
TreadMarks, FASTLINK dblp | |
Harvey G. Cragon |
Professor (emeritus) U of Texas, Austin, ECE ece.utexas.edu/ece/people/profs/Cragon.html Eckert-Mauchly (1986) award |
first integrated circuit computer, first TTL computer dblp | |
Karl Crary |
Professor Carnegie Mellon U, CS cs.cmu.edu/~crary |
type-oriented compilation strategies, type-based certification of mobile code, high-level programming language design dblp | |
John Crawford |
Director of McKinley Architecture Intel Architecture Group, Enterprise Platforms Group intel.com/pressroom/kits/bios/crawford.htm Eckert-Mauchly (1995) award |
IA-64, 80386, Pentium dblp | |
Seymour Cray |
(deceased) cgl.ucsf.edu/home/tef/cray/tribute.html Eckert-Mauchly (1989) award | supercomputers | |
Stefano Crespi-Reghizzi |
Professor Politecnico di Milano, Italy elet.polimi.it/people/crespi |
formal languages and automata, compiler optimization and parallelization, programming languages, man-machine interfaces dblp | |
Darren C. Cronquist |
Hewlett-Packard Labs, Compiler and Architecture Group hpl.hp.com/research/itc/car/Templates/darren-cronquist-page.html |
architectures/compilers/languages for embedded applications, RaPiD (reconfigurable hardware), PICO dblp | |
Mark Crovella |
Professor Boston U, CS cs-www.bu.edu/faculty/crovella |
performance evaluation of parallel and networked computers, measuring and characterizing the web dblp | |
David E. Culler |
Professor UC Berkeley, CS cs.berkeley.edu/~culler |
Active Messages, Threaded Abstract Machine, parallel architectures dblp | |
Walling R. Cyre |
Professor Virginia Tech, EE ecpe.vt.edu/faculty/cyre.html |
automatic design, requirements analysis, natural language understanding, automatic modeling, high-level synthesis, design representation dblp | |
Ronald K. Cytron |
Professor Washington U in St. Louis, CS cs.wustl.edu/~cytron |
SSA, compilers, continuous compilers, packet filtering, secure voting dblp |