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 |