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 |
---|---|---|---|
F | |||
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 | |||
Manuel A. Fähndrich |
Microsoft Research research.microsoft.com/~maf |
static program analysis, type systems, novel programming languages, Fugue, Vault, BANE dblp | |
Michael Faiman |
(deceased) U of Illinois at Urbana-Champaign, CS cs.uiuc.edu/people/faculty/faiman.html |
computer architecture, computer networks, ILLIAC I & II, graphical processing, device theory, circuit design dblp | |
Babak Falsafi |
Professor Carnegie Mellon U, ECE ece.cmu.edu/~babak |
microarchitecture, multiprocessors, memory coherence dblp | |
Jesse Z. Fang |
Director Intel MRL Programming Systems Lab intel.com/research/people/bios/fang_j.htm |
compiler/architecture research for ILP and threads, dynamic optimization for C/C++, object oriented languages, virtual machines and just-in-time compilation dblp | |
Paolo Faraboschi |
Hewlett-Packard Labs, Cambridge |
embedded computers, custom-fit processors dblp | |
Keith I. Farkas |
Hewlett Packard WRL research.compaq.com/wrl/people/farkas/bio.html |
low power, processor architecture, memory system performance dblp | |
Matthew K. Farrens |
Professor UC Davis, CS huron.cs.ucdavis.edu/~farrens |
architecture and design of high-performance single-chip processors
dblp | |
Stuart Feldman |
Director IBM Institute for Advanced Commerce research.ibm.com/iac/advisory-feldman.html |
software engineering, programming languages, scientific computing, make dblp | |
Edward W. Felten |
Professor Princeton U, CS cs.princeton.edu/~felten |
secure internet programming, SHRIMP multicomputer dblp | |
Jeanne Ferrante |
Professor UC San Diego www-cse.ucsd.edu/users/ferrante |
SSA, predicated execution, compiler optimizations dblp | |
John Field |
Research staff IBM Research research.ibm.com/people/j/jfield |
program understanding and analysis tools, algorithms for program analysis, logics of programs, term- and graph-rewriting, program slicing, compiler optimization, incremental algorithms dblp | |
Tony Field |
Senior Lecturer and Teaching Fellow Imperial College, UK doc.ic.ac.uk/~ajf |
performance modelling of computer software and hardware, software performance optimisation, particle-based simulation of microbiological systems, discrete-event simulation, functional programming languages, compilers and run-time systems dblp | |
Robert Bruce Findler |
Professor U of Chicago cs.uchicago.edu/people/robby |
programming languages, DrScheme, software contracts dblp | |
Ulrich Finger |
Director Institut Eurecom, France eurecom.fr/Resources/Direction/finger.html |
parallel processing, parallel computer architecture dblp | |
Alan M. Finn |
United Technologies Research Center users.erols.com/alanfinn |
computer architecture with emphasis on embedded systems
dblp | |
Charles N. Fischer |
Professor U of Wisconsin-Madison, CS cs.wisc.edu/~fischer/fischer.html |
compilers, register allocation dblp | |
Joseph A. Fisher |
Hewlett-Packard Labs, Cambridge hpl.hp.com/about/bios/josh_fisher.html Eckert-Mauchly (2003) award |
ILP, branch prediction, VLIW, trace scheduling dblp | |
Kathleen Fisher |
AT&T Research research.att.com/info/kfisher |
domain-specific programming languages, Moby, PADS, Hancock dblp | |
Cormac Flanagan |
Professor UC Santa Cruz CS soe.ucsc.edu/~cormac |
software engineering, validation, defect detection dblp | |
Matthew Flatt |
Professor U of Utah CS cs.utah.edu/~mflatt |
programming languages, DrScheme, object-oriented programming, high-level operating systems dblp | |
Michael J. Flynn |
Professor (emeritus) Stanford U umunhum.stanford.edu/~flynn Eckert-Mauchly (1992) award |
computer architecture
dblp | |
José A. B. Fortes |
Professor U of Florida acis.ufl.edu/fortes |
parallel processing, computer architecture, network-computing, fault-tolerant computing dblp | |
Jeff P. Foster |
Professor U of Maryland, CS cs.umd.edu/~jfoster |
tools and techniques to improve software quality, cqual dblp | |
Matthew Frank |
Professor U of Illinois at Urbana-Champaign, ECE ece.uiuc.edu/faculty/faculty.asp?mif |
parallelization of programs with statically unpredictable dependencies, RAW dblp | |
Michael P. Frank |
Professor U of Florida ECE cise.ufl.edu/~mpf |
low-power computing, reversible computing, adiabatic circuits, reversible languages dblp | |
Manoj Franklin |
Professor U of Maryland ece.umd.edu/~manoj |
computer architecture especially ILP, compiling for ILP machines, memory systems dblp | |
Mark A. Franklin |
Professor Washington U in St. Louis ccrc.wustl.edu/~jbf |
computer architecture, parallel processing, systems performance evaluation, VLSI design dblp | |
Michael Franz |
Professor UC Irvine ics.uci.edu/~franz |
security and efficiency of mobile code, code compression, dynamic compilation, compiling for low-power dblp | |
Paul Franzon |
Professor North Carolina State U, ECE ece.ncsu.edu/erl/faculty/paulf.html |
high speed packaging and interconnect, high speed and low power chip design, micro electro mechanical machines, wafer-scale integration, IC yield modeling, VLSI chip design, communications systems design, molecular computers dblp | |
Christopher W. Fraser |
Microsoft Research research.microsoft.com/~cwfraser/ |
code compression, code generation, editors dblp | |
Eby G. Friedman |
Professor U of Rochester, EE ee.rochester.edu/users/friedman |
VLSI circuits and systems, CMOS circuits, synchronization, clock distribution, pipelining, speed/power/area tradeoffs dblp | |
Jason Fritts |
Professor Washington U in St. Louis ccrc.wustl.edu/~jefritts |
media processors, embedded systems, ubiquitous computing, computer architecture, parallel processing, video and image processing dblp | |
W. Kent Fuchs |
Professor Cornell U, ECE composer.ecn.purdue.edu/~fuchs (old) |
dependable computer systems, testing and fault diagnosis of VLSI IC dblp | |
Donald S. Fussell |
Professor U of Texas, Austin, CS cs.utexas.edu/users/fussell |
computer architecture, computer graphics, database systems, design automation, fault-tolerant computing dblp |