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 |
---|---|---|---|
O | |||
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 | |||
Robert O'Callahan |
Novell cs.cmu.edu/~roc (old) |
context-sensitive alias analysis using types, Mozilla, multithreaded program analysis, race detection dblp | |
Ciaran O'Donnell |
Systems Software Consultant Joseph Media Tools, Santa Clara, CA josephmediatools.com/album1_003.htm |
compilers, architecture simulation dblp | |
David O'Hallaron |
Professor Carnegie Mellon U, CS cs.cmu.edu/~droh |
Quake, Warp, HPC, Fx dblp | |
John O'Leary |
senior engineer Strategic CAD Labs, Intel |
formal hardware verification and specification
dblp | |
Stuart F. Oberman |
Principal Engineer NVIDIA oberman.net |
floating-point division, computer arithmetic dblp | |
Martin Odersky |
Professor Ecole Polytechnique Federale de Lausanne, Switzerland lampwww.epfl.ch/~odersky |
object-oriented and functional programming, Scala dblp | |
Vojin G. Oklobdzija |
Professor UC Davis, ECE ece.ucdavis.edu/acsel |
high-speed digital circuits, VLSI arithmetic and development of fast structures, design for low-power, high-performance system architecture, design methodology for testability and reliability dblp | |
Ken Olsen | computerhistory.org/events/hall_of_fellows/olsen |
minicomputer, Digital Equipment Corp. | |
Kunle Olukotun |
Professor Stanford U, CS ogun.stanford.edu/~kunle |
Hydra, system-level design dblp | |
Amos Omondi |
Professor Flinders U, Adelaide, Australia infoeng.flinders.edu.au/people/pages/omondi_amos |
computer architecture, multimedia processors, computer arithmetic dblp | |
Soner Önder |
Professor Michigan Tech U, CS cs.mtu.edu/~soner |
computer architecture, programming languages dblp | |
Tamiya Onodera |
IBM Research Tokio trl.ibm.com/people/onodera |
efficient implementation of object-oriented programming languages
dblp | |
Alex Orailoglu |
Professor UC San Diego, CS cs.ucsd.edu/users/alex |
Electronic Design Automation, VLSI testing, Synthesis of fault-tolerant ICs dblp | |
Mark Oskin |
Professor U of Washington, Seattle, CS cs.washington.edu/homes/oskin |
computation cache, quantum computer architecture, active pages dblp |